Skip to content

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

Draft
MauroToscano wants to merge 3 commits into
mainfrom
feat/keccak-hwsl-inline
Draft

perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified)#860
MauroToscano wants to merge 3 commits into
mainfrom
feat/keccak-hwsl-inline

spec(keccak): render the HWSL-inline variant chip in the keccak chapter

afe78a0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar