Feat/multi merkle tree gpu resident - #951

Draft

ColoCarletti wants to merge 26 commits into

mainfrom

feat/multi-merkle-tree-gpu-resident

Commits on Aug 28, 2026

feat(stark): mixed-height MMCS and batched FRI primitives
ColoCarletti
committed
a2a60d1
refactor(stark): plain-data prover/verifier helpers for batched reuse
ColoCarletti
committed
b310171
feat(stark): batched MMCS prover/verifier (multi_prove_batched) + tests
ColoCarletti
committed
627e3bf
feat(cuda): device build of the mixed-height MMCS
ColoCarletti
committed
293d120
feat(cuda): column-major absorb for the device MMCS (resident-LDE bridge)
ColoCarletti
committed
9f98165
feat(cuda): device mixed-height MMCS commit + main-round GPU cross-check
ColoCarletti
committed
bfcc6fc
feat(cuda): device MMCS commit + GPU cross-check for the aux and parts rounds
ColoCarletti
committed
14c9b73
feat(stark): reconstruct MixedMmcs from a GPU heap node array (from_heap_nodes)
ColoCarletti
committed
1086fc0
feat(cuda): commit all batched MMCS rounds on the GPU (device authoritative)
ColoCarletti
committed
b850b92
feat(cuda): batched-FRI injection kernel (fri_inject_bucket_ext3)
ColoCarletti
committed
ab33308
feat(cuda): drive the batched FRI commit on the GPU (fold-inject-commit)
ColoCarletti
committed
f5fcc07

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 8, 2026

perf(batched): de-interleave parts on device + zero-copy the aux/DEEP ext3 downloads
ColoCarletti
committed
8538682