spec: HINT chip - #917

Open

nicole-graus wants to merge 3 commits into

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