Vitalik出来喊单了: 我对以太坊2.0充满信心！EF钱多多NO问题

波波的草屋

昨日，以太坊2.0的研究者和开发者在Reddit平台上举办了一场线上AMA (ask me anything)的活动，为以太坊社区成员解答有关以太坊2.0的相关问题。


先划上几句重点：


信心：


@Vitalik Buterin: 就我个人而言，我对迄今为止概述的所有阶段的所有基础技术(包括Casper FFG、Casper CBC、Sharding、消除编码数据有效性证明、托管证明、基于收据的异步交易、第2层扩展、存储租金、无状态客户端验证等)都是充满信心的。当然，肯定还有很大的优化空间。




钱多：


@Justin Drake: EF有数千万美元的法币和大量的ETH。足以用来实现以太坊2.0

波波的草屋

问：以太坊2.0与当前的以太坊有何不同？为何需要使用PoS而不是PoW？


@Justin Drake: PoS能够实现诸如经济确定性(economic finality)和分片，相比于PoW也更具成本效益(从环保和持币者承担的通胀成本的角度)。


问：诸位好啊！假如在实现PoS阶段时，网络中的阶段数量与当前一样...理论上来说，你们预计网络的最大交易吞吐量时多少？


@Justin Drake: 大概的数据是，1024个分片*每个分片每秒处理10笔交易=大约每秒能够处理1万笔交易。

波波的草屋

问：在实现PoS之后，如果某个节点被攻击了...那攻击者是否能够通过验证错误的交易使得这个节点失去其质押的ETH呢？

@Justin Drake: 当你运行的验证端被处罚的同时，也被自动地从注销了验证资格，以阻止进一步的损害。我们有一个称为“部分罚没(partial slashing)”的机制，即如果你运行的验证端出现故障，且没有很多其他的验证端也在这个时候被同时攻击的话，那你只会受到一小点儿惩罚。

因此，在单独的一次攻击情况下，你应该客户通过提款密钥来恢复大部分的资金(记得保护好你的提款密钥，比如可以通过冷存储的方式存储密钥)。

波波的草屋

@Danny Ryan：广义上来说，以太坊2.0 可以分为 三个阶段--阶段0,1和2。



阶段0：信标链

此阶段将推出全新的PoS链(即信标链)的核心系统级别功能；

验证者可以提交抵押资金，加入验证者行列，参与搭建/敲定这条核心的链；

此阶段中，信标链将使用Casper FFG来运行权益证明，一个RNG (随机数生成器)，随机对验证者进行分配，同时模拟当前还不存在的分片链的交联(crosslinking).



阶段1：分片链(数据)

此阶段将推出分片链，但只是作为数据区块链(执行和状态要在阶段2实现)

此时验证者还将构建这些数据链，并通过“交联”来对每个分片在信标链上进行敲定，同时验证数据的有效性。

对于需要存储大量数据的应用程序来说，此时的分片数据链开始具有了一些实用性。


阶段2：分片链(状态和执行)

此阶段将在分片链中实现状态和状态执行 (eWASM).

此时用户和应用将开始迁移至Serenity链上，并发挥其最大潜能。

跨分片交易将在这个阶段实现，用户可以开始开发任意数量的“第2层”执行引擎。

以上的阶段(尤其是阶段2)还可以进一步分成更小的阶段，且在阶段2期间/之后将会有一次分叉，目的是在合约中引入以太坊1.0链上的状态/EVM。

波波的草屋

问： 我很疑惑用户往信标链中质押32个ETH是否会被永久性地销毁，或者质押是单向性的从ETH转变成BETH？

据我所知，将质押的资金取回来所需的时间，已经从最初的4个月减少到了可能只需18个小时。但如果质押时单向的，那我怎么取回我质押的资金呢？

