A Toolbox for Barriers on Interactive Oracle Proofs.

Gal Arnon Amey Bhangale Alessandro Chiesa Eylon Yogev

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

Keyphrases

formal proofs
neural network
database
virtual reality
theorem proving
oracle database
user friendly
computer graphics
interactive video
highly interactive
software package
theorem prover
bayesian networks
information systems
computer vision
genetic algorithm
databases
data sets
real time