Awesome-ZKP-Security
A curated list of awesome security resources for ZK.
https://github.com/StefanosChaliasos/Awesome-ZKP-Security
Last synced: 2 days ago
JSON representation
-
Uncategorized
-
Uncategorized
- Common Vulnerabilities in ZK Proof
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- sCrypt-Inc: Awesome zero knowledge proofs
- Xor0v0/awesome-zero-knowledge-proofs-security
- matter-labs: Awesome zero knowledge proofs
- ventali/awesome-zk
- ventali/awesome-zk
- ZKP Knowledge Base by Delendum Research
- ZKP Knowledge Base by Delendum Research
- Zero-Knowledge Proofs Starter Pack
- 0xParc's Blog
- OZ's Security Insights Blog
- Zero Knowledge Proofs MOOC
- 0xParc's Circom and Halo2 learning groups
- Zero Knowledge Proofs MOOC
- MIT's Modern Zero Knowledge Cryptography
- 0xParc's Circom and Halo2 learning groups
- A Graduate Course in Applied Cryptography
- Proofs, Arguments, and Zero-Knowledge
- Building Cryptography Proofs from Hash Functions
- zkSecurity's Blog
- 0xParc's Blog
- Trail of Bits' Blog
- OZ's Security Insights Blog
- A Graduate Course in Applied Cryptography
- Proofs, Arguments, and Zero-Knowledge
- Building Cryptography Proofs from Hash Functions
- zkSecurity's Blog
- Veridise's Blog
- Veridise's Blog
- Zellic's Blog
- Zellic's Blog
- David Wong's Blog
- Ecne: Automated Verification of ZK Circuits
- What Is a ZK Audit?
- David Wong's Blog
- The State of Security Tools for ZKPs
- Detecting boomerang values in zero-knowledge circuits using tag analysis
- The zero-knowledge attack of the year might just have happened, or how Nova got broken
- Do in secret. Assert in public. Don't under-constrain your prover's witness computation in ZK programs
- Ecne: Automated Verification of ZK Circuits
- ZK-SNARKS & The Last Challenge Attack: Mind Your Fiat-Shamir!
- The State of Security Tools for ZKPs
- Detecting boomerang values in zero-knowledge circuits using tag analysis
- The zero-knowledge attack of the year might just have happened, or how Nova got broken
- Do in secret. Assert in public. Don't under-constrain your prover's witness computation in ZK programs
- What Is a ZK Audit?
- Disarming Fiat-Shamir footguns
- Zcash Counterfeiting Vulnerability Successfully Remediated
- Security Vulnerabilities in ZK
- Circom-Pairing: A Million-Dollar ZK Bug Caught Early
- The Frozen Heart vulnerability in Bulletproofs
- It pays to be Circomspect
- The Frozen Heart vulnerability in PlonK
- Coordinated disclosure of vulnerabilities affecting Girault, Bulletproofs, and PlonK
- Coordinated disclosure of vulnerabilities affecting Girault, Bulletproofs, and PlonK
- It pays to be Circomspect
- Disarming Fiat-Shamir footguns
- Zcash Counterfeiting Vulnerability Successfully Remediated
- Security Vulnerabilities in ZK
- Circom-Pairing: A Million-Dollar ZK Bug Caught Early
- Satisfiability Modulo Finite Fields: Unlocking SMT for ZK Verification
- Developing securely on Aleo blockchain: Common Vulnerability Patterns
- Medjai: Protecting Cairo code from Bugs
- Developing securely on Aleo blockchain: Common Vulnerability Patterns
- Medjai: Protecting Cairo code from Bugs
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- ChainLight saved zkSync Era from $1.9B exploit
- ZKPs for Engineers: A look at the Dark Forest ZKPs
- Satisfiability Modulo Finite Fields: Unlocking SMT for ZK Verification
- ZK Vulnerabilities: Sharp rocks hidden in deep water
- ZK Vulnerabilities: Sharp rocks hidden in deep water
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Facebook: Critical bugs in Facebook/Polygon Winterfell library
- Vulnerabilities patched in Aztec 2.0
- 00 PLONK Bug
- Aztec: Disclosure of recent vulnerabilities
- Tornado.cash got hacked. By us.
- ChainLight saved zkSync Era from $1.9B exploit
- Facebook: Critical bugs in Facebook/Polygon Winterfell library
- ZKPs for Engineers: A look at the Dark Forest ZKPs
- Aztec: Disclosure of recent vulnerabilities
- Tornado.cash got hacked. By us.
- Filecoin —one PoREP vulnerability found by Trapdoor Tech
- Vulnerabilities patched in Aztec 2.0
- 00 PLONK Bug
- zksecurity audit reports
- openzeppelin audit reports
- veridise audit reports
- zkStudyClub: Zero-Knowledge Proofs Security, in Practice -- JP Aumasson, Taurus
- ETH Seoul 2023: Opinionated Survey of ZKP Security by Gyumin Roh, KALOS/HAECHI LABS
- Collection of security reviews of ZK Protocols
- Filecoin —one PoREP vulnerability found by Trapdoor Tech
- Formal Verification of ZK Constraint Systems
- Groth16 Malleability
- Collection of security reviews of ZK Protocols
- zksecurity audit reports
- openzeppelin audit reports
- veridise audit reports
- ZKP MOOC Lecture 15: Secure ZK Circuits with Formal Methods
- Formal Verification of ZK Constraint Systems
- Groth16 Malleability
- ZKP MOOC Lecture 15: Secure ZK Circuits with Formal Methods
- zkStudyClub: Zero-Knowledge Proofs Security, in Practice -- JP Aumasson, Taurus
- 0xParc: (Workshop) ZK Security Research
- Are Your Zero-Knowledge Proofs Correct? by Jon Stephens | Devcon Bogotá
- 0xParc: (Workshop) ZK Security Research
- Are Your Zero-Knowledge Proofs Correct? by Jon Stephens | Devcon Bogotá
- Shankara Pailoor - Picus: Push button zk circuit verification
- Shankara Pailoor - Picus: Push button zk circuit verification
- Introduction to ZK Security Research | David Theodore | PROGCRYPTO
- ZK7: Security of ZKP projects: same but different - JP Aumasson - Taurus
- ZK9: Fuzzy Knowledge Fuzzing SNARK circuit primitives – Innokentii Sennovskii (Aztec Network)
- Introduction to ZK Security Research | David Theodore | PROGCRYPTO
- ZK11: Insights from and on Taxonomy of ZKP Vulnerabilities - Gyumin Roh
- ZK9: Fuzzy Knowledge Fuzzing SNARK circuit primitives – Innokentii Sennovskii (Aztec Network)
- ZK10: ZK Vulnerabilities and Attacks - Stefanos Chaliasos
- ZK10: ZK Vulnerabilities and Attacks - Stefanos Chaliasos
- ETH Seoul 2023: Opinionated Survey of ZKP Security by Gyumin Roh, KALOS/HAECHI LABS
- ZKProof 6: Exploiting a Vulnerable Implementation of the Fiat-Shamir Transform in a KZG-based SNARK
- ZKProof 6: Why Verifying the Verifier Opens Up Longer-Term ZK Innovation - Ben Livshits (Matter Labs)
- ZKProof 6: Exploiting a Vulnerable Implementation of the Fiat-Shamir Transform in a KZG-based SNARK
- ZKProof 6: Why Verifying the Verifier Opens Up Longer-Term ZK Innovation - Ben Livshits (Matter Labs)
- ZKProof 6: Practical Formal Verification for Arithmetic Circuits - Marcin Kostrzewa (Reilabs)
- ZKProof 6: SoK: Understanding Security Vulnerabilities in SNARKs - Stefanos Chaliasos (Imperial College London)
- ETHCC\[7\
- ZKHACK's puzzles
- RareSkills' puzzles
- ZKProof 6: Practical Formal Verification for Arithmetic Circuits - Marcin Kostrzewa (Reilabs)
- ZKProof 6: SoK: Understanding Security Vulnerabilities in SNARKs - Stefanos Chaliasos (Imperial College London)
- ETHCC\[7\
- ZKHACK's puzzles
- RareSkills' puzzles
- StarknetCC-CTF
- CRYPTOHACK
- zk-bug-tracker
- ZK-EVM Audit education sessions
- Scalable Verification of Zero-Knowledge Protocols
- The Last Challenge Attack: Exploiting a Vulnerable Implementation of the Fiat-Shamir Transform in a KZG-based SNARK
- Ingonyama's CTF
- StarknetCC-CTF
- CRYPTOHACK
- zk-bug-tracker
- ZK-EVM Audit education sessions
- ZK Podcast
- ZK Podcast
- ZK Bugs Dataset with reproducible vulns
- ZK Bugs Dataset with reproducible vulns
- SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
- Zero-Knowledge Proof Vulnerability Analysis and Security Auditing
- The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation
- SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
- Zero-Knowledge Proof Vulnerability Analysis and Security Auditing
- The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation
- CLAP: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
- CLAP: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
- An SMT-LIB Theory of Finite Fields
- Weak Fiat-Shamir Attacks on Modern Proof Systems
- An SMT-LIB Theory of Finite Fields
- Weak Fiat-Shamir Attacks on Modern Proof Systems
- Practical Security Analysis of Zero-Knowledge Proof Circuits
- Certifying Zero-Knowledge Circuits with Refinement Types
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Practical Security Analysis of Zero-Knowledge Proof Circuits
- Certifying Zero-Knowledge Circuits with Refinement Types
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Automated Analysis of Halo2 Circuits
- Automated Analysis of Halo2 Circuits
- Formal Verification of Zero-Knowledge Circuits
- SMT Solving over Finite Field Arithmetic
- Compositional Formal Verification of Zero-Knowledge Circuits
- Satisfiability Modulo Finite Fields
- Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- SMT Solving over Finite Field Arithmetic
- Compositional Formal Verification of Zero-Knowledge Circuits
- Satisfiability Modulo Finite Fields
- Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Scalable Verification of Zero-Knowledge Protocols
- The Last Challenge Attack: Exploiting a Vulnerable Implementation of the Fiat-Shamir Transform in a KZG-based SNARK
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Common Vulnerabilities in ZK Proof
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- ZKProof 6: Exploiting a Vulnerable Implementation of the Fiat-Shamir Transform in a KZG-based SNARK
- ZKProof 6: Why Verifying the Verifier Opens Up Longer-Term ZK Innovation - Ben Livshits (Matter Labs)
- ZKProof 6: Practical Formal Verification for Arithmetic Circuits - Marcin Kostrzewa (Reilabs)
- Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- gakonst/awesome-starknet
- Common Vulnerabilities in ZK Proof
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Common Vulnerabilities in ZK Proof
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Fuzzing Processing Pipelines for Zero-Knowledge Circuits
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- SP1 Security Update (2 vulns disclosure) - - 27/1/2025
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- How to Prove False Statements: Practical Attacks on Fiat-Shamir
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs)
- Satisfiability Modulo Finite Fields
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
- Patch Thursday — Uncovering a ZK-EVM Soundness Bug in zkSync Era
- Common Vulnerabilities in ZK Proof
- SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations
-
Programming Languages
Categories
Sub Categories