搜索关键词 形式化验证
Crypto
以太坊推账户级后量子方案：单账户成本约0.07美元
以太坊提出一套可在账户层面部署的后量子安全方案，无需全网升级即可落地。以太坊基金会隐私项目Kohaku负责人Nico表示，该方案可在现有执行层实现后量子签名验证，单账户成本约0.07美元，后续还将开展进一步安全审计。
Crypto
Cardano研究预算提案陷争议，Hoskinson称若遭否决或关停研究机构
Cardano社区近期因IOG提出的“Cardano Vision 2026”研究预算提案陷入激辩。Charles Hoskinson表示，若提案最终被否决，Cardano研究机构可能关闭，部分核心科学家也可能离开。截至目前，反对票占82.2%，赞成票为17.68%，投票预计于6月8日结束。
Crypto
Solana联合创始人：AI对PQC签名的威胁或早于量子计算
Solana联合创始人Anatoly Yakovenko表示，人工智能可能比量子计算更早对加密体系构成现实威胁，尤其是行业对PQC签名的数学弱点和实现漏洞仍认识不足。他建议在钱包层引入三选二多签机制，以不同签名方案并行部署提升冗余。相比之下，比特币社区围绕量子风险的讨论，更多聚焦于是否应动用Satoshi Nakamoto名下比特币。
