Lib.rs

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

libcrux-sha3

Libcrux SHA-3 implementation

by Franziskus Kiefer, cryspen

5 releases

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

#826 in Cryptography

Download history 1638/week @ 2024-11-18 731/week @ 2024-11-25 1513/week @ 2024-12-02 1066/week @ 2024-12-09 1411/week @ 2024-12-16 267/week @ 2024-12-23 225/week @ 2024-12-30 1413/week @ 2025-01-06 1817/week @ 2025-01-13 1550/week @ 2025-01-20 1471/week @ 2025-01-27 1876/week @ 2025-02-03 1653/week @ 2025-02-10 1252/week @ 2025-02-17 1546/week @ 2025-02-24 1886/week @ 2025-03-03

6,373 downloads per month
Used in 6 crates (2 directly)

Apache-2.0

175KB
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

~140KB