Login / Signup
Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.
Jonathan Bootle
Andrea Cerulli
Jens Groth
Sune K. Jakobsen
Mary Maller
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
program execution
knowledge acquisition
domain knowledge
knowledge sources
multi processor
knowledge representation
worst case
machine learning
domain experts
operating system
theorem proving
knowledge sharing
distance learning
learning systems
training set
expert systems
high level
knowledge base