spec: Fix `KECCAK` - #554

Merged

erik-3milabs merged 9 commits into

spec/fix_keccak

May 5, 2026

Commits on Apr 24, 2026

spec/keccak: fix cyclic-shift indexing mistakes
erik-3milabs
committed
211ae39
spec/ecall: fix negative ECALL numbering
erik-3milabs
committed
9904998

Commits on Apr 28, 2026

spec/keccak: optimize Cxz_right from Byte to Bit
erik-3milabs
committed
d75944e
spec/KECCAK: add potential optimization
erik-3milabs
committed
b075158
spec/KECCAK: fix typo
erik-3milabs
committed
f5af065
spec/KECCAK: list another potential optimization
erik-3milabs
committed
7fa693d
spec/keccak: fix index division problems
erik-3milabs
committed
9143370
spec/keccak: remove condition from IS_BIT
erik-3milabs
committed
b53d6c3
Merge branch 'spec/main' into spec/fix_keccak
erik-3milabs
authored
5ae57fd