Research/mmcs streaming#628

Draft

diegokingston wants to merge 22 commits into

mainfrom

research/mmcs-streaming

Commits on May 26, 2026

feat(crypto/mmcs): standalone Multi-Matrix Commitment Scheme module + tests
diegokingston
committed
feat(crypto/mmcs): support same-height matrices
diegokingston
committed

Commits on May 27, 2026

perf(crypto/mmcs): row-parallel build via Rayon
diegokingston
committed
bench(crypto/mmcs): micro-bench vs N independent Merkle trees
diegokingston
committed
feat(prover/mmcs_tags): per-chip MatrixTag spec (PR2 foundation)
diegokingston
committed
feat(prover/mmcs_commit): chip-leaf hashing + MMCS-build adapter
diegokingston
committed
feat(stark/mmcs): foundation types + leaf hash module + per-AIR tags
diegokingston
committed
feat(stark): thread main_tags through multi_prove / multi_verify
diegokingston
committed
feat(stark/mmcs): wire MMCS into Phase A + verifier; preprocessed kept on per-table trees
diegokingston
committed
test(stark/mmcs): per-vector soundness tests for the shared MMCS path
diegokingston
committed
feat(cli): `proof-size` subcommand with per-section byte breakdown
diegokingston
committed
feat(cli): `proof-size-diff` subcommand + stable `ProofSizeReport` JSON
diegokingston
committed
feat(stark/mmcs): wire AUX trace under a shared MMCS
diegokingston
committed
test(stark/mmcs): per-vector soundness tests for the shared AUX MMCS path
diegokingston
committed

Commits on May 28, 2026