ci: Standardize benchmarks and input constants#467

Draft

samuelburnham wants to merge 27 commits into

mainfrom

sb/ci-benchmarks

Commits on Jul 3, 2026

fix(zisk): drop --max-witness-stored flag, use Zisk's default cap
samuelburnham
committed
feat(ci): CSV-driven !benchmark + Zisk/SP1/native benchmarks
samuelburnham
committed
test(ci): trigger bench-pr.yml on pull_request (TEMPORARY)
samuelburnham
committed
feat(ci): default to ~11 primary constants
samuelburnham
committed
feat(ci): native backend on !benchmark + bencher parity/cleanup
samuelburnham
committed
feat(ci): Aiur proves all primaries that fit 128GB; native checks primaries too
samuelburnham
committed
feat(ci): texray per-phase drill-down + child-process-aware peak RAM
samuelburnham
committed
refactor(ci): rename backend native→ooc; suffix bencher workloads with -check
samuelburnham
committed
refactor(ci): bencher-first !benchmark, unified --consts CLI, RAM harness
samuelburnham
committed
feat(ci): compile as a !benchmark backend; full-closure zkVM parity; threshold + doc cleanup
samuelburnham
committed
feat(ci): annotate compare table cells with ratio (1.5x faster/slower)
samuelburnham
committed
fix(ci): review fixes — full-closure check-rs, OOM/polarity/caching, dedup
samuelburnham
committed
ci: convert riscv-bench into a zkVM host build+test gate (no proving key)
samuelburnham
committed
fix(ci): pre-build proofman-starks-lib-c to serialize the shared make
samuelburnham
committed
fix(ci): resolve run.sh tool binaries lazily at their use sites
samuelburnham
committed
fix(ci): classify alloc-abort proves as OOM, sweep Zisk shm, fix vector names
samuelburnham
committed
ci: move the zkVM host build gate into ci.yml; comment out the sp1 benchmarks
samuelburnham
committed
fix(aiur): populate trace rows for UnconstrainedBigUintDivMod
samuelburnham
committed
feat(bench): track Aiur proof-size and verify-time
samuelburnham
committed
feat(ci): env-sharded zisk execute via ix profile → ix shard manifests
samuelburnham
committed
feat(ci): fill partial bencher misses from a targeted base run
samuelburnham
committed
feat(ci): PR side cuts its own zisk shard manifest
samuelburnham
committed
feat(ci): per-shard execute-time and peak RAM in the zisk env row
samuelburnham
committed
feat(ix): compile --consts seed selection + `ix shard extract` subcommand
samuelburnham
committed
feat(ci): closure-sharded zisk execute for heavy primaries
samuelburnham
committed
feat(bench): reject typecheck failures loudly — fail fast, ❌ row, red job
samuelburnham
committed
test(ci): trigger bench-main on branch pushes (TEMPORARY)
samuelburnham
committed