我和来自Socket的VaibhavChellani想要提议一个用来评估不同桥接架构安全概况的风险架构。
与各种L2的风险框架一样，我们的总目标在于，能够快速将某一解决方案「分类」到具有相似特征的某特定解决方案类别中，同时可以足够细致地向用户呈现他们使用这些桥接时需要接受的安全假设有哪些。
我们主要关注在以太坊和其他链之间的桥接，因为我们即将在l2beat.com上介绍这些(译者注：目前桥接一栏已上线)，但是，关于这些解决方案安全性的基本推理也适用于任何链与另一条链的桥接。此刻，我们正在寻找更广泛社区对这个提议框架的反馈。
桥接类型
对于终端用户来说，资产桥接是指从来源链接收某种资产的存款，并将这笔资产打给处于目标链上的用户。
ParaSpace创始人：48小时内将发布详细链上数据及完整事后分析:5月10日消息，ParaSpace 创始人 Yubo 在社交媒体上发布相关链上数据，表示该数据系按计划完成剩余 10% 的黑客债务偿还的相关链上交易记录，其个人将在未来 48 小时内发布每笔交易的完整事后分析，为此前被错误地描述为滥用用户资金的情况做出解释和正名。
此前报道，ParaSpace官推称，此前从黑客攻击中截流的资金实际被创始人Yubo控制。[2023/5/10 14:55:26]
比如，典型的桥接流程就是，Alice将资金转至A链的桥接合约，而后Alice在B链上收到来自桥接的资金。
广泛来说，这种流程有两种发生方式：
·基于消息传递的Token桥接——这些桥接能让流动性以消息传递的形式跨链流动。一般，它们允许一笔资产在来源链上锁定或销毁后，在目标链上铸造出来。例子：Rollup桥接、Polygon原生桥接、Anyswap和Axelar网络。
消息人士：美国SEC正在调查FTX投资者尽职调查的详细信息:1月6日消息，据消息人士披露，美国证券交易委员会（SEC）正在调查有关FTX投资者尽职调查的详细信息。消息人士称，SEC正就尽职调查政策和程序询问FTX投资者，以及他们在选择投资FTX时是否遵循了这些政策和程序，暂无法确定有多少公司正在面临SEC的调查。此外，消息人士表示，SEC的调查可能意味着，投资于FTX的风投机构和投资基金可能面临监管审查。
到目前为止，SEC已对FTX的三名高管提起诉讼，指控他们在加密交易平台FTX上欺诈投资者。（路透社）[2023/1/6 10:24:58]
·流动性网络——也有桥接会兑换一些已铸造出来的资产。他们允许用户将资产转移至另一些链上，并假设这些资产已通过「消息传递」桥接提前将资产转移过去。例子：基于Nomad桥接的Connecxt、基于HopOptimisticBridge的Hop、一些其他HTLC和条件式转账。
伦敦法院命令6家加密交易所共享客户详细信息以协助调查1070万美元的欺诈案:11月30日消息，伦敦高等法院已下令包括 Binance、Coinbase、Luno 和 Kraken 在内的六家加密货币交易所披露客户信息，以帮助追查 2020 年从一家英国交易所被盗的 1070 万美元。该交易所在继续追踪被盗资金时保持匿名，在 2020 年底遭到黑客攻击后成功追查到 170 万美元的不义之财。170 万美元分散在 6 个离岸加密货币交易所的 26 个账户中，根据适用于外国公司的英国新规定，所有这些账户现在都需要提交文件以协助调查。[2022/11/30 21:12:42]
消息传递型桥接的安全性
在这一部分，我们会试着阐释这些被多个桥接协议使用的验证跨链消息的不同方式。如上图所示，Token桥接会利用消息传递型桥接的安全性。
·轻客户端验证状态有效性
柬埔寨发布“Project Bakong”项目白皮书 详细介绍其技术细节:柬埔寨国家银行发布了一份白皮书，详细介绍了即将推出的区块链支付系统“Project Bakong”的技术细节。白皮书中提到，Bakong项目将是一个封闭的系统，该系统将得到该国银行和金融监管机构的支持。但是，与其他国家目前正在执行的CBDC不同，Bakong项目不是一种本机数字货币。此外，Bakong还将用作P2P平台，包括零售支付和各种交易类型。（Techwireasia）[2020/7/1]
描述：在目标链上验证来源链状态转换有效性的桥接。该验证过程通过零知识证明实现(状态转换过程伴随着一个zk证明的生成)或是欺诈证明系统完成(允许独立的验证者就新状态根的有效性提出争议）。
例子：所有Rollup都算是这里的例子，L1会通过FraudProof或ValidityProof验证L2的状态转换。
声音 | Matic创始人：团队不是暴跌的幕后黑手 将发布详细的分析:针对今日Matic24小时内暴跌60%这一事件，Matic Network联合创始人兼COO Sandeep Nailwal发布推特称，“刚从噩梦中醒来，因为有人打来求救电话。很快就会弄清楚，我们不是这件事的幕后黑手，因为一些FUD（散布恐慌）帐户正试图影射这一点（团队砸盘）。我们将发布详细的分析，并从这种明显的操纵中汲取教训，变得比以往任何时候都更强大。 币安创始人赵长鹏转发该推特并称，我们的团队还在调查数据，但已经很清楚Matic团队与此无关。许多大交易员惊慌失措，造成了一个周期波动。对于交易所应该对人们的交易进行多大程度的干预，这将是一个艰难的决定。 ? ? ? ? ? ? ? ? ? ?[2019/12/10]
·轻客户端验证共识
描述：在目标链上验证来源链共识的桥接。这取决于来源链所使用的共识机制，通常包括对当前验证者委员会的quorum签名的检查，如果其来源链使用的是PBFT式的提议和投票共识协议。或者，如果来源链使用PoW协议或「最长链」式的PoS协议，则使用相关的分叉规则检查最长链。
例子：NEARRainbow桥接，Polygon的PoS桥接以及CosmosIBC。
·外部验证者集
描述：使用外部验证者作为事实来源的桥接，即形成一个独立委员会的验证者们，而不是来源链和目标链上的验证者。这取决于这些验证者所采用的实现，他们可能会使用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/区块链
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。