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

#578 in Cryptography

Download history 11/week @ 2024-07-08 7/week @ 2024-07-15 474/week @ 2024-07-22 40/week @ 2024-07-29 108/week @ 2024-08-05 67/week @ 2024-08-12 186/week @ 2024-08-19 79/week @ 2024-08-26 438/week @ 2024-09-02 879/week @ 2024-09-09 883/week @ 2024-09-16 981/week @ 2024-09-23 1497/week @ 2024-09-30 1111/week @ 2024-10-07 1230/week @ 2024-10-14 1394/week @ 2024-10-21

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