前不久,以太坊创始人Vitalik在ETH上海峰会上表示,以太坊合并或将在8月开始,合并后的第一项重大事情是EIP-4844即proto-danksharding,而proto-danksharding只是Danksharding的第一步。
在近期的Bankless播客中,合并协调人Tim Beiko和Vitalik Buterin、以太坊研究员Dankrad Feist和Protolambda就proto-danksharding和Danksharding主题进行了深入对话。
以下为对话的主要内容。
Danksharding和proto-danksharding是对以太坊分片设计的迭代
分片是以太坊网络处理更多数据的一种方式。“所有这些分片方法都有相同的最终目标,即为第二层解决方案创建一个便宜的地方,以便在以太坊上发布数据。”Tim Beiko
EIP-4844是proto-danksharding
Proto-danksharding是迈向分片的第一步
Danksharding是对之前路线图的简化
自2016年发布以来,分片路线图一直在不断简化
第一步是决定不打扰二次方分片以外的任何事情
第二步是让每个分片块直接包含在信标链中
分片区块不再是包含将在以太坊层执行的交易,而是转变为分片区块只包含大块数据
2层rollup协议将负责使用该数据空间为其用户创建安全且可扩展的体验
现代汽车将于10月推出元宇宙空间“现代出行探险”:据官方消息,现代汽车宣布将于10月推出元宇宙空间“现代出行探险”(Hyundai Mobility Adventure),该空间运行在元宇宙平台Roblox上,今天开启公测,其中将展示现代汽车的产品和未来的出行解决方案。用户可在其中与他人见面和交流,并通过虚拟形象体验现代汽车的出行服务。该空间共有5个主题公园:节日广场、未来移动城市、生态森林、赛车公园和智能科技园区。
公测阶段仅开放节日广场和未来移动城市。玩家可在5个虚拟区域自由移动,通过玩游戏和角色扮演完成各种任务,比如可驾驶NEXO和IONIQ 5等现代汽车,操作机器人、专用车辆以及城市空中交通运输设备等。玩家还可开发自己的虚拟形象,升级个人停车场,并参与社交活动,沉浸在各种元宇宙的虚拟体验中。Roblox是元宇宙领域的在线娱乐平台,日用户达4320万人。现代是第一家在Roblox上开发虚拟体验内容的汽车品牌。(官网)[2021/9/1 22:52:18]
接下来是Danksharding,只有一个提议者选择所有分片区块和出现在特定信标块中的分片
目前在时间线的一半进行完全分片
Proof-of-Stake具有提议者-建造者分离
传统上,区块提议者构建区块
提议简单且便宜,而构建是一个复杂的过程
构建更适合资本化的实体——拥有可以处理大量数据的大型机器的人
任何人都可以验证区块是否正确
Danksharding引入了数据可用性抽样。它试图通过网络更好地分配作业
他们可以针对L2所需的安全属性进行优化
它如何帮助2层:发布数据并确保保护L2的诚实少数能够首先获得数据;确保参与者即使在停机、审查、不可预见等情况下也能够获取数据。
数据可用性:数据是否经过发布过程,在公共网络上广播,任何想要下载数据的人都有时间这样做?
当将以太坊与IPFS进行比较时,以太坊能够就数据可用性提供共识
2层协议取决于那里可用的数据
ZK Rollup示例:定序器(Sequencer)接受交易 —> sequencer发布包含state-delta的区块;定序器管理内部状态。
ZK Rollup和Validium的区别:
在ZK Rollup中,state-delta是链上的
在Validium中,只有证明是链上的。其他一切都是链下的
唯一的区别是当定序器消失时会发生什么。在Validium中,这是一个问题,因为如果定序器消失,资金就会永远卡在那里
信标链只会包含数据的哈希值
分片不需要永远存储数据。关键是要给想要下载数据的人足够的时间去下载
我们需要一种可扩展的方式来确保当人们想要下载一些数据时可以下载它
数据可用性抽样涉及选择数据的随机部分并尝试访问它们
如果你可以访问大部分数据,那就是你认为数据可用
如果有50%的数据可用,Reed-Solomon编码使你能够重建整个数据集
这支持扩展,因为它不需要100%的数据可用
攻击者必须将数据可用性降低到50%以上才能攻击网络
每下载10%的数据就可以将攻击减少10倍。这是一种确保数据可用性的可扩展方式
继续扩展共识层
部分数据将被保留。之后,它们将被修剪
数据将在足够长的时间内可用,以保护网络
proto-danksharding中可用的数据量少于完整danksharding中可用的数据量
目前,以太坊区块大小在50-100 kbs之间
可以从每块50 kbs增长到mb
rollup将受益于降低的成本
在full danksharding中,会增加一个数量级
添加了额外的费用参数以创建不同的市场
Vitalik写了一篇关于Multidimensional EIP-1559的文章
当数据被采样时,无法判断编码是否正确
KZG承诺是一种散列多项式函数并保证编码正确的方法
必须设置有一定关系的椭圆曲线点。这是KZG承诺方案的基本输入之一
不允许任何人知道他们之间的实际关系
在受信任的设置中,即使只有一个人正确完成并且其他所有人都串通了,那么该设置是完全安全的
今年早些时候,他们为此写了一份提案
在ETHDenver黑客松中,他们实现了它并一直在测试它
两个不同的分支:进一步开发客户端软件并创建测试网;可信设置的发展
完成后,他们会将其包含为EIP
Proto-danksharding是全面实施的垫脚石
试图在上海硬分叉中完成它
弄清楚数据可用性抽样的网络
如果有更多具有网络专业知识的人会很好
经济挑战:如何制定一个好的提议者-建造者分离协议?如何增加审查阻力来绕过审查建设者?
从长远来看,更好的权益证明设计会是什么样子?
切换到2层以及增加2层去中心化的方法
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。