Minor edits from Alex

0xPARC · Jul 8, 2024 · 67955d0 · 67955d0
1 parent 7b5cc81
commit 67955d0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/easy/main.typ b/easy/main.typ
@@ -18,8 +18,9 @@
 
 #quote[
   I can now prove to you that I have a message $M$ such that
-  $op("SHA")(M) = "0xa91af3ac..."$, without revealing $M$.
-  But not just for SHA. I can do this for any function you want.
+  $sha(M) = "0xa91af3ac..."$, without revealing $M$.
+  But not just for the hash function sha. 
+  I can do this for any function you want.
 ]
 
 #toc

diff --git a/easy/src/plonk.typ b/easy/src/plonk.typ
@@ -144,7 +144,7 @@ systems of quadratic equations of a very particular form:
   we get an "addition" gate
   $a_i + b_i = c_i,$
   while if we set
-  $ ( q_(L,i), q_(R,i), q_(O,i), q_(M,i), q_(C,i)) = ( 1, 1, 0, -1, 0 ), $
+  $ ( q_(L,i), q_(R,i), q_(O,i), q_(M,i), q_(C,i)) = ( 0, 0, -1, 1, 0 ), $
   we get a "multiplication" gate
   $a_i b_i = c_i.$
   Finally, if $q$ is any constant, then