Login / Signup
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge.
Eli Ben-Sasson
Alessandro Chiesa
Daniel Genkin
Eran Tromer
Madars Virza
Published in:
CRYPTO (2) (2013)
Keyphrases
</>
domain knowledge
knowledge base
knowledge acquisition
expert systems
knowledge discovery
computer programs
knowledge sharing
knowledge representation
data sets
data model
knowledge management
metadata
learning systems
conceptual model
raw data
knowledge extraction
database