celabshq

celabshq/libcrux

The formally verified crypto library for Rust

2 good first / help-wanted issues · C · last activity Oct 13, 2026

265 stars 63 forks 265 watchers C Apache License 2.0

cryptography encryption formal-verification signatures

2 Open Issues Need Help Last updated: Oct 13, 2026

Open Issues Need Help

View All on GitHub

Integrated p384 into kem 22 days ago

good first issue

celabshq/libcrux

265

The formally verified crypto library for Rust

C

#cryptography#encryption#formal-verification#signatures

[libcrux] Re-export P384 22 days ago

good first issue

celabshq/libcrux

265

The formally verified crypto library for Rust

C

#cryptography#encryption#formal-verification#signatures