以太坊 2.0 有问必答 | Vitalik：我对以太坊2.0充满信心！

点击上方“统一时代”订阅！

unitimes.io

全球视野，独到见解

昨天，以太坊 2.0 的研究人员和开发者在 Reddit 平台上举办了线上 AMA（问我什么）活动，为以太坊社区的成员解答关于以太坊 2.0 的问题。 本文为读者提供了一些关键问题和答案。 由于本次AMA历时12小时，内容较长，本文仅选取部分重点内容。 更多内容请参考原文：

以下是AMA的具体内容：）

@martinkarolev：你认为以太坊什么时候能解决可扩展性问题？

@Justin Drake（以太坊研究员）：以太坊2.0第一阶段（即分片结构试运行阶段，预计2020年），以太坊会有分片数据。 即使没有 EVM（以太坊虚拟机），这些分片也可以作为 TrueBit（和其他替代执行引擎）的数据验证层。 在第 2 阶段（即分片实现 eWASM 的阶段，预计在 2021 年），我们将实现以太坊第一层的扩展。

执行引擎是一种在假设对数据达成共识的情况下计算状态的方法。 EVM的执行引擎是“naive re-execution（简单重新执行）”。 还有许多其他出色的执行引擎，例如 TrueBit 和基于 SNARK/STARK 的有效性证明。

@Real_Goat：第三方运行执行引擎的激励结构是什么？ 智能合约会支付他们吗？

@Justin Drake：一种可能是他们的报酬来自用户支付的交易费用（如 EVM）。

@elizabethgiovanni：你在未来实施PoS系统时，在决定（ETH）发行率的时候，有没有咨询过一些经济学家？ 更广泛地说，谁在帮助/建议你做出的某些 (ETH) 发行率决定将如何对网络和整个社区产生短期或长期影响？

@Vitallik Buterin：就个人而言，我实际上最感兴趣的是利益相关者的反馈（在以太坊 2.0 中）。 主要问题基本上是，如果对利益相关者有固定水平的奖励，是否会对这些经济激励措施进行任何调整，以 (i) 激励更多人参与验证，(ii) 鼓励许多小型独立验证者或小型矿池针对一些大型矿池。

@oudiou：我真的很想成为一名质押者（即验证者），但我也担心风险，尤其是验证者使用的智能合约。 另外，通过这篇文章了解到，staking 10000 ETH的预期收益率为2.54%。 这样一来，风险/回报率确实不理想。 我认为任何低于 5% 的投资回报率都不值得。

@0xstark：既然现在的以太坊在未来几年内会被以太坊2.0所取代，您有什么想对目前在以太坊上犹豫不决的开发者说的吗？

@Vitallik Buterin：我希望一旦Serenity的状态和执行模型最终确定（你可以点击这个链接查看我之前写的最小状态执行建议：），我们将开始与开发者社区在高级语言方面的合作例如 Solidity 和 Vyper 等）和最佳实践。 希望这能让开发应用的方式更加清晰，让这些应用可以原封不动地重新部署到以太坊2.0链上。

@Justin Drake：目前在以太坊 1.0 上构建应用程序是学习和制作原型的好方法，也是组建与以太坊社区（可能与比特币、瑞波币、比特币现金、 EOS、Tether 等社区都有不同的理念。）

@vanchoDotPro：如果我们进行多个 ETH 质押（每个 32 个 ETH），我们可以在同一台机器上运行多个验证器客户端吗？

@Vitallik Buterin：是的！ 没有什么能阻止您在一台机器上运行多个验证器客户端。 您将面临的唯一硬性限制是分配给您验证的分片数量与您运行的验证器数量呈线性关系。 因此，如果你持有数千个 ETH，单台笔记本电脑是不够的，你需要一台更强大的机器。

@Justin Drake：简短回答：是的。

详细答案：每次质押 32 ETH，都需要注册成为验证者。 在阶段 0（即信标链阶段以太坊中模拟多个节点，分片尚未实现），您很可能在一台机器上处理数千个验证者客户端。

在第 1 阶段，可以在一台机器上运行的验证者客户端的数量将取决于你的机器有多强大。 一台主流笔记本电脑应该能够很好地运行一个验证器，最多可以运行 2 到 10 个验证器。

所需的计算资源将随着运行的验证器数量线性扩展，直到达到大约 1,000 个运行的验证器，此时超级节点（例如分片全节点）将具有扩展优势。

@PurleHamster：为了保持以太坊网络去中心化并能够将 ETH 存入和存出质押池，用户能够在家中进行质押有多重要？

@Vitallik Buterin：这是我关心的目标。 与在家质押、在AWS上质押或通过矿池质押的方式相比，后两种方式不利于去中心化。

我们将尝试以下具体方式来方便在家 Staking：

@PhyllisWheatenhousen：将所有 ETH 分别质押到不同的验证者客户端与将所有 ETH 质押到同一个验证者客户端有什么好处？

