ZKP¶
Description¶
Root tag for all Zero-Knowledge Proof content in this vault. Applied to essentially every note — use more specific tags to narrow searches.
Entries tagged¶
- ACIR — Abstract Circuit Intermediate Representation
- AIR — Algebraic Intermediate Representation
- Algebraic Methods for Interactive Proof Systems
- Arithmetic Circuits
- Barretenberg
- Bulletproofs
- Bulletproofs+
- Circom 2
- Cryptographic Principles (Alin Tomescu)
- Designated-Verifier Dynamic zk-SNARKs
- Docknetwork
- Fiat-Shamir Transformation
- FRI
- gnark
- Groth16
- Halo 2
- HONK
- HyperPlonk
- Hyrax
- Interactive Proof Model (IP)
- LegoGroth16
- Libra
- Ligero
- Ligero Prover (Ligetron)
- Ligero++
- Noir
- Non-Interactive Zero-Knowledge and Its Applications
- Non-Interactive Zero-Knowledge and Its Applications (BFM88)
- Note: PLONK / TurboPLONK / UltraPLONK Family
- On Σ-protocols
- OpenVM
- Pedersen Commitments
- Pico
- Pinocchio
- PLONK
- PLONKish Arithmetization
- plookup
- Powdr
- Proof Systems for General Statements about Discrete Logarithms
- Proofs, Arguments, and Zero-Knowledge
- Proposal: ∑-protocols
- Proving in ZK that a Number Is the Product of Two Safe Primes
- QSP: Quadratic Span Programs and Succinct NIZKs without PCPs
- R1CS — Rank-1 Constraint System
- RISC Zero
- Scalable Secure Multiparty Computation
- Schwartz-Zippel Lemma
- Sonic
- SP1
- Spartan
- Spartan (Framework / Implementation)
- Sumcheck Protocol
- The Evolution of Zero Knowledge Proofs
- The Knowledge Complexity of Interactive Proof Systems
- The Knowledge Complexity of Interactive Proof Systems (GMR85)
- TurboPLONK
- UltraHonk
- Valida
- ZK Proof System Families Overview
- ZK Proof Taxonomy: Abstraction Levels
- zk-STARKs
- ZKAttest
- ZKAttest: Ring and Group Signatures for Existing ECDSA Keys
- ZKProof Wiki of Concrete ZKP Schemes
- zkVM — Zero-Knowledge Virtual Machine
- ZoKrates