HACL*固定高保证密码库方法
官方库对限定代码提供内存安全、功能正确与secret independence保证，并指向生产packages。
原文位置：HACL* / ValeCrypt / Status
不能据此推出：不是AI实测；secret independence只抵抗某些定时侧信道，不能证明任意硬件无泄漏或集成正确。
核查 2026-10-20 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-M-HACL
实际引用在哪里
密码实现交付：标准构件、密钥条件与目标平台验证 →
可复用高保证构件及保证范围。
关系：方法依据
密码实现交付：标准构件、密钥条件与目标平台验证 →
限定代码保证与集成条件分开。
关系：方法依据