FIL:L2桥接风险架构:如何评估跨链桥安全性?

原文作者:bartek.eth

我和来自Socket的VaibhavChellani想要提议一个用来评估不同桥接架构安全概况的风险架构。

与各种L2的风险框架一样,我们的总目标在于,能够快速将某一解决方案“分类”到具有相似特征的某特定解决方案类别中,同时可以足够细致地向用户呈现他们使用这些桥接时需要接受的安全假设有哪些。

我们主要关注在以太坊和其他链之间的桥接,因为我们即将在l2beat.com上介绍这些(译者注:目前桥接一栏已上线),但是,关于这些解决方案安全性的基本推理也适用于任何链与另一条链的桥接。此刻,我们正在寻找更广泛社区对这个提议框架的反馈。

对于终端用户来说,资产桥接是指从来源链接收某种资产的存款,并将这笔资产打给处于目标链上的用户。

比如,典型的桥接流程就是,Alice将资金转至A链的桥接合约,而后Alice在B链上收到来自桥接的资金。

Zeko Labs与O(1) Labs、dcSpark合作推出L2 ZK Rollup生态系统Zeko:7月27日消息,Zeko Labs 与 Mina 开发团队 O(1) Labs 和 dcSpark 合作,推出专门为零知识应用程序(zkApps)设计的 L2 ZK Rollup 生态系统 Zeko,由 Mina Protocol 进行结算,Zeko 将允许开发人员大规模构建具有可编程隐私性的去中心化应用程序。[2023/7/27 16:01:25]

广泛来说,这种流程有两种发生方式:

基于消息传递的代币桥接——这些桥接能让流动性以消息传递的形式跨链流动。一般,它们允许一笔资产在来源链上锁定或销毁后,在目标链上铸造出来。例子:Rollup桥接、Polygon原生桥接、Anyswap和Axelar网络。

流动性网络——也有桥接会兑换一些已铸造出来的资产。他们允许用户将资产转移至另一些链上,并假设这些资产已通过“消息传递”桥接提前将资产转移过去。例子:基于Nomad桥接的Connecxt、基于HopOptimisticBridge的Hop、一些其他HTLC和条件式转账。

DeFIL2.0标准算力通证FILST于8月25日11:00正式上线:官方消息,FILST于8月25日11:00正式上线,并同步在Uniswap上开启FILST-USDT、eFIL-FILST LP流动池。

FILST是基于DeFIL2.0的算?NFT衍?品,由矿?铸造NFT后通过智能合约去中?化形式发?。?枚FILST将始终锚定1GB的FIL满存算?,?户通过质押FILST可获得相应算?的FIL挖矿产出。此外,FILST也可在DeFIL2.0的智能合约中?于借贷。

DeFIL 2.0的定位是去中心化的Filecoin借贷和金融服务平台,同时打造了一个集算力NFT、永续算力通证、DeFi借贷、流动性挖矿、增强挖矿收益机制、DAO治理等一体化的去中心化金融生态。[2021/8/25 22:36:06]

轻客户端验证状态有效性

DeFIL2.0平台创始节点初拟名单已公布:最新消息,经过DeFIL2.0多签委员会初轮审核,为FIL算力通证FILST提供算力服务的创始节点初拟名单已经公布。为了更好地实现生态全球化健康全面发展,本次创始节点的提名与选拔在全球范围内进行,经过多轮探讨,最终共有18个节点脱颖而出,分别是:f0128559、f0127595、f0688165、f01173126、f01173139、f01173170、f01108594、f0123261、f0441372、f0733242、f087999、f01170647、f01170716、f01170751、f0218293、f01173423、f02778、f02777。下一步,多签委员会还将对初拟名单内的创始节点进行进一步风控调研。[2021/8/20 22:26:25]

描述:在目标链上验证来源链状态转换有效性的桥接。该验证过程通过零知识证明实现(状态转换过程伴随着一个zk证明的生成)或是欺诈证明系统完成(允许独立的验证者就新状态根的有效性提出争议)。

BM:等到L1充分利用后可在EOS上部署L2方案:10月1日,EOS创始人BM(Daniel Larimer)发推称,关于第2层缩放解决方案问题,它应该轻松移植到EOS平台,但要等到第1层得到充分利用后才能进行。因为第2层还有其他权衡和成本要考虑。[2020/10/1]

例子:所有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。

混合验证方式

描述:有一种混合以上各种验证方式的结构。

流动性网络的安全性

除了真的跨链发送资产以外,还有另一种的方法:跨链兑换,只通过易手而不用跨链移动资产,就能进行跨链兑换。

举个简单的例子:A链上的Alice想要将资产转至B链。Bob在B链上已经有了一样价值的资产,他用自己在B链上的这笔资产为Alice在A链上的余额提供兑换服务,并收取服务费。最终,Alice会获得B链上的那笔资产,Bob则能获得A链上的那笔资产服务费。

这部分仅描述了“兑换”协议的安全性,即LP在接受了你在来源链上的存款后,有多大可能会携款潜逃。这些兑换资产拥有铸造出它们的消息传递型桥接的安全性。

也有一些其他兑换资产的方式:

HTLC:又称哈希时间锁合约,可以用于跨链两方之间进行原子兑换资产。通常只需要用户做两步操作,一是锁定,二是解锁。可能发生的失败情况是,你的资金会在固定的“休眠”期限内被锁定。例子:ConnextNXTP、Liqualit。

条件式转账:允许LP通过捷径消息桥接,以此让LP可以在任何桥接资金时,立即为终端用户提供资金,并从消息传递桥接中接收资金。在失败情况下,如果没有LP提供流动性,则会激活慢速路径。例子:Hop、ConnextAmarok、MakerDAOTeleport。

外部验证者:让用户可以将资金转至受信任的桥接提供者处,提供者会承诺释放资金至另一条链上。这里可能出现的失败情况是,你的资金会丢失。例子:币安

利用基础链的抗审查性

依赖于验证者集的诚实

激活慢速路径:默认模式为慢速路径,不会损失资金

自己进行质押:用户可以质押参与网络,成为验证者并自己处理卡住的转账事物

冻结:暂停系统,直到桥接运行方上线之前无法运行

不受限制

需许可

无需许可

可升级性

需许可的行动者

过去24小时内转账量

过去24小时内的uniquetransfer

可用的流动性

支持的代币/区块链

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

金星链

AAVEBLA:闪电般的速度:加速器和孵化器将目光投向比特币

你知道孵化器和加速器是什么意思:兴趣。他们说熊市是为建设者准备的,而比特币生态系统似乎已经准备好工作了。主要催化剂之一是闪电网络的成功。这个小引擎可以从不断被嘲笑变成萨尔瓦多故事中的关键元素.

[0:0ms0-0:697ms