我认为从长期来看，任何与硬分叉相关的客户端（执行层和共识层）的更改都必须经过正式验证。我昨天在Eth R&D的Discord服务器上问了这个问题，已经收到了一些有价值的反馈。请分享你的反馈、想法、过去的经验，以及关于我们如何实现这一目标的建议。新帖子链接在这里： https://ethresear.ch/t/formal-verification-of-execution-and-consensus-clients/25894 最终，在升级上线之前，我们应该能够提供一个数学证明，证明其实现正确地实现了_指定的_（顺便说一句，这也是讨论的一部分，_什么_规范）状态转换和共识规则。你看，代码可能会出错，流程可能会失败，人也可能会犯错。而数学为我们在以太坊上所做的事情提供了更坚实的基础。