如果质押的32个ETH被永久性的销毁了，那么投资方面就会产生巨大的差异。同样地，如果当信标链被推出时，有关如何以及何时能够将质押的资金取回还没有完全地被具体化，那依旧是一个巨大的额外风险因素，这将使得质押进来成为验证者对于用户来说更不具有吸引力。



@Justin Drake: 在阶段2 (预计2021年到来)之前，信标链 中 质押的 ETH 将是 不可转移的。



问：如果质押的时候到来了，我能使用我的树莓派(一种只有信用卡大小的单板机电脑)来参与质押吗？

@Justin Drake：Nimbus客户端针对的就是资源受限的验证者

波波的草屋

重点 ——



问：关于当前的ETH 通胀情况  ，你们确定了什么最终计划了吗？


@Justin Drake: 还没有最终的决定。最终，社区将必须在低通胀和高安全性之间进行权衡。

波波的草屋

问：你之前说当前在Serenity阶段0中，即便是没有未解决的问题了。那阶段1和阶段2还有很忙未解决的问题吗？

@Justin Drake: 这三个阶段都没有重大的未解决问题。具体来说，在阶段0，我们需要本地可计算的验证者打乱操作；在阶段1，我们需要一个针对去中心化质押池的友好型托管机制；在阶段2，我们需要在可持续性存储方面进行研究。

波波的草屋

问：你们对以太坊3.0的愿景是什么？


@Vitalik Buterin: STARKs，大量的STARKs。希望能够实现2秒的出块时间；实现非常高效的跨分片通信，不管是在基本层还是通过各种易于使用的第二层系统。

@Justin Drake: 以太坊3.0涉及到一系列想法，超出了可预见的以太坊2.0路线图（阶段0，阶段1和阶段2)。我想说的是，以太坊3.0包括了Casper CBC，超二次分片(super-quadratic sharding)，数据有效性证明(data availability proofs)，STARKs (签名聚合、见证压缩(witness compression)、可验证延迟函数(VDFs)、状态根).

波波的草屋

问：如果我在某个时间锁定合约中锁定了一些ETH，那在过渡到以太坊2.0之后还可用吗？


@Justin Drake: 以太坊1.0将会继续存在，即便当以太坊2.0已经完全部署了。



问：如果以太坊1.0链发生了一次有争议的硬分叉(产生两条链)，那信标链会发生什么情况呢？是否会形成两条信标链？如果不会，那信标链会使用什么机制来决定哪条以太坊1.0链才是主链？这将对以太坊1.0链过渡到以太坊2.0产生怎样的影响？

@Vitalik Buterin: 默认情况下，根据以太坊2.0规范，信标链的验证者会仅仅通过投票机制来决定哪条是主链。无论大多数验证者支持的是哪条链作为主链，信标链都将使用这条链。

波波的草屋

问：以太坊2.0会带来任何zk-snarks相关的提升吗？



@Justin Drake: 我们希望能够在以太坊2.0时期实现SNARK和STARK友好型的哈希函数，但不幸的是这些在阶段0是无法实现的。

  在应用层，理想情况下WASM将意味着不需要特定于SNARK的预编译。

波波的草屋

问：对于智能合约的形式化验证，你们有什么想法？在以太坊2.0时期会实现吗？


@Danny Ryan: 在我看来，智能合约的形式化验证是非常棒的。形式化验证将有可能在以太坊2.0实现。

波波的草屋

问：ERC20/721 标准的设计真的很糟糕。是否有任何想法或计划将当前的代币转变成ERC-1155之类的更高效的格式？(代码真的不是法律)



@Justin Drake: 我希望以太坊2.0的标准 (比如代币标准) 将从以太坊1.0的错误中学习并进行演化。

波波的草屋

问：如果我在以太坊2.0中部署一个智能合约，那这个合约会随机地被分配到某个分片中吗？


@Justin Drake: 不会随机分配的，你可以指定分片。你的选择将基于与利息合约和gas价格最接近的分片。(每个分片都将拥有一个独立的gas市场)

