Skip to content
Open-Source Registry

Search 1 packages

Found
Build behaviour
Packages1–1 of 1VersionFindingsDescriptionDownloadsWhen
hekate-verifier cargo0.37.0clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching.55418h ago