@misc{cryptoeprint:2021:694,
    author = {Ignacio Cascudo and Emanuele Giunta},
    title = {On Interactive Oracle Proofs for Boolean R1CS Statements},
    howpublished = {Cryptology ePrint Archive, Report 2021/694},
    year = {2021},
    url = {https://eprint.iacr.org/2021/694},
}