月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 火必下载 > 正文

TER:Layer2设计的基石:数据可用性与欺诈证明_ROLL

作者:

时间:1900/1/1 0:00:00

想抱团取暖,想加入社群,可以+huangzizhong8888

最近,我们在推特上看到了关于数据可用性及其重要性的讨论。毫无疑问,L2解决方案正在赋予以太坊能够成为全球超级计算机的力量。然而,我们不能否认的事实是,就算使用L2,但由于数量的限制,我们也无法实现我们的预期。其中第一个也是最重要的问题是「数据可用性问题(DA)」。因此,在本系列中,我们将深入了解DA是什么,以及如何通过数据抽样和欺诈证明来解决它。

为了完全理解DA证明的概念我们需要知道的有:

欺诈和数据可用性证明DA背景下的ReedSolomon代码Merkle树构造的二维ReedSolomon代码错误生成的扩展数据的欺诈证明

在这篇文章中,我们将讨论什么是数据可用性,为什么它对我们很重要,以及解决这个问题的潜在方案是什么。我们还将讨论在检测到L2上的恶意交易时,节点应如何提交欺诈证明。

加密货币平台每天都在受到大量的关注。但这种大规模的采用依然伴随着现有区块链的可扩展性限制。有可能解决该问题的方案是通过改进硬件规格来简单地增加链上吞吐量。但是这样做的话,就会损害去中心化,因为如果需要大型硬件,那么能够参与的节点会非常少。因此,大多数节点将运行轻客户端,并依赖于完整节点来验证区块链状态。在大多数节点不诚实的情况下,这种依赖并不十分靠谱。这就是为什么L1把链下解决方案作为实现可扩展性的最佳替代方案的主要原因。

元宇宙应用程序Cytown将在Google Play商店发布:6月7日消息,Google Play Store批准元宇宙项目Cytown在其平台发布安卓版应用程序。据悉,Cytown是韩国软件开发商Hancom和社交媒体服务Cyworld Z正在开发的元宇宙。Hancom将在完成其系统与Cyworld Z的集成后推出Cytown元宇宙。

Cytown元宇宙将构建Cyworld Z互动社交平台的3D版本,其自身经济由Cyworld发行的加密货币Dotori组成。Cytown仍在等待苹果App Store的发布批准。(Forkast)[2022/6/7 4:07:55]

当我们谈论像Rollup这样的链下解决方案时,我们常常倾向于忽略一个事实,就是即使使用Rollup,我们也不能实现无限的吞吐量。想过为什么吗?

这是因为Rollup是一种链下计算解决方案,它在链下执行状态计算。为了完成区块,他们确实需要将状态和callData发布到基础层,如以太坊。因此,即使我们制作了sequencer,一个超级计算机来产生无限区块,但由于基础层的网络和存储限制,我们无法最终确定它们。

以太坊Layer2网络zkEVM已接入UniswapV2端口:10月13日消息,以太坊Layer2网络zkEVM发文宣布已完成带有额外的Layer2特定功能的Web3API的开发,并已在UniswapV2上展示了智能合约和前端端口。据官方介绍,这是首个EVM全兼容的zkRollup。用户现在通过uni.zksync.io页面链接钱包,领取部分测试token。UniSync是由MatterLabs推出的UniswapV2的一个端口的代码和前端,并不是隶属于UniswapLabs。[2021/10/13 20:24:35]

所以当我们认识到Rollup本身不能实现无限的吞吐量时,我们就会有另一个问题,那就是如果中心化sequencer本身不诚实怎么办?他计算出了一个错误的状态了呢?L1如何拒绝这些交易?现在当遇到这种情况时,我们在基础层上有完整的节点,这些节点会监控状态,在检测到错误的交易时,它们可以提交欺诈证明,以标记区块无效。

这是否意味着所有负责监控Rollup活动的L1节点都需要下载整个sequencer数据呢??答案是肯定的,情况正是如此。也就是说即使提出了链下解决方案,我们仍然需要完整节点,并提高我们的硬件需求。

Interlay平台完成由IOSG领投的300万美元种子轮融资:据官方消息,互操作性创业公司Interlay完成300万美元种子轮融资,IOSG Ventures领投,Launchub Ventures,Blockchain.com Ventures,KR1,Hypersphere Ventures,CMS Holdings,Zeeprime Capital参投。此轮融资将用于扩展企业规模,并进一步进行品牌升级。

