Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
6ab81ca
feat(crypto/mmcs): standalone Multi-Matrix Commitment Scheme module +…
diegokingston May 26, 2026
1750dc5
feat(crypto/mmcs): support same-height matrices
diegokingston May 26, 2026
becb5cd
perf(crypto/mmcs): row-parallel build via Rayon
diegokingston May 27, 2026
baecc56
bench(crypto/mmcs): micro-bench vs N independent Merkle trees
diegokingston May 27, 2026
24dabdf
feat(prover/mmcs_tags): per-chip MatrixTag spec (PR2 foundation)
diegokingston May 27, 2026
8f09c0d
feat(prover/mmcs_commit): chip-leaf hashing + MMCS-build adapter
diegokingston May 27, 2026
5e784da
feat(stark/mmcs): foundation types + leaf hash module + per-AIR tags
diegokingston May 27, 2026
00cc9d0
feat(stark): thread main_tags through multi_prove / multi_verify
diegokingston May 27, 2026
284fe64
feat(stark/mmcs): wire MMCS into Phase A + verifier; preprocessed kep…
diegokingston May 27, 2026
34ff765
test(stark/mmcs): per-vector soundness tests for the shared MMCS path
diegokingston May 27, 2026
9f6abba
feat(cli): `proof-size` subcommand with per-section byte breakdown
diegokingston May 27, 2026
dea5289
feat(cli): `proof-size-diff` subcommand + stable `ProofSizeReport` JSON
diegokingston May 27, 2026
3f6e5a3
feat(stark/mmcs): wire AUX trace under a shared MMCS
diegokingston May 27, 2026
d82d9ab
test(stark/mmcs): per-vector soundness tests for the shared AUX MMCS …
diegokingston May 27, 2026
dd74227
feat(crypto/mmcs): StreamingMmcsBuilder — fold max-height chips incre…
diegokingston May 28, 2026
5d1a2d6
feat(crypto/mmcs): Mmcs::open_with_leaves — open streaming-built MMCSes
diegokingston May 28, 2026
e854e15
refactor(stark/trace): Arc-wrap LDETraceTable columns
diegokingston May 28, 2026
b162180
feat(stark/mmcs): per-chunk MMCS — group K tables per MMCS, stream wi…
diegokingston May 28, 2026
c22fca9
feat(stark/mmcs): composition MMCS — per-chunk over composition polys
diegokingston May 28, 2026
7512928
feat(stark/fri): linear_combine_evaluations helper for Phase D
diegokingston May 28, 2026
c802523
feat(stark/fri): per-(chunk, lde_size) batched FRI + streaming bucket…
diegokingston May 28, 2026
880ec4d
Merge branch 'main' into research/mmcs-streaming
diegokingston May 28, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions bin/cli/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,8 @@ prover = { path = "../../prover", package = "lambda-vm-prover" }
stark = { path = "../../crypto/stark" }
clap = { version = "4.3.10", features = ["derive"] }
bincode = "1"
serde = { version = "1", features = ["derive"] }
serde_json = "1"
tikv-jemallocator = "0.6"
tikv-jemalloc-ctl = { version = "0.6", features = ["stats"], optional = true }
env_logger = "0.11"
Expand Down
452 changes: 452 additions & 0 deletions bin/cli/src/main.rs

Large diffs are not rendered by default.

Loading
Loading