超级链接代码_以太坊2.0已经取得了一些重要进展，距其正式推出又近了一步

以太网2.0的存款智能合同已经完成了字节码的正式验证和审计。以太网2.0信标链的持续优化也在进行中。

以太网2.0越来越接近现实。

正式验证(FV)是开发生产软件的关键形式验证是一种分析代码语义的方法，以确保它们符合特定的属性智能契约中的许多漏洞都是代码中的语义错误，导致了代码执行的意外结果。这意味着可能会发生类似DAO黑客的事件，这与智能合同的创建者的意图背道而驰。

以太网(以太网EUM)刚刚完成了对以太网2.0存储的智能合同字节码的正式验证分析字节码是运行在以太网虚拟机中的低级代码以太网虚拟机接受以稳定方式编写的代码，然后将其转换成字节码在虚拟机中运行。审核ETH 2.0存款智能代码的这一部分是向前迈出的一大步

以太网2的信标链优化也在继续。信标链是主要的参考链，ETH 2片段也将同步。为了更好的扩展，ETH 2区块链将被分解成碎片，每个碎片就像一个迷你区块链，处理总交易量的一个子组每个片段需要与这个主信标链同步，以便与其他片段保持同步。由

以太网2.0组成的灯塔测试网络最近修复了一个可以运行100，000个验证器节点而没有任何问题的错误。另一个实现已经成功运行了35，000个验证器节点

核心规范也在通往主网络的路上。

以太网核心规范像整个代码库的草稿一样，描述了代码应该如何正常工作。在代码的关键部分，ETH开发者已经添加了各种实现选项和权衡这使得他们能够仔细权衡和考虑以太网2.0代码库中实现的每个设计选项

规范中的代码不是针对性能进行优化的，而是允许开发人员考虑如何设计他们的客户来实现规范中列出的性能目标。在做出最终的设计决策后，开发人员可以实现复杂的算法，使客户能够有效地进行优化。

Consensys和以太网广场基金会都在开发以太网广场2.0的第二阶段第二阶段是向以太网通道片段添加状态和执行这是使用Merkle证明和交叉链接等工具开发交叉共享通信的方法和标准。

咨询服务小组和以太网广场基金会电子政务小组正在进行第二阶段的研究。现在另一个康赛斯队也进入了比赛领域，那就是TXRX。TXRX正在开发一个模型来理解交叉切片的复杂性

您认为以太网2.0正在取得重大进展吗？您认为以太网广场2.0会如期到达吗？请在评论中分享您的观点！