ARK:零知识系解决方案们正悄然改变行业格局

本文来自Substack,原文作者:tolks,由Odaily星球日报译者Katie辜编译。

在过去的几个月里,借助零知识证明的区块链扩容方案正加速涌现,资金投入和开发进度也大幅提升。

不少从业者坚信当ZK-rollup技术大规模落地时,加密生态系统将取得进步。虽然全面实施到链上或许还需要5-10年的时间,但在接下来的几个月里,我们将看到完全兼容的ZKR技术支持链上应用。

本文先带大家回顾近期零知识证明领域的发展,一览当前ZK主要玩家的定位、代币情况及发展脉络,借此,我们可以明显感知到ZK未来已来。

ZK?概述

Rollup扩容方案专注于降低链上的费用,对于将L1扩展到数亿级别用户来说至关重要。虽然使用欺诈证明的OptimisticRollups现在是较佳选择,但使用链外计算的ZKRs将是未来的最佳选择。

V神曾总结道:“随着ZK-SNARK技术的改进,从中长期来看,ZKrollups将脱颖而出。”ZKRs实现了与Optimisticrollups相同的目标,同时为用户提供了隐私选项并增加了可扩展性。正如EthHub所述,“ZK通过减少交易中持有的数据量,减少了验证区块的计算和存储资源,不要求我们对所有数据有任何了解。”

Mina开发团队O(1)Labs拟将零知识证明技术应用于OP Stack欺诈证明:6月29日消息,轻量级区块链协议Mina开发团队O(1)Labs已向Optimism提交提案,建议将旗下基于MIP SzkVM构建的零知识证明技术应用于OP Stack欺诈证明,其中MIPS功能除了除了本地高性能的snarky JS外,还允许使用通用语言编写应用程序。[2023/6/29 22:07:25]

简单来说,ZK技术允许用户证明他们拥有或知道某些东西,而不需要提供任何关于该东西是什么或有多少的信息。在俄乌战争引发的经济制裁后,ZK技术也备受关注,人们对隐私交易的热情和需求正在增加。

来源:MatterLabs

ZK技术落地新进展

这小半年,ZK领域飞速发展,重要事件包括:

3月10日,StarkWare正进行1亿美元融资,估值60亿美元。此前,StarkWare曾在2021年11月融资5000万美元,估值20亿美元。

3月8日,智能合约钱包Argent宣布全面开放Layer2账户注册,注册候补名单中的超过50万用户可以访问其以太坊zkSync网络Layer2钱包。

3月7日,Immutable融资2亿美元,估值25亿美元。

门罗币完成零知识证明系统Bulletproofs+代码审计:2月15日,门罗币官方发推称,完成零知识证明系统Bulletproofs+代码审计。此前消息,零知识证明系统Bulletproofs+代码获准可在门罗币协议中使用。随后官方计划筹集90.3 XMR以进行零知识证明系统Bulletproofs+审计。[2021/2/15 19:49:05]

3月7日,Web3应用程序扩展和隐私系统EspressoSystems完成3200万美元融资,其正在开发Layer1基础设施,通过将PoS共识协议与zkRollup机制相结合,以更高效的方式捆绑多笔交易,从而提供快速、低费用的交易。

2月22日,zkSync?开发商?MatterLabs在以太坊的测试网推出zkEVM,2021年11月其融资了5000万美元。

2月22日,StarkWare构建的StarkNet发布,并将在下半年转入社区运行。

2月7日,Polygon获得了他们最近一轮4.5亿美元的融资,将扩大其?ZK技术业务。

2月7日,ZK技术区块链公司Aleo融资2亿美元,估值14.5亿美元。

2月3日,GameStop与ImmutableX合作建立他们的?NFT?市场,并宣布为他们的生态系统投资?1亿美元。

孙宇晨:波场将于周日推出实现零知识证明的DApp“justwrapper”:孙宇晨昨日在微信群透露,波场将于周日下午两点推出实现零知识证明技术的智能合约DApp“justwrapper”。第一版仅支持USDT,第二版开始支持TRX、BTT、USDJ、 JST、WIN等所有波场系token,未来还会支持BTC。孙宇晨称,justwrapper转账享有零知识证明级别的隐私,只有转账的人和收到的人知道这笔转账的发生。[2020/9/26]

1月7日,MatterLabs和BitDAO发起了一个2亿美元的DAO,继续为zkSync生态系统扩展和核心基础设施建设。

2021年12月10日,Polygon以4亿美元收购零知识技术开发商Mir,将其更名为PolygonZero。Polygon在去年8月还以2.5亿美元收购了?HermezNetwork,这是另一个ZKrollup扩展解决方案,合并了他们的代币MATIC和HEZ。

2021年12月16日,Aztec?Network完成1700万美元A轮融资。

ZK系?7位主要玩家

1.StarkWare研发的产品主要有:StarkNet、StarkEx。

StarkNet

西班牙跨国银行BBVA探索零知识证明及加密技术:5月4日消息,总部位于西班牙的跨国银行Bilbao Vizcaya Argentaria银行(BBVA)宣布与马德里研究中心IMDEA Software Institution合作,以探索零知识证明(ZKP)以及其他“先进的加密技术”。(Cointelegraph)[2020/5/5]

StarkNet是ZK-RollupL2解决方案,去年11月29日其使用ZK-STARKs的方案在以太坊主网发布。

2月23日,StarkNet宣布其最新版本StarkNetAlpha,称该扩展解决方案已经准备好用于应用程序构建和交易。最近,StarkNet宣布与?Aave、OperaBrowser、DeversiFi和Argent等协议建立合作关系。

