feat(prover,executor): keccak sponge-absorb accelerator (ECALL -4, one row per rate block) - #912

Draft

MauroToscano wants to merge 8 commits into

mainfrom

feat/keccak-sponge-absorb

Commits on Aug 10, 2026

feat(executor): keccak sponge-absorb syscall (ECALL -4)
MauroToscano
committed
e817a8a
feat(syscalls,cli,spec): guest wrapper, cycle counter and spec entry for keccak absorb
MauroToscano
committed
ff61d10
feat(prover): KECCAK_SPONGE absorb chip, seq-keyed Keccak bus, full trace-builder wiring
MauroToscano
committed
f4dba13
chore(bench,lint): keccak-absorb bench guest generator + fmt/clippy cleanup
MauroToscano
committed
2a1311e
chore(debug): extend the bus-ID legend to cover all live buses
MauroToscano
committed
a250458
test(prover): update the keccak column-count pin for the seq column and pin KECCAK_SPONGE
MauroToscano
committed
eafb597
spec(keccak): document the KECCAK_SPONGE absorb accelerator; refresh keccak specs for the seq wire-format
MauroToscano
committed
117c2b7
feat(ethrex,syscalls): route guest keccak through the KECCAK_SPONGE accelerator (default on)
MauroToscano
committed
67fdfe9