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

#2404 in Cryptography

Download history 15/week @ 2024-12-21 16/week @ 2024-12-28 171/week @ 2025-01-04 287/week @ 2025-01-11 294/week @ 2025-01-18 102/week @ 2025-01-25 147/week @ 2025-02-01 68/week @ 2025-02-08 120/week @ 2025-02-15 239/week @ 2025-02-22 280/week @ 2025-03-01 135/week @ 2025-03-08 189/week @ 2025-03-15 186/week @ 2025-03-22 175/week @ 2025-03-29 227/week @ 2025-04-05

789 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