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


Crypto backend for HPKE using formally verified code from Evercrypt

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

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.


~1M SLoC