Merge branch 'sai/conditionally_verify_in_root_circuit' into sai/enab…

…le_keccak_optional_proving
0xPolygonZero · Oct 1, 2024 · 1540078 · 1540078
2 parents 58f37e8 + 2886fd8
commit 1540078
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/evm_arithmetization/src/fixed_recursive_verifier.rs b/evm_arithmetization/src/fixed_recursive_verifier.rs
@@ -3189,7 +3189,7 @@ mod tests {
             timing,
             log::Level::Info,
             "Verify segment proof",
-            all_circuits.verify_root(segment_proof.proof_with_pis.clone())?
+            all_circuits.verify_root(segment_proof.proof_with_pvs.intern.clone())?
         );
 
         // Print timing details