据指股网消息,以太坊创始人V神表示,以太坊2.0的无状态模型将增强安全性并减少时间消耗,同时将整体状态和与此相关的其他问题最小化。此外,V神还介绍了无状态模型目前面临的问题,即在进行交易时,必须提交个人帐户状态的证明。在最新模型的提议下,将出现由谁提供证明或数据库的难题。据此前消息,V神曾表示,将智能合约的存在方式更改为无状态模型是以太坊区块链扩容解决方案之一。
以太坊(图片来源于网络)
众所周知,以太坊 2.0的交付计划分为三个不同的阶段。最近最令人兴奋的是有关阶段0 (接近信标链客户端的互操作性) 和阶段2 (以太坊 2.0计算模型的开始) 的进展。
信标链 (beacon chain) 是整个以太坊 2.0系统的协调层,可能也是最难交付的部分。去年6月份,信标链被设想为以太坊2.0的未来。仅仅一年之后,阶段0的规范将在今年6月30日被冻结敲定。它是一个全新的区块链设计,其野心之大前所未有,包含了几十项重大的创新和见解,8个客户端实现已经准备就绪:这是惊人的以太坊社区一年以来的成就。任何对此不以为然的人,都生活在与我不同的宇宙中。随着阶段0的规范趋于稳定,现在的重点转移到各个以太坊 2.0客户端实现之间的互操作性(interoperability)。
一旦信标链网络启用,每个客户端都将需要相互进行通信,以便就信标链的状态达成一致。每个客户端都需要遵循相同的规则:即使是一个位 (bit) 不正确,也会导致无法达成共识。这最终目标是使 Libp2p 成为以太坊2.0网络基础上的 P2P 通信协议。然而,作为实现这一目标的一个简化步骤,各个客户端正在实现更简单的 Hobbits 协议。该协议可以显著地加快以太坊2.0中验证者搜集区块证明 (attestations) 的速度,允许更大的委员会规模 (committee sizes),因此可能更快地实现交易的最终性 (finality)。
以太坊(图片来源于网络)
在当前对阶段0进行开发的期间,大量的测试工作正在进行。值得注意的是 Antoine Toulme 关于测试运行器 (runner) 的工作,是规范可执行的,并且所有跨客户端测试向量都可以直接从编写好的规范生成的。还需要进行大量的工作来对该规范进行模糊测试 (fuzz-test),并提供一个用于对客户端进行模糊测试的框架。这是一个重要的里程碑,为将存款合约部署到当前的以太坊 1.0链铺平道路。
2020年1月3日:信标链创世区块可能诞生。那时信标链将正式启用。信标链创世区块的诞生将取决于两个先决条件。首先,存款合约中必须质押有足够多的 ETH。之前的一个硬性目标是质押的数量超过200万 ETH,但这个要求已经被移除。但质押数量的目标将是一个保证信标链安全启动的指令。第二个先决条件是目标为3个 (或至少两个) “生产就绪”的信标链客户端和网络验证者。在此之前,所有客户端都要完成大量的兼容性、优化、测试、审计、改进、工具化、文档化和打包工作。
阶段1是分片数据,最近,阶段1的规范 已经成了 Serenity 的一片绿洲。阶段2是状态执行,公平地说,就在几个月前,以太坊 2.0要交付的阶段2还是一片迷雾。阶段2是所谓的“执行层”,这使得以太坊2.0区块链实际可用。该阶段将提供资金转移、实现智能合约和所有让 dapp 得以构建等功能。
Vitalik 提议的主旨是将以太坊区块链在执行交易中的作用降至最低。在以太坊1.0链中,只有一种执行交易的方式,即通过 EVM。在执行了某个区块中的交易之后,交易状态的 Merkle 根将被写入该区块中。为了在该区块中的交易上运行 EVM,所有的节点都需要存储整条链的状态 (包含账户余额、合约存储情况等)。目前的阶段2建议采用这个模型并加以推广。现在可以有几种 (甚至很多) EVM 类型。
以太坊(图片来源于网络)
执行环境 (EE) 就是在 eWASM 中编写的、 作为纯函数运行的代码。这意味着执行环境本身并不会存储任何状态:执行环境所需要知道的任何信息都必须伴随着交易一并被提供。因此,假如我想要发送一枚代币给你,那伴随这笔交易,我需要提供一个证明 ,从而证明我的余额中有这枚代币;该执行环境不知道我的余额有多少,因为它并不存储任何信息。实际上,这并不完全正确:每个执行环境都将存储一个32字节的值,该值是其当前全局状态的某种概要或累加器 。
以这种方式将执行层提取出来,这能够提供最大程度的灵活性。可能会出现针对 zk-Rollups、ERC20 之类的代币或者企业友好型环境、Plasam, 亦或者使用 Haskell 编写的智能合约的 EE (执行环境) 等等。其理念是,只要支付相当高的费用,任何人都可以部署自己的 EE 来支持自己的专业区块链环境。以太坊2.0分片链只关注基本方面:交易排序和数据可用性。
对于更熟悉当前 EVM 执行的具体情况的人来说,所有这些听起来可能相当抽象和陌生。不用担心,适应以太坊1.0和以太坊2.0之间的平稳过渡路径已经成为一项优先事项,现在有一些有趣的想法可以有效地实现这一点。虽然还存在一些挑战,但相关的讨论一直在 Ethresear.ch 行进行展开。







