Lists (4)
Stars
A curated list of smart contracts security audits checklists and resources.
Primers for Specialist AI Smart Contract Auditors
The web3社区区块链课程大纲，包含区块链基础、钱包开发（中心化钱包、去中心化钱包）、DApp开发（智能合约开发）、公链开发、产品使用及底层逻辑（Defi、NFT、RWA）
EigenLayer 重新质押，AVS 和 EigenDa 中文社区，Eigen 技术架构解析和源码解读
A self-paced course to learn Rust, one exercise at a time.
Monorepo for Silo Protocol contracts V2
Contracts that simplify invariant suite setup
Liquity v2 monorepo containing the contracts, subgraph and frontend.
Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
Modern, opinionated, and gas optimized building blocks for smart contract development.
trailofbits / v4-core
Forked from Uniswap/v4-core🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Repro of issues with pranking when comparing echidna and foundry
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
Smart Contract Property-Based Testing Framework
A 6-part series on how to use Echidna on real-world codebases
Pre-built security properties for common Ethereum operations