SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge.
Eli Ben-SassonAlessandro ChiesaDaniel GenkinEran TromerMadars VirzaPublished in: IACR Cryptol. ePrint Arch. (2013)
Keyphrases
- domain knowledge
- computer programs
- artificial intelligence
- prior knowledge
- data sets
- knowledge sharing
- intermediate level
- database
- knowledge extraction
- expert knowledge
- knowledge sources
- raw data
- higher level
- knowledge management
- programming language
- knowledge discovery
- data model
- recommender systems
- information technology
- expert systems
- computer science
- high level
- knowledge base
- machine learning
- real world
- databases