speedup ci using verify_at_rows (#703)

* speedup ci using verify_at_rows

* use verify_at_rows to speedup super circuit ci tests

Author: lispc

zkevm-circuits/src/super_circuit/test.rs

@@ -52,6 +52,13 @@ fn test_super_circuit<
     builder.block.prev_state_root = block.mpt_updates.old_root();
     block.keccak_inputs = keccak_inputs(&builder.block, &builder.code_db).unwrap();
 
+    let active_row_num =SuperCircuit::<
+        Fr,
+        MAX_TXS,
+        MAX_CALLDATA,
+        MAX_INNER_BLOCKS,
+        MOCK_RANDOMNESS,
+    >::min_num_rows_block(&block).0;
     let (k, circuit, instance) = SuperCircuit::<
         Fr,
         MAX_TXS,
@@ -61,10 +68,11 @@ fn test_super_circuit<
     >::build_from_witness_block(block)
     .unwrap();
     let prover = MockProver::run(k, &circuit, instance).unwrap();
-    prover.assert_satisfied_par();
-    let res = prover.verify_par();
-    if let Err(err) = res {
-        error!("Verification failures: {:#?}", err);
+
+    let res = prover.verify_at_rows_par(0..active_row_num, 0..active_row_num);
+    if let Err(errs) = res {
+        error!("Verification failures: {:#?}", errs);
+        prover.assert_satisfied_par();
         panic!("Failed verification");
     }
 }

zkevm-circuits/src/tx_circuit/test.rs

@@ -114,10 +114,9 @@ fn run<F: Field>(
     max_txs: usize,
     max_calldata: usize,
 ) -> Result<(), Vec<VerifyFailure>> {
-    let k = max(
-        20,
-        log2_ceil(TxCircuit::<F>::min_num_rows(max_txs, max_calldata)),
-    );
+    let active_row_num = TxCircuit::<F>::min_num_rows(max_txs, max_calldata);
+
+    let k = max(20, log2_ceil(active_row_num));
     let circuit = TxCircuitTester::<F> {
         sig_circuit: SigCircuit {
             max_verif: max_txs,
@@ -131,7 +130,7 @@ fn run<F: Field>(
         Err(e) => panic!("{e:#?}"),
     };
 
-    prover.verify_par()
+    prover.verify_at_rows_par(0..active_row_num, 0..active_row_num)
 }
 
 #[test]