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

作者：VitalikButerin

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

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

美国SEC前官员：币安是一家影子银行，大规模银行挤兑似乎不可避免:3月7日消息，针对币安收到三位美参议员的质疑，前美国证券交易委员会互联网执法官员John Reed Stark在推特上写道：“我的看法是，币安是一家影子银行，在提供限价单/经纪/托管/清算/结算/等服务的同时，铸造自己的假币，没有美国的监管监督或审计；这是FTX重现，一场大规模的银行挤兑似乎不可避免。一旦暂停提款，币安开始崩溃，不仅币安的客户会被切断，客户也可能成为无担保债权人。参见FTX、Celsius、 Blockfi、Voyager，毁灭性的投资者大屠杀。”[2023/3/7 12:46:13]

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

dYdX公布dYdX Chain进展：已发布内部测试网，涵盖杠杆、费用、清算等核心功能:11月22日消息，去中心化衍生品协议 dYdX 宣布完成 dYdX V4（dYdX Chain）五个里程碑中的第二个里程碑，即，内部测试网，目前，dYdX V4 有两个永久运行的内部区块链网络，一个为开发者测试网，另一个用作通用测试网，在功能上，允许核心交易功能，包括杠杆、费用、预言机价格更新、每小时资金费率和清算。

此前报道，dYdX V4 将开发为基于 Cosmos SDK 和 Tendermint 权益证明共识协议的独立区块链。[2022/11/23 7:58:02]

历史区块数据

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

Tracy：从投资人的角度来看热钱包还不是很稳定:金色财经报道，在Metainsight主办的以“FTX事件冷思考: 客户资产如何安全管理”为主题的Metainsight圆桌汇上，AC Capital Senior Investment Director Tracy表示，从投资人的角度来看，觉得热钱包还不是很稳定，因为看到在市场走熊之后无论是用户还是投资机构存在热钱包的资金都会受到一些影响，比如说被盗用了被伪合约盗走。对于MPC钱包或者是其他种类钱包，风险管理是更好的。现在大多数的钱包，包括现在安全性最高的冷钱包其实非常复杂的，操作过程的学习成本也会比较高。所以就更需要我们在钱包方面做出更多的努力。

此外，还是很期待在钱包这条赛道会有比较好的优质项目出来。[2022/11/20 22:07:51]

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

加拿大第三大养老基金Teachers或在FTX事件中面临大额投资损失:金色财经报道，加拿大第三大养老基金Teachers在2021年10月份参与了FTX以250亿美元估值完成的4.2亿美元融资，且在融资公告中被列为第一名，目前该基金拒绝透露投资规模，但指出FTX未被列入其2021年年度报告中超过2亿美元的投资清单中。

据悉这并非加拿大养老基金的第一次失误，加拿大另一家最大的养老金管理公司之一CDPQ此前已注销其对破产的加密借贷平台Celsius Network的1.5亿美元投资。（环球邮报）[2022/11/9 12:38:12]

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

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

标签：ROOINTLOTUINEscape RoomFORINTMETACLOTHQUINT

Polygon热门资讯