On Soundness Notions for Interactive Oracle Proofs.

Alexander R. Block Albert Garreta Pratyush Ranjan Tiwari Michal Zajac

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

user friendly
database
computer graphics
data sets
information retrieval
user interaction
theorem prover
theorem proving
graphical interface
highly interactive
image processing