4 releases

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

#1740 in Cryptography

Download history 21/week @ 2024-12-30 181/week @ 2025-01-06 276/week @ 2025-01-13 297/week @ 2025-01-20 100/week @ 2025-01-27 153/week @ 2025-02-03 68/week @ 2025-02-10 123/week @ 2025-02-17 247/week @ 2025-02-24 265/week @ 2025-03-03 141/week @ 2025-03-10 179/week @ 2025-03-17 198/week @ 2025-03-24 172/week @ 2025-03-31 419/week @ 2025-04-07 862/week @ 2025-04-14

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

Apache-2.0

610KB
11K SLoC

HMAC

This crate implements HMAC on SHA 1 and SHA 2 (except for SHA 224).

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

~0.6–1MB
~22K SLoC