/Awesome-ZKP-Security

A curated list of awesome security resources for ZK.

Awesome-ZKP-Security awesome

A curated list of awesome ZKP Security resources, papers, tutorials, and tools. Inspired by Awesome-Smart-Contract-Security.

If you want to add a new resource, please submit a pull request to improve this file. Thank you!

Table of Contents

ZKPs

Curated Lists for ZKPs

Courses

Books

Blogs

Specific blog posts / Vulnerability Disclosures

Audits

Talks

CTFs and Puzzles

Misc

Papers

Tools

Tool Layer DSL Analysis
Circomspect Circuit Circom Static Analysis
ZKAP Circuit Circom Static Analysis
halo2-analyzer Circuit halo2 Static Analysis / Symbolic Analysis
Coda Circuit Circom Formal Verification (Coq)
Picus Circuit Circom Formal Verification
SNARKProbe Circuit/Backend R1CS Fuzzing
circom_civer Circuit Circom Formal Verification
gnark-lean-extractor Circuit Gnark Formal Verification (Lean)