From 712a6c2d5bbae3fa7e514e59550d0dd3bbfc6899 Mon Sep 17 00:00:00 2001
From: Timofey Luin <timofey.luin@gmail.com>
Date: Thu, 21 Mar 2024 13:21:11 +0100
Subject: [PATCH] gen contracts & misc

---
 contracts            | 2 +-
 justfile             | 6 +++---
 prover/src/prover.rs | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/contracts b/contracts
index a430cae..834c16a 160000
--- a/contracts
+++ b/contracts
@@ -1 +1 @@
-Subproject commit a430caeb3678582b73e3ee73b6f001bd9d1e75ca
+Subproject commit 834c16ae2f9a4f2f489c6eced2a785d4038a673a
diff --git a/justfile b/justfile
index 76a6709..a48845c 100644
--- a/justfile
+++ b/justfile
@@ -25,15 +25,15 @@ setup-committee-update network *k='24':
          -K $2 -P ./build/committee_update_verifier_$1.pkey setup
 
 gen-verifier-step network:
-    cargo run -r -p spectre-prover -- circuit sync-step -p ./build/sync_step_$1.pkey gen-verifier -o ./contracts/snark-verifiers/sync_step.sol
+    cargo run -r -p spectre-prover -- circuit sync-step -p ./build/sync_step_$1.pkey gen-verifier -o ./contracts/$1/snark-verifiers/sync_step.sol
 
 gen-verifier-step-compressed network:
     cargo run -r -p spectre-prover -- circuit sync-step-compressed -p ./build/sync_step_$1.pkey -P ./build/sync_step_verifier_$1.pkey \
-        gen-verifier -o ./contracts/snark-verifiers/sync_step_verifier.sol
+        gen-verifier -o ./contracts/$1/snark-verifiers/sync_step_verifier.sol
 
 gen-verifier-committee-update network:
     cargo run -r -p spectre-prover -- circuit committee-update -p ./build/committee_update_$1.pkey -P ./build/committee_update_verifier_$1.pkey \
-        gen-verifier -o ./contracts/snark-verifiers/committee_update_verifier.sol
+        gen-verifier -o ./contracts/$1/snark-verifiers/committee_update_verifier.sol
 
 build-contracts:
     cd contracts && forge build
diff --git a/prover/src/prover.rs b/prover/src/prover.rs
index 03368b2..aa748ec 100644
--- a/prover/src/prover.rs
+++ b/prover/src/prover.rs
@@ -74,7 +74,7 @@ impl ProverState {
             params_map.get(step.degree()).unwrap(),
             step.pk(),
             step.config_path(),
-            None::<String>,
+            Some("./build/step_dummy.snark"),
             &Default::default(),
         )
         .unwrap();
@@ -90,7 +90,7 @@ impl ProverState {
             params_map.get(committee_update.degree()).unwrap(),
             committee_update.pk(),
             committee_update.config_path(),
-            None::<String>,
+            Some("./build/committee_update_dummy.snark"),
             &Default::default(),
         )
         .unwrap();