Ethereum 2.0的deposit smart合约已经完成了对字节码的正式验证和审计。对ETH 2.0的信标链的持续优化也在进行中。
以太坊2.0离现实越来越近
形式验证(FV)是生产软件开发的关键。形式验证是一种分析代码语义以确保它们符合某些属性的方法。智能契约中的许多漏洞都是代码中的语义错误，导致了代码执行的意外结果。这意味着可能会发生类似DAO 黑客的事件，这与智能合约创建者的意图背道而驰。
以太坊（Ethereum）刚刚完成了对Ethereum 2.0存储智能合同字节码的形式验证分析。字节码是在Ethereum虚拟机(VM)中运行的低级代码。Ethereum VM接受以稳定方式编写的代码，然后将其转换为字节码在VM中运行。对ETH 2.0的deposit smart的这段代码进行审计是向前迈出的一大步。
Ethereum 2的信标链优化工作也在继续进行。信标链是主要的参考链，ETH 2的碎片也会同步。为了更好的扩展，ETH 2区块链将被分解成碎片，每个碎片就像一个迷你区块链，处理总交易量的一个子组。每个碎片都需要同步到这个主信标链，以便与其他碎片保持同步。
Ethereum 2.0的Lighthouse测试网最近修复了一个bug，可以运行10万个验证器节点，没有任何问题。另一个实现已经成功运行了35,000个验证器节点。
核心规范也在通往主网的道路上
以太坊的核心规范就像整个代码库的草稿一样，描述了代码应如何正常运行。在代码的关键部分，ETH开发人员一直在添加各种不同的实现选择以及所涉及的权衡。这使他们可以仔细权衡并考虑ETH 2.0代码库中实现的每个设计选择。
规范中的代码并未针对性能进行优化，而是允许开发人员考虑如何设计其客户能实现规范中列出的性能目标。在做出最终的设计决策之后，开发人员便可以实施复杂的算法，使客户可以有效地进行优化。
Consensys和以太坊基金会（EF）都在进行以太坊 2.0的第二阶段开发。第二阶段是向以太坊碎片添加状态和执行。这是使用诸如Merkle证明和交叉链接之类的工具开发用于交叉共享通信的方法和标准。
Consensys的子团队和以太坊基金会的eWASM团队正在进行第二阶段的研究，现在另一个Consensys团队进入了竞争领域，即TXRX。 TXRX正在开发模型以了解跨分片的复杂性。
你认为这是Ethereum 2.0正在取得重大进展吗，您认为以太坊2.0能如期到来吗？请在评论中分享您的看法！
閱讀更多 區塊鏈報 的文章
