3 releases

0.0.2-beta.3 Feb 24, 2025
0.0.2-alpha.3 Jul 23, 2024
0.0.2-alpha.1 Jul 3, 2024

#2056 in Cryptography

Download history 119/week @ 2024-12-01 179/week @ 2024-12-08 285/week @ 2024-12-15 42/week @ 2024-12-22 23/week @ 2024-12-29 205/week @ 2025-01-05 371/week @ 2025-01-12 338/week @ 2025-01-19 132/week @ 2025-01-26 180/week @ 2025-02-02 94/week @ 2025-02-09 185/week @ 2025-02-16 286/week @ 2025-02-23 357/week @ 2025-03-02 265/week @ 2025-03-09 323/week @ 2025-03-16

1,247 downloads per month
Used in 5 crates (2 directly)

Apache-2.0

225KB
4K SLoC

Elliptic Curve Diffie-Hellman (ECDH)

This crate provides an API for performing elliptic curve Diffie-Hellman. Currently supported curves are Curve 25519 and NIST curve P256.

Verification

verified-hacl

This crate contains safe Rust that was compiled from verified C originating in the HACL* project.

The code for [these] algorithms is formally verified using the F* verification framework for memory safety, functional correctness, and secret independence (resistance to some types of timing side-channels). -- The HACL* repository

For more details on the compilation from C to Rust, please refer to "Compiling C to Safe Rust, Formalized" by Aymeric Fromherz and Jonathan Protzenko.

Dependencies

~2.5MB
~41K SLoC