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

作者：VitalikButerin

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

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

多链网络Octopus Network完成250万枚OCT代币销售:基于NEAR的多链网络Octopus Network（OCT）在NEAR生态代币发行平台Skyward Finance完成250万枚OCT代币销售，共筹集996925.1枚NEAR，IDO参与总人数为3915人。[2021/8/29 22:44:58]

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

历史区块数据

Flow链上DEX Blocto：将给已成功转账的非北美用户空投100枚FLOW:1月24日，Flow链上DEX Blocto在推特发文称，团队对此次Blocto Swap的延迟表示歉意，为表示对Flow和Blocto社区支持的感谢，团队将给北美地区之外、并已成功将资金发送到Blocto Swap智能合约的用户空投100枚FLOW代币，这部分代币将发送至用户相应的Blocto钱包。此前报道，由于转账人数超预期，原计划于1月22日晚11点启动的Blocto与FLOW代币交易已延迟至北京时间1月23日晚11点。[2021/1/24 13:18:47]

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

声音 | 数字资产经纪公司Octagon Strategy：依然看涨比特币:数字资产经纪公司Octagon Strategy表示，尽管比特币目前价格下跌，未来可能会遇到障碍，但该公司仍看涨比特币。Octagon Strategy的首席交易员Ryan Rabaglia表示，对比特币未来的评估很重要，由于比特币市场仍处于增长阶段，有很多东西值得期待。他进一步解释了为什么他的公司仍然看好比特币，他说，对于一个只有8年历史的市场来说，比特币的年收益率仍然是100%，这让人印象深刻。[2018/7/3]

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

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

人民大学杨东：要通过区块链技术将数据价值更好发挥:金色财经消息，由上海华瑞银行、中国人民大学国际货币研究所（IMI）与中国人民大学金融科技研究所联合主办的“华瑞金融科技沙龙”系列沙龙（第2期）在线上会议进行。中国人民大学区块链研究院执行院长杨东表示，如何通过区块链技术将数据价值更好发挥，把数据价值的利益分配机制反馈至用户也是未来重点攻克的方向。杨东提出了三点看法。第一，如今数字化平台已经带有去公司化的属性，但还没有形成真正的组织化。未来通过区块链技术真正实现可替代公司组织的DAO，去中心化的组织必将真正地来取代公司。第二，灵魂数字可能性是未来必然的发展方向。未来在数字资产方向需要解决的两大问题——身份问题与灵魂问题——可通过物理人与数字人的数据化连接得到解决，实现元宇宙身份的确认、全日制的灵魂交流与物理人的理想构建。第三，数据生产要素将发挥重要作用，共票制度（Coken）将辅助体现数据价值。（搜狐）[2022/9/4 13:07:23]

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

标签：ROOOCTLOTINTshrooms币机制MetaDoctorThe SandlotMINTME价格

OKB热门资讯