From 6e47c70bd517376bf2841f65435332c7e530bfa5 Mon Sep 17 00:00:00 2001
From: Timofey Luin <timofey.luin@gmail.com>
Date: Wed, 3 Apr 2024 20:55:47 +0200
Subject: [PATCH] wip

---
 contracts                                                   | 2 +-
 justfile                                                    | 4 ++--
 lightclient-circuits/config/committee_update_testnet.json   | 4 ++--
 .../config/committee_update_verifier_testnet.json           | 2 +-
 lightclient-circuits/config/sync_step_testnet.json          | 6 +++---
 lightclient-circuits/config/sync_step_verifier_testnet.json | 2 +-
 prover/src/cli.rs                                           | 4 ++--
 7 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/contracts b/contracts
index a1233946..4e972c54 160000
--- a/contracts
+++ b/contracts
@@ -1 +1 @@
-Subproject commit a1233946cf00a4b161723524f63ec7f5ab472cfe
+Subproject commit 4e972c5410cf4235c0b48295f54a02418d86cc67
diff --git a/justfile b/justfile
index a48845c0..bf076364 100644
--- 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
index 4bea29b8..bacec3d0 100644
--- 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
     ]
   ]
-}
\ No newline at end of file
+}
diff --git a/lightclient-circuits/config/committee_update_verifier_testnet.json b/lightclient-circuits/config/committee_update_verifier_testnet.json
index c38fdce4..61838b78 100644
--- a/lightclient-circuits/config/committee_update_verifier_testnet.json
+++ b/lightclient-circuits/config/committee_update_verifier_testnet.json
@@ -9,4 +9,4 @@
   "break_points": [
     []
   ]
-}
\ No newline at end of file
+}
diff --git a/lightclient-circuits/config/sync_step_testnet.json b/lightclient-circuits/config/sync_step_testnet.json
index 9659e0cd..78125575 100644
--- 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
     ]
   ]
-}
\ No newline at end of file
+}
diff --git a/lightclient-circuits/config/sync_step_verifier_testnet.json b/lightclient-circuits/config/sync_step_verifier_testnet.json
index f64047ee..1bdff1b1 100644
--- a/lightclient-circuits/config/sync_step_verifier_testnet.json
+++ b/lightclient-circuits/config/sync_step_verifier_testnet.json
@@ -9,4 +9,4 @@
   "break_points": [
     []
   ]
-}
\ No newline at end of file
+}
diff --git a/prover/src/cli.rs b/prover/src/cli.rs
index d6f2b553..eef505b4 100644
--- 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))