Repository navigation

Feat/is whh - #1022

Merged

MauroToscano merged 32 commits into

mainfrom

feat/is-whh

Oct 23, 2026

Merged

Feat/is whh#1022
MauroToscano merged 32 commits into
mainfrom
feat/is-whh

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
Commits on Oct 20, 2026
Commits on Oct 21, 2026
- Check the test_keccak_64k output against the zero-state KAT in the executor tests,
  jotabulacios
  committed
  3f0ffb5
Commits on Oct 23, 2026
- Merge main into fix/multiplicity-soundness
  MauroToscano
  committed
  70c89a0
- Correct comments left stale by the per-row multiplicity counting
  MauroToscano
  committed
  647c6b8
- Merge fix/multiplicity-soundness (with main) into feat/is-whh
  MauroToscano
  committed
  652e08e
- Correct comments the IS_WH merge left stale
  MauroToscano
  committed
  eaae76d
- Merge main into feat/is-whh after #1016's squash
  MauroToscano
  committed
  8222838

Commits

Commits on Oct 2, 2026

Commits on Oct 5, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026

Commits on Oct 20, 2026

Commits on Oct 21, 2026

Commits on Oct 23, 2026