科普：以太坊2.0的设计选择

本文为研究员Aditya Asgaonkar在EthCC大会上的演讲幻灯片。 按照他自己的说法，就是要向智能合约开发者解释Eth2的设计，以及对开发者的开发体验会有哪些改变。 在他的演讲中，他清晰地概述了 Eth2 的基本架构和 Eth2 的设计挑战。

文中幻灯片内容的解释和小节是编者加的。

在这一段中，作者指出以太坊 2.0 的两大设计目标是可扩展性和安全性。

前者意味着吞吐量超线性增长。 如果节点资源的投入增加K倍，整个系统的吞吐量将增加K倍以上。

后者意味着对应于节点形成的共识的安全性，确保所有部分都是同等安全的。

后者是通过分片实现的（将整个系统的状态拆分成不同的分片），而前者是通过信标链实现的。

但两者结合，信标链无法保存所有分片数据并执行所有分片交易，否则会破坏可扩展性需求。

因此，两者的分工是信标链负责共识，只保存分片状态的Merkle根，不执行分片交易； 分片没有任何共识机制，只有随机选择的验证者出来生产区块下列哪些选项属于以太坊2.0计划，验证并将 Merkle 根提交到信标链。

但这样一来，今天开发者认为理所当然的事情在 Eth2.0 中可能就不现实了，比如同步调用系统中的任意合约。 因为最基本的问题是当调用时，接收调用的分片并不知道有人在发起跨分片交易，除非信标链中不仅有状态默克尔根值信息下列哪些选项属于以太坊2.0计划，还有其他信息。 但这会破坏可扩展性。

这就引出了两者状态访问模式的对比。 静态访问的一个例子是无状态执行。 该模式将所需的状态信息添加到交易的见证信息中，与交易一起传播，更具确定性，但会遇到上述问题； 动态访问模式下，事务的打包顺序可能会导致问题。

最后，演讲者指出可扩展性和安全性是 Eth2.0 的终极追求，类似 Eth1 的执行模式只是次要目标； 他还呼吁智能合约开发者放心，所有问题都可以解决。