Merge pull request #52 from 0xPolygonHermez/fix/constraint-inccounter…

…-zero add constraint to force that incCounter is zero on first row
0xPolygonHermez · Dec 20, 2023 · 43c1633 · 43c1633
2 parents c461923 + 715cb46
commit 43c1633
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/pil/padding_kk.pil b/pil/padding_kk.pil
@@ -91,6 +91,7 @@ namespace PaddingKK(%N);
     // if lastHash=0 && lastBLock=1 then incCounter'=incCounter+1
     // if lastHash=1 && lastBlock=1 then incCounter'=1
     incCounter' = incCounter*(1-lastBlock) + (incCounter +1)*(lastBlock-lastHash) + lastHash;
+    incCounter * Global.L1 = 0;
 
 
     // chunkReader generator

diff --git a/pil/padding_pg.pil b/pil/padding_pg.pil
@@ -112,6 +112,7 @@ namespace PaddingPG(%N);
     // if lastHash=0 && lastBLock=1 then incCounter'=incCounter+1
     // if lastHash=1 && lastBlock=1 then incCounter'=1
     incCounter' = incCounter*(1-lastBlock) + (incCounter +1)*(lastBlock-lastHash) + lastHash;
+    incCounter * Global.L1 = 0;
 
 
 

diff --git a/pil/padding_sha256.pil b/pil/padding_sha256.pil
@@ -105,6 +105,7 @@ namespace PaddingSha256(%N);
     // if lastHash=0 && lastBLock=1 then incCounter'=incCounter+1
     // if lastHash=1 && lastBlock=1 then incCounter'=1
     incCounter' = incCounter*(1-lastBlock) + (incCounter +1)*(lastBlock-lastHash) + lastHash;
+    incCounter * Global.L1 = 0;
 
 
     // chunkReader generator

diff --git a/pil/storage.pil b/pil/storage.pil
@@ -206,6 +206,7 @@ namespace Storage(%N);
     pol doJump = jmp + jmpz * opIsZero + jmpnz * (1 - opIsZero);
     pc' = doJump * (jmpAddress - pc - 1) + pc + 1;
     pc * Global.L1 = 0;
+    incCounter * Global.L1 = 0;
 
     // Last pc' must return to be pc=0 in order to close the program loop
     // Once the work is done, the rest of instructions must be: