fix(air): enforce word_addr ∈ [0, 2³²) in the memory chiplet AIR (soundness fix)#2935
Closed
amathxbt wants to merge 6 commits into0xMiden:nextfrom
Closed
fix(air): enforce word_addr ∈ [0, 2³²) in the memory chiplet AIR (soundness fix)#2935amathxbt wants to merge 6 commits into0xMiden:nextfrom
amathxbt wants to merge 6 commits into0xMiden:nextfrom
Commits
Commits on Mar 29, 2026
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- committed
