Lib.rs

› Cryptography › libcrux
#sha-3 #signature #formal-verification

libcrux-sha3

Libcrux SHA-3 implementation

by Franziskus Kiefer, cryspen

6 releases

0.0.2 Mar 25, 2025
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

#1174 in Cryptography

Download history 221/week @ 2024-12-29 1401/week @ 2025-01-05 1783/week @ 2025-01-12 1581/week @ 2025-01-19 1481/week @ 2025-01-26 1868/week @ 2025-02-02 1633/week @ 2025-02-09 1264/week @ 2025-02-16 1516/week @ 2025-02-23 1895/week @ 2025-03-02 2083/week @ 2025-03-09 2783/week @ 2025-03-16 2269/week @ 2025-03-23 2107/week @ 2025-03-30 2717/week @ 2025-04-06 2389/week @ 2025-04-13

9,532 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