区块链:理解跨链桥安全性的关键：跨链通信的权衡取舍

如果说我在过去几年中明白了一个道理，那就是：一个同步的区块空间无法满足链上所有应用的需求。

在2018年时这一情况还不那么明显。而去年夏季DeFi的爆发以及进年夏天的NFT行情证明了一个事实，即存在很多应用的设计空间。而今年非以太坊的?第1层?公链的兴起，进一步证明了区块空间的需求非常高。

考虑到我们可能生活在一个多链世界中，不同链上的应用希望彼此跨链通信，因此充分了解各条链之间如何跨链工作，是很有价值的信息。我想从一个抽象的角度探索这一问题，不针对具体项目展开。

在这篇文章中，我想研究这些系统中固有的特定权衡。认真反思的话，这种权衡取舍会很明显。

我也是站在巨人的肩膀上讨论这一问题；伦敦帝国理工学院的博士生AlexeiZamyatin等人在一篇?优秀的论文?中详细阐述了这一点。我的目标是在该论文的核心论调后面添加一些颜色。

孟岩：数字资产是理解 DeFi 的一把钥匙:9月10日20:30，火币研究院重磅打造的“区块链百家讲坛”2.0版本正式开播，本期邀请到数字资产研究院副院长、通证思维实验室发起人孟岩做客直播间，和大家一起聊聊“资产上链：产业区块链与DeFi的桥梁和升级路径”。

孟岩表示：“数字资产是理解DeFi的一把钥匙。在DeFi当中，数字资产与智能合约同等重要，甚至更加重要。充分理解在DeFi中数字资产的性质，以及是如何产生的、流转、背后的价值、如何使用和销毁，都会帮助你深刻理解DeFi。”

据悉，“区块链百家讲坛”是由国内顶尖的区块链研究机构火币研究院推出的精品课程，既是初学入门区块链技术的第一堂课，也是深化进阶区块链知识的不二之选。[2020/9/10]

用论文作者的话来说，权衡就是，缺少以下两点中的任何一点，就无法进行跨链通信：

声音 | 比特币咨询公司创始人：怀疑比特币的人不理解储蓄:比特币咨询公司Bitcoin Advisory创始人Pierre Rochard今日发推称，通货膨胀的法定货币抑制储蓄，他们鼓励将现金快速转换成投资或消费。这或许有助于解释为什么许多对比特币持怀疑态度的人不理解储蓄，他们只理解投资和消费。[2020/1/7]

可信第三方(TTP)

或者超越异步的同步假设

它们之间的关系很基本且非常直观的，但需要深入研究一些术语。我希望在这里可以清楚地对直觉予以阐明。

理论上的合理性

让我们简单讲一下同步假设——它们是用于思考分布式系统中通信的通用框架，且以难以理解而著称。

将分布式系统视为一种消息传递协议，尽管通信基础设施中出现故障或恶意对手，它仍需要工作，然后，我们可以定义在系统停止工作之前这些故障的严重程度。这正是同步假设的目标。

动态 | 美国国土安全部奖励区块链创业公司20万美元，用于开发证书管理解决方案:据The Block消息，美国国土安全部(DHS)向区块链创业公司Digital Bazaar奖励近20万美元，用于建立一个证书管理解决方案。DHS表示，目前颁发、验证和验证大量许可证和证书的流程通常是纸质的，不利于数据交换，而且容易丢失、伪造和伪造。它补充说，使用区块链技术将这些过程数字化有助于增强安全性、确保互操作性和防止伪造和假冒。因此，Digital Bazaar将致力于一个名为“可互操作的企业身份和凭据生命周期管理”的项目，以帮助DHS改进其流程。[2019/11/15]

另一方面，在「异步」假设下运行的系统，默认假设网络/对手可能将消息延迟任何时间。

后者网络更强大。就是说，一个系统可以更好地处理环境带入的不确定性。还有一些「中间地带」假设，通常称为「部分同步」，但在这里没有必要定义。

动态 | dotBC与Digimarc合作 结合区块链技术提供版权管理解决方案:据Music Business Worldwide消息，美国版权管理公司dotBC与Digimarc Corporation合作，在dotBC产品中提供数字音频水印技术Digimarc音频条码。Digimarc公司首席执行官Bruce Davis表示，“两家公司的合作伙伴关系展示了Digimarc音频条形码与区块链相结合的强大功能，以确保权利所有权与受版权保护的内容正确且安全地相关联。”[2019/4/10]

这与跨链通信有什么关系？好吧，上述论文表明，如果你有一个实现异步跨链通信的系统，你可以用它来解决一个叫做「公平交换」的老问题。

