为什么要使用零知识证明来开发跨链协议
用户需要什么样的跨链服务
在过去的几年当中出现了各种各样的独立公链以及以太坊 Layer 2。由于在安全性、低成本、快速交易以及开发者和用户社区差异等方面，不同链都具有各自不同的优势，用户在不同链之间切换使用的行为是很常见的。比起以太坊链，Layer2 以及其他独立公链上的手续费会更加便宜，并且交易速度也会更快。于是，用户为了降低交易成本或者使用其他链上更优质或者独特的应用就必须使用跨链桥。
如果把跨链桥比喻成“运钞车”，那不管有没有人来抢运钞车，也不管采用什么手段来抢运钞车，运钞车本身都必须具有强大的防御能力，不能有任何安全问题。运钞车从设计、生产、制造环节不能出现问题，押送环节不能出现问题，发送、接收环节不能出问题。在现有跨链桥解决方案要么存在架构设计问题，要么存在代码漏洞问题，要么协议本身在收发和中继环节依赖于某种信任假设。以上这些都大大降低了跨链桥的安全性。
跨链桥作为搭建在各条公链上的桥梁，解决众多公链之间流动性割裂，毋庸置疑是资产跨链转移非常重要的解决方案。然而，用户对跨链技术的需求不会仅仅停留在资产跨链上，资产跨链其实只是整个跨链协议的 DeFi 赛道的一种应用。两个截然不同的网络通过跨链协议具有了互操作性，这种互操作性不仅需要实现代币在独立平台之间相互转移，而且需要实现大文件、数据包的链间通信。
在 Web3.0 多链生态里，用户其实只想通过一个应用就可以顺畅地与所有主流公链进行资产与数据的交互。在交互过程，用户并不想频繁切换钱包和网络。
在“一超多强”公链格局下，用户需要的是更安全、更通用、更友好的链间通信协议。
有哪些跨链通信模式
原生验证模式
本机验证是通过在源链和目标链的虚拟机中运行一个轻客户端，并通过中继器来进行链间通信。该模式的特点是不需要运营一条介于各条公链之间的链。如果像 Way Network 一样采用零知识证明，还可以摈除 LayerZero 所需要的信任假设。
图1：原生验证模式
外部验证模式
外部验证有一个或一组验证者，他们需要监视源链的特定地址。当用户将一个资产发送到源链上的特定地址时，该资产将被临时锁定。第三方验证者验证该信息，并需要达成共识。当达成共识时，相应的资产将在目标链中生成。
这种通信模式的缺点是有“信任假设”，容易出现因为“单点故障”或者“局部故障”而导致资产被盗。
图2： 外部验证模式
本地验证模式
本地验证是一种局部验证模式，是一种点对点的流动性网络。每个节点本身都是一个“路由器”，路由器提供目标链的原始资产，而不是衍生资产。
这种模式的缺点在于无法实现“通用性”，仅仅只能用于资产的跨链传输，而不能用于通用信息和数据的链间传输。
图3：本地验证模式
上游链模式
上游链要求 dApp 在其链上部署智能合约，这样消息才会被复制并发送到其他 Layer1 公链上以实现状态更新。
该模式的缺点主要体现在商业经营层面，这条链将与所有第 1 层链相互竞争而不是合作，因为彼此都在争夺 dApp 来自己的链上部署。
图4：上游链模式
为什么zkRelayer是打开链间通信的钥匙
一套优秀的链间通信方案应当具备以下优点：