作者:VitalikButerin
原文:https://ethresear.ch/t/future-proof-shard-and-history-access-precompiles/9781
当前以太坊设计中的向后兼容性所面临的挑战之一是区块链历史记录的访问需要对Merkle证明进行EVM验证,这还假设区块链将永远使用相同的格式和相同的密码技术。未来的分片设计更是增加了这一点的重要性,因为Rollup的欺诈证明和有效性证明将需要指向分片数据的指针。
BitDAO社区发起新提案投票,拟为以太坊L2网络Mantle规划1年预算资金:2月14日消息,BitDAO社区发起BIP-19提案,该提案提议为此前推出的以太坊L2网络Mantle规划一年预算资金,包括1000万枚BIT和1400万枚USDC用于支付测试网6个月运营费用,以及1.45亿枚BIT和3400万枚USDC用于支付主网一年的运营支出等。
关于该提案的投票现已开启,截止2月20日结束。[2023/2/14 12:06:11]
这篇文章提出了一种更加面向未来的方法:我们可以添加执行验证特定类型证明的抽象任务的预编译,而不是要求在EVM中验证历史和分片的证明。如果将来更改格式,预编译逻辑将自动更改。预编译甚至可以具有条件逻辑,用于验证过渡前插槽的一种证明和转换后插槽的另一种证明。
ZKSwap测试网激励发放完成,Layer2转账成本为以太坊的1%:官方消息,基于ZK Rollup扩容技术的AMM去中心化交易所 ZKSwap (ZKS)表示,其测试网激励的ZKS在ZKSwap的 Layer2 发放完成,在Layer2发送9000笔转账合计消耗的Gas成本(Layer2 到 Layer1 的上链费用)为1500美金。
对比而言,在以太坊主网完成9000笔转账需要消耗18万美金的成本,ZKSwap上Layer2的转账成本只有以太坊的1%左右。官方预计,ZKSwap将在2月17日开启代付Gas费用挖矿活动(Proof of Gas)和智能合约锁仓挖矿活动。并在2月19日开启流动性挖矿活动和交易即挖矿活动。[2021/2/16 19:52:20]
历史区块数据
分析 | EOS DApp 日活为以太坊的9倍:据PeckShield态势感知平台数据显示,9月18日即EOS主网上线后3个月,EOS DApp日活为12,009首次超过了以太坊 DApp日活的10,136;11月9日即EOS主网上线后5个月,EOS DApp日活为69,363是以太坊 DApp日活 7,764的近9倍,在去除群控账号之后,EOS当天DApp日活为31,142,也有以太坊的4倍。此外就DApp交易额而言,8月24日即EOS主网上线2个半月后,EOS单日DApp交易额为705万美元,而以太坊当天DApp交易额为255万美元,EOS首次超过了以太坊,DApp交易额呈极速增长之势。值得一提的是,7月21日,以太坊在Fomo 3D类游戏的影响下,DApp交易额达到最高峰值6,800万美元,而11月08日,在一大波EOS竞猜类游戏的涌现的情况下,EOS DApp单日交易额则达到了10,700万美元,不难看出,EOS DApp生态在高峰期的交易额远在以太坊之上。[2018/12/1]
defverifyHistoricalBlockRoot(slot:uint256,value:bytes32,proof:bytes)
Vitalik为以太坊分片技术发布部分概念验证:据coindesk报道,以太坊创始人Vitalik Buterin在发布 “分片即将到来”时分享了一个新的代码库,该代码库记录了所谓的“分支选择规则”的部分概念验证,这是“以太碎片”如何与主区块链相互作用的代码。分片技术旨在将以太坊分成几个并发网络,从而使整个网络更加高效地扩展。这将有助于 缓解 网络面临的拥塞,从而提高交易速度并降低成本。[2018/5/2]
这种预编译将尝试以两种方式之一解释该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直接对分片数据进行操作。
6月5日,新能源智能汽车创新峰会在浙江湖州举办。本次峰会由中共浙江省委人才办指导,中共湖州市委、湖州市人民政府、《麻省理工科技评论》中国主办.
1900/1/1 0:00:00如今加密货币逐渐进入主流金融市场,但是美国养老金计划401k里却仍不见其踪影。401k为全美职工提供养老金,帮助他们投资股市,债券,和基金.
1900/1/1 0:00:00有时候,比特币抽升10%只需要像埃隆·马斯克这类人物的一句正面评论。5月12日,在特斯拉宣布出于环保考虑,将不再接受比特币支付后,该公司首席执行官被认为是近期经济下滑的罪魁祸首.
1900/1/1 0:00:00据TheBlock6月11日报道,二氧化碳追踪和供应链溯源提供商Circular周四宣布,该公司完成了1400万美元的首轮融资.
1900/1/1 0:00:00首先看下BTC2013年牛市行情走势,研究可以发现13年牛市BTC走二顶形态,年中有一波大幅度的调整,调整幅度高达80%,很多人都以为牛市结束了,后面BTC超跌反弹再回落筑底.
1900/1/1 0:00:006月10日,德克萨斯州银行监管机构正式批准州特许银行托管加密资产。 德州当地加密矿企算力受冰暴天气影响下降:金色财经报道,袭击德克萨斯州的冰暴损坏了当地比特币矿企的一些设备.
1900/1/1 0:00:00