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.