awesome-zkp-security
github.com/stefanoschaliasos/awesome-zkp-security ↗A curated list of awesome security resources for ZK.
123
GitHub Stars
152
Curated Resources
9
Categories
22 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
- Circuit Breaker: The Missing Constraint That Compromised RISC Zero's zkVMSpecific 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á
- 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
- Shankara Pailoor - Picus: Push button zk circuit verification
Picus: Push button zk circuit verification
Papers
- AC4: Algebraic Computation Checker for Circuit Constraints
- An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
- 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
Tools
- acl2-jolt
zk(E)VM
- aztec_fuzzing
Frontend
- CCC-Check
Circuit
- circom_civer
Circuit
- Circomspect
Circuit
- Circuzz
Frontend/Backend
Audits
Showing a sample of 152 resources. View the full list on GitHub →