libcrux - 形式验证的加密库

libcrux 是一个形式验证的加密库，它汇集了来自不同来源的验证工件。它使用 hacspec 作为底层正确性和安全性证明的共同语言。

请参阅 架构 文档以获取 libcrux 架构和属性的详细概述，以及 形式验证 目录以了解底层形式证明的详细信息。

算法

注意 可用的算法仍在开发中，未来将增加。

其他平台可能也适用，但在此阶段尚未测试或优化。

硬件支持

构建启用了目标架构上所有可用的硬件功能。此外，库始终执行运行时检查，以确保所需的 CPU 功能可用。

libcrux 使用以下配置进行其硬件抽象

• simd128 假设平台上有 128 位 SIMD 指令。这意味着在 x64 CPU 上为 SSE3 和 SSE4.1，在 arm CPU 上为 NEON。
• simd256 假设平台上有 256 位 SIMD 指令。这意味着在 x64 CPU 上为 AVX 和 AVX2。

随机性

libcrux 提供了一个 DRBG 实现，可以单独使用 (drbg::Drbg) 或通过 Rng 特性。