From cdbc65a0059031f7c01cba4c5842182e8601834c Mon Sep 17 00:00:00 2001 From: mger <52114293+mger@users.noreply.github.com> Date: Tue, 13 Aug 2019 15:24:35 +0200 Subject: [PATCH] Fix typo in README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 21f8e46f..7ca097f1 100644 --- a/README.md +++ b/README.md @@ -51,7 +51,7 @@ A prover who knows the witness for the NP statement (i.e., a satisfying input/as the proof attests not just that the NP statement is true, but also that the prover knows why (e.g., knows a valid _qux_). -These properties are summarized by the _zkSNARK_ acronym, which stands for _Zero-Knowledge Succinct Non-interactive ARgument of Knowledge_ (though zkSNARKs are also knows as +These properties are summarized by the _zkSNARK_ acronym, which stands for _Zero-Knowledge Succinct Non-interactive ARgument of Knowledge_ (though zkSNARKs are also known as _succinct non-interactive computationally-sound zero-knowledge proofs of knowledge_). For formal definitions and theoretical discussions about these, see \[BCCT12], \[BCIOP13], and the references therein.