我和来自Socket的VaibhavChellani想要提议一个用来评估不同桥接架构安全概况的风险架构。
与各种L2的风险框架一样,我们的总目标在于,能够快速将某一解决方案「分类」到具有相似特征的某特定解决方案类别中,同时可以足够细致地向用户呈现他们使用这些桥接时需要接受的安全假设有哪些。
我们主要关注在以太坊和其他链之间的桥接,因为我们即将在l2beat.com上介绍这些(译者注:目前桥接一栏已上线),但是,关于这些解决方案安全性的基本推理也适用于任何链与另一条链的桥接。此刻,我们正在寻找更广泛社区对这个提议框架的反馈。
桥接类型
对于终端用户来说,资产桥接是指从来源链接收某种资产的存款,并将这笔资产打给处于目标链上的用户。
央行方昕:海南自贸港探索数字人民币跨境金融服务:金色财经报道,2023年1月11日,中国人民银行海口中心支行行长方昕发表题为《以金融改革开放加快海南自贸港建设》的文章。文章中表示,推动以数字货币为代表的金融科技在跨境金融服务中的应用。海南自贸港可以利用数字货币、区块链、大数据等金融科技,特别是发挥全域试点数字人民币的优势,探索数字人民币跨境金融服务功能,配套完善的金融基础设施和制度,推动建立跨境资金调拨、结算及外汇交易等数字货币应用场景,在降低跨境支付成本的同时提升跨境支付效率和透明度,实现跨境资金交易的可留痕、可追溯和可监管,助推新型离岸国际贸易等业务发展。[2023/1/11 11:06:32]
比如,典型的桥接流程就是,Alice将资金转至A链的桥接合约,而后Alice在B链上收到来自桥接的资金。
广泛来说,这种流程有两种发生方式:
·基于消息传递的Token桥接——这些桥接能让流动性以消息传递的形式跨链流动。一般,它们允许一笔资产在来源链上锁定或销毁后,在目标链上铸造出来。例子:Rollup桥接、Polygon原生桥接、Anyswap和Axelar网络。
银联商务与上海文交所合作积极探索数字资产智能合约交易模式:4月9日消息,近日银联商务股份有限公司与上海文化产权交易所股份有限公司(简称上海文交所)签署战略合作协议,银联商务正式接入“国家级版权交易保护联盟链”,加入国家级数字文创规范治理生态矩阵。
双方在数字人民币领域的合作将持续强化“国家级版权交易保护联盟链”的服务功能,同时将共同推动和强化行业规范治理,引导数字文创、数字艺术、数字版权、虚拟世界与现实交互产业合理有序发展。
此次合作,双方将充分发挥各自擅长的技术研发、渠道、资源等相关优势,围绕可追溯、实名性、透明公开的创新交易模式不断探索优化,通过区块链、智能合约等创新技术应用,共同打造稳定、合规、安全的数字资产交易环境,推动国家级数字文创规范治理生态矩阵内交易相关技术标准、安全规范的制定,为中国数字文化产业发展提供坚实保障。
银联商务此次不仅将自主研发的区块链平台接入国家级版权交易保护联盟链,积极探索数字资产智能合约交易模式,为数字资产交易提供不可篡改、安全可信的技术保障,还将为联盟链赋予完备的全渠道综合支付受理能力,提升结算效能,助力数字资产交易体系建设。[2022/4/9 14:15:01]
·流动性网络——也有桥接会兑换一些已铸造出来的资产。他们允许用户将资产转移至另一些链上,并假设这些资产已通过「消息传递」桥接提前将资产转移过去。例子:基于Nomad桥接的Connecxt、基于HopOptimisticBridge的Hop、一些其他HTLC和条件式转账。
各国监管机构积极探索数字货币监管新方式:据火币研究院5月月报指出,各国监管机构积极探索数字货币监管新方式。美国、英国、欧盟和澳大利亚等国监管机构纷纷发声,强调数字货币与ICO众筹监管的重要性,政策细节仍在商讨阶段;JP.Morgan加强区块链技术在其商业领域的应用;门罗币等加密货币或成为犯罪温床;印度拟对数字货币交易征税。本月投资者最终综合情绪指数为79.3分,较上个月下降5.1%。[2018/6/21]
消息传递型桥接的安全性
在这一部分,我们会试着阐释这些被多个桥接协议使用的验证跨链消息的不同方式。如上图所示,Token桥接会利用消息传递型桥接的安全性。
·轻客户端验证状态有效性
描述:在目标链上验证来源链状态转换有效性的桥接。该验证过程通过零知识证明实现(状态转换过程伴随着一个zk证明的生成)或是欺诈证明系统完成(允许独立的验证者就新状态根的有效性提出争议)。
SEC主席:对探索数字货币监管持开放意见:证券交易委员会(SEC)主席Clayton表示,现存规则并非出于交易而设计。对探索数字货币的监管规则持开放意见,支持各方努力提高数字货币领域的透明性。[2018/2/6]
例子:所有Rollup都算是这里的例子,L1会通过FraudProof或ValidityProof验证L2的状态转换。
·轻客户端验证共识
描述:在目标链上验证来源链共识的桥接。这取决于来源链所使用的共识机制,通常包括对当前验证者委员会的quorum签名的检查,如果其来源链使用的是PBFT式的提议和投票共识协议。或者,如果来源链使用PoW协议或「最长链」式的PoS协议,则使用相关的分叉规则检查最长链。
例子:NEARRainbow桥接,Polygon的PoS桥接以及CosmosIBC。
·外部验证者集
动态 | 印度医院发布QuadrigaCX交易所创始人死亡的详细信息:据CoinDesk消息,2月7日,位于印度拉贾斯坦邦首府斋浦尔的私立医院Fortis Escorts发布了QuadrigaCX交易所创始人Gerald Cotten的详细信息。发布的信息表明,2018年12月8日12:15,Gerald Cotten被送往该医院,并于12月9日21:56因心脏骤停而死亡。[2019/2/7]
描述:使用外部验证者作为事实来源的桥接,即形成一个独立委员会的验证者们,而不是来源链和目标链上的验证者。这取决于这些验证者所采用的实现,他们可能会使用MultiSig、运行共识算法、使用ThresholdSignature机制或SGX等……无论它们使用什么技术,都属于这种验证方式。
例子:Wormmhole、Multichain、Axelar、DeBridge、Synapse、Stargate。
·乐观式验证
描述:具有挑战期的桥接。
这类验证方式中的诚实一方会在此期间内避免纳入欺诈信息。然而,这里有几个关键参数需要考虑:
1.挑战期时长:越长越好
2.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。
·外部验证者:让用户可以将资金转至受信任的桥接提供者处,提供者会承诺释放资金至另一条链上。这里可能出现的失败情况是,你的资金会丢失。例子:Binance
抗审查性
我们将了解桥接发出的单条消息被审查可能性有关的安全假设。更实际地,我们也将探究单条消息(Token转账)是否会被桥接所审查或是忽视,如果会被审查,用户的资金会有什么后果。
典型的解决方案:
·利用基础链的抗审查性
·依赖于验证者集的诚实
总体活性故障
在总体的活性故障方面,我们将来看看「关闭」桥接的后果。例如,对于使用外部验证者集的桥接,我们可以看看在这些验证者长时间离线的事件中用户资金的安全性。一般可能发生的情况包括:
·激活慢速路径:默认模式为慢速路径,不会损失资金
·自己进行质押:用户可以质押参与网络,成为验证者并自己处理卡住的转账事物
·冻结:暂停系统,直到桥接运行方上线之前无法运行
流动性
在这一部分,我们将试着分析桥接资产可用的流动性。桥接可以铸造资产吗,需要LP吗,用户可以一直提款或转移他们选择的任意数量Token吗,或者他们依赖于外部的LP,并且桥接可能会「耗完资金」。
·不受限制
·需许可
·无需许可
其他思考和指标
·可升级性
·需许可的行动者
·过去24小时内转账量
·过去24小时内的uniquetransfer
·可用的流动性
·支持的Token/区块链
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。