hpke-rs-libcrux
| Crates.io | hpke-rs-libcrux |
| lib.rs | hpke-rs-libcrux |
| version | 0.3.0 |
| created_at | 2025-05-28 12:19:06.351399+00 |
| updated_at | 2025-07-01 08:00:28.755719+00 |
| description | Crypto backend for HPKE using formally verified code from libcrux. |
| homepage | |
| repository | https://github.com/cryspen/hpke-rs |
| max_upload_size | |
| id | 1692732 |
| size | 45,707 |
Franziskus Kiefer (franziskuskiefer)
documentation
https://docs.rs/hpke-rs-libcrux
README
HPKE Crypto provider using Libcrux
This crate provides an implementation of the HpkeCrypto trait using Libcrux.
Please see hpke-rs for more details.