个人区块链学习笔记📒,包括共识算法、密码学、虚拟机、智能合约、零知识证明等,大部分参考资料来源于网上🕸️,加上个人的一些加工和总结🏭。
- TODO
- Solidity 中文文档
- OpenZeppelin - OpenZeppelin 文档
- Solidity by Example - Solidity 例子
- WTF-Solidity - Solidity 中文系列课程
- gas-puzzles - 一系列用于实践 Gas 优化的智能合约。
- WTF-gas-optimization - Gas 优化技术,经 Foundry 验证。
- learning-solidity - Solidity 文档和 YouTube 教程
- awesome-solidity - 精选的 Solidity 资源、库、工具等列表
- smart-contract-best-practices - ConsenSys 关于合约的最佳实践仓库
- Dapp-Learning - 适合各个阶段开发者的 Dapp 学习项目
- solidity-expert - 以太坊开发教程
- CryptoZombies - CryptoZombies 是一个互动学校,教你所有关于区块链的技术知识。通过制作自己的加密收藏品游戏来学习编写智能合约。
- DeFi-Developer-Road-Map - 以太坊智能合约开发路线图
- solmate - 现代、有主见的、gas 优化的智能合约
- solady - Gas 优化的 Solidity 库
- Audit Checklist - 智能合约审计检查清单聚合
- AI Auditor Primers - AI 审计员知识库
- Smart Contract Weakness Classification (SWC) - 智能合约弱点分类
- Capture the Ether - 以太坊智能合约安全游戏
- Alchemy Security Tools - Alchemy 安全工具合集,收录了 170 多个 Web3 安全工具
- DeFiHackLabs - 使用 Foundry 重现 DeFi 被黑事件
- DeFiVulnLabs - 使用 Foundry 了解常见的智能合约漏洞
- solidity-security-blog - Solidity 安全,已知攻击媒介和常见反模式的综合列表
- awesome-ethereum-security - 精彩的以太坊安全参考精选列表
- WTF-solcurity - Solidity 智能合约的公认安全和代码质量标准
- solsec - 研究 Solana 智能合约安全性,审核和利用的资源集合
- web3-security-resources - 区块链安全资源
- public-audits - Frankcastle 私有/公开的个人智能合约审计报告
- PublicReports - Halborn 公开的智能合约审计报告
- security-and-auditing-full-course-s23 - 安全审计全栈课程
- Blockchain-Attack-Vectors - 用于检索、分类和缓解区块链攻击向量的框架
- awesome-solana-security - Solana 安全资源
- 50-days-of-crushing-audits - 50 天破解智能合约
- Cryptocurrency-Security-Audit-Guide - 慢雾加密货币安全审计导论
- Blockchain Security Audit List - 区块链安全审计公司、独立审计师和公共审计地点列表
- solana-ctf - Solana CTF 挑战
- Move-Audit-Resources - Move 审计资源
- slither - Solidity 静态分析工具
- MythX - ConsenSys 推出的智能合约安全分析平台,提供基于符号执行等技术的自动化漏洞检测。
- echidna - Echidna 是一个基于属性的模糊测试(property-based fuzzing)工具,用于检测智能合约中的安全漏洞。
- Remix - Solidity IDE
- Hardhat - 以太坊专业开发环境。它由用于编辑、编译、调试和部署智能合约和 dApp 的不同组件组成,所有这些组件共同创建一个完整的开发环境。
- Foundry - Foundry 是一个使用 Rust 编写的用于以太坊应用程序开发的速度极快、可移植且模块化的工具包。
- Pinata - IPFS 存储,合约图片存储
- evm.codes - 在线以太坊虚拟机操作码文档及交互
- mythril - 基于符号执行的 EVM 字节码安全分析工具,支持以太坊、Hedera、Quorum、VeChain、Rootstock、Tron 和其他 EVM 兼容区块链上的智能合约
- tenderly - 使 Web3 开发人员能够构建、测试、监控和操作智能合约,从智能合约的诞生到大规模采用。
- Phalcon - Phalcon 是一款面向加密项目和开发人员的安全开发套件
- ABI to interface - 从 ABI JSON 生成 Solidity 接口
- ETH Calldata Decode - 解码以太坊 calldata
- Get ABI for unverified contracts - 猜测任何以太坊合约的 ABI,即使它没有在 Etherscan 上验证。
- Dedaub - Dedaub 反编译器接收以太坊虚拟机(EVM)字节码,生成更具可读性的类 Solidity 代码,从而可以更好地理解未经验证的智能合约
- Solidity Debugger Pro - VSCode 插件,Solidity 的独立调试器
- Solidity Visual Developer - VSCode 插件,提供可视化安全审计、以安全为中心的语法和语义突出显示、详细的类大纲、UML 图生成器,以及许多其他特性。
- Ethlint - Solidity 代码风格检查
- hardhat-solhint - Hardhat 插件,代码风格检查
- hardhat-gas-reporter - Hardhat 插件,生成 Gas 消耗报告
- Solidity 可升级合约
- 如何使用 Hardhat 在 Etherscan 上验证智能合约
- 如何创建 NFT 像素艺术收藏系列文章
- 默克尔树在 NFT 白名单中的应用
- 减少智能合约 Gas 消耗的 8 种方法
- 如何部署和使用可升级的智能合约
- 了解以太坊智能合约存储
- Solidity 中编写内联汇编(assembly)的那些事
- How to become a smart contract auditor
- Capture The Ether Solutions
- Ethernaut Solutions
- Damn Vulnerable DeFi Solutions
- Paradigm CTF 2021 Solutions
- How Diamond Storage Works
- learn.0xparc.org - 0xPARC 的应用 ZK 学习小组,包含 ZK 及电路系列课程
- Zero Knowledge Proofs - 斯坦福大学 ZKP MOOC
- [MIT IAP 2023] Modern Zero Knowledge Cryptography - MIT 零知识证明系列课程
- ABCDE ZK Hacker Camp Curriculum Schedule - ABCDE ZK 课程
- awesome-zero-knowledge-proofs - Matter Lab 的 ZKP 资源汇总
- Zero-Knowledge Proofs Starter Pack - 以太坊社区有关 ZKP 的教程资源
- Demystifying Zero Knowledge Proofs [FINAL] - ZKP 学习 PPT
- ZKP Science - 权威 ZKP 学术研究
- ZKSpace - ZKP 学习社区
- ZK Hack - ZK 学习和构建的中心。
- zk-SNARKs: A Gentle Introduction - ZK SNARKs 论文
- ZKP 系列学习文章 - 循序渐进的 ZKP 学习资料
- moonmath-manual - 为任何有兴趣了解和释放 zk-SNARK 潜力的人(从初学者到专家)提供的资源。
- Baby SNARK - SNARK 教程
- ZK Shanghai 2023 - 一套中文 ZKP 学习课程
- zkp-co-learn - 中文零知识证明系列课程
- Awesome ZKP - 一个零知识证明 Notion 知识库
- Halo2 Book - zcash 的 Halo2 教程
- Halo2 Book(中文) - zcash 的 Halo2 教程
- ZKVM book - ZKVM 知识介绍
- circom - zkSnark 电路编译器
- zcash/halo2 - Halo2 零知识证明系统
- libsnark - C++ library for zkSNARKs
- libsnark-tutorial - zkSNARK 教程和开发环境
- plonkathon - 教育版本的 python plonk 实现
- zkrepl - 在线网页版电路 IDE
- ZK-Garage/plonk - 一个使用 arkworks 作为后端的纯 Rust PLONK 实现
- privacy-scaling-explorations/zkevm-circuits - zkevm 电路实现
- zkemail/zk-email-verify - 验证具有与电子邮件域相同的信任假设的电子邮件
- zkp-application/circom-rsa-verify - Zero Knowledge Proof for RSA
- zkMove Project - 对零知识证明友好的 Move 语言运行时环境
- DelphinusLab/zkWasm - 面向 WebAssembly 的零知识证明虚拟机
- Scroll - 原生 zkEVM
- Aztec - Web3 的可编程隐私层
- Zecrey Protocol - 基于 zkRollup 的 Layer 2 协议,兼顾隐私与可扩展性
- zkSync - zkRollup
- StarkNet - 基于 STARK 的 zkRollup
- zkemail/halo2-zk-email - 使用 Halo2 实现的邮件验证电路
- mina - 区块链大小恒定的加密货币协议,在保持去中心化和安全性的同时提升可扩展性
- zcash - 注重隐私的加密货币
- risc0 - 基于 zk-STARK 和 RISC-V 微架构的零知识可验证通用计算平台
- 零知识证明学习资源汇总
- L2 汇总的汇总
- 关于零知识应用安全性的几点思考
- 零知识证明 - 从理论到实践(视频)
- 深入理解 zk-STARK 证明系统
- 0xScope Labs 首期 Tech Studio,讲述 zk 的过去和未来
- zkMesh: April 2022 recap
- Why and How zk-SNARK Works 1: Introduction & the Medium of a Proof-Maksym
- The ultimate guide to L2s on Ethereum
- An Incomplete Guide to Rollups-vitalik
- Hardware Acceleration for Zero Knowledge Proofs-Paradigm
- Decentralized Speed: Advances in Zero Knowledge Proofs-a16z
- Incomplete Guide to ZK: Why ZK Matters?-fundamental labs
- ZERO-KNOWLEDGE ROLLUPS-ethereum.org
- PLONK by Hand (Part 1: Setup)
- Quadratic Arithmetic Programs: from Zero to Hero - Vitalik Buterin
- Exploring Elliptic Curve Pairings - Vitalik Buterin
- Zk-SNARKs: Under the Hood - Vitalik Buterin
- Understanding PLONK - Vitalik Buterin
- ZkVM: fast, private, flexible blockchain contracts
- How to build modern SNARKs systems