Succinct Interactive Oracle Proofs: Applications and Limitations.

Shafik Nassar Ron D. Rothblum

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

Keyphrases

database
user interaction
computer graphics
theorem proving
databases
case study
interactive exploration
real time
learning algorithm
decision making
oracle database
database administration
database security
interactive systems
formal proof
formal proofs