libcrux-aead 0.0.5

Formally verified AEAD library

Coverage
71.43%
10 out of 14 items documented1 out of 1 items with examples
Size
Source code size: 41.79 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 5.53 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 30s Average build duration of successful builds.
all releases: 32s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
cryspen/libcrux
219 46 47
crates.io
Dependencies
Versions
Owners

AEAD

This crate provides a usable interface to libcrux-chacha20poly1305 and libcrux-aesgcm.

Verification

`libcrux-chacha20poly1305`

libcrux-chacha20poly1305 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.

NOTE: The XChacha20Poly1305 wrapper has not been formally verified yet.

`libcrux-aesgcm`

The implementations of AES-GCM 128 and AES-GCM 256 have not been formally verified yet.