4 releases

new 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

#1139 in Cryptography

Download history 67/week @ 2024-12-02 112/week @ 2024-12-09 227/week @ 2024-12-16 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 169/week @ 2025-03-17

826 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

~1.2–1.8MB
~30K SLoC