Interactive Oracle Proof¶
Description¶
Tags Interactive Oracle Proofs (IOPs) — a generalised model for proof systems where the verifier has oracle access to the prover's messages. Subsumes PCPs and used in STARK/FRI constructions.
Entries tagged¶
- Aurora: Transparent Succinct Arguments for R1CS (Ben-Sasson et al. 2019)
- Doubly-Efficient zkSNARKs Without Trusted Setup (Hyrax)
- Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI)
- FRI
- 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)
- Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup (Setty 2020)