Search 1 packages
| Packages1–1 of 1 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| 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 | 18h ago |
Open-Source Registry
| Packages1–1 of 1 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| 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 | 18h ago |