perf(stark): fuse deep-composition reconstruction for both FRI points - #775

Closed

Oppen wants to merge 39 commits into

mainfrom

perf/deep-reconstruction

Commits on Jul 2, 2026

feat: recursion profiling + measurement programs
Oppen
committed
0f8f3d8
refactor(prover): drop per-address PC table from recursion profile
Oppen
committed
1cde708
refactor(prover): share setup/progress across recursion diagnostics
Oppen
committed
bc86250
cargo fmt
Oppen
committed
8dbfe24
refactor(prover): unify recursion execute-only diagnostics
Oppen
committed
7e00788
build: enable the deserialize-only recursion guest
Oppen
committed
5aaae7a
build: point profile-recursion make targets at renamed tests
Oppen
committed
75a2421
docs: trim recursion smoke-test doc comments
Oppen
committed
914bdcc
refactor(prover): drop test_host_verify_step_timings
Oppen
committed
45fe99c
Remove the unused SP1 verifier bench program
Oppen
committed
5df2518
cargo fmt
Oppen
committed
83e4677
fix ci bug

Oppen
and
claude[bot]
committed
6312108
fix ci bug

Oppen
and
claude[bot]
committed
c83dbcc
ci: gate recursion-profile comment job on profile not being skipped
Oppen
committed
30c9d67
lint
Oppen
committed
ce36d78
inline(never) for high-level steps to avoid missing symbols
Oppen
committed
134f81c
Revert inline(never) for after_round_1
Oppen
committed
b4292f3
fix: reintroduce addr2line
Oppen
committed
62c50ca
Revert "fix: reintroduce addr2line"
Oppen
committed
f890fc0
feat: guest-side step-profiling markers for the recursion verifier
Oppen
committed
600670d
test: drop recursion smoke-test flamegraph and page-count diagnostics
Oppen
committed
2d5937e
refactor: drop accessors only used by the removed diagnostics
Oppen
committed
c97c9d3
feat: split airs/bus-balance from decode in recursion step profiling
Oppen
committed
0e68f30
cargo fmt
Oppen
committed
21f9e32
fix: per-step top-25 tables instead of a single tagged table
Oppen
committed
9c4da0b
fix: per-step top-25 percentages relative to step cycles, not total
Oppen
committed
c709329
lower requirements for comment
Oppen
committed
5d27652
fix: NOP/marker-0 collision and step-bucketing latch in recursion profiling
Oppen
committed
775c997
feat: cache verifying key + commitments (recursion opt)
Oppen
committed
32319b1
clippy allow
Oppen
committed
dbaa04c
feat: bind vk_digest into proof statement and guest output
Oppen
committed
0aee5b5
Revert comment on `DOMAIN_TAG`
Oppen
authored
efc2dbb
test: decode recursion blob as the 4-tuple the guest reads
Oppen
committed
5c0a0c8
docs: new_with_vkey covers five tables; note page-order lockstep
Oppen
committed
e6b54fe

Commits on Jul 3, 2026