search

cryspen / libcrux

The formally verified crypto library for Rust
https://cryspen.com/libcrux
Apache License 2.0
88 stars 15 forks source link

[Meta] 2024 pure Rust release #648

Open franziskuskiefer opened 2 weeks ago

franziskuskiefer commented 2 weeks ago

A pure Rust libcrux release in 2024 with a limited set of primitives for use in different project.

Tracking of primitives backed by hacl-rs has been moved to #537.

keks commented 1 week ago

Is there anything in ML-DSA and ML-KEM itself that is not pure rust? My understanding is that we SHA3 and SHAKE are C right now, but other than that we are fine?

franziskuskiefer commented 1 week ago

ML-KEM and ML-DSA are pure Rust. We use the Rust SHA3.