科普

以太坊 2.0 的设计抉择

Ajian   |     |   585 次阅读

编者注:本文为研究员 Aditya Asgaonkar 在 EthCC 大会上的演讲幻灯片,据其自述,是为了向智能合约开发者说明 Eth2 的设计方案,以及开发者的开发体验会有什么样的变化。他在演讲中鲜明地勾勒出 Eth2 的基本架构,以及 Eth2 在设计上的挑战。

正文中对幻灯内容的说明和分段,俱为编者所加。

Design Choices in Eth2.0-1.jpg


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

前者意味着吞吐量呈超线性增长,若节点资源投入量提升 K 倍,则整个系统的吞吐量增长大于 K 倍。

后者则意味着相应于节点所形成的共识安全性,保证所有部分都是同样安全的。

后者用分片(把整个系统的状态切分开来形成不同的片区)来实现,而前者用信标链来实现。

Design Choices in Eth2.0-2.jpg

Design Choices in Eth2.0-3.jpg

Design Choices in Eth2.0-4.jpg

Design Choices in Eth2.0-5.jpg


但是两相结合之下,信标链就不能保存所有的分片数据、执行所有的分片交易,否则就会打破可扩展性要求。

因此,两者的分工是,信标链负责共识、只保存分片状态的默克尔根,而且不执行分片交易;分片则没有任何共识机制,仅有随机抽取的验证者来出块、验证并将默克尔根提交到信标链上。

Design Choices in Eth2.0-6.jpg

Design Choices in Eth2.0-7.jpg

Design Choices in Eth2.0-8.jpg


但这样一来,开发者今天习以为常的东西,在 Eth2.0 里面就不一定现实了,比如:对系统中任意合约的同步调用。因为基本问题是,发起调用时,接受调用的分片不知道有人正在发起跨分片交易,除非信标链里不仅有状态默克尔根值信息,还有别的信息。但这样就会打破可扩展性。

这就引发了两者状态访问模式的比较。静态状态访问的例子是无状态执行,这种模式下,所需的状态信息是附加在交易的见证信息里跟交易一起传播的,这样确定性更强,但这样就会遭遇上述问题;动态访问模式下,交易的打包先后顺序可能会引发问题。

Design Choices in Eth2.0-9.jpg

Design Choices in Eth2.0-10.jpg

Design Choices in Eth2.0-11.jpg

Design Choices in Eth2.0-12.jpg

Design Choices in Eth2.0-13.jpg

Design Choices in Eth2.0-14.jpg

Design Choices in Eth2.0-15.jpg


最后,演讲者指出,可扩展性和安全性是 Eth2.0 的终极追求,而相似于 Eth1 的执行模式只是次要目标;并呼吁智能合约开发者放心,问题都可以解决的。

Design Choices in Eth2.0-16.jpg

Design Choices in Eth2.0-17.jpg

Design Choices in Eth2.0-18.jpg

Design Choices in Eth2.0-19.jpg

Design Choices in Eth2.0-20.jpg

(完)


原文链接: https://docs.google.com/presentation/d/17zA4nCAakHUIgdlWBH7IjbEAlIvUKGXL-m1YhqReUUc/edit#slide=id.p
作者: Aditya Asgaonkar


你可能还会喜欢:

Eth2 信标链:你首先该知道的事

Eth2.0 的中继者网络与手续费机制

 
0 人喜欢