Aggregate-first recursion: lift shard proofs, fold `CheckEnv` claims, and verify one root - #598

Merged

johnchandlerburnham merged 48 commits into

mainfrom

jcb/aggregate-first

Sep 3, 2026

Commits on Aug 27, 2026

feat: implement aggregate-first lift/join pipeline
johnchandlerburnham
committed
70d73e6

Commits on Aug 28, 2026

feat: add structural aggregate joins
johnchandlerburnham
committed
c83f6d9
feat: support single-shard aggregate roots
johnchandlerburnham
committed
6ea4bba
feat: audit aggregate recursion activation and parameters
johnchandlerburnham
committed
ccf17ce
aiur: virtual-gas meter + QueryRecordHandle for per-constant cost profiling

arthurpaulino
authored and
samuelburnham
committed
66fb376
aiur: batch weights; budget-gated proves that split in place
samuelburnham
committed
1639996
aiur: model-driven splitting, exec-only audits, corrected-manifest emit
samuelburnham
committed
f529e09
aiur: quality pass, --ram-budget semantics, settled seed sizing
samuelburnham
committed
7de7a7b
feat: add verified aggregate proof cache
johnchandlerburnham
committed
5646af6
bench: aiur-sharded-env exercises the split audit
samuelburnham
committed
20f5e62
perf(aggregate): avoid repeated shard closure walks
samuelburnham
committed
614cf55
feat: parallelize aggregate proof scheduling
johnchandlerburnham
committed
a3372b6
aiur: scale static shard seeds by block profile
samuelburnham
committed
f43447c
bench(aggregate): add tiny Init pair end-to-end benchmark
samuelburnham
committed
80854d1
fmt, clippy
samuelburnham
committed
319df80
bench: measure aggregate flat joins
johnchandlerburnham
committed
6c20e1c

Commits on Aug 29, 2026

Bump Rust toolchain to 1.98

samuelburnham
authored and
johnchandlerburnham
committed
5665aa3
Bump multi-stark: width-binding policy, height bound, P3 v0.6.0

samuelburnham
authored and
johnchandlerburnham
committed
b017104
Bump Blake3.lean and lean-ffi for Rust 1.98

samuelburnham
authored and
johnchandlerburnham
committed
093365d
bench: feed the recursive phase advice bytes, fix RecursionDebug's claim

samuelburnham
authored and
johnchandlerburnham
committed
428d6ac
aggregate: adapt recursion pipeline to pruned FRI proofs
johnchandlerburnham
committed
4a265c7
feat: ixAggr heterogeneous recursive aggregation toplevel

arthurpaulino
authored and
johnchandlerburnham
committed
33c618d
aggregate: converge production pipeline on ixAggr
johnchandlerburnham
committed
91d1dd1
bench: add converged aggregate policy handoff
johnchandlerburnham
committed
b70042d

Commits on Aug 30, 2026

merge: main into aggregate-first
johnchandlerburnham
committed
eec6064

Commits on Sep 1, 2026

Update Aiur to Plonky3 0.6
arthurpaulino
committed
f0909c7
Provision Rust for fresh benchmark base builds
arthurpaulino
committed
eab18e4
Verify native Plonky3 multiproofs recursively
arthurpaulino
committed
840932a
Merge branch 'ap/bump-p3' into jcb/aggregate-first
johnchandlerburnham
committed
82dcc9d
Fix multi-stark PR77 merge resolution
johnchandlerburnham
committed
bbee830
Add a pinned CUDA 13.2 development shell
johnchandlerburnham
committed
5d1c637

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Add targeted Stage 2 replay
johnchandlerburnham
committed
e6f50a1
Audit aggregate proofs against every constant
johnchandlerburnham
committed
2472bff
Move aggregate verification orchestration to Rust
johnchandlerburnham
committed
2f6b3f5
Parallelize native aggregate preparation
johnchandlerburnham
committed
e92a44f
Fix typecheck benchmark shard prove handling
johnchandlerburnham
committed
8069e6a
Add validated Mathlib Stage 2 fixture
johnchandlerburnham
committed
d975198
Merge origin/main into jcb/aggregate-first
johnchandlerburnham
committed
5f62218
Fix Nix Stage 2 fixture test wiring
johnchandlerburnham
committed
419e08b