L2桥接风险架构:如何评估跨链桥安全性?_以太坊:ALI

我和来自Socket的VaibhavChellani想要提议一个用来评估不同桥接架构安全概况的风险架构。与各种L2的风险框架一样,我们的总目标在于,能够快速将某一解决方案“分类”到具有相似特征的某特定解决方案类别中,同时可以足够细致地向用户呈现他们使用这些桥接时需要接受的安全假设有哪些。我们主要关注在以太坊和其他链之间的桥接,因为我们即将在l2beat.com上介绍这些(译者注:目前桥接一栏已上线),但是,关于这些解决方案安全性的基本推理也适用于任何链与另一条链的桥接。此刻,我们正在寻找更广泛社区对这个提议框架的反馈。桥接类型

观点:开发人员对以太坊L2解决方案Arbitrum和Optimism的兴趣显着增加:金色财经报道,专家指出,开发人员对以太坊L2解决方案Arbitrum和Optimism的兴趣显着增加。Arbitrum的份额从0.9%跃升至4.5%,Optimism的份额从1.2%跃升至1.5%。Fantom生态系统开始扮演不那么突出的角色。该网络已验证智能合约数量占总指标的比例从3.3%下降至1.4%。行业层面,Polygon和Avalanche区块链正在发展,市场份额分别在10-12%和2.2-2.7%区间波动。[2023/8/4 16:18:45]

对于终端用户来说,资产桥接是指从来源链接收某种资产的存款,并将这笔资产打给处于目标链上的用户。比如,典型的桥接流程就是,Alice将资金转至A链的桥接合约,而后Alice在B链上收到来自桥接的资金。广泛来说,这种流程有两种发生方式:基于消息传递的代币桥接——这些桥接能让流动性以消息传递的形式跨链流动。一般,它们允许一笔资产在来源链上锁定或销毁后,在目标链上铸造出来。例子:Rollup桥接、Polygon原生桥接、Anyswap和Axelar网络。流动性网络——也有桥接会兑换一些已铸造出来的资产。他们允许用户将资产转移至另一些链上,并假设这些资产已通过“消息传递”桥接提前将资产转移过去。例子:基于Nomad桥接的Connecxt、基于HopOptimisticBridge的Hop、一些其他HTLC和条件式转账。消息传递型桥接的安全性

以太坊L2网络总锁仓量为90亿美元:金色财经报道,L2BEAT数据显示,截至6月3日,以太坊Layer2上总锁仓量为90亿美元。其中锁仓量最高的为扩容方案Arbitrum,约58.9亿美元,占比65.39%;其次是Optimism,锁仓量为17.1亿美元,占比19.08%;第三为zkSync Era,锁仓量为3.84亿美元,占比4.27%[2023/6/3 11:55:20]

在这一部分,我们会试着阐释这些被多个桥接协议使用的验证跨链消息的不同方式。如上图所示,代币桥接会利用消息传递型桥接的安全性。轻客户端验证状态有效性描述:在目标链上验证来源链状态转换有效性的桥接。该验证过程通过零知识证明实现(状态转换过程伴随着一个zk证明的生成)或是欺诈证明系统完成(允许独立的验证者就新状态根的有效性提出争议)。例子:所有Rollup都算是这里的例子,L1会通过FraudProof或ValidityProof验证L2的状态转换。轻客户端验证共识描述:在目标链上验证来源链共识的桥接。这取决于来源链所使用的共识机制,通常包括对当前验证者委员会的quorum签名的检查,如果其来源链使用的是PBFT式的提议和投票共识协议。或者,如果来源链使用PoW协议或“最长链”式的PoS协议,则使用相关的分叉规则检查最长链。例子:NEARRainbow桥接,Polygon的PoS桥接以及CosmosIBC。外部验证者集描述:使用外部验证者作为事实来源的桥接,即形成一个独立委员会的验证者们,而不是来源链和目标链上的验证者。这取决于这些验证者所采用的实现,他们可能会使用MultiSig、运行共识算法、使用ThresholdSignature机制或SGX等……无论它们使用什么技术,都属于这种验证方式。例子:Wormmhole、Multichain、Axelar、DeBridge、Synapse、Stargate。乐观式验证描述:具有挑战期的桥接。这类验证方式中的诚实一方会在此期间内避免纳入欺诈信息。然而,这里有几个关键参数需要考虑:挑战期时长:越长越好Watcher集规模:无需许可>需要许可例子:HopProtocol、ConnextAmarok、Across、NomadTokenBridge。混合验证方式描述:有一种混合以上各种验证方式的结构。流动性网络的安全性

