撰文:bartek.eth
我和来自 Socket 的 Vaibhav Chellani 想要提议一个用来评估不同桥接架构安全概况的风险架构。
与各种 L2 的风险框架一样,我们的总目标在于,能够快速将某一解决方案「分类」到具有相似特征的某特定解决方案类别中,同时可以足够细致地向用户呈现他们使用这些桥接时需要接受的安全假设有哪些。
我们主要关注在以太坊和其他链之间的桥接,因为我们即将在 l2beat.com 上介绍这些 ( 译者注:目前桥接一栏已上线 ),但是,关于这些解决方案安全性的基本推理也适用于任何链与另一条链的桥接。此刻,我们正在寻找更广泛社区对这个提议框架的反馈。
对于终端用户来说,资产桥接是指从来源链(source chain)接收某种资产的存款,并将这笔资产打给处于目标链(destination chain)上的用户。
Juno 已恢复除加密支付和 L2 存提款之外的大部分服务:2月7日消息,加密友好支票账户应用 Juno 现已恢复其核心加密服务产品,并推出几项新功能,包括:新增支持 SOL、ADA、SHIB、DOGE 在内的超过 35 种加密货币,减少新的和现有代币产品的利差,为每一美元的非稳定币代币交易提供零交易费激励和奖励计划。
Juno 现已恢复大部分服务,但加密支付服务和 L2 存提款服务仍在努力恢复中。Juno 曾于 1 月初因其托管人 Wyre 的动荡而暂停服务。( CoinDesk)[2023/2/7 11:52:02]
比如,典型的桥接流程就是,Alice 将资金转至 A 链的桥接合约,而后 Alice 在 B 链上收到来自桥接的资金。
广泛来说,这种流程有两种发生方式:
基于消息传递的代币桥接 —— 这些桥接能让流动性以消息传递的形式跨链流动。一般,它们允许一笔资产在来源链上锁定或销毁后,在目标链上铸造出来。例子:Rollup 桥接、Polygon 原生桥接、Anyswap(anyCall)和 Axelar 网络。
Router Protocol和Polygon与DFyn合作启动L2 GalaxyFarm:3月8日消息,Polygon和Router Protocol与多个项目合作,以实现即时、无Gas交易和DeFi 耕作(farming)。Router Protocol正在建立一个跨链流动性协议,其第一个节点是Polygon上的AMM DEX Dfyn.network。DeFi farming将基于Dfyn.network,各个项目和参与者将在其之上增加流动性以参与L2 GalaxyFarm,从而为该生态系统引入无Gas farming。来自Polygon和以太坊生态系统的项目将参与GalaxyFarm以奖励社区。(AMBCrypto)[2021/3/8 18:25:57]
流动性网络 —— 也有桥接会兑换一些已铸造出来的资产。他们允许用户将资产转移至另一些链上,并假设这些资产已通过“消息传递”桥接(Message Bridge)提前将资产转移过去。例子:基于 Nomad 桥接的 Connecxt、基于 Hop Optimistic Bridge 的 Hop、一些其他 HTLC(Hash Time-Lock Contract,哈希时间锁合约)和条件式转账(如 nova 等)。
Warp Finance将推出L2 LP代币借贷:3月3日消息,Warp Finance表示,通过一些未公开的合作伙伴的帮助,将在未来几周推出L2 LP代币借贷。[2021/3/3 18:09:55]
在这一部分,我们会试着阐释这些被多个桥接协议使用的验证跨链消息的不同方式。如上图所示,代币桥接会利用消息传递型桥接的安全性。
描述:在目标链上验证来源链状态转换有效性的桥接。该验证过程通过零知识证明实现 ( 状态转换过程伴随着一个 zk 证明的生成 ) 或是欺诈证明系统完成 ( 允许独立的验证者就新状态根的有效性提出争议)。
例子:所有 Rollup 都算是这里的例子,L1 会通过 FraudProof(欺诈证明)或 ValidityProof(有效性证明)验证 L2 的状态转换。
描述:在目标链上验证来源链共识的桥接。这取决于来源链所使用的共识机制,通常包括对当前验证者委员会的 quorum 签名的检查,如果其来源链使用的是 PBFT 式的提议和投票(propose-and-vote)共识协议(如 Tendermint、HotStuff、Casper FFG 协议)。或者,如果来源链使用 PoW 协议或“最长链”式的 PoS 协议(如 Ouroboros、ETH 2.0 LMD Ghost 等),则使用相关的分叉规则检查最长链。
Shapeshift创始人:在某种类型的L2 ETH上锚定BTC会更合适:8月25日,推特网友分享数据称:现在以太坊上锚定比特币的数量比闪电网络(Lightning)多40倍。经过2年多,闪电网络仍未能整合、创新和被采用。数字资产交易平台Shapeshift创始人兼首席执行官Erik Voorhees对此表示,这是一个有趣的统计数据,但是以太坊上的比特币仍然需要支付昂贵的tx费用,而在Lightning中则没有。以太坊基础层上的比特币并不能与闪电网络相提并论。在某种类型的L2 ETH上锚定BTC会更合适。[2020/8/25]
例子:NEAR Rainbow 桥接(忽略与 NEAR 签名机制验证过程的复杂性相关的 Optimistic 构成部分),Polygon 的 PoS 桥接(检查 Heimdall 链的共识)以及 Cosmos IBC(验证另一条 Cosmos 链的签名)。
描述:使用外部验证者作为事实来源的桥接,即形成一个独立委员会的验证者们,而不是来源链和目标链上的验证者。这取决于这些验证者所采用的实现,他们可能会使用 MultiSig (多签)、运行共识算法(通常是来自提议和投票的一类的算法)、使用 Threshold Signature 机制(TSS,门限签名机制)或 SGX 等……无论它们使用什么技术,都属于这种验证方式。
1inch联合创始人:L1和L2 DEX交易量不应直接进行比较:1inch联合创始人Anton Bukov发推称,似乎L1和L2 DEX交易量不应该直接进行比较,因为L2 DEX更多的是关于交易,而不仅仅是交换(swap)。因为L2运作更快且更便宜,但这也导致L2不能与L1和其他L2解决方案组合。[2020/6/14]
例子:Wormmhole、Multichain、Axelar、DeBridge、Synapse、Stargate。
描述:具有挑战期(challenge period,译者注:指其他验证者发现桥接消息无效时,可以对其有效性进行挑战的时间段)的桥接。
这类验证方式中的诚实一方会在此期间内避免纳入欺诈信息。然而,这里有几个关键参数需要考虑:
挑战期时长:越长越好
Watcher 集规模:无需许可 > 需要许可
例子:Hop Protocol、Connext Amarok、Across、Nomad Token Bridge。
描述:有一种混合以上各种验证方式的结构。
除了真的跨链发送资产以外,还有另一种的方法:跨链兑换(swap),只通过易手而不用跨链移动资产,就能进行跨链兑换。(译者注:易手即一方资产成为另一方所有,即资产所有者发生更换。)
举个简单的例子:A 链上的 Alice 想要将资产转至 B 链。Bob(流动性提供者,LP)在 B 链上已经有了一样价值的资产,他用自己在 B 链上的这笔资产为 Alice 在 A 链上的余额提供兑换服务,并收取服务费。最终,Alice 会获得 B 链上的那笔资产,Bob 则能获得 A 链上的那笔资产 + 服务费。
这部分仅描述了「兑换」协议的安全性,即 LP 在接受了你在来源链上的存款后,有多大可能会携款潜逃。这些兑换资产拥有铸造出它们的消息传递型桥接的安全性。
也有一些其他兑换资产的方式:
HTLC: 又称哈希时间锁合约,可以用于跨链两方之间进行原子兑换资产。通常只需要用户做两步操作,一是锁定,二是解锁。可能发生的失败情况是,你的资金会在固定的“休眠”期限内被锁定。例子:Connext NXTP、Liqualit。
条件式转账(Conditional Transfer):允许 LP 通过捷径消息桥接,以此让 LP 可以在任何桥接资金时,立即为终端用户提供资金,并从消息传递桥接中接收资金。在失败情况下,如果没有 LP 提供流动性,则会激活慢速路径(slow path)。例子:Hop、Connext Amarok、MakerDAO Teleport。
外部验证者:让用户可以将资金转至受信任的桥接提供者处,提供者会承诺释放资金至另一条链上。这里可能出现的失败情况是,你的资金会丢失。例子:币安
我们将了解桥接发出的单条消息被审查可能性有关的安全假设。更实际地,我们也将探究单条消息 ( 代币转账 ) 是否会被桥接所审查或是忽视,如果会被审查,用户的资金会有什么后果(这些资金会被返还给用户,还是卡在「转账中」的状态里)。
典型的解决方案:
利用基础链的抗审查性(例如,一些 Rollup)
依赖于验证者集的诚实
在总体的活性故障方面,我们将来看看「关闭」桥接的后果。例如,对于使用外部验证者集的桥接,我们可以看看在这些验证者长时间离线(可能是无限期离线)的事件中用户资金的安全性。一般可能发生的情况包括:
激活慢速路径:默认模式为慢速路径,不会损失资金
自己进行质押:用户可以质押参与网络,成为验证者并自己处理卡住的转账事物
冻结:暂停系统,直到桥接运行方上线之前无法运行
在这一部分,我们将试着分析桥接资产可用的流动性。桥接可以铸造资产吗,需要 LP 吗,用户可以一直提款或转移他们选择的任意数量代币吗,或者他们依赖于外部的 LP,并且桥接可能会「耗完资金」。
不受限制(桥接可以铸造原生 / 权威代币)
需许可(由桥接运营商提供流动性)
无需许可(任何 LP 可以提供流动性)
可升级性
需许可的行动者
过去 24 小时内转账量
过去 24 小时内的 unique transfer(独立地址转账)
支持的代币 / 区块链
ETH中文网
媒体专栏
阅读更多
比推 Bitpush News
蜂巢Tech
Block unicorn
Chainlink
DeFi之道
金色早8点
PANews
蓝狐笔记
半月谈
白话区块链
金色财经
标签:ALIPROOLYLYGDecentralized PiratesHyperbolic ProtocolWEXPOLYpolygon币matic币投资机构
久闻其声未见其影,苹果的元宇宙设备又双叒叕传出新的量产时间。据电子时报今日报道,苹果如今正在“精心打造”首款XR/AR头戴设备。该设备代号N301,预计将于2023年第一季度末投入量产.
1900/1/1 0:00:00作者:Ray, Sally, IOSG Ventures智能合约安全分析工具商业化的机会来了么?在9月底Paradigm官宣完成了区块链安全项目Blowfish的领投又一次引起了大家对智能合约安全分析领域的广泛关注.
1900/1/1 0:00:002022年10月10日,Web3基金会在官方博客宣布,在第15轮资助计划中签署了37笔资助赠款.
1900/1/1 0:00:00收益聚合器(Yield Aggregators)是自动化过程的协议,称为“收益耕种”。 收益耕种是用于定义以下过程的术语:投资将会产生利息(或收益)的协议收集这些回报,通常以投资协议的原生 token 支付(也称为 "收获&.
1900/1/1 0:00:00本文作者:太和研究员 Calvin上一轮Defi summer的时候,随着流动性挖矿的投机热潮,Defi十分火热,在高峰期甚至有人提出“Defi协议如何承受数百万的用户涌入?”事后看来,这个问题想的过于简单和幼稚.
1900/1/1 0:00:00加密行业永远不缺戏剧,昨夜今晨的两次惊天逆转,让社区用户跟着“提心吊胆”。而事情的结局令人失望,因为针对2008年雷曼兄弟时刻而催生的加密货币行业却重走了雷曼之路.
1900/1/1 0:00:00