编者注:本文为研究员 Aditya Asgaonkar 在 EthCC 大会上的演讲幻灯片,据其自述,是为了向智能合约开发者说明 Eth2 的设计方案,以及开发者的开发体验会有什么样的变化。他在演讲中鲜明地勾勒出 Eth2 的基本架构,以及 Eth2 在设计上的挑战。正文中对幻灯内容的说明和分段,俱为编者所加。
在这一段,作者指出,以太坊 2.0 的两大设计目标是可扩展性和安全性。
前者意味着吞吐量呈超线性增长,若节点资源投入量提升 K 倍,则整个系统的吞吐量增长大于 K 倍。
后者则意味着相应于节点所形成的共识安全性,保证所有部分都是同样安全的。
后者用分片(把整个系统的状态切分开来形成不同的片区)来实现,而前者用信标链来实现。
深圳龙华人才安居与三大行牵手引入数字人民币:金色财经报道,深圳市人才安居集团旗下龙华人才安居公司与农业银行深圳凤凰支行、建设银行深圳龙华支行、交通银行深圳龙华支行就龙华人才安居数字人民币应用正式签署战略合作框架协议,率先在租金缴交、物业服务等方面,搭建交易频次高、使用人数广的数字人民币应用场景。[2021/9/27 17:09:31]
但是两相结合之下,信标链就不能保存所有的分片数据、执行所有的分片交易,否则就会打破可扩展性要求。
因此,两者的分工是,信标链负责共识、只保存分片状态的默克尔根,而且不执行分片交易;分片则没有任何共识机制,仅有随机抽取的验证者来出块、验证并将默克尔根提交到信标链上。
但这样一来,开发者今天习以为常的东西,在 Eth2.0 里面就不一定现实了,比如:对系统中任意合约的同步调用。因为基本问题是,发起调用时,接受调用的分片不知道有人正在发起跨分片交易,除非信标链里不仅有状态默克尔根值信息,还有别的信息。但这样就会打破可扩展性。
这就引发了两者状态访问模式的比较。静态状态访问的例子是无状态执行,这种模式下,所需的状态信息是附加在交易的见证信息里跟交易一起传播的,这样确定性更强,但这样就会遭遇上述问题;动态访问模式下,交易的打包先后顺序可能会引发问题。
最后,演讲者指出,可扩展性和安全性是 Eth2.0 的终极追求,而相似于 Eth1 的执行模式只是次要目标;并呼吁智能合约开发者放心,问题都可以解决的。
原文地址:https://ethfans.org/posts/desig-choices-in-eth2
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。