Skip to content

Replace BLAKE2S by KECCAK-256 - #636

Merged
TomWambsgans merged 124 commits into
mainfrom
keccak-gkr
Oct 23, 2026
Merged

TomWambsgans merged 124 commits into
mainfrom
keccak-gkr

nothing

5746f57
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
lean-sphincs-formalization
succeeded Oct 23, 2026 in 1h 4m 58s