hpke-rs-evercrypt 0.1.2

Crypto backend for HPKE using formally verified code from Evercrypt.
# HPKE Crypto provider using Evercrypt

[![crates.io][crate-badge]][crate-link]
[![Docs][docs-badge]][docs-link]
![Rust Version][rustc-image]

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

Please see [hpke-rs] for more details.

[evercrypt]: https://crates.io/crates/evercrypt
[hpkecrypto]: https://github.com/franziskuskiefer/hpke-rs/tree/main/traits
[rustc-image]: https://img.shields.io/badge/rustc-1.56+-blue.svg?style=for-the-badge
[docs-badge]: https://img.shields.io/badge/docs-rs-blue.svg?style=for-the-badge
[docs-link]: https://docs.rs/hpke-rs-evercrypt
[crate-badge]: https://img.shields.io/crates/v/hpke-rs-evercrypt.svg?style=for-the-badge
[crate-link]: https://crates.io/crates/hpke-rs-evercrypt
[hpke-rs]: https://github.com/franziskuskiefer/hpke-rs