Lib.rs

› Cryptography › libcrux
#sha-3 #formal-verification #avx2 #neon #fips #verified #portable

libcrux-sha3

Libcrux SHA-3 implementation

by Franziskus Kiefer, cryspen

4 releases

0.0.2-beta.2 Sep 24, 2024
0.0.2-alpha.3 Jul 22, 2024
0.0.2-alpha.1 Jul 2, 2024

#652 in Cryptography

Download history 837/week @ 2024-09-17 960/week @ 2024-09-24 1572/week @ 2024-10-01 981/week @ 2024-10-08 1418/week @ 2024-10-15 1580/week @ 2024-10-22 2018/week @ 2024-10-29 1657/week @ 2024-11-05 1628/week @ 2024-11-12 1544/week @ 2024-11-19 808/week @ 2024-11-26 1378/week @ 2024-12-03 1186/week @ 2024-12-10 1185/week @ 2024-12-17 243/week @ 2024-12-24 327/week @ 2024-12-31

3,075 downloads per month
Used in 5 crates (2 directly)

Apache-2.0

170KB
4K SLoC

Libcrux SHA3

pre-verification

This crate implements SHA3 (FIPS 202).

It provides

  • a portable implementation
  • an AVX2 optimised implementation
  • a Neon optimised implementation

Dependencies

~120KB