fix

lightclient-circuits/config/sync_step_testnet.json

@@ -15,12 +15,12 @@
   },
   "break_points": [
     [
-      2097142,
-      2097142,
+      2097141,
       2097141,
       2097142,
+      2097140,
       2097142,
-      2097140
+      2097141
     ]
   ]
 }

lightclient-circuits/src/sync_step_circuit.rs

@@ -41,6 +41,7 @@ use halo2_ecc::{
 use halo2curves::bls12_381::{G1Affine, G2Affine};
 use itertools::Itertools;
 use num_bigint::BigUint;
+use rayon::iter::IntoParallelRefIterator;
 use ssz_rs::Merkleized;
 use std::{env::var, marker::PhantomData, vec};
 
@@ -378,11 +379,14 @@ impl<S: Spec, F: Field> StepCircuit<S, F> {
         let rand_point = g1_chip.load_random_point::<G1Affine>(ctx);
         let mut acc = rand_point.clone();
         for (bit, point) in participation_bits
-            .iter()
+            .par_iter()
             .copied()
             .zip(assigned_affines.iter_mut())
         {
-            let sum = g1_chip.add_unequal(ctx, acc.clone(), point.clone(), true);
+            let is_equal = g1_chip.is_equal(ctx, acc.clone(), point.clone());
+            let add = g1_chip.add_unequal(ctx, acc.clone(), point.clone(), true);
+            let doub = g1_chip.double(ctx, acc.clone());
+            let sum = g1_chip.select(ctx, doub, add, is_equal);
             acc = g1_chip.select(ctx, sum, acc, bit);
         }
         let agg_pubkey = g1_chip.sub_unequal(ctx, acc, rand_point, false);