Login / Signup
Interactive Oracle Proofs.
Eli Ben-Sasson
Alessandro Chiesa
Nicholas Spooner
Published in:
IACR Cryptol. ePrint Arch. (2016)
Keyphrases
</>
data structure
user friendly
computer graphics
virtual reality
oracle database
database
case study
relational databases
user interface
theorem prover
interactive learning
graphical interface
highly interactive
interactive video