libcrux 0.0.5

The Formally Verified Cryptography Library
Documentation
1
2
//! # AES-based AEAD ciphers (AES-GCM 128/256 and AES-CCM 128/256)
pub use libcrux_aes::*;