Verifiable Random Functions from Non-interactive Witness-Indistinguishable Proofs.

Published in: TCC (2) (2017)

Keyphrases

sufficient conditions
real time
virtual reality
decision procedures
graphical interface
highly interactive
databases
social networks
three dimensional
probability distribution
user interaction
user friendly
theorem proving
interactive video