Remove chiquito2halo2 function in halo2 backend (#276)

privacy-scaling-explorations · Jul 29, 2024 · a142e84 · a142e84
1 parent 847259d
commit a142e84
Show file tree

Hide file tree

Showing 9 changed files with 158 additions and 191 deletions.
diff --git a/examples/factorial.py b/examples/factorial.py
@@ -106,7 +106,7 @@ def test_zero(self):
         )
         assert last_assignments[0] == 0  # i
         assert last_assignments[1] == 1  # x
-        factorial.halo2_mock_prover(factorial_witness)
+        factorial.halo2_mock_prover(factorial_witness, "examples/ptau/hermez-raw-11")
 
     def test_basic(self):
         factorial = Factorial()
@@ -116,7 +116,7 @@ def test_basic(self):
         )
         assert last_assignments[0] == 7  # i
         assert last_assignments[1] == 5040  # x
-        factorial.halo2_mock_prover(factorial_witness)
+        factorial.halo2_mock_prover(factorial_witness, "examples/ptau/hermez-raw-11")
 
 
 if __name__ == "__main__":

diff --git a/examples/fibonacci.py b/examples/fibonacci.py
@@ -80,9 +80,9 @@ def trace(self, n):
 fibo = Fibonacci()
 fibo_witness = fibo.gen_witness(7)
 fibo.halo2_mock_prover(
-    fibo_witness
+    fibo_witness, "examples/ptau/hermez-raw-11"
 )  # 2^k specifies the number of PLONKish table rows in Halo2
 another_fibo_witness = fibo.gen_witness(4)
-fibo.halo2_mock_prover(another_fibo_witness)
+fibo.halo2_mock_prover(another_fibo_witness, "examples/ptau/hermez-raw-11")
 
 fibo.to_pil(fibo_witness, "FiboCircuit")
diff --git a/examples/mimc7.py b/examples/mimc7.py
@@ -167,4 +167,4 @@ def mapping(self, x_in_value, k_value):
 mimc7_super_witness = mimc7.gen_witness(F(1), F(2))
 # for key, value in mimc7_super_witness.items():
 #     print(f"{key}: {str(value)}")
-mimc7.halo2_mock_prover(mimc7_super_witness)
+mimc7.halo2_mock_prover(mimc7_super_witness, "examples/ptau/hermez-raw-11")