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

#674 in Cryptography

Download history 1508/week @ 2024-09-28 1122/week @ 2024-10-05 1165/week @ 2024-10-12 1350/week @ 2024-10-19 2003/week @ 2024-10-26 1938/week @ 2024-11-02 1599/week @ 2024-11-09 1559/week @ 2024-11-16 793/week @ 2024-11-23 1502/week @ 2024-11-30 1032/week @ 2024-12-07 1452/week @ 2024-12-14 322/week @ 2024-12-21 220/week @ 2024-12-28 1366/week @ 2025-01-04 1384/week @ 2025-01-11

3,451 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