gen contracts & misc

ChainSafe · Mar 21, 2024 · 712a6c2 · 712a6c2
1 parent 7eacce0
commit 712a6c2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/contracts b/contracts
diff --git 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
@@ -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();