Repository navigation

spec: HINT chip - #917

Open

nicole-graus wants to merge 3 commits into

spec/hint-ecall

Open

spec: HINT chip#917
nicole-graus wants to merge 3 commits into
spec/mainfrom
spec/hint-ecall

Commits on Aug 7, 2026
- Specify the HINT chip for the non-constraining hint ECALL
  nicole-graus
  committed
  030051f
- Correct the HINT chapter's soundness arguments and align its terminology with the rest of the spec
  nicole-graus
  committed
  b504e78
Commits on Aug 10, 2026
- Fix the HINT chapter's multiplicity exploit, byte-pinning scope, and range-check attribution
  nicole-graus
  committed
  5a98a4a