From e38e528817c67770c24e63bf4db4f9f5bb6153e3 Mon Sep 17 00:00:00 2001 From: Mario Rugiero Date: Tue, 21 Jul 2026 11:32:27 -0300 Subject: [PATCH] fix(prover): emit STEP_AIRS_AND_BUS_BALANCE_DONE marker on continuation verify paths verify_epoch and verify_global call multi_verify_views directly, without the marker prover/lib.rs's monolithic verify_proof_parts emits before its own multi_verify_views call. The recursion-block profile test buckets cycles by the latest marker observed, so on the continuation path "multi_verify setup (transcript replay phase A/B, per-table fork)" cycles were silently folded into whichever bucket was already active (airs_and_bus_balance for the first epoch, step4:openings carried over for later epochs), reporting the step at a flat 0. --- prover/src/continuation.rs | 6 ++++++ 1 file changed, 6 insertions(+) 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,