×

了解跨链桥安全性的要害:跨链通讯的权衡取舍_雷达币钱包

admin admin 发表于2021-09-15 21:32:57 浏览74 评论0

抢沙发发表评论

撰文:Lakshman Sankar,上任于雷达币基金会,从事生态开发和研讨
编译:Perry Wang


假如说我在曩昔几年中了解了一个道理,那便是:一个同步的区块空间无法满意链上一切运用的需求。

在 2018 年时这一状况还不那么显着。而上一年夏日 雷达币DeFi 的迸发以及进年夏天的 雷达币 行情证明了一个实际,即存在许多运用的规划空间。而本年非雷达币的 第 1 层(L1) 公链的鼓起,进一步证明了区块空间的需求十分高。

考虑到咱们或许生活在一个多链国际中,不同链上的运用期望互相跨链通讯,因而充沛了解各条链之间怎么跨链作业,是很有价值的信息。我想从一个笼统的视点探究这一问题, 不针对详细项目打开。

在这篇文章中,我想研讨这些体系中固有的特定权衡。认真反思的话,这种权衡取舍会很显着。

我也是站在伟人的膀子上评论这一问题;伦敦帝国理工学院的博士生 Alexei Zamyatin 等人在一篇 优异的论文 中详细论述了这一点。我的方针是在该论文的中心论调后边增加一些色彩。

用论文作者的话来说,权衡便是,短少以下两点中的任何一点,就无法进行跨链通讯:

  1. 可信第三方 (TTP)
  2. 或许逾越异步的同步假定

它们之间的联络很根本且十分直观的,但需求深化研讨一些术语。我期望在这儿能够清楚地对直觉予以说明。


理论上的合理性


让咱们简略讲一下同步假定——它们是用于考虑散布式体系中通讯的通用结构,且以难以了解而著称。

将散布式体系视为一种音讯传递协议,虽然通讯基础设施中呈现毛病或歹意对手,它仍需求作业,然后,咱们能够界说在体系停止作业之前这些毛病的严峻程度。这正是同步假定的方针。

另一方面,在「异步」假定下运转的体系,默许假定网络 / 对手或许将音讯推迟任何时刻。

后者网络更强壮。便是说,一个体系能够更好地处理环境带入的不确定性。还有一些「中心地带」假定,一般称为「部分同步」,但在这儿没有必要界说。

这与跨链通讯有什么联络?好吧,上述论文标明,假如你有一个完结异步跨链通讯的体系,你能够用它来处理一个叫做「公正沟通」的老问题。

咱们从一篇 更老的论文 中了解到,没有可信第三方就不或许进行异步公正沟通。

因而,没有可信第三方就不或许进行异步跨链通讯。咱们只能经过对体系进行更严厉的同步假定,来抛弃对可信第三方 的需求。


理论 -> 实际


到目前为止,这一切都仅仅停留在理论的纸面上。让咱们谈谈真实的体系。
从上一节中,咱们知道要在两个链之间传递音讯,要么:

  • 无法假定一个彻底异步的体系
  • 或需求一个可信第三方

这儿究竟需求怎样的权衡取舍?将需求可信第三方的体系与需求更强同步假定的体系进行比较,或许会有所协助。

可信第三方好像很好了解。可信第三方仅仅存在于两条链之间的「低安全性 / 去中心化」中心人。而它们桥接的两条链依赖于与两条链无关的一个验证人集,这类跨链体系便是一个比如。

更强的同步假定体现为重试逻辑或超时之类。哈希时刻确定合约 (HTLC) 是一个说明性示例。几年前,HTLC 被以为是跨链通讯的重要原语。在 HTLC 中,更强的同步假定体现为必要的重试逻辑或 自在选项问题。

在上一节中,我指出具有最小同步假定的体系更拿手处理环境中的不确定性。在 HTLC 之类的状况下,假如有强壮的经济动机使通讯失利,则通讯或许就会失利。 就像做市商想要阻挠或推迟价值搬运,由于他们在两条链上都持有部分财物。

环境中满意强壮的经济鼓励或许会使通讯呈现毛病。

最终一点关于需求可信第三方的体系来说是正确的!在这种状况下,需求信赖可信第三方有满意经济鼓励来保护「桥」的完整性。不同之处在于阻挠通讯的经济动机详细怎么表达。

我信赖这儿有一种天然的二元性。您要么有必要信赖安全性较低的「中心人」,要么需求信赖通讯不会中止。

假如跨链通讯引入了赢利满意多的矿工可提取价值(MEV),不管上述两种状况的哪一种,通讯都或许失利!要么是由于可信第三方糜烂,要么是有满意大的做市商让它失利。


实例


现代跨链通讯体系在这种权衡取舍中会怎么散布?有 更好的文章 对一切体系进行了分类,我在本文中只展现几个说明性的比如。

Connext 的 nxtp 是跨链体系的经典比如,它增加了更强的同步假定。一旦用户完结与路由器的洽谈,就会有一个两阶段的预备 / 完结机制来完结「桥」两头的恰当买卖。假如通讯未在超时内产生,则它不会产生。

另一方面,Solana 和雷达币之间的 虫洞桥(Wormhole)引入了可信第三方。两条链之间存在的「监护人」验证器集需求对搬运进行 2/3 大都证明,才能对买卖放行。假如验证器调集已损坏或团体表决不期望传输经过,搬运则不会产生。

需求着重的一件事是,这两种办法都不具有肯定的优势。权衡任一方的体系都会在营销资料声称他们正在做出「正确」的权衡,但如前所述,两种权衡都意味着这些体系存在或许失利的方法。

还有一些体系使其间一种权衡显得不那么显着。我最喜爱的比如是用于快速提款的 Optimism DAI 桥。这儿的可信第三方是 Maker DAO 自身!用户要求 DAO 供给 DAI 流动性,从而为提议的 fDAI 财物供给完整性保证。

将 DAO 视为可信第三方有点古怪,但假如咱们以为任何安全性弱于链通讯的东西都是「可信的」,那么 DAO 能够满意这个意图! 我个人很快乐看到更多 DAO 扮演可信第三方的人物,以促进跨链通讯。


负重致远


未来看起来是归于多链的国际,促进链之间的沟通,那些做好预备的人将迎来真实的时机。关于咱们运用这些新体系的人来说,了解他们正在做出的权衡很重要。

在这篇文章中,我研讨了增强同步假定和可信第三方之间的一个根本权衡。链之间的边界对我来说十分风趣,所以我将在未来深化研讨其间的其他要素。

假如您对这些内容感兴趣,请随时与咱们联络!我喜爱更深化地探究不知道。

感谢与 Alex Obadia Vaibhav Chellani 的对话,对本文有很大启示,并感谢他们两人对本文内容修改的奉献。

DeFi之道丨群体思维正在崛起,这里告诉你如何加入DAO

本文介绍如何加入DAO并充分利用它。