为什么要使用零知识证明来开发跨链协议

作者：

时间：1900/1/1 0:00:00

用户需要什么样的跨链服务

在过去的几年当中出现了各种各样的独立公链以及以太坊Layer2。由于在安全性、低成本、快速交易以及开发者和用户社区差异等方面，不同链都具有各自不同的优势，用户在不同链之间切换使用的行为是很常见的。比起以太坊链，Layer2以及其他独立公链上的手续费会更加便宜，并且交易速度也会更快。于是，用户为了降低交易成本或者使用其他链上更优质或者独特的应用就必须使用跨链桥。

如果把跨链桥比喻成“运钞车”，那不管有没有人来抢运钞车，也不管采用什么手段来抢运钞车，运钞车本身都必须具有强大的防御能力，不能有任何安全问题。运钞车从设计、生产、制造环节不能出现问题，押送环节不能出现问题，发送、接收环节不能出问题。在现有跨链桥解决方案要么存在架构设计问题，要么存在代码漏洞问题，要么协议本身在收发和中继环节依赖于某种信任假设。以上这些都大大降低了跨链桥的安全性。

因RTFKT发布相关视频，AnimusEgg系列地板价拉升至0.5ETH:7月3日消息，RTFKT在社交媒体发布AnimusEgg相关视频并配文当希望失去时，我们崛起，或暗示即将推出Project Animus，致Animus Egg系列NFT地板价短时拉升至0.5ETH，24小时涨幅接近20%。[2023/7/4 22:15:50]

跨链桥作为搭建在各条公链上的桥梁，解决众多公链之间流动性割裂，毋庸置疑是资产跨链转移非常重要的解决方案。然而，用户对跨链技术的需求不会仅仅停留在资产跨链上，资产跨链其实只是整个跨链协议的DeFi赛道的一种应用。两个截然不同的网络通过跨链协议具有了互操作性，这种互操作性不仅需要实现代币在独立平台之间相互转移，而且需要实现大文件、数据包的链间通信。

在Web3.0多链生态里，用户其实只想通过一个应用就可以顺畅地与所有主流公链进行资产与数据的交互。在交互过程，用户并不想频繁切换钱包和网络。

基于元宇宙的Web3 SaaS参与平台Vatom完成战略轮融资:金色财经报道，基于元宇宙的Web3 SaaS参与平台Vatom宣布完成战略轮融资，London Real Ventures参投，但具体融资金额暂未披露。Vatom的Web3元宇宙参与解决方案可以通过无缝沉浸式体验帮助企业更好地与客户、员工和利益相关者建立联系，其客户包括谷歌、百事可乐、宝洁、德勤、Verizon、iHeart Media、State Farm、WPP 等。（Cryptoslate ）[2023/4/26 14:28:46]

在“一超多强”公链格局下，用户需要的是更安全、更通用、更友好的链间通信协议。

有哪些跨链通信模式

原生验证模式

本机验证是通过在源链和目标链的虚拟机中运行一个轻客户端，并通过中继器来进行链间通信。该模式的特点是不需要运营一条介于各条公链之间的链。如果像WayNetwork一样采用零知识证明，还可以摈除LayerZero所需要的信任假设。

ZigZag宣布空投结束，超10万名用户收到3400万枚ZZ:3月3日消息，以太坊二层ZK Rollup订单簿DEX ZigZag在推特上宣布空投结束，共有超过10万名用户收到了ZigZag代币总供应量的34%（3400万枚ZZ）。未来ZigZag的计划包括：

1. 收入分享代币。2. StarkNet和zkSync时代。3. DAO治理。4. ZigZag代币流动性。

此前消息，ZigZag公布空投信息，总共进行7轮空投（已进行第一轮空投），共空投约11万个地址，空投总量为3500万ZZ（占总供应的35%）。[2023/3/3 12:41:17]

图1：原生验证模式

外部验证模式

YOLO Bunny #9555以100 ETH成交，创该系列迄今美元交易最高记录:金色财经报道，据最新交易数据显示，YOLO Bunny #9555以100 ETH的价格成交，约合161,380.11美元，创下该NFT系列迄今美元交易最高记录。YOLO Bunny NFT系列由Web3.0音乐元宇宙平台Muverse推出，总计包含9,999只来自1,402号宇宙的兔子音乐艺术家&爱好者，7月27日YOLO Bunny #3839也以100 ETH价格成交，当时交易额约合142,094.71美元。[2022/7/29 2:44:50]

