Nico この一連の操作で量子脅威を「待ち硬分岐」から「今すぐ対応可能」へと直接変え、Leanの形式的検証も組み込まれ、細部にこだわるファンは大喜び

吴说获悉，以太坊基金会隐私项目 Kohaku 负责人 Nico 发文表示，以太坊现在就已经可以开始为迎接“后量子（Post-Quantum）”时代进行账户层面的准备，而无需等待底层的硬分叉升级。根据其披露的数据，在目前的技术框架下，实现该准备工作的成本仅需 0.07 美元。Nico 透露，已与 Fable 共同完成了审查，相关的进一步审计工作即将展开，同时本次方案中还包含了针对 Lean 语言爱好者提供的由 Verity 框架开发的形式化验证证明。