[Imported from Trac: page SNARKs, version 2]
parent
e359802f0f
commit
a3506d57dd
|
@ -5,8 +5,7 @@ multi-party computation and zero-knowledge proofs.
|
||||||
|
|
||||||
## SNARKs
|
## SNARKs
|
||||||
|
|
||||||
[SNARKs for C:
|
[SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge](http://tau.ac.il/~tromer/papers/csnark-20131007.pdf):
|
||||||
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
|
(Ben-Sasson, Chiesa, Genkin, Tromer, Virza). This defines the
|
||||||
zk-SNARK (zero-knowledge Succinct Non-interactive ARgument of
|
zk-SNARK (zero-knowledge Succinct Non-interactive ARgument of
|
||||||
Knowledge) scheme used by Zerocash.
|
Knowledge) scheme used by Zerocash.
|
||||||
|
|
Loading…
Reference in a new issue