On Soundness Notions for Interactive Oracle Proofs

Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac 0001. On Soundness Notions for Interactive Oracle Proofs. IACR Cryptology ePrint Archive, 2023:1256, 2023. [doi]

Abstract

Abstract is missing.