Search 1 packages
| Packages1–1 of 1 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| hekate-math cargo | 0.12.1 | clean | 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.8K | 3h ago |
