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

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

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

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

Polychain Capital实习生展示如何使用100美元对CheapETH进行51%攻击:风险投资公司Polychain Capital的18岁实习生Anish Agnihotri展示了51%攻击的工作方式,以达到教育目的。Agnihotri选择了CheapETH来进行实验。为了发动攻击,Agnihotri租用了能够每秒执行14.4亿哈希的挖矿设备。这样一来,他就可以占据该网络哈希率的72%左右。此外,他还租用了虚拟机来运行区块链。总费用不到100美元。(The Block)[2021/5/18 22:12:59]

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

直播|“后浪”仙女周|热币-Merry如何乘风破浪:金色财经 · 直播主办的《 币圈 “后浪” 仙女直播周》第7期16:00 Hotcoin Global|首席品牌官 Merry将在直播间聊聊“币圈‘后浪’仙女如何乘风破浪”,感兴趣的朋友扫码移步收听![2020/7/1]

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

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

有哪些跨链通信模式

原生验证模式

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

声音 | BB:监管者不知道如何利用区块链应对非传统领域价值储存的需求:Blcok.one的CEO BB发推文表示,监管者虽然知道区块链,但他们不知道如何利用区块链技术来应对主流市场对在非传统领域价值储存的快速增长需求,而这些非传统领域更符合个人的信仰体系。[2019/4/21]

图1:原生验证模式

外部验证模式

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

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

金色财经现场报道 海纳云CTO邹均:区块链技术难点在于如何让所有节点统一步调:金色财经现场报道,在2018区块链技术及应用峰会上,海纳云CTO邹均认为,区块链技术当前的限制难点在分布式系统中让所有节点统一步调,区块链目前存在性能限制、扩展性限制、易用性限制、兼容性跨链互联限制、存储限制、治理限制、软件升级限制等问题。[2018/3/31]

图2:外部验证模式

本地验证模式

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

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

陈伟星再次回怼朱啸虎,ofo最大的机会是如何区块链化:今日,陈伟星再次针对朱啸虎的言论进行回应:金融是一个系统工程,全世界的资产泡沫促使了贫富悬殊。任何新技术的发展,都需要一个完善的过程,每一个问题,都是创造者为世界做出贡献的大机会。优秀的方案是竞争出来的,从劣质到优质,走向美好的结果。ofo最大的机会是如何区块链化,而不是朱啸虎以为的赔钱还虚报的订单,我们要的是解决世界重大问题的机会,去挥洒我们激情的青春。[2018/2/24]

图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:31ms0-5:157ms