Authors
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner
Publication date
2016/1/10
Journal
IACR Cryptol. ePrint Arch.
Volume
2016
Pages
324
Description
We study interactive oracle proofs (IOPs)[BCS16, RRR16], which combine aspects of probabilistically checkable proofs (PCPs) and interactive proofs (IPs). We present IOP constructions and techniques that let us achieve tradeoffs in proof length versus query complexity that are not known to be achievable via PCPs or IPs alone. Our main results are:
Scholar articles
E Ben-Sasson, A Chiesa, A Gabizon, M Riabzev… - IACR Cryptol. ePrint Arch., 2016