On Soundness Notions for Interactive Oracle Proofs
Crossref DOI link: https://doi.org/10.1007/s00145-024-09520-7
Published Online: 2024-11-12
Published Print: 2025-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Block, Alexander R.
Garreta, Albert
Tiwari, Pratyush Ranjan
Zając, Michał
Text and Data Mining valid from 2024-11-12
Version of Record valid from 2024-11-12
Article History
Received: 14 December 2023
Revised: 29 July 2024
Accepted: 21 August 2024
First Online: 12 November 2024