币非凡 - 区块链|交易所导航 www.bifeifan.com
当前位置:网站首页 > 新闻 > 正文

为以太坊2.0扫清障碍,V神提出新的以太坊向后兼容方法

admin 2021-06-09 1960 浏览

为以太坊2.0扫清障碍,V神提出新的以太坊向后兼容方法 方法 障碍 以太 GZR官网 GZR GZR价格 新闻  第1张

当前以太坊设计中的向后兼容性所面临的挑战之一是区块链历史记录的访问需要对 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
)

验证状态根,使用与该区块根相同的逻辑。

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

相关推荐

Plasm & Shiden 背后的 Stake 科技完成 1000 万美元的战略融资
Plasm & Shiden 背后的 Stake 科技完成 1000 万美元的战略融资

关于分布式资本分布式资本是亚洲第一家也是最活跃的专注于区块链的风险投资公司。它由区块链和传统金融行业的资深人士于2015年在上海创立,迄今为止,它已经支持了...

2小时前 admin

“619”加密市场深度回调后 这些机构还在购买比特币?

如果说5月19日(“519”)上演了加密市场的雪崩式下跌,那6月19日(“619”)则进一步加剧的市场的回调深度。本轮加密资产牛市根本由全球量化宽松带动,但目前各国货币政策预期收紧,短期利空消息不断,...

Reddit发行基于以太坊的限量CryptoSnoo NFT,元宇宙概念又升温
Reddit发行基于以太坊的限量CryptoSnoo NFT,元宇宙概念又升温

6月24巴比特消息,全球知名社交新闻网站Reddit宣布基于以太坊发行了数量非常有限的CryptoSnooNFT资产,用户在竞拍获得后可将其链接到自己的Red...

2小时前 admin

A16z创始人马克·安德森:加密货币代表了技术运作方式以及世界运作方式的架构转变
A16z创始人马克·安德森:加密货币代表了技术运作方式以及世界运作方式的架构转变

马克·安德森(MarcAndreessen)是互联网时代的早期开拓者。他帮助编写了第一个广泛使用的图形网络浏览器Mosaic,一部分人认为,这使他成为互联网...

2小时前 admin

Solana Season 黑客松获奖名单揭晓,一览 39 个获奖项目
Solana Season 黑客松获奖名单揭晓,一览 39 个获奖项目

本次黑客松报名人数超过13000人,来自全球的开发者提交了350多个项目!为了加快生态发展,Solana基金会近期同多个头部加密项目进行合作,共同举办...

2小时前 admin

支付宝发售的NFT不转移作品版权,这合理吗?
  • 支付宝发售的NFT不转移作品版权,这合理吗?
  • 支付宝发售的NFT不转移作品版权,这合理吗?
  • 支付宝发售的NFT不转移作品版权,这合理吗?
  • 支付宝发售的NFT不转移作品版权,这合理吗?
欧洲杯+NFT,数字藏品和粉丝通证再进化
  • 欧洲杯+NFT,数字藏品和粉丝通证再进化
  • 欧洲杯+NFT,数字藏品和粉丝通证再进化
  • 欧洲杯+NFT,数字藏品和粉丝通证再进化
  • 欧洲杯+NFT,数字藏品和粉丝通证再进化
将来进行时!Web3.0技术与生态峰会呼之欲出
  • 将来进行时!Web3.0技术与生态峰会呼之欲出
  • 将来进行时!Web3.0技术与生态峰会呼之欲出
  • 将来进行时!Web3.0技术与生态峰会呼之欲出
  • 将来进行时!Web3.0技术与生态峰会呼之欲出
三分钟读懂 PleasrDAO:这个曾收购斯诺登 NFT 的收藏组织有何价值?

NFT的价值是通过社会共识分配的,PleasrDAO 的运作方式是购买和资助具有文化意义的作品,再创从根本上补充作品灵魂的东西,然后与社区分享。 撰文: EvaWu 和 AndrewKang,均...

加密货币的未来是否正在形成乌云?
加密货币的未来是否正在形成乌云?

本文作者:TomMitchelhill根据NassimNicholasTaleb的论文提出的观点6月20日,NassimNicholasTaleb,一...

2小时前 admin

华语乐坛首个教父级音乐NFT来袭 iBox酝酿变局

NFT是什么?在数字经济备受关注的今天,相信你并不陌生。6月24日,继敦煌美术研究所·支付宝联名款NFT皮肤后,支付宝再次推出知名动漫作品《伍六七》支付宝付款码皮肤。此前,支付宝联合敦煌美术研究所发行...

一文了解Optimism生态,为什么说它是最有影响的L2方案
  • 一文了解Optimism生态,为什么说它是最有影响的L2方案
  • 一文了解Optimism生态,为什么说它是最有影响的L2方案
  • 一文了解Optimism生态,为什么说它是最有影响的L2方案
  • 一文了解Optimism生态,为什么说它是最有影响的L2方案
从数字存储价值角度来看,为什么实现价值驱动前,高波动会一直存在

...

一览CoinList2021年春季种子计划的参与者名单

...

Plasm & Shiden 背后的 Stake 科技完成 1000 万美元的战略融资
Plasm & Shiden 背后的 Stake 科技完成 1000 万美元的战略融资

关于分布式资本分布式资本是亚洲第一家也是最活跃的专注于区块链的风险投资公司。它由区块链和传统金融行业的资深人士于2015年在上海创立,迄今为止,它已经支持了...

4小时前 admin