awesome-zkp-security
github.com/stefanoschaliasos/awesome-zkp-security ↗A curated list of awesome security resources for ZK.
122
GitHub Stars
134
Curated Resources
9
Categories
4 hours ago
Last Refreshed
ZKPsBlogsAuditsTalksCTFs and PuzzlesMiscAdvisoriesPapersTools
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me specific blog posts / vulnerability disclosures resources from awesome-zkp-security"
Installation instructions →What's inside
Blogs
- 00 PLONK BugSpecific blog posts / Vulnerability Disclosures
- 0xParc's Blog
- Aztec: Disclosure of recent vulnerabilitiesSpecific blog posts / Vulnerability Disclosures
- ChainLight saved zkSync Era from $1.9B exploitSpecific blog posts / Vulnerability Disclosures
- Circom-Pairing: A Million-Dollar ZK Bug Caught EarlySpecific blog posts / Vulnerability Disclosures
- Common Vulnerabilities in ZK ProofSpecific blog posts / Vulnerability Disclosures
ZKPs
- 0xParc's Circom and Halo2 learning groupsCourses
- A Graduate Course in Applied CryptographyBooks
- Building Cryptography Proofs from Hash FunctionsBooks
- gakonst/awesome-starknetCurated Lists for ZKPs
- matter-labs: Awesome zero knowledge proofsCurated Lists for ZKPs
- MIT's Modern Zero Knowledge CryptographyCourses
Talks
- 0xParc: (Workshop) ZK Security Research
- Are Your Zero-Knowledge Proofs Correct? by Jon Stephens | Devcon Bogotá
Devcon Bogotá (Uploaded: Oct 16, 2022)
- ETHCC[7]: Analysis and Auditing of ZKP Vulnerabilities
- ETH Seoul 2023: Opinionated Survey of ZKP Security by Gyumin Roh, KALOS/HAECHI LABS
- Introduction to ZK Security Research | David Theodore | PROGCRYPTO
David Theodore | PROGCRYPTO (Uploaded: Jan 25, 2024)
- Shankara Pailoor - Picus: Push button zk circuit verification
Picus: Push button zk circuit verification
Papers
- AC4: Algebraic Computation Checker for Circuit Constraints
- An SMT-LIB Theory of Finite Fields
- Automated Analysis of Halo2 Circuits
- Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
- Automated Soundness and Completeness Vetting of Polygon zkEVM
- Automated Verification of Consistency in Zero-Knowledge Proof Circuits
Tools
- aztec_fuzzing
Frontend
- circom_civer
Circuit
- Circomspect
Circuit
- Circuzz
Frontend/Backend
- Coda
Circuit
- Ecne
Circuit
Audits
Showing a sample of 134 resources. View the full list on GitHub →