Succinct Arguments from Multi-prover Interactive Proofs and Their Efficiency Benefits.

Nir Bitansky Alessandro Chiesa

Published in: CRYPTO (2012)

Keyphrases

theorem proving
theorem prover
data sets
automated theorem proving
neural network
formal proofs
interactive video
computational efficiency
computational complexity
data structure
virtual reality
image processing
decision making
social networks
learning algorithm
databases
real time