我们从一篇?更老的论文?中了解到，没有可信第三方就不可能进行异步公平交换。

以太坊基金会：SEC缺乏对加密货币的基本理解:5月18日，以太坊基金会顾问William Mougayar在接受CNBC采访时表示，监管机构缺乏对加密货币的基本理解。William Mougayar认为，在加密货币监管方面，美国证券交易委员会(SEC)由于缺乏对该行业核心的真正理解，正试图采用一种通用型的监管方案来处理。[2018/5/20]

因此，没有可信第三方就不可能进行异步跨链通信。我们只能通过对系统进行更严格的同步假设，来放弃对可信第三方的需求。

理论->现实

到目前为止，这一切都只是停留在理论的纸面上。让我们谈谈真正的系统。从上一节中，我们知道要在两个链之间传递消息，要么：

无法假设一个完全异步的系统

或需要一个可信第三方

这里到底需要怎样的权衡取舍？将需要可信第三方的系统与需要更强同步假设的系统进行比较，可能会有所帮助。

可信第三方似乎很好理解。可信第三方只是存在于两条链之间的「低安全性/去中心化」中间人。而它们桥接的两条链依赖于与两条链无关的一个验证人集，这类跨链系统就是一个例子。

更强的同步假设表现为重试逻辑或超时之类。哈希时间锁定合约(HTLC)是一个说明性示例。几年前，HTLC被认为是跨链通信的重要原语。在HTLC中，更强的同步假设表现为必要的重试逻辑或?自由选项问题。

在上一节中，我指出具有最小同步假设的系统更擅长处理环境中的不确定性。在HTLC之类的情况下，如果有强大的经济动机使通信失败，则通信可能就会失败。就像做市商想要阻止或延迟价值转移，因为他们在两条链上都持有部分资产。

环境中足够强大的经济激励可能会使通信出现故障。

最后一点对于需要可信第三方的系统来说是正确的！在这种情况下，需要信任可信第三方有足够经济激励来维护「桥」的完整性。不同之处在于阻止通信的经济动机具体如何表达。

我相信这里有一种自然的二元性。您要么必须信任安全性较低的「中间人」，要么需要信任通信不会中断。

如果跨链通信引入了利润足够多的矿工可提取价值，无论上述两种情况的哪一种，通信都可能失败！要么是因为可信第三方腐败，要么是有足够大的做市商让它失败。

实例

现代跨链通信系统在这种权衡取舍中会如何分布？有?更好的文章?对所有系统进行了分类，我在本文中只展示几个说明性的例子。

Connext的nxtp?是跨链系统的经典例子，它增加了更强的同步假设。一旦用户完成与路由器的协商，就会有一个两阶段的准备/完成机制来完成「桥」两端的适当交易。如果通信未在超时内发生，则它不会发生。

另一方面，Solana?和以太坊之间的?虫洞桥引入了可信第三方。两条链之间存在的「监护人」验证器集需要对转移进行2/3多数证明，才能对交易放行。如果验证器集合已损坏或集体表决不希望传输通过，转移则不会发生。

需要强调的一件事是，这两种方法都不具备绝对的优势。权衡任一方的系统都会在营销材料宣称他们正在做出「正确」的权衡，但如前所述，两种权衡都意味着这些系统存在可能失败的方式。

还有一些系统使其中一种权衡显得不那么明显。我最喜欢的例子是用于快速提款的?OptimismDAI桥。这里的可信第三方是?Maker?DAO本身！用户要求DAO提供DAI流动性，从而为提议的fDAI资产提供完整性保障。

将DAO视为可信第三方有点奇怪，但如果我们认为任何安全性弱于链通信的东西都是「可信的」，那么DAO可以满足这个目的！我个人很高兴看到更多DAO扮演可信第三方的角色，以促进跨链通信。

任重道远

未来看起来是属于多链的世界，促进链之间的交流，那些做好准备的人将迎来真正的机会。对于我们使用这些新系统的人来说，了解他们正在做出的权衡很重要。

在这篇文章中，我研究了增强同步假设和可信第三方之间的一个基本权衡。链之间的界限对我来说非常有趣，所以我将在未来深入研究其中的其他因素。

如果您对这些内容感兴趣，请随时与我们联系！我喜欢更深入地探索未知。

撰文：LakshmanSankar，就职于以太坊基金会，从事生态开发和研究编译：PerryWang

感谢与?AlexObadia?和?VaibhavChellani?的对话，对本文有很大启发，并感谢他们两人对本文内容编辑的贡献。

标签：区块链DEFIDEFEFI区块链的几个大局DeFiatoLibre DeFiFriends With Benefits Pro

NEAR热门资讯