以太坊2.0取得了一些关键进展

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

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

该帖子首先出现在Bitcoinist.com上。

—-

原文链接：https://thebitcoinnews.com/ethereum-2-0-has-made-some-critical-advances/

原文作者：Bitcoinist

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。