Skip to content
Open-Source Registry

Search 1 packages

Found
Build behaviour
Packages1–1 of 1VersionFindingsDescriptionDownloadsWhen
hekate-math cargo0.12.1clean Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,…1.8K3h ago