当在两个链之间传递消息时，要么不能假设一个完全异步的系统，要么需要一个可信的第三方。
如果我在过去几年中了解到一个事实，那就是同步块空无法满足链中所有应用程序的需求。
这在2018年并不明显。去年夏天DeFi的爆发和今年夏天的NFT市场证明了一个事实:有大量的design 空 rooms可供申请。今年非以太坊一楼(L1)公链的崛起，进一步证明了blocks 空之间的需求非常高。
考虑到我们可能生活在一个多链的世界中，不同链上的应用程序都希望跨链相互通信，因此充分了解每个链如何跨链工作是非常有价值的信息。我想从抽象的角度来讨论这个问题，而不是具体的项目。
在本文中，我想研究这些系统中固有的特定权衡。仔细想想，这种取舍是显而易见的。
我也是站在巨人的肩膀上讨论这个问题；伦敦帝国理工学院博士生阿列克谢·扎梅亚(Alexei Zameia)等人在一篇优秀论文中阐述了这一点。我的目标是在论文的核心主题之后添加一些颜色。
用作者的话来说，权衡就是没有以下两点中的任何一点，跨链通信都是不可能的:
可信第三方(TTP)或超越异步同步的假设是非常基本和直观的，但有些术语需要进一步研究。我想在这里澄清一下我的直觉。
理论合理性
让我们简单地谈谈同步假设——它们是考虑分布式系统中通信的常见框架，并且众所周知难以理解。
分布式系统被认为是一种消息协议。虽然通信基础设施存在故障或恶意对手，但仍然需要工作。然后，我们可以在系统停止工作之前定义这些故障的严重程度。这是同步假设的目标。
另一方面，在“异步”假设下运行的系统假定网络/对手可以默认地延迟消息任何时间。
后者更强大。换句话说，系统可以更好地处理环境带来的不确定性。还有一些“中间地带”假设，通常称为“部分同步”，但这里不需要定义。
这和跨链传播有什么关系？上面的文章说明，如果你有一个实现异步跨链通信的系统，你可以用它来解决一个叫“公平交换”的老问题。
我们从一篇旧论文中了解到，没有可信的第三方，异步公平交换是不可能的。
因此，没有可信的第三方，异步跨链通信是不可能的。我们只能通过对系统进行更严格的同步假设来放弃对可信第三方的需求。
理论-gt；现实
到目前为止，所有这些都只是理论上的。先说真正的系统。从上一节中，我们知道要在两个链之间传递消息，您可以:
你不能假设一个完全异步的系统或者需要一个可信的第三方。这里有什么权衡？将需要可信第三方的系统与需要更强同步假设的系统进行比较可能会有所帮助。
可信的第三方似乎明白这一点。可信第三方只是两个链之间的“低安全性/分散化”中介。它们桥接的两条链依赖于一组独立于两条链的验证器。这个跨链系统就是一个例子。
更强的同步假设由重试逻辑或超时来表示。哈希时间锁定契约(HTLC)就是一个例子。几年前，HTLC被认为是跨链通信的重要原始人。在HTLC，更强的同步假设由必要的重试逻辑或自由选项问题来表示。
在上一节中，我指出具有最小同步假设的系统更擅长处理环境中的不确定性。在HTLC的例子中，如果失败有强烈的经济动机，沟通可能会失败。就像做市商想要阻止或延迟价值的转移，因为他们在两个链条上都持有一些资产。
环境中足够强的经济激励可能导致沟通失败。
最后一点对于需要可信第三方的系统是正确的！在这种情况下，需要信任可信的第三方，并有足够的经济激励来维持“桥梁”的完整性。区别在于如何表达阻止交流的经济动机。
我相信这里有一个自然的二元性。你必须信任一个没有安全感的“中间人”，或者相信沟通不会中断。
如果跨链传播引入矿工可提取价值(MeV)并带来足够的利润，那么两种情况下的传播都可能失败！要么是因为可信的第三方腐败，要么是因为有足够多的做市商让它破产。
例子
在这种权衡中，现代跨链通信系统将如何分布？还有更好的文章对所有系统进行分类，本文中我只展示几个例子。
Connext的Nxtp是跨链系统的经典例子，增加了更强的同步假设。一旦用户完成与路由器的协商，将有一个两阶段的准备/完成机制来完成网桥两端的适当事务。如果在超时期限内通信没有发生，它将不会发生。
另一方面，索拉纳和以太坊之间的虫洞桥引入了可信的第三方。存在于两个链之间的一组“监护人”验证器需要2/3多数证明来释放交易。如果验证器集损坏或集体投票不希望传输通过，传输将不会发生。
需要强调的是，这两种方法都没有绝对的优势。权衡任何一方的系统都会声称自己在营销材料上做了“正确”的取舍，但是如上所述，这两种取舍都意味着这些系统可能会失败。
其他系统使权衡变得不那么明显。我最喜欢的例子就是优化后的戴桥快速撤。这里值得信赖的第三方是创客刀本身！用户要求道为戴提供流动性，并为拟议的fdai资产提供完整性保证。
把道当成可信第三方很奇怪，但如果我们认为任何比链通信安全性弱的东西都是“可信”的，道就能达到这个目的！个人很高兴看到更多的Dao扮演可信第三方的角色，促进跨链传播。
还有很长的路要走
未来似乎属于一个多链条的世界。为了促进公链之间的交流，有准备的人才会有真正的机会。对于我们这些使用这些新系统的人来说，理解他们所做的权衡是很重要的。
在本文中，我研究了增强同步假设和可信第三方之间的基本权衡。链条之间的界限对我来说很有意思，所以以后会深入研究其他因素。
如果您对这些内容感兴趣，请随时联系我们！我喜欢更深入地探索未知。
感谢您与Alex obadia和Vaibhav chellani的对话，这启发了本文，并感谢他们对本文编辑的贡献。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"跨链技术有哪些，跨链技术通俗易懂"：http://www.guoyinggangguan.com/qkl/185703.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
