Feat/isolated pool parallelism#480

Closed

diegokingston wants to merge 9 commits into

mainfrom

feat/isolated-pool-parallelism

Commits on Apr 8, 2026

docs: add design spec for isolated Rayon pool parallelism
diegokingston
committed
docs: add implementation plan for isolated pool parallelism
diegokingston
committed
feat(stark): add shard_parallelism() helper for isolated pool config
diegokingston
committed
feat(stark): add partition_tables_by_cost LPT scheduler
diegokingston
committed
feat(stark): replace Rounds 2-4 with isolated Rayon pool partitions
diegokingston
committed
fix(stark): cap shard count at num_airs/2 per spec
diegokingston
committed
fix(stark): return pool buffers on prove_rounds_2_to_4 error
diegokingston
committed

Commits on Apr 9, 2026

Merge branch 'main' into feat/isolated-pool-parallelism
diegokingston
authored

Commits on Apr 15, 2026

Merge branch 'main' into feat/isolated-pool-parallelism
diegokingston
authored