curve25519-dalek v3.1.0 Release Notes

    • ➕ Add support for the Elligator2 encoding for Edwards points.
    • ➕ Add two optional formally-verified field arithmetic backends which use the Fiat Crypto project's Rust code, which is generated from proofs of functional correctness checked by the Coq theorem proving system.
    • ➕ Add support for additional sizes of precomputed tables for basepoint scalar multiplication.
    • 🛠 Fix an unused import.
    • ➕ Add support for using the zeroize traits with all point types. Note that points are not automatically zeroized on Drop, but that consumers of curve25519-dalek should call these methods manually when needed.