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

hpke-rs-evercrypt

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

#2448 in Cryptography

Download history 15/week @ 2024-03-31 1/week @ 2024-04-07

100 downloads per month
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