diff --git a/SNARKs.md b/SNARKs.md index 13fc3e5..415b1ab 100644 --- a/SNARKs.md +++ b/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 implementation. +### 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 -* Eli Ben-Sasson's presentation with high-level description, comparison against ZeroCoin : +Eli Ben-Sasson's presentation with high-level description, comparison against ZeroCoin : ### Recursive Composition of SNARKs