本文来自Substack，原文作者：tolks，由Odaily星球日报译者Katie辜编译。
在过去的几个月里，借助零知识证明的区块链扩容方案正加速涌现，资金投入和开发进度也大幅提升。
不少从业者坚信当ZK-rollup技术大规模落地时，加密生态系统将取得进步。虽然全面实施到链上或许还需要5-10年的时间，但在接下来的几个月里，我们将看到完全兼容的ZKR技术支持链上应用。
本文先带大家回顾近期零知识证明领域的发展，一览当前ZK主要玩家的定位、代币情况及发展脉络，借此，我们可以明显感知到ZK未来已来。
ZK?概述
Rollup扩容方案专注于降低链上的费用，对于将L1扩展到数亿级别用户来说至关重要。虽然使用欺诈证明的OptimisticRollups现在是较佳选择，但使用链外计算的ZKRs将是未来的最佳选择。
V神曾总结道：“随着ZK-SNARK技术的改进，从中长期来看，ZKrollups将脱颖而出。”ZKRs实现了与Optimisticrollups相同的目标，同时为用户提供了隐私选项并增加了可扩展性。正如EthHub所述，“ZK通过减少交易中持有的数据量，减少了验证区块的计算和存储资源，不要求我们对所有数据有任何了解。”
Polygon 推出基于STARK零知识证明的扩容方案 Miden，采用Facebook开源技术且兼容EVM:11月16日消息，Polygon宣布推出基于零知识的、与 EVM 兼容的扩容解决方案Miden，同时也将开源其核心组件的早期原型版本Polygon Miden 虚拟机 (VM) 。Polygon Miden 是一个基于 STARK 的 ZK Rollup，Polygon Miden VM 是完全开源的基于 STARK 的虚拟机，它的作用是验证程序执行并为DApp 部署提供增强的尽职调查。Miden VM 通过利用Facebook的Novi开发的STARK证明器/验证器Winterfell 对基于Rust语言编写的零知识虚拟机 Distaff VM进行了扩展。Distaff VM和Winterfell的核心开发人员Bobbin Threadbare将加入 Polygon 作为 Miden Lead，致力于重新整合 Distaff，将 Distaff 和 Winterfell 结合起来，并继续开发 Miden VM 及其周围的生态系统。
除Polygon Miden外，Polygon价值10亿美元的ZK策略资金还孵化Polygon Hermez和Polygon Nightfall。Polygon Hermez是此前收购的Hermez Network，Polygon Nightfall是与安永共同开发构建的以隐私为重点保护的Rollup。[2021/11/17 21:56:06]
简单来说，ZK技术允许用户证明他们拥有或知道某些东西，而不需要提供任何关于该东西是什么或有多少的信息。在俄乌战争引发的经济制裁后，ZK技术也备受关注，人们对隐私交易的热情和需求正在增加。
DeGate 发布发展蓝图，将优先实现基于零知识证明技术的以太坊二层订单薄交易协议:据官方消息，以太坊二层交易协议 DeGate 发布最新发展蓝图，对原有的发展路线进行了调整，将优先上线订单薄交易，并最终形成订单薄交易、AMM 交易、保证金交易三者并存的产品架构。
DeGate 表示，随着 Layer2、以太坊 2.0 等技术的落地，区块链使用成本将大幅降低，因此更能满足交易者需求、资金利用率更高的订单薄交易有可能产生更大的市场需求。DeGate 的订单簿交易系统将拥有即时挂单撤单、挂单撤单免手续费、maker 交易免手续费、taker 直接交易等功能或优势。[2021/5/26 22:46:41]
来源：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亿美元。
Celsius将利用Horizen的零知识证明创建储备金证明系统:金色财经报道，Celsius正在与Horizen合作，以使用Horizen的零知识证明创建储备金证明系统。储备金证明试点将获取Celsius网站上显示的信息，并从Horizen侧链（而非Celsius内部服务器）获取信息。[2020/10/31 11:17:38]
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亿美元。
动态 | 德勤在其企业区块链产品中增加了零知识证明隐私技术:据Coindesk消息，专业服务巨头德勤（Deloitte）在其企业区块链产品Eduscrypt平台中增加了零知识证明隐私技术。德勤在近日官方活动时宣布与以色列的零知识证明专家QEDIT合作，帮助用户通过区块链技术方式分享自己获得的证书和资格数据。[2019/10/29]
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
StarkNet是ZK-RollupL2解决方案，去年11月29日其使用ZK-STARKs的方案在以太坊主网发布。
动态 | 德勤在企业区块链产品中添加零知识证明隐私技术:德勤（Deloitte）周二在阿姆斯特丹举行的ZKProof社区活动上宣布，已在其企业区块链产品中增加了零知识证明隐私技术。德勤与以色列的零知识证明专家QEDIT合作，帮助用户控制区块链共享有关他们所获得的证书和资格的数据。（coindesk）[2019/10/29]
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亿美元。
代币：将最终由社区运行。但我假设这是在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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。