book chapterLecture notes in computer scienceJan 1, 2013GREEN OA

SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

EBEli Ben‐SassonACAlessandro ChiesaDGDaniel GenkinETEran TromerMVMadars Virza

Technion – Israel Institute of Technology · Tel Aviv University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

563
total citations
FWCI
34.22
Percentile
100%
References
73
Citations per year

Authors

5

Topics & keywords

Topics
Keywords
  • Gas meter prover
  • Computer science
  • Zero-knowledge proof
  • Mathematical proof
  • Verifiable secret sharing
  • Compiler
  • Automated theorem proving
  • Theoretical computer science
No related works found for this paper.