外部验证有一个或一组验证者，他们需要监视源链的特定地址。当用户将一个资产发送到源链上的特定地址时，该资产将被临时锁定。第三方验证者验证该信息，并需要达成共识。当达成共识时，相应的资产将在目标链中生成。

这种通信模式的缺点是有“信任假设”，容易出现因为“单点故障”或者“局部故障”而导致资产被盗。

Otherside完成First Trip技术演示并发布Litepaper:7月17日消息，Yuga Labs元宇宙项目Otherside已于今日凌晨完成“First Trip”技术演示，并发布一份Litepaper。该文档可作为Otherside的入门指南，涵盖平台的基本原则、开发者能力以及社区共同创建的可能性。Litepaper的内容将随着时间的推移而增加和变化。最终，它将被The Codex（Voyager旅程第二阶段）以及Otherside动态文档所取代。

据此前报道，Otherside计划部署Otherside路线图第一阶段的技术演示。此次“First Trip”体验将仅限Otherdeed地块所有者（被称为Voyagers）访问。平台将其描述为“庆祝即将到来的一切，并为Voyagers提供聚集、探索和规划的机会”。[2022/7/17 2:18:54]

图2：外部验证模式

本地验证模式

本地验证是一种局部验证模式，是一种点对点的流动性网络。每个节点本身都是一个“路由器”，路由器提供目标链的原始资产，而不是衍生资产。

这种模式的缺点在于无法实现“通用性”，仅仅只能用于资产的跨链传输，而不能用于通用信息和数据的链间传输。

图3：本地验证模式

上游链模式

上游链要求dApp在其链上部署智能合约，这样消息才会被复制并发送到其他Layer1公链上以实现状态更新。

该模式的缺点主要体现在商业经营层面，这条链将与所有第1层链相互竞争而不是合作，因为彼此都在争夺dApp来自己的链上部署。

图4：上游链模式

为什么zkRelayer是打开链间通信的钥匙

一套优秀的链间通信方案应当具备以下优点：

无信任假设，安全，也就是Trustless,Secure

无许可，去中心化，也就是Permissionless,Decentralized

通用，也就是General,Universal

可拓展，也就是Extensible

快速，低成本，也就是Efficient,LowCost

以上优点并不是所有跨链方案都具备，而各个优点的轻重缓急也是不同的。用户可以忍受较慢的跨链服务，也可以忍受较高的跨链成本，也并不一定马上就要做各种数据格式的跨链传输。但是，第一条Trustless确实紧迫而重要的。最早的外部验证模式是用一条链去解决其他公链的通信问题，从方法论角度看，它是一种较为笨重的方式，它很难解决在EVM和NonEVM，POW和POS的链间通信难题。与此同时，中间链本身是个单一的中心化工具，且难以“自证清白”，即外部验证模式既没有DecentralizedSecurity，也没有TrustlessSecurity。

而原生验证中的LayerZero和Hyperlane主要强调Sender和Receiver两个客户端的作用，弱化Relayer和Oracle。这里存在以下几个问题：第一，用户必须相信Relayer和Oracle不会合谋作恶；第二，用户就必须相信协议本身不会在Relayer环节作恶。也就是说，在当前所有解决方案里无法实现TrustlessSecurity。单点故障和局部故障就像一颗不知道什么时候会爆炸的炸弹，安置在有天然缺陷的跨链通信方案里。

zkRelayer是WayNetwork提出来的链间通信零知识证明中继器，其优点是用户不需要相信任何外部第三方，也不需要相信协议本身。只要数学和密码学的证明过程完备且正确，这套系统就可以被公众接收。请注意，事情在这里已经发生本质的变化，用户相信的是的”真理”，而不是某人或者某个组织。人或者组织会犯错，会作恶，但真理不会。在整个环节里，ChainA→Sender→zkRelayer→ZKVerifier→Receiver→ChainB，zkRelayer的地位将超越Sender和Receiver这两个轻客户端，成为整套解决方案里的核心。

zkRelayer的核心部件是ZKProver以及MessageAggregator。WayNetwork的ZKProver所采用的零知识证明方法是ZK-FOAKS，其优点是非常的快速，且具备Recursive和Trustless两种特性，其线性证明时间和亚线性验证时间已经达到理论下限。ZK-FOAKS用在链间通信的Relayer之中将确保整个通信是Trustless，Efficient且LowCost。

zkRelayer是打开链间通信的钥匙。在zkRelayer的加持下，链间通信将掀起新的篇章。