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

#657 in Cryptography

Download history 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 1773/week @ 2025-01-11 1557/week @ 2025-01-18 1498/week @ 2025-01-25 1793/week @ 2025-02-01 1416/week @ 2025-02-08

6,636 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