SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
ADVANCES IN CRYPTOLOGY - CRYPTO 2013, PT II, pp. 90-108, 2013.
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
PPT (Upload PPT)