Implementations¶
Description¶
Tags entries that are concrete implementations of proof systems or protocols — as opposed to theoretical descriptions.
Entries tagged¶
- A Deep Dive into Axiom's Halo2 Circuits
- AztecProtocol: Aztec Packages (UltraHONK Audit Scope)
- Barretenberg
- Circom 2
- Circom2 Documentation
- Comparative Analysis of SP1 and RISC Zero Zero-Knowledge Virtual Machines
- Docknetwork
- DockNetwork Crypto Library Analysis
- gnark
- gnark Documentation (Consensys)
- Halo 2
- Halo2 Documentation (Zcash)
- Ligero Prover (Ligetron)
- Ligetron Marketplace Documentation
- Microsoft Spartan — Commit History
- Microsoft Spartan (Original)
- Microsoft Spartan2
- Noir
- Noir Documentation
- noir-lang/noir — ACVM Repository
- OpenVM
- OpenVM Documentation
- Pico
- Powdr
- RISC Zero
- RISC Zero Documentation
- Sonic Reference Implementation (ebfull/sonic)
- SP1
- SP1 Documentation (Succinct Labs)
- Spartan (Framework / Implementation)
- Valida
- ZoKrates
- ZoKrates Documentation