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

#2020 in Cryptography

Download history 156/week @ 2024-11-19 225/week @ 2024-11-26 107/week @ 2024-12-03 220/week @ 2024-12-10 256/week @ 2024-12-17 8/week @ 2024-12-24 44/week @ 2024-12-31 207/week @ 2025-01-07 399/week @ 2025-01-14 315/week @ 2025-01-21 182/week @ 2025-01-28 123/week @ 2025-02-04 98/week @ 2025-02-11 294/week @ 2025-02-18 246/week @ 2025-02-25 310/week @ 2025-03-04

966 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
~40K SLoC