Search 2 packages
| Packages1–2 of 2 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| hekate-core cargo | 0.37.0 | clean | Core primitives for the Hekate ZK proving system. | 1.2K | 17h ago |
| hekate-verifier cargo | 0.37.0 | clean | Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. | 554 | 17h ago |
