Awesome Rust Cryptography list compiled by the Rust Cryptography Interest Group (RCIG)

• RCIG_Coordination_Repo

  18 240 3.5 HTML

  A Coordination repo for all things Rust Cryptography oriented

  

Following a recent meeting on the subject, the Rust Cryptography Interest Group (RCIG) has compiled the following new list of noteworthy cryptography projects in the Rust ecosystem:

• evercrypt-rust

  2 27 0.0 Rust

  Rust bindings for HACL & Evercrypt

evercrypt-rust (verified) Rust bindings for evercrypt, a set of high-performance HACL*-verified implementations of cryptographic primitives. bindings crate, bringing HACL-verified cryptographic primitives.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• hacl-star

  8 1,583 9.7 F*

  HACL*, a formally verified cryptographic library written in F*

  

This is SO exciting!!! Ituses https://github.com/project-everest/hacl-star - a formally verified cryptography library. And it compiles down to C code, so I suppose it's fast.

Suggest a related project