Lib.rs

› Cryptography › hpke-rs
#hpke #evercrypt #verified #back-end #crypto #provider #hpke-rs

hpke-rs-evercrypt

Crypto backend for HPKE using formally verified code from Evercrypt

by Franziskus Kiefer and 6 contributors

5 releases

0.1.2 Feb 24, 2022
0.1.1 Feb 7, 2022
0.1.1-pre.2 Feb 2, 2022
0.1.1-pre.1 Nov 25, 2021
0.1.0 Nov 10, 2021

#2227 in Cryptography


Used in openmls_evercrypt

MPL-2.0 license

26KB
459 lines

HPKE Crypto provider using Evercrypt

crates.io Docs Rust Version

This crate provides an implementation of the HpkeCrypto trait using Evercrypt.

Please see hpke-rs for more details.

Dependencies

~51MB
~1M SLoC