Skip to content
Open-Source Registry

Search 2 packages

Found
Build behaviour
Packages1–2 of 2VersionFindingsDescriptionDownloadsWhen
hekate-core cargo0.37.0clean Core primitives for the Hekate ZK proving system.1.2K17h ago
hekate-verifier cargo0.37.0clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching.55417h ago