应用后量子密码学

项目中的一切

该部署什么、代价几何，标准本身、实现它们的代码，以及背后的研究。按你的需要筛选。

• 已经落地的成果

  一份经过筛选、链接逐一核实的清单，列出真正可以用来构建的东西：标准、测试向量、实现它们的库，以及部署与迁移指南。

  清单链接已核实

• 本书

  完整的脉络：从有限域和格讲到全部四个标准，再到部署问题——混合 TLS、侧信道、区块链暴露，以及迁移要耗费多少区块空间。

  在线版与 PDF285 页

• 可运行的代码

  全部 108 段代码和四个参考实现都能在浏览器中运行，无需安装任何东西。

  在线演练108 段代码

• bitcoin-stark-verifier

  一个不依赖 OP_CAT 的 Bitcoin Script STARK 验证器：基于 KoalaBear 的 Poseidon2，再在其上构建 WHIR。每个挑战都在脚本内部挤出，每个约束都由记录推导而来，因此验证器最终落在它自己验证的恒等式上，而不是落在某个提示上。

  Rust无需软分叉

• 否证单个步骤

  验证器有三百个区块那么大，从不在链上完整运行。链上运行的只是其中一块，由 Winternitz 签名绑定：一笔标准交易执行 22 轮 Poseidon2，整个验证器约两千块。

  BitVM约 2,000 块

• Bitcoin Script 上的 WHIR

  对 STIR 与 WHIR 邻近性测试的形式化阐述，以及据此对验证器的审查：形式化地陈述算法，据此审查实现，并把完备性与可靠性区分为协议所证明的部分和脚本所检查的部分。

  PDF17 页

• ML-KEM

  21 个算法全部实现。512、768 和 1024 三个级别的密钥封装。

  FIPS 203

• ML-DSA

  49 个算法全部实现。44、65 和 87 三个级别的签名。

  FIPS 204

• SLH-DSA

  25 个算法全部实现，覆盖全部十二个获批参数集。

  FIPS 205

• FN-DSA

  Falcon 的 18 个算法全部实现。NIST 仍在制定该标准，因此用 Falcon 自己的测试来验证。

  FIPS 206

• NIST IR 8547, from draft to final: what changed in the transition schedule

  NIST's final transition report keeps 2030 and 2035 but deprecates quantum-vulnerable public-key cryptography at every key size, builds in the federal 2030 and 2031 deadlines, and names ML-KEM-768 as the default. What changed from the 2024 draft, sentence by sentence.

  文章2026-10-28

• The construction of SHRINCS, a semi-stateful hash-based signature scheme

  SHRINCS demotes SLH-DSA to a fallback path and puts a 548-byte stateful signature on the primary one. What the draft reuses from FIPS 205, what it only reparameterises, what it constructs anew, and what it gives up.

  文章2026-08-28

• Post-quantum migration for Bitcoin layer 2s

  A Bitcoin layer 2 settles to a base layer it cannot change, borrows consensus from a third ecosystem, and runs a bridge whose trust root is cryptography of its own choosing. Where the post-quantum exposure actually sits, and who can fix each part.

  文章2026-07-31

没有匹配的内容。

GitHub 上的实现 → · 对照 ACVP 的 462 项检查，0 项失败 · 全部文章 →