wip

ChainSafe · Apr 3, 2024 · 6e47c70 · 6e47c70
1 parent 5451a32
commit 6e47c70
Show file tree

Hide file tree

Showing 7 changed files with 12 additions and 12 deletions.
diff --git a/contracts b/contracts
diff --git a/justfile b/justfile
@@ -29,11 +29,11 @@ gen-verifier-step network:
 
 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/$1/snark-verifiers/sync_step_verifier.sol
+        gen-verifier -o ./contracts/snark-verifiers/$1/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/$1/snark-verifiers/committee_update_verifier.sol
+        gen-verifier -o ./contracts/snark-verifiers/$1/committee_update_verifier.sol
 
 build-contracts:
     cd contracts && forge build

diff --git a/lightclient-circuits/config/committee_update_testnet.json b/lightclient-circuits/config/committee_update_testnet.json
@@ -6,7 +6,7 @@
     ],
     "num_fixed": 1,
     "num_lookup_advice_per_phase": [
-      1,
+      0,
       0,
       0
     ],
@@ -18,4 +18,4 @@
       1048566
     ]
   ]
-}
+}
diff --git a/lightclient-circuits/config/committee_update_verifier_testnet.json b/lightclient-circuits/config/committee_update_verifier_testnet.json
@@ -9,4 +9,4 @@
   "break_points": [
     []
   ]
-}
+}
diff --git a/lightclient-circuits/config/sync_step_testnet.json b/lightclient-circuits/config/sync_step_testnet.json
@@ -18,10 +18,10 @@
       2097142,
       2097140,
       2097140,
-      2097142,
-      2097141,
+      2097140,
+      2097140,
       2097140,
       2097142
     ]
   ]
-}
+}
diff --git a/lightclient-circuits/config/sync_step_verifier_testnet.json b/lightclient-circuits/config/sync_step_verifier_testnet.json
@@ -9,4 +9,4 @@
   "break_points": [
     []
   ]
-}
+}
diff --git a/prover/src/cli.rs b/prover/src/cli.rs
@@ -98,7 +98,7 @@ where
                     &params,
                     &pk,
                     &cfg_path,
-                    None::<String>,
+                    Some("./build/committee_update_dummy.snark"),
                     &Default::default(),
                 )
                 .map_err(|e| eyre::eyre!("Failed to generate proof: {}", e))
@@ -176,7 +176,7 @@ where
                     &params,
                     &pk,
                     &cfg_path,
-                    None::<String>,
+                    Some("./build/step_dummy.snark"),
                     &Default::default(),
                 )
                 .map_err(|e| eyre::eyre!("Failed to generate proof: {}", e))