以太坊2.0取得了重要进展

针对以太坊2.0的Deposit Smart Contract已完成官方验证和审核字节码。 ETH 2.0的进一步优化过程也在进行中。

以太坊2.0逐渐变得现实

正式验证（FV）是开发生产软件的必要步骤。 FV是一种代码语义分析方法，可确保遵守某些属性。智能合约中的许多漏洞是由代码中的语义错误引起的，从而导致不良的代码执行结果。例如DAO hack，还款是违背智能合约创建者的意图的。

以太坊刚刚完成以太坊2.0上的存款智能合约的FV字节码分析。字节码是在以太坊虚拟机（VM）中运行的低级代码。以太坊虚拟机采用以Solidity编写的代码，然后将其转换为字节码并在虚拟机中运行。审核ETH 2.0存款合同的此代码的过程是向前迈出的一大步。

eth2快速更新＃8-持续进行https：//t.co/OMXkdVok5c

tldr;在下面

-dannyryan（@dannyryan）2020年2月4日

优化以太坊2信标链的工作也在进行中。信标链是ETH 2的分片还将同步的主要参考链。为了更好地扩展，ETH 2区块链将分为多个部分，称为碎片，每个碎片就像一个迷你区块链，专门处理小规模的总交易。每个分片将需要与此主信标链进行同步，以与其他所有分片保持同步。

以太坊2.0的Testnet Lighthouse最近修复了一个错误，可以运行100K身份验证节点而没有任何问题。 Prysm测试网络（另一个可执行文件）成功运行了35,000个验证节点。

核心参数也通向主网

以太坊的核心规范就像整个代码库的草稿一样，描述了代码如何正常工作。在代码的关键点，ETH开发人员添加了各种执行选项和相关的权衡。这使他们可以仔细考虑并考虑ETH 2代码库中实现的每个设计选项。

规范中的代码并未针对性能进行优化，但允许开发人员考虑客户如何设计和实现规范中概述的性能目标。在做出最终设计决策后，开发人员可以实施复杂的算法，从而可以有效地优化客户。

Consensys和以太坊基金会（EF）都在进行以太坊2的第二阶段开发。第二阶段是向以太坊分片添加状态和执行任务。这是使用诸如Merkle证据和交叉链接之类的工具进行交叉分片通信的开发方法和标准。

第二阶段研究由Consensys的Quens团队和EF的eWASM组进行。目前，Consensys团队还与TXRX参加比赛。 TXRX正在开发模型以了解交叉分片的复杂性。

明安

比特币杂志|比特币主义者

—-

原文链接：https://www.tapchibitcoin.vn/ethereum-2-0-da-co-mot-so-tien-bo-quan-trong.html

原文作者：Minh Anh

编译者/作者：wanbizu AI

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