spec: signatures - #280

Merged

erik-3milabs merged 7 commits into

spec/signatures

Feb 5, 2026

Commits on Feb 3, 2026

spec: list all interaction signatures
erik-3milabs
committed
ff399c6
Update spec/signatures.typ

erik-3milabs
and
greptile-apps[bot]
authored
a88e9b4

Commits on Feb 4, 2026

spec: signatures: fix LOAD signature
erik-3milabs
committed
a25be10
spec: signatures: make IS_BIT's cond a BaseField
erik-3milabs
committed
8744a67
spec: signatures: make ECALL's syscallnr a DWordWL
erik-3milabs
committed
61c7aad

Commits on Feb 5, 2026

spec: signatures: preemptively introduce NEG signature (see #270)
erik-3milabs
committed
d09ebe6
spec: signatures: fix DWordDL typo

erik-3milabs
and
RobinJadoul
authored
fadecdf