EthHub联创对《以太坊L2是一个伪装成功能的漏洞》的文章表示质疑:4月21日消息,Blockworks今日发表了一篇题为《以太坊L2是一个伪装成功能的漏洞》的文章,称Layer-2技术实际上在做的是为以太坊上的一些特定问题贴上创可贴,但实际上并没有创建解决以太坊任何实际问题的解决方案。以太坊的问题不在于存在gas费这一事实,而是gas费太高。L2通过为用户提供一个发送他们的交易的场所然后可以将这些交易的结果广播到主网,而不是用主网来实现这一点。将L2识别为不充分的权宜之计的观念转变可能会鼓励社区优先寻找和开发长期解决方案以应对以太坊的挑战,这可能会导致更多创新和可持续技术的出现。对此,EthHub联合创始人sassal.eth对此评论称“建议删除你的推特账户”,部分用户亦对此篇文章表示质疑。[2023/4/21 14:17:59]

除了真的跨链发送资产以外,还有另一种的方法:跨链兑换,只通过易手而不用跨链移动资产,就能进行跨链兑换。举个简单的例子:A链上的Alice想要将资产转至B链。Bob在B链上已经有了一样价值的资产,他用自己在B链上的这笔资产为Alice在A链上的余额提供兑换服务,并收取服务费。最终,Alice会获得B链上的那笔资产,Bob则能获得A链上的那笔资产+服务费。这部分仅描述了“兑换”协议的安全性,即LP在接受了你在来源链上的存款后,有多大可能会携款潜逃。这些兑换资产拥有铸造出它们的消息传递型桥接的安全性。也有一些其他兑换资产的方式:HTLC:又称哈希时间锁合约,可以用于跨链两方之间进行原子兑换资产。通常只需要用户做两步操作,一是锁定,二是解锁。可能发生的失败情况是,你的资金会在固定的“休眠”期限内被锁定。例子:ConnextNXTP、Liqualit。条件式转账:允许LP通过捷径消息桥接,以此让LP可以在任何桥接资金时,立即为终端用户提供资金,并从消息传递桥接中接收资金。在失败情况下,如果没有LP提供流动性,则会激活慢速路径。例子:Hop、ConnextAmarok、MakerDAOTeleport。外部验证者:让用户可以将资金转至受信任的桥接提供者处,提供者会承诺释放资金至另一条链上。这里可能出现的失败情况是,你的资金会丢失。例子:币安抗审查性

数据:以太坊L2网络总锁仓量约3亿美元:据L2BEAT数据显示,以太坊所有二层网络的总锁仓量为2.96亿美元,目前排名首位为路印协议,约1.82亿美元。L2BEAT收录的其他二层网络为:Optimism、去中心化衍生品交易所dYdX、zkSync(MatterLabs)、以太坊隐私技术解决方案Aztec、Fuel。[2021/4/12 20:10:34]

我们将了解桥接发出的单条消息被审查可能性有关的安全假设。更实际地,我们也将探究单条消息(代币转账)是否会被桥接所审查或是忽视,如果会被审查,用户的资金会有什么后果。典型的解决方案:利用基础链的抗审查性依赖于验证者集的诚实总体活性故障

在总体的活性故障方面,我们将来看看“关闭”桥接的后果。例如,对于使用外部验证者集的桥接,我们可以看看在这些验证者长时间离线的事件中用户资金的安全性。一般可能发生的情况包括:激活慢速路径:默认模式为慢速路径,不会损失资金自己进行质押:用户可以质押参与网络,成为验证者并自己处理卡住的转账事物冻结:暂停系统,直到桥接运行方上线之前无法运行流动性

L2Lab发布基于ZK-Rollup的Uniswap版本:金色财经报道,专注于Layer2协议的L2Lab团队发布了ZKSwap项目,该项目基于ZK-Rollup技术,在以太坊的二层网络上实现Uniswap的功能,可以实现无摩擦和实时兑换功能。

ZKSwap (ZK-Rollup based Swap)是一套全新的基于Zkrollup技术的兑换协议,通过Zk-Rollup技术把所有的ERC20 token转移到Layer2上面,基于不断生成的零知识证明来保证Layer1和Layer2状态的一致性,从而让所有的兑换在Layer2上发生,可以做到零GAS费用的实时兑换(不再要等待一个区块时间),并且具备无限的拓展性,摆脱以太坊TPS和区块确认时间的限制,并同时实时掌控自己的资金安全。[2020/9/22]

在这一部分,我们将试着分析桥接资产可用的流动性。桥接可以铸造资产吗,需要LP吗,用户可以一直提款或转移他们选择的任意数量代币吗,或者他们依赖于外部的LP,并且桥接可能会“耗完资金”。不受限制需许可无需许可其他思考和指标

可升级性需许可的行动者过去24小时内转账量过去24小时内的uniquetransfer可用的流动性支持的代币/区块链原地址

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

水星链

FTT一文梳理Cosmos重点生态项目_MOS:Osmosis

与波卡同为「跨链双子星」的Cosmos因Cosmos2.0的提案而引发了市场的关注。Cosmos并非传统意义上具有智能合约功能的公链,而是可以为生态中的应用链提供CosmosSDK,应用链及生态.

[0:31ms0-1:341ms