Repository navigation

Fix: Constrain table multiplicities - #1016

Open

nicole-graus wants to merge 21 commits into

mainfrom

fix/multiplicity-soundness

Open

Fix: Constrain table multiplicities#1016
nicole-graus wants to merge 21 commits into
mainfrom
fix/multiplicity-soundness

Commits on Oct 2, 2026
- Bound MUL/DVRM multiplicities and bit-constrain SHIFT zbs and μ
  nicole-graus
  committed
  8e4b829
- Bit-constrain LOAD μ
  nicole-graus
  committed
  7c7e62a
Commits on Oct 5, 2026
- Bound LT multiplicity
  nicole-graus
  committed
  8580f42
- Bound BRANCH multiplicity
  nicole-graus
  committed
  5fec4bf
- Fix clippy lints in tests
  nicole-graus
  committed
  4dd1ee5
Commits on Oct 6, 2026
- Bound table multiplicities with IS_BYTE instead of IS_HALFWORD
  nicole-graus
  committed
  6eea7c2
Commits on Oct 7, 2026
Commits on Oct 8, 2026
- Guard the BYTEWISE multiplicity collector against a zero row cap
  nicole-graus
  committed
  a4b8083
- Treat a prover refusal as inconclusive instead of a rejection in the forgery harness
  nicole-graus
  committed
  cb19d79
Commits on Oct 13, 2026
- Range check multiplicities with ARE_BYTES sends as in spec
  nicole-graus
  committed
  8e62f38
Commits on Oct 14, 2026
- Align SHIFT and KECCAK_RND byte and bit checks with the spec
  nicole-graus
  committed
  cc8a181
- Add missing multiplicity tests, guard zero row caps and fix stale docs
  nicole-graus
  committed
  a85946e
Commits on Oct 15, 2026
Commits on Oct 16, 2026
- Describe the pre-fix BRANCH send in past tense
  nicole-graus
  committed
  976c5e1