gen verifier contracts

ChainSafe · Dec 12, 2023 · 342a028 · 342a028
1 parent 60ab00b
commit 342a028
Show file tree

Hide file tree

Showing 6 changed files with 57 additions and 18 deletions.
diff --git a/contracts/snark-verifiers/sync_step_verifier.sol b/contracts/snark-verifiers/sync_step_verifier.sol
diff --git a/justfile b/justfile
@@ -16,13 +16,21 @@ lint: fmt
 setup-step network *k='22':
     cargo run -r -- circuit sync-step -p ./build/sync_step_$1.pkey -k $2 setup
 
+setup-step-compressed network *k='23':
+    cargo run -r -- circuit sync-step-compressed -p ./build/sync_step_$1.pkey -k 21 \
+         --verifier-k $2 --verifier-pk-path ./build/sync_step_verifier_$1.pkey setup
+
 setup-committee-update network *k='25':
     cargo run -r -- circuit committee-update -p ./build/committee_update_$1.pkey -k 18 \
          --verifier-k $2 --verifier-pk-path ./build/committee_update_verifier_$1.pkey setup
 
 gen-verifier-step network:
     cargo run -r -- circuit sync-step -p ./build/sync_step_$1.pkey gen-verifier -o ./contracts/snark-verifiers/sync_step.sol
 
+gen-verifier-step-compressed network:
+    cargo run -r -- circuit sync-step-compressed -p ./build/sync_step_$1.pkey --verifier-pk-path ./build/sync_step_verifier_$1.pkey \
+        gen-verifier -o ./contracts/snark-verifiers/sync_step_verifier.sol
+
 gen-verifier-committee-update network:
     cargo run -r -- circuit committee-update -p ./build/committee_update_$1.pkey --verifier-pk-path ./build/committee_update_verifier_$1.pkey \
         gen-verifier -o ./contracts/snark-verifiers/committee_update_verifier.sol

diff --git a/lightclient-circuits/config/committee_update_testnet.json b/lightclient-circuits/config/committee_update_testnet.json
@@ -2,30 +2,25 @@
   "params": {
     "k": 18,
     "num_advice_per_phase": [
-      12
+      7
     ],
     "num_fixed": 1,
     "num_lookup_advice_per_phase": [
       1,
       0,
       0
     ],
-    "lookup_bits": 8,
+    "lookup_bits": 17,
     "num_instance_columns": 1
   },
   "break_points": [
     [
       262134,
-      262132,
       262134,
-      262132,
-      262133,
-      262132,
-      262132,
+      262134,
       262133,
-      262132,
       262134,
-      262133
+      262134
     ]
   ]
 }
diff --git a/lightclient-circuits/config/sync_step_testnet.json b/lightclient-circuits/config/sync_step_testnet.json
@@ -1,22 +1,25 @@
 {
   "params": {
-    "k": 22,
+    "k": 21,
     "num_advice_per_phase": [
-      3
+      6
     ],
     "num_fixed": 1,
     "num_lookup_advice_per_phase": [
       1,
       0,
       0
     ],
-    "lookup_bits": 21,
+    "lookup_bits": 20,
     "num_instance_columns": 1
   },
   "break_points": [
     [
-      4194294,
-      4194294
+      2097142,
+      2097142,
+      2097140,
+      2097142,
+      2097142
     ]
   ]
 }
diff --git a/lightclient-circuits/config/sync_step_verifier_testnet.json b/lightclient-circuits/config/sync_step_verifier_testnet.json
@@ -0,0 +1,12 @@
+{
+  "params": {
+    "degree": 23,
+    "num_advice": 1,
+    "num_lookup_advice": 1,
+    "num_fixed": 1,
+    "lookup_bits": 8
+  },
+  "break_points": [
+    []
+  ]
+}
diff --git a/prover/src/cli.rs b/prover/src/cli.rs
@@ -83,11 +83,10 @@ where
             let gen_dummy_snark = |k: u32| {
                 let params = gen_srs(k);
 
-                let pk = CommitteeUpdateCircuit::<S, Fr>::read_or_create_pk(
+                let pk = CommitteeUpdateCircuit::<S, Fr>::create_pk(
                     &params,
                     &pk_path,
                     &cfg_path,
-                    true,
                     &Default::default(),
                 );
 
@@ -157,11 +156,10 @@ where
             let gen_dummy_snark = |k: u32| {
                 let params = gen_srs(k);
 
-                let pk = StepCircuit::<S, Fr>::read_or_create_pk(
+                let pk = StepCircuit::<S, Fr>::create_pk(
                     &params,
                     &pk_path,
                     &cfg_path,
-                    true,
                     &Default::default(),
                 );