Alin Tomescu

Interactive Oracle Proofs (IOPs)

 
  • Nov 06, 2025

tl;dr: IOPs, as introduced in [BCS16]1.

$ $

Unstructured note

The WHIR paper on pg. 5 mentions the notion of an alphabet for an IOP.

References

For cited works, see below 👇👇

  1. Interactive Oracle Proofs, by Ben-Sasson, Eli and Chiesa, Alessandro and Spooner, Nicholas, in Theory of Cryptography, 2016 ↩

Search