On Interactive Oracle Proofs for Boolean R1CS Statements

Ignacio Cascudo, Emanuele Giunta. On Interactive Oracle Proofs for Boolean R1CS Statements. IACR Cryptology ePrint Archive, 2021:694, 2021. [doi]

Abstract

Abstract is missing.