PositiveSecurity / zk-audit-guideLinks
Checklist for security audit of ZKP projects by @positivesecurity
☆34Updated last year
Alternatives and similar repositories for zk-audit-guide
Users that are interested in zk-audit-guide are comparing it to the libraries listed below
Sorting:
- ☆13Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Updated 2 years ago
- A set of exercises to get started with Cairo0☆21Updated 10 months ago
- ☆17Updated 4 months ago
- Foundry + Yul puzzles☆33Updated 2 years ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated last year
- ☆88Updated 4 months ago
- Diagrams for Solidity contracts☆48Updated last year
- Beginner Friendly Rust Security Workshop☆35Updated last year
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated last year
- List of the public smart contract audit reports and security reviews performed by Hexens.☆54Updated last week
- Collection of past CTFs to play and practice locally.☆52Updated last year
- Zero-Knowledge University☆34Updated last year
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆30Updated last year
- List of Halmos resources.☆58Updated 11 months ago
- simple zk implementations in python☆34Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆57Updated last week
- Index of Rareskill Blog posts using playwright☆21Updated last year
- My publicly available audit and bug reports☆18Updated 2 months ago
- A curated list of resources on zkECDSA☆35Updated 2 years ago
- ☆32Updated 3 years ago
- ☆75Updated 5 months ago
- CTF challenges made by MiloTruck☆97Updated 6 months ago
- Web3.0 Audit Resources and Competition Materials☆19Updated last week
- ☆37Updated last year
- Series of CTF challenges based off real world smart contract vulnerabilities.☆29Updated last year
- Content for yAudit Reports Site☆29Updated 2 weeks ago
- ☆34Updated 8 months ago
- To learn fork testing & on-chain broadcast☆30Updated 2 years ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆78Updated last year