Merge pull request #2 from amiller/patch-1

Update README.md

README.md

@@ -1,3 +1,5 @@
+This simple SNARK application was made in response to a lightning-dev forum post, https://lists.linuxfoundation.org/pipermail/lightning-dev/2015-November/000309.html where AJ Towns suggested using SNARKs to implement a variant of the lightning protocol. The exact application doesn't matter too much, but in the thread there was an initial attempt at benchmarking, which seemed to suggest ridiculous numbers, like 100+MB for a proof about a single hash. So, this project was made to set the record straight about what performance could be expected.
+
 This is a SNARK implementation using libsnark for the following:
 
 ``ZkPoK{ (R1, R2): H1 = sha256(R1) and H2 = sha256(R2) and R1 = R2 ^ X }``
@@ -28,4 +30,4 @@ and witness behavior in a circuit. This gadget uses other gadgets, creates its o
 constraints, and exposes an interface for building input maps.
 
 * `src/snark.hpp` exposes a loose wrapper around the constraint system and
-key generation used by `test.cpp` to construct proofs and verify them as necessary.
+key generation used by `test.cpp` to construct proofs and verify them as necessary.