On Interactive Oracle Proofs for Boolean R1CS Statements | Publicación