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

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

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

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

Nil Foundation已在以太坊Sepolia测试网推出Proof Market:7月28日消息,ZK 技术开发商 Nil Foundation 发文称,Proof Market 已集成以太坊 Sepolia 测试网,为所有 EVM 应用程序实现可证明计算的可组合性。Proof Market EVM 端点使可证明计算与 EVM 应用程序兼容,这些应用程序不仅可以使用 zkLLVM 与 Proof Market 简化 zkProof 生成,还可以将证明排序原生集成到 Solidity 语言的应用程序代码中。通过该 EVM 端点,以太坊资产可以参与可证明计算,并将 Proof Market 集成到处理以太坊流动性的任何应用程序管道中。Proof Market 允许开发者按需处理 zk,从根本上降低了构建 zk 应用程序的复杂性。

Proof Market 测试版于 2023 年 1 月发布,起初主要用于以太坊 L1 之外的协议,其未来用例包括 zkML、zkOracles、zkBridges、欺诈证明等。[2023/7/28 16:04:28]

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

韩国检察官:Do Kwon或会在韩美两国接受审判和判刑:6月8日消息,韩国首尔南区检察院金融犯罪调查局局长Dan Sunghan在接受采访时表示,Terraform Labs联合创始人Do Kwon可能会在监狱中度过他一生的大部分时间,首先是在韩国,然后是在美国。

Sunghan表示,Do Kwon可能会被引渡到美国并在那里接受审判,然后在韩国和美国执行判决;预计Kwon将因金融欺诈案在韩国获得创纪录的刑期,刑期超过40年。据我们了解,引渡过程最多可能需要九个月,具体取决于嫌疑人被拘留的时间等因素。[2023/6/8 21:23:27]

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

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

上周以太坊质押累计流入约57.2万枚ETH,创历史新高:金色财经报道,加密研究员@TomWan发推特称,上周以太坊信标链质押累计流入约57.2万枚ETH,达历史最高水平,主要由机构质押服务提供商所推动,排名前五的机构级质押服务提供商Bitcoin Suisse(4900)、Figment(6600)、Kiln(1.7万)、Staked.us(4.6万)和Stakefish(7.39万),共质押了23.5万枚ETH。[2023/4/25 14:24:57]

有哪些跨链通信模式

原生验证模式

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

Maker Constitution草案拟将价值约1400万美元代币分配给科学可持续发展基金:2月4日消息,MakerDAO社区提出的Maker Constitution草案拟将2万枚MKR(约1400万美元)分配给科学可持续发展基金,以应对全球气候变暖问题。科学可持续基金是一项临时措施,将于2040年逐步结束。

草案称,科学可持续发展基金将资金用于宣传、教育和打击关于能源解决方案的错误信息,禁止直接资助煤炭能源,通过现实世界资产抵押范围框架强制执行。[2023/2/4 11:47:14]

图1:原生验证模式

外部验证模式

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

知情人士:FTX 正在谈判筹集更多资金,FTX US 也在寻求新的融资:7月20日消息,FTX 正在谈判筹集更多资金,目标是与 1 月份比估值持平,此外 FTX US 也在寻求新的资金。(彭博社)[2022/7/21 2:27:07]

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

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

图5:WayNetwork的通用链间通信架构

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:479ms