Perf/dma tail wide memset - #896

Draft

diegokingston wants to merge 35 commits into

feat/dma-memcpyfrom

perf/dma-tail-wide-memset

Commits on Aug 4, 2026

feat(dma): prove memset with a dedicated DMA_SET table
diegokingston
committed
1f777c4
feat(dma): route memmove through the memcpy ecall, no new AIR
diegokingston
committed
77a5467
perf(guest): read the private input zero-copy via ef_io::read_input (#886)

diegokingston
and
MauroToscano
authored
8b88a8d
Merge branch 'main' into feat/dma-memcpy
jotabulacios
authored
6b6125e
Merge feat/dma-memcpy into perf/dma-tail-wide-memset
diegokingston
committed
b7de897

Commits on Aug 5, 2026

Reformat the prover's AIR import block
jotabulacios
committed
3c7cdce
Align the new DMA asm stubs to 4 bytes
jotabulacios
committed
ffb2928
Rename the DMA chunk-too-large error
jotabulacios
committed
4dfd9af
Add DMA_SET tests and fix review nits
jotabulacios
committed
d1980c6
Add DMA_SET to the whole-AIR-set test lists
jotabulacios
committed
a85a41b
Tighten the DMA_SET forgery tests
jotabulacios
committed
13107d4

Commits on Aug 6, 2026

Widen the memset proptest to the chunk cap
jotabulacios
committed
0cc3228

Commits on Aug 7, 2026

fix(verifier): pin each trace-opening column width to the AIR, not just their sum (#909)

MauroToscano
and
diegokingston
authored
6949ceb
fix(page): private-input PAGE OFFSET is unconstrained — forgeable memory contents (two invariants, both with exploits) (#904)

MauroToscano
and
jotabulacios
authored
483dc6e
Define memcpy in the always-linked entrypoint
jotabulacios
committed
d2596b3
Pin compiler-emitted memcpy to the DMA ecall
jotabulacios
committed
bc72b03
Report the bytes and rows DMA copies cost
jotabulacios
committed
ee185cb
Feat/hint ecall (#876)

authored
58160b6
solve conflicts
jotabulacios
committed
ef9e752

Commits on Aug 10, 2026

Commits on Aug 12, 2026

fix(gpu): survive transient VRAM pressure — recover resident-table declines, close an R2 corruption race (#914)

ColoCarletti
and
MauroToscano
authored
d898a42

Commits on Aug 13, 2026

perf: make bump the default guest allocator (#869)

authored
d52f37d

Commits on Aug 18, 2026

Commits on Aug 21, 2026

perf(gpu): grind the proof-of-work nonce on the GPU (#936)

ColoCarletti
and
MauroToscano
authored
b64b7ae

Commits on Aug 24, 2026

Commits on Aug 27, 2026

Commits on Aug 31, 2026

Bring #896 memset onto the current DMA head
jotabulacios
committed
3c3a2a5