diff --git a/prover/src/continuation.rs b/prover/src/continuation.rs index 169cd7278..dea9a2866 100644 --- a/prover/src/continuation.rs +++ b/prover/src/continuation.rs @@ -806,6 +806,9 @@ fn verify_epoch( None => return Ok(false), }; + stark::profile_markers::step_marker::<{ stark::profile_markers::STEP_AIRS_AND_BUS_BALANCE_DONE }>( + ); + if !Verifier::multi_verify_views(&refs, proof, &mut seed(), &expected) { return Ok(false); } @@ -965,6 +968,9 @@ fn verify_global( refs.push(air as AirRef); } + stark::profile_markers::step_marker::<{ stark::profile_markers::STEP_AIRS_AND_BUS_BALANCE_DONE }>( + ); + Verifier::multi_verify_views( &refs, proof,