Transparent¶
Description¶
Tags proof systems with no trusted setup — all randomness is public and verifiable. Includes STARKs, Bulletproofs, Spartan, and FRI-based systems.
Entries tagged¶
- Aurora: Transparent Succinct Arguments for R1CS (Ben-Sasson et al. 2019)
- Bulletproofs
- Bulletproofs: Short Proofs for Confidential Transactions and More (Bünz et al. 2018)
- Bulletproofs+
- Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger (Chung et al. 2020)
- Doubly-Efficient zkSNARKs Without Trusted Setup (Hyrax)
- Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI)
- FRI
- Halo2 Documentation (Zcash)
- Hyrax
- Libra
- Ligero
- Ligero: Lightweight Sublinear Arguments Without a Trusted Setup
- Ligero: Lightweight Sublinear Arguments Without a Trusted Setup (Ames et al. 2017)
- Ligero++
- Ligero++: A New Optimized Sublinear IOP (Bhadauria et al. 2020)
- Microsoft Spartan — Commit History
- Microsoft Spartan (Original)
- Microsoft Spartan2
- Spartan
- Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup (Setty 2020)
- zk-STARKs