add grinding checks #84 (#85)

* add grinding checks #84 * circuit2 update #84 * Revert "circuit2 update #84" This reverts commit 843616d. * added example of custom mask #84 NilFoundation/crypto3-zk-marshalling#53 NilFoundation/zkllvm-transpiler#49 * Interface update #81 nil-foundation/zkllvm-transpiler#45 (#82) * Interface update #81 nil-foundation/zkllvm-transpiler#45 * updated example circuits to new interface #81 * cleanup #81 NilFoundation/zkllvm-transpiler#45 * modular_verifier interface update, added eta value checks #81 NilFoundation/zkllvm-transpiler#46 * added example of custom mask #84 NilFoundation/crypto3-zk-marshalling#53 NilFoundation/zkllvm-transpiler#49
NilFoundation · Nov 10, 2023 · aa908fa · aa908fa
1 parent 7e17aea
commit aa908fa
Show file tree

Hide file tree

Showing 7 changed files with 529 additions and 480 deletions.
diff --git a/contracts/zkllvm/circuit1/commitment.sol b/contracts/zkllvm/circuit1/commitment.sol
diff --git a/contracts/zkllvm/circuit1/params.json b/contracts/zkllvm/circuit1/params.json
@@ -48,7 +48,7 @@
             "17166126583027276163107155648953851600645935739886150467584901586847365754678"
         ],
         "grinding_params": {
-            "mask": "4294901760"
+            "mask": "4294934528"
         }
     }
 }
diff --git a/contracts/zkllvm/circuit2/commitment.sol b/contracts/zkllvm/circuit2/commitment.sol
diff --git a/contracts/zkllvm/circuit2/proof.bin b/contracts/zkllvm/circuit2/proof.bin
diff --git a/contracts/zkllvm/circuit3/commitment.sol b/contracts/zkllvm/circuit3/commitment.sol
diff --git a/contracts/zkllvm/circuit4/commitment.sol b/contracts/zkllvm/circuit4/commitment.sol
diff --git a/contracts/zkllvm/circuit6/commitment.sol b/contracts/zkllvm/circuit6/commitment.sol