作者：VitalikButerin
原文：https://ethresear.ch/t/future-proof-shard-and-history-access-precompiles/9781
当前以太坊设计中的向后兼容性所面临的挑战之一是区块链历史记录的访问需要对Merkle证明进行EVM验证，这还假设区块链将永远使用相同的格式和相同的密码技术。未来的分片设计更是增加了这一点的重要性，因为Rollup的欺诈证明和有效性证明将需要指向分片数据的指针。
波卡社区正在讨论如何限制验证者大幅更改佣金:刚刚，Web3基金会技术教育主管Bill Laboon发推提醒用户小心局。Web3基金会、Polkadot官方以及Parity都没有赠送DOT和KSM代币。与此同时，Bill Laboon还公布波卡项目进展。内容显示：1.目前验证者可以随意更改佣金比例。目前社区正在讨论如何限制佣金变动以避免佣金大幅变动，例如在获得足够多的提名者后，将佣金由0%改为100%。2.财政部已经开始讨论Elara 0.2提案。Elara 0.2是Patract Labs是为以Substrate为基础的链提供的基础设施。[2020/10/29]
这篇文章提出了一种更加面向未来的方法：我们可以添加执行验证特定类型证明的抽象任务的预编译，而不是要求在EVM中验证历史和分片的证明。如果将来更改格式，预编译逻辑将自动更改。预编译甚至可以具有条件逻辑，用于验证过渡前插槽的一种证明和转换后插槽的另一种证明。
动态 | 捷豹路虎DLT开发人员解释如何通过报告路况获得加密货币奖励:英国最大汽车制造商捷豹路虎分布式账本技术团队的软件开发人员Aaron Hetherington解释了驾驶员如何通过报告道路问题而获得加密货币奖励。Hetherington称，捷豹路虎的技术可以追踪车辆何时何地撞到路上的坑洞，这样就可以将维修细节发送给英国和爱尔兰的地方议会。他补充道：“当然，发现这些不好的路况是有奖励的。利用像IOTA这样的加密货币，我们可以将奖励直接发送给客户。”通过让汽车自动向导航提供商或地方当局报告道路状况数据，比如交通拥堵或坑洼，司机将获得加密货币积分，这些积分可用于自动支付通行费、停车费和充电费。2019年4月，捷豹路虎表示正在测试软件，旨在允许其汽车司机获得加密货币IOTA作为共享数据的奖励。据悉，该公司正在开发“智能钱包”技术，以安装在其汽车中。目前还未确定何时上市。（SiliconRepublic）[2020/2/6]
历史区块数据
区块链试验引发暴风股价暴涨后 暴风首次回应如何避免炒币风险:据了解，播酷云负责人，暴风新影CEO崔天龙针对投机客可能存在的BFC炒作现象做出解释。崔天龙说道，“这种炒作我们肯定是很不愿意见到的。但是万一一旦发生了，我们还是有很多的手段来控制它。”他例举称，“比如说很简单的做法，我只需要在我的官网上，把BFC积分和我的产品的兑换进行价格绑定，基本上就对它的价值进行了锚定，会很大程度上限制BFC的炒作。”[2017/12/13]
defverifyHistoricalBlockRoot(slot:uint256,value:bytes32,proof:bytes)
这种预编译将尝试以两种方式之一解释该proof：
如果这个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直接对分片数据进行操作。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。