后量子签名（二）：从树到森林

Aptos 上线可选主网功能 Confidential APT：用户将公开 APT 存入协议池并注册加密密钥后，余额与转账金额加密存储，验证者借助 Sigma 与 Bulletproof 零知识证明在不读取金额的前提下校验状态转移，取出时转回公开 APT；地址与出入金金额仍可见，配套密钥管理、审计员配置与治理控制，构成加密记账层而非独立隐私代币。

本文以 FIPS 205 的结构为脉络，讲解 SLH-DSA 的工作原理及其对实际协议实现的意义：先介绍用于签署部分随机化消息摘要的少次签名组件 FORS（Forest of Random Subsets），再逐层构建将重建后的 FORS 公钥认证到公开根节点的超树（hypertree），最后解析 FIPS 205 如何定义可互操作实现所使用的具体 SLH-DSA 算法。

从资产控制全生命周期剖析 Passkey 钱包安全模型：以单笔交易走读 Clave 开源实现，梳理 WebAuthn、FIDO2、CTAP 历史漏洞并映射到各环节，最后给出开发团队实现检查清单。

Trail of Bits 解读 Signal 的 Automatic Key Verification 密钥透明系统，并介绍其从零实现并独立运营的审计器——它是三家签名方之一，让服务器替换公钥的行为可被检测。

Trail of Bits 开源了 NIST 标准化后量子签名算法 LMS（Leighton-Micali 基于哈希签名）的纯 Rust 与 Go 实现：Rust 版本已并入 RustCrypto 生态，Go 版本由 HPE 资助、服务于 Sigstore 的后量子迁移。文中还提醒 LMS 属有状态签名，私钥使用需谨慎管理。

后量子密码学指南：面对“先囤积密文、日后解密”的威胁模型，梳理格（lattice）、编码（code）、同源（isogeny）与基于哈希签名四类抗量子算法及要点。