以太坊完成正式的验证和审计字节码

的智能存款合约以太坊2.0更新完成了正式验证和审核字节码。 ETH 2.0信标链的持续优化也在进行中。 Consensys和以太坊基金会（EF）都在进行以太坊2.0更新的第二阶段。

2020年2月5日| AtoZ市场–以太坊2.0已经取得了一些关键的进展。以太坊2.0 Lighthouse测试网最近修复了一个错误，并且能够毫无问题地运行100K验证节点。 Prysm测试网，已成功使用35,000个验证器节点执行了另一种实现。

以太坊形式验证和审计字节码

以太坊2.0已经完成了字节码的正式验证（FV）和审核。 FV是一种分析语义代码以确保其符合某些属性的方法。字节码在以太坊虚拟机（VM）。以太坊虚拟机还接受以Solidity编写的代码，并将其转换并以字节码的形式在虚拟机中执行。对ETH 2.0智能存款合约的此代码进行审核是一大进步。

以太坊的基本规范就像整个代码的草稿一样。它描述了代码应如何正常工作。在代码的关键点，ETH的开发人员添加了几个实现选择以及从中得出的折衷方案。它使他们能够仔细评估和考虑ETH 2代码中实现的每个设计选择。

规范中的代码并未针对性能进行优化。但是，它使开发人员可以考虑如何设计其客户以实现规范中设定的性能目标。在做出最终设计决定后，开发人员还可以实施复杂的算法。它使客户可以优化效率。

ETH 2.0信标链的持续优化也在进行中。此外，信标链是ETH 2分片也将同步的主要参考链。 ETH 2区块链将被分为碎片，每个碎片都作为一个迷你区块链，以实现更好的可扩展性。它还管理总交易额的一部分。此外，每个分片将需要同步到该主链，以与其他所有分片保持同步。

阅读更多：关于零知识证明的知识

以太坊2.0的第二阶段开发

Consensys和以太坊基金会（EF）都参与了开发的第二阶段以太坊2.0。第二阶段是将状态和执行添加到以太坊碎片中。它涉及使用诸如Merkle证明和交叉链接之类的工具来开发分片之间通信的方法和标准。

Consensys Quilt小组和EF的eWASM小组进行了第二阶段研究。现在，另一个Consensys团队TXRX进入了竞争。 TXRX正在进行模型开发，以了解交叉分片的复杂性。

以为我们错过了什么？在下面的评论部分让我们知道。

免责声明：本文中表达的观点和观点仅是作者的观点，并不反映AtoZ Markets.com的官方政策或立场，也不应归因于AtoZMarkets。

—-

原文链接：https://atozmarkets.com/news/ethereum-completes-formal-verification-audit-bytecode/

原文作者：Amicus

编译者/作者：wanbizu AI

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