@Danny Ryan（以太坊核心研究员）：以太坊2.0中每个验证者需要质押32个ETH以太坊中模拟多个节点，所以不能将所有ETH都质押给同一个验证者。 您可以在同一台机器上运行多个验证器（数量取决于该机器的资源限制）。

@polonord：现在Yoichi离开了以太坊基金会，你们有没有计划在以太坊2.0规范中进行形式化验证？

@Justin Drake：我想说只有当规范变得更加完整和稳定时（可能在 2019 年年中），形式验证才有意义。 如果有人对以太坊 2.0 规范中的形式验证感兴趣，请向我们发送资助提案。

@Hemlck：如果/如何参与会怎样？ 我很久以前就爱上了以太坊。 我一直在研究 Zcash 的 BLS12-381 椭圆曲线，在过去的几周里它一直在我脑海中萦绕。 我现在爱上了这个项目并且刚刚发现了 ethresear.ch。 我真的很想参与其中，以任何方式！ 再次感谢您的辛勤工作。 我只是无法停止查看所有这些帖子。

@Justin Drake：让研究人员参与并获得关注的一个好方法是在 ethresear.ch 上发布一些高质量的内容。 如果您是开发人员，请考虑加入以太坊 2.0 实施团队之一，链接：

@Danny Ryan：你好！ 最好的参与方式是找到你感兴趣的领域并深入挖掘。 因为以太坊从根本上是一个开源平台，研发也非常开源，容易获得。

以上是Serenity领域的具体建议，大家也可以寻找自己感兴趣的项目参与其中。 有很多事情可以做，项目负责人会很乐意得到帮助:)

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

@Justin Drake：PoS可以实现经济的最终性、分片等，也比PoW更划算（从环保和持币者承担的通货膨胀成本来看）。

@marianna_trench：大家好！ 如果网络中的阶段数与今天实施 PoS 阶段时相同……理论上，您期望的网络最大交易吞吐量是多少？

@Justin Drake：大概数据是，1024个分片*每个分片每秒处理10笔交易=大约每秒10,000笔交易。

@d4f6：实现PoS后，如果节点被攻击……攻击者会不会因为验证错误的交易而失去质押的ETH？

@Justin Drake：当您运行的验证器受到惩罚时，它也会自动从验证器中取消验证以防止进一步损坏。 我们有一种叫做“部分削减”的东西，如果你运行的验证器出现故障并且没有很多其他验证器同时受到攻击，你只会得到少量的削减。 孩子的惩罚。

因此，在单次攻击的情况下，您应该使用提现密钥从客户端收回大部分资金（记得保护好您的提现密钥，例如将密钥存放在冷库中）。

@eth-o-licious2：我想知道用户质押给信标链的32个ETH是否会永久销毁，或者质押是从ETH到BETH的单向转账？

据我所知，收回质押资金所需的时间已从最初的 4 个月减少到可能只有 18 小时。 但如果是单向质押，我如何取回我质押的资金呢？

如果将质押的 32 个 ETH 永久销毁，将在投资方面产生巨大差异。 同样，如果信标链何时启动，如何以及何时可以取回质押资金尚未完全指定，这仍然是一个巨大的额外风险因素，这将使质押者成为验证者。 对用户的吸引力就更小了。

@Justin Drake：在第 2 阶段（预计在 2021 年）之前，质押在信标链上的 ETH 将不可转让。

@Kevkillerke：如果到了质押时间，我可以用我的树莓派（信用卡大小的单板电脑）来质押吗？

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

@revealertv：你对当前的 ETH 通货膨胀情况有任何最终计划吗？

@Justin Drake：还没有最终决定。 最终，社区将不得不在低通胀和高安全性之间做出权衡。 详情请见：

@Pandemonii：所有研究人员所做的出色工作！ 您能从外行的角度解释一下从以太坊 1.0 过渡到以太坊 2.0 的路线图吗？ 要实现真正的去中心化，必须有更多的人了解并参与整个过程。

@Danny Ryan：从广义上讲，以太坊 2.0 可以分为三个阶段——阶段 0、阶段 1 和阶段 2。

阶段 0：信标链

第一阶段：分片链（数据）

阶段 2：分片链（状态和执行）

上述阶段（尤其是阶段2）可以进一步细分为更小的阶段，在阶段2期间/之后会有一个分叉，其目的是将以太坊1.0链上的状态/EVM引入到合约中。

@never_giveup：你之前说过它目前处于 Serenity Phase 0，尽管没有未解决的问题。 Phase 1 和 Phase 2 是否还有很多未解决的问题？

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

@upscaleHipster：您对以太坊 3.0 的愿景是什么？

@Vitalik Buterin：STARK，很多 STARK。 希望达到2秒出块时间； 实现非常高效的跨分片通信，无论是在基础层还是通过各种易于使用的第二层系统。

