awesome-zkp-security
github.com/stefanoschaliasos/awesome-zkp-security ↗A curated list of awesome security resources for ZK.
125
GitHub Stars
152
Curated Resources
9
Categories
1 day 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 →