Search 3 packages
| Packages1–3 of 3 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| p3-binary-field cargo | 0.9.0-rc.1 | clean | Characteristic-2 tower fields GF(2) ⊂ GF(4) ⊂ … ⊂ GF(2^128) for Plonky3 | 391 | 4h ago |
| 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 | 1d ago |
| ua-cryptography-gf2m cargo | 0.1.4 | clean | GF(2^m) in the polynomial and the optimal normal basis, and binary elliptic curves, as in DSTU 4145-2002 | 3h ago |