代币:预计在今年下半年空投给早期用户。

StarkEx

StarkEx是一个通过编程语言Cairo构建的可扩展性引擎,2020年6月起在主网上运行,目前被DeversiFi、ImmutableX、dYdX?和Sorare采用。

根据StarkWare的数据,StarkEx?从3月9日起,TVL达?11亿美元,交易笔数为1.23亿,累计价值4620亿美元。

声音 | 常山北明:将为至信链贡献跨链交换、零知识证明、分片共识相关的技术:常山北明(SZ000158)董秘在互动平台回复投资者对于“公司在区块链布局及技术优势”的提问表示,至信链是腾讯、中国网安和北明软件做为核心节点携手发布的区块链。至信链将致力于生态建设,在数据保全、纠纷解决、诉讼辅助等方面做出自己的贡献。北明软件将为至信链贡献跨链交换,零知识证明,分片共识相关的技术和知识的积累。[2019/9/27]

代币:将最终由社区运行。但我假设这是在StarkNet代币上线后不久,大概也是在下半年空投给早期用户。

2.zkSync

zkSync是由MatterLabs开发、使用ZK-SNARKs的ZK-rollup,自2020年6月以来一直在运行。2月22日,zkSync宣布其2.0已经上线,并且是在以太坊测试网中第一个兼容了EVM的ZKRollup。“去年5月,我们展示了zkSync的zkEVM愿景,一个无需许可、图灵完备的ZKRollup,它将允许开发者使用以太坊本地编程语言Solidity的高度可扩展的L2环境,以低成本构建和部署DApp。”

下面是关于zkSync2.0当前特性的更多细节:

支持ECDSA签名。与第一个版本的zkSync和大多数ZKrollup不同,注册用户的私钥不需要特殊操作。在L2中,任何帐户都可以使用L1使用的私钥来管理。

支持Solidity0.8.x。部署现有代码库,几乎不需要任何更改。

Web3API,完全兼容以太坊。这允许与现有的索引器、浏览器等无缝集成。

支持以太坊加密原语。zkSync本地支持kecak2569sha256。

安全帽插件。允许开发者在zkSync上轻松测试和开发智能合约。

LI至L2的智能合约消息。允许开发者将数据从以太坊L1传递到zkSync上的智能合约,提供运行各种智能合约所需的信息。

关于zkSync的更多信息,可以查看其项目生态系统与ZK解决方案,并参考?DuneAnalytics?的zkSync交易数据、TVL、存取zkSync的其它信息。

根据官方文件,zkSync将发行代币,但具体时间未知。

3.ImmutableX

由StarkWare的StarkEx支持,ImmutableX是ZK技术支持的领先协议之一,具有游戏和NFT领域应用程序。ImmutableX称自己“坚持为市场、游戏和应用程序提供零gas手续费、即时交易、碳中和的NFT”。ImmutableX?已成立多年,并完成了大量的开发和优化。

基于IMX的产品包括GodsUnchained、Illuvium和TikTok的热门系列。

2月3日,GameStop宣布将在ImmutableX?的基础上创建NFT市场,并投资1亿美元用于支持其生态系统内的游戏开发。

ImmutableX代币为IMX。

4.Polygon

Polygon目前在开发三个独立的ZK-rollup扩容方案:

PolygonMiden:一个基于stark的zk-Rollup,支持任意智能合约。

PolygonZero:提供Rollup和Validium模式,带来更高的吞吐量和更低的费用。

PolygonHermez:一个开源的zk-Rollup,从安全、低成本和可用性三方面优化代币交易。

遗憾的是,Polygon的ZKrollups?套件的详细路线图很难获得。

5.EspressoSystems

Espresso在3月6日正式亮相,宣布了融资情况,并介绍了他们的愿景。扩容和隐私解决方案?Espresso将自己描述为“一个结合了?PoS?共识和ZK-rollup机制的L1”。

EspressoSystems发布了CAPE,这是一个EVM应用程序,允许用户自定义谁可以看到所有权细节和资产移动情况,并能够在CAPE内wrap和unwrap当前的ERC-20代币。CAPE将在未来几周部署到Rinkeby测试网。

6.AztecNetwork

使用zk-SNARKs?的L2扩展解决方案——保护ERC-20代币交易和其它DeFi交互的隐私,目前已部署在Goerli测试网。

zk.money是由Aztec开发的核心应用程序,允许MetMask用户秘密发送DAI和ETH,团队希望在今年晚些时候实现全面的钱包级别的资产隐私。

7.Aleo

Aleo是一个启用ZK的私有链,默认情况下,它处理链外交易,然后由网络节点验证。

Aleo在2月7日完成2亿美元?B轮融资?,正在测试网阶段,计划在今年Q3上线主网。

ZK的突破性潜力

我相信,从业者们在ZK领域所做的研究和探索非常重要,它将从根本上改变未来20年的计算方式。ZK允许我们构建模块化应用程序,明确了隐私的边界。这对于常规应用来说也是种巨大的力量。

落回区块链行业,当前ZK系的领导者是zkSync和StarkWare,它们都将在今年发行代币。从它们的融资轮和当前估值来看,需求将是巨大的,这些协议和其它L2会激励用户和流动性的迁移。虽然我们还需要几个月的时间才能在微观层面上看到这一点,但ZK技术很可能会彻底改变区块链的未来。

一文对比以太坊二层解决方案zkSync与Starkware

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

地球链

[0:0ms0-0:645ms