欧易下载

欧易交易所
欧易交易所APP官网下载

欧易交易所(OKX)是最老牌的比特、莱特、以太交易所,欧易交易平台支持OTC法币交易,支持微信、支付宝和银行卡转账,安全方便快捷,欧易下载官方APP链接。

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

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

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

def verifyHistoricalBlockRoot( slot: uint256,     value: bytes32,     proof: bytes )这种预编译将尝试以两种方式之一解释该proof:

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

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

def verifyHistoricalStateRoot(     slot: uint256,     value: bytes32,     proof: bytes )验证状态根,使用与该区块根相同的逻辑。

CME比特币期货2021年1月合约收报36595美元:金色财经报道,成交量最高的CME比特币期货2021年1月合约今日收涨970美元,收报36595美元。2021年2月、3月及4月合约分别收报37060美元、37575美元和38075美元。[2021/1/20 16:34:10]

def verifyHistoricalStateValue(     slot: uint256,     key: bytes32,     value: bytes32,     proof: bytes ) 验证历史状态中的值。 这个proof包括三个要素:

表明状态根正确性的证明

Patricia 或 Verkle 或其他证明该value实际上位于状态树中的位置key中的证明(这假设将所有帐户内容映射到 32 字节key的提议方案已永久保存)

def verifyHistoricalTransaction(     slot: uint256,     txindex: uint256,     tx: bytes,     proof: bytes ) 验证 tx 实际上是否在给定slot的区块的 txindex 中。 证明内容如下:

表明区块根正确性的证明

证明给定的tx实际上是给定位置的交易

def verifyHistoricalReceipt(     slot: uint256,     txindex: uint256,     receipt: bytes,     proof: bytes ) 验证receipt实际上是给定slot的 txindex 处的交易接收。 证明内容如下:

证明区块根正确性的证明

证明给定收据实际上是给定位置的receipt

def verifyShardBlockBody(     slot: uint256,     shard: uint256,     startChunk: uint256,    chunks: uint256,     data: bytes,     proof: bytes ) 验证 data = body[32 * startChunk: 32 * (startChunk + chunks)] ,其中 body 是给定slot中给定分片的主体。 该证明将包括:

证明区块子集的 Kate 证明

如果slot太旧(超过 128 个 epoch?),则在slot + 96 处的区块根的 Merkle 证明,然后是从该slot到分片承诺数组中的位置的 Merkle 证明,显示一个最终性承诺

当我们使用 BLS-12-381 Kate 承诺时,预编译还将验证数据是 32 字节chunk的列表,其中每个chunk都小于曲线子组顺序。 如果没有在给定位置保存分片区块,则预编译就像在该位置保存了对零长度数据的承诺一样。 如果给定位置的value未确认,则预编译总是失败。

def verifyShardPolynomialEvaluation(     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(例如,使用 32 字节二进制字段证明),则预编译会将 SNARK 作为输入,验证数据完全由小于该曲线阶数的值组成,并验证对当前字段数据的评估。

这种预编译对于等价协议的跨多项式承诺方案证明‌很有用,可用于允许 ZK Rollup直接对分片数据进行操作。

作者:Vitalik Buterin

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

欧易交易所

DAI5月到底谁的表现最好? 是DeFi? 还是NFT?

以太坊依然强劲,而Polygon在5月份成为最大的赢家 去中心化dapps行业在2021年前5个月面临指数级增长。用户和交易增长背后的关键驱动因素是不断增长的DeFi和NFT生态系统。这种增长带来了新的用户,新的dapps和现有的dapps采用了多链范式。 今年5月,加密货币的价值暴跌,影响了行业内的众多参与者。

火币交易所​数据安全法通过对区块链行业有何影响?

2021年6月10日,十三届全国人大常委会第二十九次会议正式表决通过数据安全法。从数据安全法草案公布开始,这部法律就一直打着确定数据安全制度,加大处罚力度的旗号。可以预见,数据安全法通过后,包括区块链在内的所有涉及数据安全的行业都要更谨慎。

ADA隐私交易群雄逐鹿:L2全方位隐私协议Aztec强势突围

引言 「加密货币」一词很容易让人误解为该技术具有极高的匿名属性,但其实区块链特有的的数据公开性有可能会暴露用户的隐私。很少有人可以像黑客或者专家一样通过技巧增加自己资产的私密性,相反会支出更多额外的成本。多个隐私解决方案在隐私交易圣杯争夺战中各显神通,其中兼具隐私、安全、低成本的解决方案 Aztec 从产品入手,找到了一个非常巧妙的切入口。

Bitcoin区块链的触角:详解预言机功能架构与技术现状

预言机作为区块链延伸的触角,搭建了链内与链外之间的可信桥梁,构建了相互融合的价值生态。 原文标题:《预言机 - 区块链的触角》 撰文:李世敬,趣链科技基础平台部产品负责人 在保险、金融、随机预测、物联网等各个场景中,预言机在区块链中已经展现出其不可替代的价值:作为区块链延伸的触角,搭建了链内与链外之间的可信桥梁,构建相互融合的价值生态。

[0:0ms0-0:593ms