hpke-rs-libcrux
| Crates.io | hpke-rs-libcrux |
| lib.rs | hpke-rs-libcrux |
| version | 0.5.0 |
| created_at | 2025-05-28 12:19:06.351399+00 |
| updated_at | 2025-12-17 13:53:57.817306+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 | 47,589 |
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.