iopp - Robuta Search

https://alinush.github.io/iopp Interactive Oracle Proofs of Proximity (IOPP) - Alin Tomescu tl;dr: A relaxation of IOPs that is central to hash-based proof systems like FRI, STIR[^ACFY24eSTIR] and WHIR. interactive oracle proofs proximity iopp