perf(syscalls,crypto): in-place keccak sponge + direct finalize + fixed-shape parents (−40% recursion-verifier cycles at real query counts)#847

Merged

MauroToscano merged 10 commits into

mainfrom

opt-rec/1-inplace-keccak-sponge

Jul 17, 2026

Commits on Jul 17, 2026

perf(syscalls): absorb keccak sponge input in place
MauroToscano
committed
perf(crypto): finalize keccak Merkle hashes straight into the node array
MauroToscano
committed
perf(crypto,syscalls): fixed-shape keccak256_pair for Merkle parents
MauroToscano
committed
test(syscalls): differential-test the keccak sponge against sha3 on host
MauroToscano
committed
test(syscalls): wire keccak differential tests into make; drop unused critical-section dev-dep
MauroToscano
committed
refactor(syscalls): keccak review fixes — LE guard, shared squeeze, StdRng tests
MauroToscano
committed
docs(crypto,syscalls): record measured dead-end optimizations at their code sites
MauroToscano
committed
fix(ci,test,docs): close the review gaps on the keccak sponge PR
MauroToscano
committed
fix(syscalls): gate the guest entrypoint module to riscv64
MauroToscano
committed
test(syscalls),docs(crypto): make absorb-path coverage structural; pin the adapter passthrough invariant
MauroToscano
committed