@Vitalik Buterin: 当然你最初的选择并不是不可撤销的；合约可以被设计成能够从一个分片中拖拽(yank)到另一个分片中，我预计很多的应用程序都将利用这个功能。

波波的草屋

问：信标链将需要其自身的节点吗？信标链与以太坊的联系是什么？



@Danny Ryan：信标链是一条全新的系统级别的链，管理着所有验证者以及他们的责任和奖励/处罚。

未来节点同时运行PoW链和/或信标链。如果节点运行信标链，则可以同步任何他们想要同步的分片链。

波波的草屋

问：当前激励用户运行信标节点的激励是什么？



@Danny Ryan：这与运行以太坊1.0节点的激励措施有些类似 -- 挖矿、运行应用程序(区块浏览器、钱包服务、dapp门户等)、向直接连接到以太坊的业余爱好者等等。

如果你是一名验证者，你将会通过运行节点和签署共识信息而获得奖励。

如果你运行某种应用程序，可以通过运行信标链直接同步你想要同步的分片，这也是可以获得奖励的。

你也可以将轻客户端和应用程序作为业务提供服务。我非常期望一些实体将试验这种模式。

如果你是一名业余爱好者，你可能只是想通过运行协议来获得自主权

波波的草屋

问：如何阻止单个分片受到贿赂的攻击？



@Justin Drake: 通过随机打乱验证者来分配到所有分片链中。

波波的草屋

问：如果我运行验证者客户端，那我质押的32个ETH将被锁定多久？如果在锁定期间，我的机器被损坏了或者被盗了，那我该怎么办？我可以换一台机器吗？



@Justin Drake: 只要你还是一名验证者，你质押的ETH就会一直被锁定。如果你想取出，则将需要等待几天/几周/几个月的时间，这取决于有多少其他的验证者也正在尝试取出他们质押的ETH。

你可以换一台机器的。你需要备份你的私钥，以防止机器被损坏或被盗。

还有就是提款密钥只能用于提款。最好还是以冷存储的方式来保护你的提款密钥。

波波的草屋

问：我是一名新的开发者，正在考虑加入以太坊，你能否给我推荐一下在哪个领域的开发具有前景呢？



@Justin Drake: 可以考虑开发与以太坊2.0的可持续性存储相关的合约代码，即所谓的“存储租金(storage rent)”和“存储维护费(storage maintenance fees)”。

波波的草屋

问：通过eWASM，除了Solidity之外，我们将能够使用Rust 和/或任何编译为WASM的语言编写只能合约吗？哪里可以找到有关这方面的资料呢？谢谢



@Danny Ryan：是的，你可以使用任何编译到WASM的语言编写智能合约


我预计将出现一些特定的工具包/框架将支持人们非常感兴趣的语言(如Rust、Go、typescript等)，以帮助用这些语言编写合约。

https冒号//github点com/ewasm/design是一个开始了解这方面信息的好地方。eWASM团队已经将大量的信息编译进这里面，可以从更高的层次了解这个项目。

https冒号//gitter点im/ewasm/Lobby  eWASM团队和更广泛的社区将在这个gitter房间聚集，我相信他们会很乐意为你提供更多的指导或是回答你的任何问题。

波波的草屋

问：什么时候以太坊能够解决扩展性问题？



@Justin Drake (以太坊研究者)：在以太坊2.0的阶段1 (即分片结构的试运行阶段，预计在2020年)，以太坊将拥有分片数据。即便是没有 EVM (以太坊虚拟机)，这些分片也可以作为 TrueBit (以及其他替代性执行引擎) 的数据有效性层。在阶段2 (即分片实现eWASM阶段，预计在2021年)，我们将实现以太坊第1层的扩展。

执行引擎 (execution engine) 是一种在假设数据达成共识时计算状态的一种方法。EVM 的执行引擎是“naive re-execution (简单的重新执行)”。还有很多其他很棒的执行引擎，比如 TrueBit 和 基于SNARK/STARK 的有效性证明。