SNARKs for C
Snarks for C: verifying program executions succinctly and in zero knowledge.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Papamanthou, Charalampos; Tamassia, Roberto; Triandopoulos, Nikos: Authenticated hash tables based on cryptographic accumulators (2016)
- Chiesa, Alessandro; Zhu, Zeyuan Allen: Shorter arithmetization of nondeterministic computations (2015)
- Ben-Sasson, Eli; Chiesa, Alessandro; Genkin, Daniel; Tromer, Eran; Virza, Madars: Snarks for C: verifying program executions succinctly and in zero knowledge (2013)