Karolin Varner 99ac3c0902 feat: Experimental support for encryption using libcrux ...

Libcrux is a library for formally verified implementations of
cryptographic primitives. It uses multiple back ends; one of which is
libjade. A cryptographic library written in the jasmin assembly
language for high assurance cryptographic implementations.

To use compile with the experiment_libcrux feature enabled:

    cargo build --features experiment_libcrux

2024-07-03 21:46:40 +02:00

..

src

Replace &* incantations with .deref()

2024-06-17 20:49:40 -07:00

Cargo.toml

feat: Experimental support for encryption using libcrux

2024-07-03 21:46:40 +02:00