@Justin Drake：以太坊 3.0 涉及一系列超出可预见的以太坊 2.0 路线图（阶段 0、阶段 1 和阶段 2）的想法。 我想说的是，以太坊 3.0 包括 Casper CBC、超二次分片、数据可用性证明、STARKs（签名聚合、见证压缩、可验证延迟函数（VDF）、状态根）。

@Kike328：如果我在某个时候将一些 ETH 锁定在时间锁定合约中，那么在过渡到以太坊 2.0 之后它仍然可用吗？

@Justin Drake：即使以太坊 2.0 已完全部署，以太坊 1.0 也会继续存在。 看：

@beerchicken8：如果以太坊 1.0 链有一个有争议的硬分叉（产生两条链），信标链会怎样？ 会形成两条信标链吗？ 如果不是，信标链会通过什么机制来确定哪条以太坊1.0链是主链？ 这将如何影响以太坊 1.0 链向以太坊 2.0 的过渡？

@Vitalik Buterin：默认情况下，根据以太坊 2.0 规范，信标链的验证者只会使用投票机制来决定哪个是主链。 不管哪条链被大多数验证者支持为主链，信标链都会使用这条链。

@inukaeth：以太坊 2.0 会带来任何与 zk-snarks 相关的改进吗？

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

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

@Honor_Lt：您对智能合约的形式化验证有何看法？ 会在以太坊2.0时期实现吗？

@Danny Ryan：在我看来，智能合约的形式验证很棒。 形式验证将在以太坊 2.0 中成为可能。

@AnkrGAY：ERC20/721 标准的设计真的很糟糕。 是否有任何想法或计划将当前的代币转换为更高效的格式，如 ERC-1155？ （代码真的不是法律）

@Justin Drake：我希望以太坊 2.0 标准（如代币标准）能够从以太坊 1.0 的错误中学习和发展。

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

@Justin Drake：不会随机分配，可以指定分片。 您的选择将基于具有最接近的利息合约和 gas 价格的分片。 （每个分片都会有一个独立的gas market）

@Vitalik Buterin：当然你最初的选择不是不可撤销的； 合约可以设计成能够从一个分片拉到另一个分片，我预计许多应用程序将利用此功能。

@trustnodes：信标链需要自己的节点吗？ 信标链和以太坊有什么联系？

@Danny Ryan：信标链是一条全新的系统级链条，管理所有验证者及其职责和奖励/惩罚。

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

@sassal：目前用户运行信标节点的动机是什么？

@Danny Ryan：这有点类似于运行以太坊 1.0 节点的激励措施——挖矿、运行应用程序（区块浏览器、钱包服务、dapp 门户等），为爱好者提供与以太坊的直接连接等。

@sassal：Serenity Phase 2 中的跨分片交易会是什么样子？

@Vitalik Buterin：见我之前的帖子：

#how-can-we-facilitate-cross-shard-communication

@Harmony_One：如何防止单个分片被贿赂攻击？

@Justin Drake：通过随机洗牌验证器分布在所有分片链上。

@sky__s：我是一个想加入以太坊的新开发者，你能给我推荐一个有前途的发展领域吗？

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

@foyamoon：如果我运行验证者客户端，我的 32 ETH 将被锁定多长时间？ 如果我的机器在锁定期间损坏或被盗，我该怎么办？ 可以换机器吗？

@Justin Drake：只要您仍然是验证者，您质押的 ETH 就会保持锁定状态。 如果你想取款，你将不得不等待数天/数周/数月，具体取决于有多少其他验证者也在尝试取回他们质押的 ETH。

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

此外，取款密钥只能用于取款。 最好还是在冷库中保护你的取款密钥。

@burrrata：有了 eWASM，除了 Solidity 之外，我们还能用 Rust 和/或任何可以编译成 WASM 的语言编写智能合约吗？ 我在哪里可以找到这方面的信息？ 谢谢：）

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

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

是开始了解这方面信息的好地方。 eWASM 团队在其中汇集了大量信息，以提供对该项目的高层次理解。

eWASM 团队和更广泛的社区将聚集在这个 gitter 房间，我相信他们会很乐意为您提供更多指导或回答您可能遇到的任何问题。

@singlefin12222：Vitalik 说没有未解决的重大问题。 这仅适用于第 0 阶段吗？ 如果是，您对其他阶段的信心如何？

@Vitalik Buterin：就个人而言，我对目前概述的所有阶段的所有基础技术感兴趣（包括 Casper FFG、Casper CBC、分片、Eracoding 数据有效性证明、托管证明、基于收据的异步交易、第二层扩展、存储租金、无状态客户端验证等）都充满信心。 当然，优化的空间肯定很大。

@ssaarraahh1：以太坊基金会（EF）有多少钱？ 足以支持以太坊 2.0 吗？

@Justin Drake：EF 拥有数千万美元的法定货币和大量的 ETH。 足以实现以太坊 2.0 :)