perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified)#860

MauroToscano wants to merge 4 commits into

mainyetanotherco/lambda_vm:mainfrom

feat/keccak-hwsl-inlineyetanotherco/lambda_vm:feat/keccak-hwsl-inlineCopy head branch name to clipboard