一般社团法人Nyx Foundation（东京都文京区，以下简称「Nyx」）宣布，已开始开发支持以太坊次世代共识层「Lean Consensus」的全新客户端「Verity」。 随着量子计算机的进步，全球正迎来密码技术的世代交替（PQC转型），而以太坊正处于这场变革的最前线。 在这样的背景下，Nyx过去已在以太坊生态系中累积了丰富的实绩： - 使用Lean4语言对XMSS的部分命题进行形式化证明 - 在Fusaka升级审计竞赛中，漏洞报告数量达世界第一（17件） - 参与以太坊基金会主导的zkVM「Lean Multisig」开发 基于这些经验，我们决定亲手打造最安全的客户端，那就是Verity。 Verity将形式化验证（一种以数学证明软件正确性的方法）视为内核，目标是实现「最安全的客户端」。 我们的方法已获得EF的PQC转型团队的肯定，并在巴黎举行的ETH CC周边活动上，由内核研究员Justin Drake的专题演讲中进行了介绍。 ## 密码技术的转捩点即将降临于所有软件 由于量子计算机的进步，目前广泛使用的TLS与数字签章等密码技术在未来被破解的风险正变得越来越真实。这不仅仅是区块链的问题，更是网络银行、电子政府等所有数字系统的共同挑战。 在日本国内，金融厅也于2026年3月启动了「金融机构抗量子计算机密码（PQC）转型实证实验」的企划竞争，金融基础设施的PQC转型已开始启动。 在所有系统中，以太坊是密码技术世代交替进展最快的一个。 作为全球有数十万节点运作的大型去中心化金融系统，以太坊已率先着手向抗量子密码过渡。 在开源且公开的环境中，满足高安全要求的同时翻新密码基础，这项创举已超越了区块链的范畴，成为广泛探讨软件基础设施安全时的重要先例。 Nyx计划将在以太坊最前线获得的知识，回馈并应用于强化日本金融机构与社会基础设施的安全性。 ## 为什么Lean Consensus很重要 以太坊所推进的次世代协议「Lean Consensus」，不仅是正面迎击上述威胁，更是一项偿还过去技术债的宏大项目。