feat(stm): add recursive IVC circuit benchmarks - #3432

Merged

hjeljeli32 merged 20 commits into

mainfrom

hjeljeli32/3412-ivc-recursive-circuit-benchmarks

Jul 27, 2026

Commits on Jul 26, 2026

refactor(stm): move read-only IVC asset layer out of the test tree for benchmark reuse
hjeljeli32
committed
feat(stm): add additive genesis benchmark fixture asset for IVC benchmarks
hjeljeli32
committed
feat(stm): add production-backed IVC recursive benchmark façade
hjeljeli32
committed
feat(stm): add warm-start SRS measurement and symmetric cold/warm naming to the IVC bench façade
hjeljeli32
committed
feat(stm): add recursive IVC circuit prover benchmarks
hjeljeli32
committed
feat(stm): add verify/fold benchmarks and a single-observation IVC report table
hjeljeli32
committed
fix(stm): reject value-taking options in the IVC bench CLI and clarify report labels
hjeljeli32
committed
refactor(stm): move IVC bench CLI parsing into a unit-tested bench_cli module
hjeljeli32
committed
feat(stm): add cold/warm setup cache benchmarks (SRS and certificate+recursive keys)
hjeljeli32
committed
fix(stm): use a plain code span for RECURSIVE_CIRCUIT_DEGREE in the IVC bench docs
hjeljeli32
committed
refactor(stm): apply IVC bench review fixes (unwrap-free asset decode, drop stale allow, doc wording)
hjeljeli32
committed
refactor(stm): group IVC and certificate bench code into dedicated bench modules
hjeljeli32
committed
refactor(stm): split the IVC benchmark façade and tidy its comments
hjeljeli32
committed
docs(stm): add benches README for the IVC and certificate circuits
hjeljeli32
committed
test(stm): hoist golden-test imports to module scope
hjeljeli32
committed
refactor(stm): drop the unused Ignored bench-CLI variant
hjeljeli32
committed
refactor(stm): remove the unused measure_full_setup bench helper
hjeljeli32
committed
style(stm): format the benches README with prettier
hjeljeli32
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat(stm): add recursive IVC circuit benchmarks - #3432

feat(stm): add recursive IVC circuit benchmarks#3432
hjeljeli32 merged 20 commits into
mainfrom
hjeljeli32/3412-ivc-recursive-circuit-benchmarks

Commits on Jul 26, 2026

refactor(stm): move read-only IVC asset layer out of the test tree for benchmark reuse

feat(stm): add additive genesis benchmark fixture asset for IVC benchmarks

feat(stm): add production-backed IVC recursive benchmark façade

feat(stm): add warm-start SRS measurement and symmetric cold/warm naming to the IVC bench façade

feat(stm): add recursive IVC circuit prover benchmarks

feat(stm): add verify/fold benchmarks and a single-observation IVC report table

fix(stm): reject value-taking options in the IVC bench CLI and clarify report labels

refactor(stm): move IVC bench CLI parsing into a unit-tested bench_cli module

feat(stm): add cold/warm setup cache benchmarks (SRS and certificate+recursive keys)

fix(stm): use a plain code span for RECURSIVE_CIRCUIT_DEGREE in the IVC bench docs

refactor(stm): apply IVC bench review fixes (unwrap-free asset decode, drop stale allow, doc wording)

refactor(stm): group IVC and certificate bench code into dedicated bench modules

refactor(stm): split the IVC benchmark façade and tidy its comments

docs(stm): add benches README for the IVC and certificate circuits

test(stm): hoist golden-test imports to module scope

refactor(stm): drop the unused Ignored bench-CLI variant

refactor(stm): remove the unused measure_full_setup bench helper

style(stm): format the benches README with prettier

Commits on Jul 27, 2026

feat(stm): log IVC benchmark progress to stderr during long runs

chore(stm): update changelog and bump version to 0.11.4