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

#785 in Cryptography

Download history 83/week @ 2024-08-23 185/week @ 2024-08-30 884/week @ 2024-09-06 970/week @ 2024-09-13 977/week @ 2024-09-20 1320/week @ 2024-09-27 1202/week @ 2024-10-04 1104/week @ 2024-10-11 1355/week @ 2024-10-18 1880/week @ 2024-10-25 2032/week @ 2024-11-01 1582/week @ 2024-11-08 1433/week @ 2024-11-15 1142/week @ 2024-11-22 1272/week @ 2024-11-29 982/week @ 2024-12-06

5,037 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