fix: generate solvency verifier contract

summa-dev · Oct 31, 2023 · d8ef0cb · d8ef0cb
1 parent 897027a
commit d8ef0cb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/zk_prover/examples/gen_solvency_verifier.rs b/zk_prover/examples/gen_solvency_verifier.rs
@@ -26,7 +26,9 @@ fn main() {
     let circuit = SolvencyCircuit::<N_ASSETS, N_BYTES>::init_empty();
 
     // generate a universal trusted setup for testing, along with the verification key (vk) and the proving key (pk).
-    let (params, pk, _) = generate_setup_artifacts(10, None, circuit.clone()).unwrap();
+    let (params, pk, _) =
+        generate_setup_artifacts(10, Some("../backend/ptau/hermez-raw-11"), circuit.clone())
+            .unwrap();
 
     let num_instances = circuit.num_instance();