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

ADVANCES IN CRYPTOLOGY - CRYPTO 2013, PT II, pp. 90-108, 2013.

Cited by: 487|Views35
EI

Abstract:

An argument system for NP is a proof system that allows efficient verification of NP statements, given proofs produced by an untrusted yet computationally-bounded prover. Such a system is non-interactive and publicly-verifiable if, after a trusted party publishes a proving key and a verification key, anyone can use the proving key to gene...More

Code:

Data:

Full Text
Bibtex
Your rating :
0

 

Tags
Comments