From a3506d57dd383f0db0f4fc5359174c886c49b5f6 Mon Sep 17 00:00:00 2001 From: warner <> Date: Tue, 11 Mar 2014 18:29:33 +0000 Subject: [PATCH] [Imported from Trac: page SNARKs, version 2] --- SNARKs.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/SNARKs.md b/SNARKs.md index 85069c5..f308ac2 100644 --- a/SNARKs.md +++ b/SNARKs.md @@ -5,8 +5,7 @@ multi-party computation and zero-knowledge proofs. ## SNARKs -[SNARKs for C: -Verifying Program Executions Succinctly and in Zero Knowledge](http://tau.ac.il/~tromer/papers/csnark-20131007.pdf): +[SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge](http://tau.ac.il/~tromer/papers/csnark-20131007.pdf): (Ben-Sasson, Chiesa, Genkin, Tromer, Virza). This defines the zk-SNARK (zero-knowledge Succinct Non-interactive ARgument of Knowledge) scheme used by Zerocash.