From a04a78c0df4b0178a1f9719898ee4d5b2996376e Mon Sep 17 00:00:00 2001 From: Sebastian Angel Date: Thu, 7 Dec 2023 14:30:37 -0500 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index b738c475..b5d26ad1 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ +# This is a fork of Nova that makes the folding and the proof system zero-knowledge, the commitments hiding, and also hides the number of steps executed. + # Nova: Recursive SNARKs without trusted setup Nova is a high-speed recursive SNARK (a SNARK is type cryptographic proof system that enables a prover to prove a mathematical statement to a verifier with a short proof and succinct verification, and a recursive SNARK enables producing proofs that prove statements about prior proofs).