libcrux 0.0.4-rc.2

The Formally Verified Cryptography Library
Documentation
1
2
//! # AES-GCM 128 and AES-GCM 256
pub use libcrux_aesgcm::*;