此前Interlay将PolkaBTC更换为interBTC,并通过Web3基金会资助,使用Parity技术打造PolkaBTC(Polkadot的去中心化Bitcoin桥)。这次品牌升级旨在将interBTC接入包括以太坊、Cosmos和Polkadot等所有公链。此外,Interlay还获得了Cosmos旗下Interchain基金会拨款,通过Cosmos的IBC协议将interBTC接入Cosmos生态。Interlay 由 Alexei Zamyatin 和 Dominik Harz几名博士创立。[2021/7/15 0:53:25]

在此基础上,就算我们设法运行一个强大的节点来监控交易,这仍然不能保证sequencer不会试图通过隐瞒数据来作弊。因为即使1%的数据不可用,也没有节点可以重建状态,因此没有人可以在定义的时间内提交欺诈证明,使区块有效。这就是我们定义的「数据可用性问题」。

Nuggets News创始人:Google Play商店中出现假冒Uniswap APP:Nuggets News创始人Alex Saunders在推特上表示:“我们的一个会员因Google Play商店中的假冒Uniswap APP损失了2万美元。该APP在商店里伪造了100条正面评论,因此该会员信任的输入了私人密钥备份短语。”[2020/11/20 21:29:32]

但没有必要恐慌,因为以太坊已经提出了另一个聪明的解决方案来解决这个问题,即「数据可用性抽样」。那么什么是数据可用性抽样呢?它允许我们在不需要节点下载整个数据的情况下确保数据可用性。这是实现可扩展性的重大突破。

所以我们有两个概念:

sequencer试图用错误的交易来作弊,同时不保存任何数据。sequencer试图用错误的交易来作弊,并且还保留了一定比例的数据,以便节点可能无法重建区块来提供欺诈证明。

现在我们想证明在共识节点中在不诚实的大多数的影响下,轻节点不会接受带有无效交易的区块。

动态 | 区块链游戏平台PlayGame与迪士尼达成合作:Playgame是基于区块链的游戏平台,用户可以免费玩游戏,创建自己的比赛,赢得游泳池奖品,目前该平台已宣布与华特迪士尼公司在东南亚区域达成为期一年的合作。可以在游戏中展出迪士尼特许经营的角色。[2018/12/16]

作为第一个概念的例子,我们假设一个场景,恶意的sequencer试图通过在区块中包含错误的交易来进行,但不保存任何数据。

在OptimisticRollup的情况下,为了证明该区块是无效的,节点需要重构一个区块并为它提交一个欺诈证明。

Rollup区块结构

当涉及到支持欺诈证明的生成和有效性时,区块结构非常重要。现在假设高度为i的区块头h_i包含以下信息。

先前的Blockhash哈希(prevHash_i)涉及区块交易的数据MerkleRoot(dataRoot_i)Merkle树中表示的叶数(dataLength_i)Rollup状态的Merkle树(stateRoot_i)网络可能需要的其他任意数据(additionalData_i)

在以太坊等基于账户的模型中,键值对是账户地址和余额。

首先,我们定义一个转换函数,它在执行转换时不需要整个状态树,而只需要对交易读取或写入的状态树部分的Merkle证明,这通常被称为「StateWitness」。这些Merkle证明有效地表示了为具有公共根的同一状态树的子树。函数可以定义为:

t→Rollup交易w→Merkle交易证明树

w由状态树中的一组值对及其相关的Merkle证明组成。

在w给定的部分状态上执行所有交易t之后(如果交易修改了任何状态),可以通过用修改过的叶子计算新子树的新根来生成新的结果NewstateRoot。

如果w不是正确的witness,并且不包含执行过程中交易所需的所有叶子部分,那么它将抛出异常错误err。

对于本系列的其余部分,将在此总结一些注释:

什么是innerRoot?

innerRoot是应用一定数量交易后区块中的中间根的表示。

当我们讨论Rollup状态验证时,数据是最重要的东西。数据帮助我们重构状态,并验证由Rollup发布的状态是否有效。这就是为什么将DataRoot传递给轻客户端非常重要。

什么是DataRoot?

