fix(soundness): #1296 RISC-V opcode soundness audit#1345

Open

spherel wants to merge 7 commits into

fix/issue-1296-soundness-audit

Commits on May 27, 2026

fix(soundness): range-check outflow in shift / shift-imm circuits (#1296 v1)
spherel
committed
fix(soundness): use OpFixedRS RW=false for syscall arg pointers (#1296)
spherel
committed

Commits on May 28, 2026

docs(soundness): FIXME for MulH v2 BabyBear limb overflow (#1296 v2)
spherel
committed