ROO:为分片采用扫清障碍 V神提出新的以太坊向后兼容方法_UIN

当前以太坊设计中的向后兼容性所面临的挑战之一是区块链历史记录的访问需要对Merkle证明进行EVM验证，这还假设区块链将永远使用相同的格式和相同的密码技术。未来的分片设计更是增加了这一点的重要性，因为Rollup的欺诈证明和有效性证明将需要指向分片数据的指针。

这篇文章提出了一种更加面向未来的方法：我们可以添加执行验证特定类型证明的抽象任务的预编译，而不是要求在EVM中验证历史和分片的证明。如果将来更改格式，预编译逻辑将自动更改。预编译甚至可以具有条件逻辑，用于验证过渡前插槽的一种证明和转换后插槽的另一种证明。

历史区块数据

defverifyHistoricalBlockRoot(slot:uint256,??value:bytes32,??proof:bytes)

金色财经行情播报 | BTC行情窄幅震荡，日线图均线MA5构成压力:据火币行情显示，今日BTC行情整体窄幅震荡，日线图均线MA5构成压力。4小时图均线构成支持，窄幅蓄势，布林带三线收拢。1小时图均线MA30构成依托，多头或有发力空间。截至18:30，主流币的具体表现如下：[2020/5/13]

这种预编译将尝试以两种方式之一解释该proof：

如果这个proof为空，则直接检查该value是否为保存在正确位置的历史区块根。如果slot太旧，它将失败。

如果这个proof是一个Merkle分支，它会根据history_roots中的正确条目将其验证为Merkle分支

defverifyHistoricalStateRoot(??slot:uint256,??value:bytes32,??proof:bytes)

金色财经CEO安鑫鑫：流量为王时代一直存在，要学会区分不同流量的价值:在5月8日BiYong升级战略发布会上，金色财经CEO安鑫鑫发表题为不同流量的价值区分的主题演讲，他提到，目前流量主要分为搜索引擎流量、社群流量、媒体流量、自媒体流量以及自身平台流量五大类型，流量为王的时代一直存在，但是要做好流量的价值区分，积攒属于自己的真实有效流量。

他还同时提到，BiYong是这个行业里除微信以外中国社群用户最多的平台，此次战略发布会与战略升级，相信BiYong可以获得更大的发展机会与更好的未来，与行业一起进步。[2020/5/10]

验证状态根，使用与该区块根相同的逻辑。

defverifyHistoricalStateValue(??slot:uint256,??key:bytes32,??value:bytes32,??proof:bytes)

金色晚报 | 1月8日晚间重要动态一览:12:00-21:00关键词：监管、伊朗、比特币、以太经典?

1. 广东发布首个地方金融非现场监管区块链系统。

2. 安徽省广电局召开区块链应用研讨交流会。

3. 伊朗袭击驻扎在伊拉克的美国军事基地后 BTC逼近8500美元大关。

4. 2019年比特币投资年回报率高于标准普尔500指数和黄金。

5. 《精通比特币》作者将出席澳本聪案件。

6. V神：社区是以太坊最重要的部分 社区远比代码更重要。

7. 以太经典官方：仍有超6成节点未准备好ETC Agharta硬分叉

8. 蚂蚁金服蒋国飞：蚂蚁区块链将开放平台技术能力给全行业。

9. 过去两年德国共达成约1.01亿美元区块链投资交易。[2020/1/8]

验证历史状态中的值。这个proof包括三个要素：

数据：三未知地址向币安转入约9000万美元BNB:11月8日消息，Lookonchain监测显示，3个“0x05d3”、“0x090”和“0xb4b3”此前沉睡的地址刚刚被唤醒，向币安累计转入263247枚BNB（约8950万美元）。[2022/11/8 12:31:16]

状态根

表明状态根正确性的证明

Patricia或Verkle或其他证明该value实际上位于状态树中的位置key中的证明

defverifyHistoricalTransaction(??slot:uint256,??txindex:uint256,??tx:bytes,??proof:bytes)

验证tx实际上是否在给定slot的区块的txindex中。证明内容如下：

区块根

表明区块根正确性的证明

证明给定的tx实际上是给定位置的交易

defverifyHistoricalReceipt(??slot:uint256,??txindex:uint256,??receipt:bytes,??proof:bytes)

验证receipt实际上是给定slot的txindex处的交易接收。证明内容如下：

区块根

证明区块根正确性的证明

证明给定收据实际上是给定位置的receipt

分片数据

defverifyShardBlockBody(??slot:uint256,??shard:uint256,??startChunk:uint256,??chunks:uint256,??data:bytes,??proof:bytes)

验证data=body，其中body是给定slot中给定分片的主体。该证明将包括：

证明区块子集的Kate证明

如果slot太旧，则在slot+96处的区块根的Merkle证明，然后是从该slot到分片承诺数组中的位置的Merkle证明，显示一个最终性承诺

当我们使用BLS-12-381Kate承诺时，预编译还将验证数据是32字节chunk的列表，其中每个chunk都小于曲线子组顺序。如果没有在给定位置保存分片区块，则预编译就像在该位置保存了对零长度数据的承诺一样。如果给定位置的value未确认，则预编译总是失败。

defverifyShardPolynomialEvaluation(??slot:uint256,??shard:uint256,??x:uint256,??y:uint256,??proof:bytes)

如果我们将给定(slot,shard)处的分片区块视为多项式P，其中字节i*32...i*32+31是w**i处的评估，这将验证P(x)=y。该proof与数据子集proof相同，除了Kate证明正在证明某个点的评估而不是在证明一个位置子集的数据。

如果我们将来不再使用BLS-12-381，则预编译会将SNARK作为输入，验证数据完全由小于该曲线阶数的值组成，并验证对当前字段数据的评估。

这种预编译对于等价协议的跨多项式承诺方案证明?很有用，可用于允许ZKRollup直接对分片数据进行操作。

作者：VitalikButerin

原文：https://ethresear.ch/t/future-proof-shard-and-history-access-precompiles/9781

标签：ROOLOTUINSLOTROONEXPILOT币QUINSleepy Sloth Finance

世界币热门资讯