dataRoot_i是固定大小的交易数据块,以字节为单位,我们称为「shares」。shares不会包含所有的交易,而是包含交易的固定部分。我们保留每个share中的第一个字节作为第一个交易的起始位置。这允许协议消息解析器建立消息边界,而不需要区块中的每个交易。

给定一个shares列表(sh0,sh1,…)shn),我们定义一个函数parseShares,它解析这些shares并输出消息列表(m0、m1、……mt),这些消息要么是交易,要么是中间状态根。例如,在某些区块i中间的一些share上的parseShares可能会返回(trace1i,t4i,t5i,t6i,trace2i)。

我们不能在每个交易之后都包含状态根,所以我们可以定义一个周期,例如在g个gas的p个交易之后,我们可以在区块中包含一个中间状态根。因此,我们有一个函数parsePeriod,它解析一个消息列表并返回一个状态前中间根tracexi和状态后中间根tracex+1i和一个交易列表(tig,tig+1,…tig+h),这样当我们在tracexi上应用这些交易时,它必须给我们tracex+1i。如果交易不符合条件,则函数必须返回一个err。

如何验证状态转换无效?

如果恶意的sequencer为我们提供了不正确的stateRoot呢?我们可以通过「VerifyTransitionFraudProof」函数检查stateRoot的无效。该函数接受完整节点提交的欺诈证明并对其进行验证。

什么是欺诈证明?

欺诈证明包括以下内容:

区块中包含错误状态转换的相关shares。这些shares的Merkle证明。shares交易的Statewitness。

VerifyTransitionFraudProof函数将特定受挑战时期的交易应用到前状态中间,这必须导致中间后状态根。

如果所有给定条件都为真,则函数VerifyTransitionFraudProof返回真,否则返回假。

我们已经了解了DA和欺诈证明,现在开始讨论第二个概念,也就是如果sequencer计算了一个无效的交易,而我作为轻客户端检测到它,那该怎么办。现在我需要为它计算一个欺诈证明。然而,sequencer并没有发布完整的数据,通过这些数据我可以重建状态以进行验证。对于这个问题,Optimism等Rollup提出了一个解决方案,即强制sequencer发布数据。

加入我们:不定期有二级市场财富密码分享,并提供安全优质的一级市场投资渠道。国内外最新消息筛选速递,最新项目背景,项目概况剖析,市值预测和Coinlist平台IDO重量级项目,及其他一线公募平台优质热门项目!

持续更新中,敬请期待.........

标签:TERROOROLLRESPterosaur Financeshrooms币ai迷因币roll币能出坐骑吗Integral Resistance

火必下载热门资讯
SOL:Solana基金会披露与FTX、Alameda Research财务关联明细_POLA币

本文来自Decrypt,原文作者:AndrewHaywardOdaily星球日报译者|念银思唐详细披露了其与摇摇欲坠的FTX加密帝国的财务关联程度.

1900/1/1 0:00:00
SOL:FTX破产后,Solana如何应付内忧外患?_Solana

原文作者:念青、flowie,ChainCatcher相比去年巅峰时刻的风光无两,今年Solana于11月3日至7日在里斯本举办的第二届Breakpoint峰会则低调许多.

1900/1/1 0:00:00
FTX:FTX破产前,部分用户通过孙宇晨搭建的逃生通道“惊险逃生”_MED

自2022年11月2日晚间CoinDesk报道AlamedaResearch和FTX的资产负债表不合理.

1900/1/1 0:00:00
SHI:年底柴犬 (SHIB) 价格反弹可能即将到来_AINU

简单来说ShibaInu的价格对交易者来说是坐过山车。WhaleStats显示,排名前5,000的ETH鲸鱼持有价值7528万美元的SHIB.

1900/1/1 0:00:00
DOG:DOGE 和 SHIB 步履蹒跚,是否预示着价格即将崩盘?_AIDOGEX

DOGE正在跟随下降阻力线。0.078美元有支撑。SHIB已从0.0000096美元的支撑区域跌破。狗狗币价格未能突破DOGE价格的技术分析表明,它自11月1日以来一直跌破下行阻力线.

1900/1/1 0:00:00
比特币:比特币价格低于 17,000 美元,什么会引发可观的增长?_crypto币价格

比特币价格正试图从16,000美元的支撑区域反弹。如果BTC在短期内清除17,000美元和17,200美元的阻力位,它可能会开始大幅上涨.

1900/1/1 0:00:00