ROO:为以太坊2.0扫清障碍，V神提出新的以太坊向后兼容方法

作者：VitalikButerin

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

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

徐明星：OKB Chain定位为以太坊Layer 2:金色财经报道，徐明星在推特上表示，OKT Chain是Layer 1区块链，最近将发布支持Rust或C++语言开发DApp的OKTC WASM。而OKB Chain定位为以太坊Layer 2区块链，将从侧链技术开始，未来会向ZK技术发展。[2023/3/20 13:15:03]

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

历史区块数据

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

EOS网络基金会创始人：TrustEVM可成为以太坊可行扩容方案:7月1日消息，关于摩根士丹利报告的一条推文显示，转向PoS并不能解决以太坊的扩容问题。EOS网络基金会创始人和首席执行官Yves La Rose转发此条推文并表示：合并（The Merge）无助于解决以太坊扩容问题，但EOS可以，Trust EVM推出后，以太坊终于有了一个可行的扩容解决方案。据悉，此前Yves La Rose就曾在推特表示：EOS一直是高性能、低成本的L1区块链网络。脱离Block.one桎梏之后，EOS社区资金到位、人才回归，正在重新焕发活力卷土重来。EOS并不旨在成为“以太坊杀手”，EOS推出的Trust EVM或将成为以太坊首选的L2解决方案。Trust EVM是官方EOS EVM平台，具有确定性的Gas计算、指令集级别的EVM兼容性以及完全的RPC兼容等特性并即将登陆EOS主网。[2022/7/1 1:43:50]

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

V神：不认为以太坊2.0第0阶段2021年才能上线:金色财经报道，据此前消息，以太坊2.0研究人员Justin Drake表示以太坊2.02第0阶段可能在2021年上线。对此，V神在发给Drake的信息中表示：“我个人非常不同意这一点，并且无论准备程度如何，我都希望显著地早于该日期启动第0阶段。”对此，V神解释称，eth1从第一个多客户端测试网到正式启动只花了4个月的时间，因此当eth2测试网Altona启动时，他认为从7月初开始就进入了四个月的倒计时。eth2第0阶段在某种程度上比eth1更简单，但在某些方面也更复杂。因此，总的来说，V神表示没有理由认为eth2第0阶段的发布会比eth1花费更多的时间。[2020/7/11]

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

Zoom市值突破500亿美元，约为以太坊市值的两倍:Zoom市值在周五飙升至500亿美元上方，创历史新高。Zoom市值是比特币市值的28%左右，是以太坊市值（260亿美元）的近两倍。Decrypt文章称，区块链和远程工作都可以使经济去中心化。（Decrypt）[2020/5/31]

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

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

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

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

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

状态根

表明状态根正确性的证明

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直接对分片数据进行操作。

标签：ROOINTUINLOTROO价格Intelligent Trading TechQuinadsDELOT价格

LTC热门资讯