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

作者：

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

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

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

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

加密存储代币在7月第一周领涨:金色财经报道，加密存储代币在7月第一周领涨，Filecoin的FIL和Storj的STORJ的表现优于比特币和以太币等大盘代币，Storj协议的原生代币周二飙升43%，尽管此后略有回落，但最近在过去7天内上涨了15%。Filecoin的FIL是Storj的竞争对手，市值近20亿美元（Storj的市值为1.45亿美元），在过去7天内也上涨了12%。[2023/7/8 22:24:47]

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

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

31295枚ETH从未知钱包转移到Coinbase:金色财经报道，据Whale Alert监测，15分钟前有31295枚ETH(约52,103,581美元)从未知钱包转移到Coinbase。[2023/6/16 21:41:38]

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

有哪些跨链通信模式

原生验证模式

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

Fahrenheit财团成为Celsius资产破产拍卖的主要竞标者:金色财经报道，根据周三的听证会，一个名为Fahrenheit的财团，成为Celsius20亿美元资产拍卖的主要竞标者，该财团包括风险投资公司Arrington Capital和矿企U.S. Bitcoin Corp。根据法庭文件，这些资产包括 Celsius 的采矿部门、其贷款组合、质押的加密货币和其他另类投资。Fahrneheit还得到了 Arrington Capital、US Data Mining Group, Inc.（称为 US Bitcoin Corp.）、投资公司Proof Group Capital Management、前Algogrand首席执行官Steven Kokinos 和投资银行家Ravi Kaza的支持。[2023/5/18 15:10:12]

图1：原生验证模式

外部验证模式

Arbitrum：交易费用盈余收入发送到DAO，Arbitrum DAO已累积约3352ETH收入:5月10日消息，Arbitrum 发推称宣布，Arbitrum 将交易费用产生的所有盈余收入发送到各自 DAO，Arbitrum One 上的所有用户在网络上进行交易时都需要付费。费用分为两部分： 1、L1 费用用于支付以太坊上的费用。2、支付 Arbitrum 费用的 L2 费用。多余的 L1 费用和所有 L2 费用会在发送到 DAO 之前在链上累积，L1 费用的很大一部分留给了 Sequencer，Sequencer 累计退款约为 5,954 ETH。L1 费用中的所有剩余资金都被视为盈余，目前 L1 盈余约为 582 ETH，可以由 DAO 收取。L2 基础费用已累计约 1,308 ETH，可以由 DAO 收取；L2 盈余费用已累计约 1,462 ETH，可以由 DAO 收取。Arbitrum DAO 总计已累积约 3352 ETH 的收入，Sequencer 将退还约 5,954 ETH，这是将所有数据发布到以太坊网络的成本。[2023/5/10 14:53:55]

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

Crypto.com向一女子误转1050万美元，半年后发现并提起诉讼:8月30日消息，据外媒报道，Crypto.com 向一女子误转 1050 万美元，半年后发现并提起诉讼。去年 5 月，澳大利亚墨尔本一女子在向 Crypto.com 申请 100 美元退款时，误被转入 1050 万美元，随后该资金被用于购入一处房产。7 个月后，Crypto.com 在最高法院对其提起诉讼以追回这笔资金。目前，法官下令该女子出售房产，并返还剩余款项。[2022/8/30 12:57:59]

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

图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的加持下，链间通信将掀起新的篇章。