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

作者：VitalikButerin

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

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

Vitalik Buterin：账户抽象可为以太坊带来数十亿美元的收益:金色财经报道，最近在巴黎举行的以太坊社区会议（EthCC）上的一次演讲中，以太坊创始人Vitalik Buterin详细介绍了账户抽象升级如何让用户用用于交易的代币支付Gas费，从而吸引数十亿人使用以太坊。帐户抽象使用户能够从外部拥有的钱包（EOA）切换到基于智能合约的钱包。如果此次升级成功，钱包管理将比现在更加高效和轻松。Buterin和社区相信，这可以使加密技术得到广泛采用。

此外，加密货币领域充斥着丢失助记词或助记词被盗的用户。通过账户抽象，用户可以创建充当可编程智能合约的非托管钱包。据报道，钱包恢复只是此次新升级带来的众多功能之一。Buterin相信此次升级可以给以太坊带来数十亿美元的收益。[2023/7/20 11:05:50]

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

美国CFTC专员认为以太坊转向PoS机制后仍是商品:9月30日消息，美国数字商会创始人Perianne Boring在推特上表示，其询问美国商品期货交易委员会（CFTC）专员Christy Romero“在以太坊合并转向PoS机制后是否会对ETH产生什么政策影响”时，Romero回应称她仍认为以太坊是商品。[2022/9/30 6:04:02]

历史区块数据

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

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

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

Ares Protocol开放贡献者Keric：波卡正在成为以太坊2.0强有力的竞争对手:金色财经现场报道，在今日金色财经主办的金色沙龙活动现场，Keric发言指出：目前波卡平行链插槽拍卖需要先接入Rococo测试网进行测试，只有接入Rococo的项目未来才会有竞拍到插槽的可能，目前波卡生态内众多项目大多是拿到了Web3 Grant的项目，本身有一定的技术面，通过技术创新迭代能让波卡更具竞争力。

EOS超级节点竞选只需要拉票，本地运行一个节点服务器就可以参与，而波卡平行链插槽拍卖，平行链需要部署多个区块链节点来运行独立的区块链网络，再通过XCMP的方式接入到波卡网络中，可以说每一个平行链都是一个EOS网络，都可以做类似EOS的超级节点选举，从软件架构上来说，波卡是更复杂的区块链协议，正在构建一个万链互联的网络，一步步实现ETH2.0的规划，波卡的NPOS比DPOS更加的去中心化。而且波卡上面可以有合约，Runtime，转接桥，Layer2等项目，生态多样性比以太坊更大，波卡中的链上升级，链上治理和万链互联正在成为以太坊2.0强有力的竞争对手。[2021/2/3 18:49:20]

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

动态 | 昨天EOS日活为以太坊3倍 交易量为52倍:据 DAppTotal 12月07日数据显示：过去一天内， ETH DApps整体生态日活跃DApps有324个，日活跃用户7,033个，日交易笔数为50,793次，交易总额为13,296.71枚ETH，用户活跃度最高的分别为游戏和交易所，各占比38.81%、33.91%；EOS DApps整体生态日活跃DApps有127个，日活跃用户21,942个，日交易笔数为2,687,432次，交易总额为8,794,103.30枚EOS，用户活跃度最高的为竞猜类游戏，占比53.26%。就两条公链整体情况而言，EOS日活跃用户为以太坊的3倍，交易量为52倍。[2018/12/7]

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

标签：ROOLOTUINSLOTROOBEE币LOT价格QUINSLOT价格

Pol币热门资讯