Clarify the zk part of sha(M) example

0xPARC · Apr 5, 2024 · 3985161 · 3985161
1 parent aec4591
commit 3985161
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/intro.typ b/src/intro.typ
@@ -68,7 +68,8 @@ scheme to authenticating any sort of transaction:
 - A group signature scheme can be construed as a succinct proof that
   "I know one of Alice, Bob, or Charlie's private keys".
 - But you could also use a zkSNARK to prove a statement like
-  "I know a message $M$ such that $"sha"(M) = "91af3ac..."$".
+  "I know a message $M$ such that $"sha"(M) = "91af3ac..."$",
+  of course without revealing $M$ or anything about $M$.
 - ... Or really any arbitrarily complicated statement.
 
 #todo[gubsheep's slide had a funny example with emoji, link it]