量子安全

文章深入探讨了Web3和以太坊在可验证性方面的进展，尤其是通过实施Verkle树和STARK证明来提升区块链的透明度和可持续性，最终目标是实现完全的可验证性和去中心化。文章详细分析了以太坊的现状、挑战和未来的解决方案，包括量子安全和执行证明等技术。

本文介绍了OpenSSL 3.5.0中引入的对量子安全密码算法的支持，包括ML-KEM (FIPS 203), ML-DSA (FIPS 204) 和 SLH-DSA (FIPS 205)。文章展示了如何在Windows环境下编译OpenSSL 3.5，并演示了如何使用这些新的密码算法生成密钥对、签名和验证消息，以及进行了性能基准测试。

HP发布了首款量子安全的打印机，使用了基于哈希的数字签名方法，如LMS和W-OTS。LMS使用Winternitz一次性签名方案，并利用Merkle树来验证私钥。文章还提供了使用Bouncy Castle库在C中实现LMS的示例代码，并展示了不同参数设置下的密钥和签名长度。