Perf/dma tail wide memset - #896

Draft

diegokingston wants to merge 10 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
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