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:
- A set of exercises to get started with Cairo0☆22Updated 10 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Updated 2 years ago
- ☆13Updated 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
- ☆17Updated 5 months ago
- ☆88Updated 5 months ago
- 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
- Foundry + Yul puzzles☆33Updated 2 years ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆65Updated last year
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- Diagrams for Solidity contracts☆48Updated last year
- simple zk implementations in python☆34Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆58Updated 3 weeks ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆29Updated last year
- To learn fork testing & on-chain broadcast☆30Updated 2 years ago
- Checklist for security audit of tron projects by @positivesecurity☆26Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- A curated list of resources on zkECDSA☆35Updated 2 years ago
- ☆50Updated 2 years ago
- List of Halmos resources.☆58Updated 11 months ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆92Updated 2 months ago
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Updated 2 years ago
- Interactions between developers and auditors☆10Updated 2 years ago
- Content for yAudit Reports Site☆29Updated 2 weeks ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated 2 years ago
- CTF Writeups☆36Updated 2 years ago
- My publicly available audit and bug reports☆18Updated 2 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆88Updated 2 months ago