Repository navigation

feat(constraints): prove public RAM output constraint (26) - #15

Merged

abiswas3 merged 2 commits into

qvd/registers-34-36from

qvd/ram-output-26

Sep 29, 2026

Merged

feat(constraints): prove public RAM output constraint (26)#15
abiswas3 merged 2 commits into
qvd/registers-34-36from
qvd/ram-output-26

Commits on Sep 29, 2026
- Prove public RAM output constraint (26)
  quangvdao
  committed
  280da7e
- refactor(constraints): weaken (26) premise and derive it from Rust's layout
  quangvdao
  committed
  1a2e4bd