tahoe-lafs/trac-2024-07-25
2
0
Issues 1.1k Wiki Activity

add Snarkfront 

[Imported from Trac: page SNARKs, version 7]
warner 2015-09-16 07:36:29 +00:00
parent ce0fb2dd67
commit 5556e9a7bf
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
SNARKs.md

@ -60,9 +60,15 @@ proof, and the proof itself was 322 bytes. Verifying the proof took
This precursor is the application paper for the main generic snark This precursor is the application paper for the main generic snark
implementation. implementation.
### SnarkFront
<https://github.com/jancarlsson/snarkfront>
C++ program which takes a target program (as a restricted-form C++ template) and emits an executable which can generate SNARK public-key datasets, generate proofs, or verify proofs. Includes AES and SHA primitives.
### ZeroCash ### ZeroCash
* Eli Ben-Sasson's presentation with high-level description, comparison against ZeroCoin : <https://www.youtube.com/watch?v=l7LSSE0bRRo> Eli Ben-Sasson's presentation with high-level description, comparison against ZeroCoin : <https://www.youtube.com/watch?v=l7LSSE0bRRo>
### Recursive Composition of SNARKs ### Recursive Composition of SNARKs