Transparent proofs

Proof systems without a trusted setup: Bulletproofs, FRI, STARKs, and Halo’s recursion.

Bulletproofs: range proofs without a trusted setup (2018)

Bulletproofs: range proofs without a trusted setup (2018)

FRI: fast Reed-Solomon proximity testing (2018)

FRI: fast Reed-Solomon proximity testing (2018)

STARKs: transparent proofs of computation from hashes (2018)

STARKs: transparent proofs of computation from hashes (2018)

Halo: recursive proof composition without a trusted setup (2019)

Halo: recursive proof composition without a trusted setup (2019)