From 5556e9a7bf8291d10ea55f8525a34004415c9026 Mon Sep 17 00:00:00 2001
From: warner <>
Date: Wed, 16 Sep 2015 07:36:29 +0000
Subject: [PATCH] add Snarkfront

[Imported from Trac: page SNARKs, version 7]
---
 SNARKs.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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
+
+<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
 
-* 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