2023第一季度ZK状态报告

原文：zkvalidator

编译：DeFi之道

前言

欢迎来到我们的ZK报告首刊，这是一个季度性出版物，重点介绍零知识（ZK）生态系统中最相关的发展。在本报告中，我们将提供关于ZK社区兴趣、新兴用例、突破性研究、最近产品发布和值得注意的投资轮次的关键见解。

过去一年，在零知识技术方面取得了显著进展，并且在2023年，我们正在目睹该技术在区块链领域内爆炸式增长。鉴于生态系统的动态特性以及事情开始快速发展的速度，我们认为现在是发布这些定期报告以突出发展并帮助您保持更新的正确时机。

ZKValidator团队深深地热爱零知识密码学，并且具备涵盖该领域演变所需位置优势。与塑造行业形象组织（如Zero Knowledge Podcast、ZK Hack、zkSummit、rhino.fi、Geometry和UCL）密切联系进一步增强了我们提供全面洞察力以应对这个前沿领域能力。

数据中的ZK

4月4日，ZK社区在zkSummit 9上举行了一整天的演讲。我们的ZKValidator团队成员参与了该活动的制作和管理。在活动的申请表中，参与者分享了一些关于他们感兴趣的ZK技术类型和新用例方面的信息。我们已经将其中一些数据编译成几个有用的图表，为我们提供了对社区兴趣和新兴ZK用例的重要见解。

从图表中我们可以看到，数据呈现出一些有趣的趋势：

隐私保护是首要问题。ZK技术在隐私保护方面排名第一，受到了12.90%的关注度，这表明人们非常希望利用ZK技术来保护他们在各种应用程序中的隐私。

扩展性是热门话题：ZK技术在扩展性方面排名第二，受到了9.46%的关注度，这表明可扩展性是许多人关心的重要问题，并且他们渴望探索如何使用ZK技术解决这个挑战。

身份和新用例也引起了关注：身份验证和新的ZK用例分别以8.86％和8.76％的兴趣排名第三和第四，表明人们有兴趣探索如何将ZK技术应用于身份管理和其他新颖的用例领域。

当被问及他们最为兴奋的新用例时，以下是答案的分类：

根据图表，很明显 zkML 已经成为社区关注的最具吸引力的新用例。此外，互操作性也是其中最受欢迎的用例之一，它涉及使用零知识证明来实现轻客户端以验证完整共识协议或 zkBridges。

其他提到的用例包括可验证计算、面向企业的隐私网络等。值得注意的是，有些回答更加具体，并可能属于上述更广泛类别之一。

zkSummit 9 活动视频可以在这里找到！

突破性研究

Geometry's Semacaulk‌：介绍了Semacaulk，这是一种新的ZK集合成员协议，相比深度为20的Merkle树结构提供了令人瞩目的GAS节省效果，同时确保证明可以快速生成并以大约相同的GAS成本进行验证。使用Semacaulk，插入只需要恒定的68kGAS，并且应用程序可以预先计算证明，从而提供更流畅的用户体验。此外，Semacaulk不需要特定于应用程序的可信设置，只需阶段1可信设置输出即可使其高度灵活。Geometry已经联系各种ZK团队分享这个开创性项目。

在Android移动设备上进行多标量乘法（MSM）‌： ZPrize 2022对零知识密码学产生了出色结果，在提交奖项中基线平均改进超过5倍。值得注意的是，在Android移动设备上实现多标量乘法（MSM）将证明生成时间从2.4秒缩短到约半秒钟，使得ZK中移动支付更加容易。椭圆曲线上的多标量乘法（MSM）是许多零知识证明系统核心中原语和瓶颈之一。加速MSM通常会导致更快的证明生成，从而使基于ZK的应用程序变得实用。所有提交的作品，包括非获奖作品，在MIT / Apache 2.0许可下开源，以确保零知识技术具有连贯、开放的生态系统。

GZKP：GPU加速零知识证明系统‌：该论文提出了GZKP，这是一种快速的GPU加速零知识证明系统，通过利用GPU的大规模硬件并行性来减少ZKP中的证明生成时间。 GZKP通过避免数据洗牌、合并冗余操作和优化大整数算术来解决现有ZKP实现中的性能瓶颈。该系统包括一个带有改进缓存效率的NTT模块、一个采用新并行化策略的MSM模块以及一个针对大整数上算术运算进行优化处理 的 GPU 有限域库。与最先进基于GPU 的 ZKP 系统相比，GZKP 实现了显着加速，适用于各种隐私保护应用程序。所提出技术在加密算法方面具有更广泛应用，并为计算机系统和安全/隐私做出了贡献。

zkEVMs的季度

到目前为止，2023年正在成为零知识技术爆炸的一年，媒体和社交媒体中出现如此重要的叙述的主要原因之一是推出了Polygon和zkSync zkEVMs，旨在扩展以太坊。 在推出将近一个月后，以下是有关两者活动和性能的一些统计数据：

尽管两者同时推出，但用户更倾向于在zkSync Era下操作。正如社交媒体所观察到的那样，社区成员普遍认为zkSync可能会在今年晚些时候推出空投活动，这吸引了更多人关注他们的zkEVM。

产品发布

除了两个 zkEVM 的推出之外，还有几个其他的 ZK 项目进入了不同的垂直市场。正如我们在下表中所看到的那样，在过去三个月内，在以太坊和 Polkadot 生态系统中，去中心化身份、互操作性和支付方面取得了重大进展。

Succinct

“Telepathy”是以太坊的第一个去中心化和安全的zkSNARK互操作协议，于3月16日在主网上线。这一突破性协议允许用户在保留以太坊轻客户端协议安全性的同时，在任何链上读取以太坊状态。首次，以太坊桥接安全不再依赖多重签名或乐观欺诈系统，而是直接通过zkSNARK验证以太坊验证器签名，实现互操作性。

Sismo

Sismo最近推出了Sismo Connect，这是一种保护隐私的单点登录方法，适用于Web2和Web3上的应用程序。使用Sismo Connect，用户可以有选择地向应用程序透露私人细粒度数据，同时保持其隐私。该技术允许开发人员快速在其应用程序中实现零知识技术，以前对许多开发人员不可及。

Manta

Manta Network最近宣布扩展其零知识能力，为非同质化代币（NFT）和灵魂绑定代币（SBT）提供隐私支持。这些资产可以通过即将推出的NFT私人发行（NPO）平台轻松铸造。产品发布。

摩擦点

在过去的三个月中，ZK社区经历了重大的发展和进步。然而，在这些积极进展的同时，也出现了一些不太好的消息，给社区带来了挑战。在本节中，我们将探讨ZK社区遇到的两个摩擦点，揭示他们所面临的障碍以及可能对生态系统产生的影响。

01 | Namada

Namada的最新测试网络出现了问题，由于白名单字段中使用小写哈希值而导致交易被拒绝。通过升级v0.13.1进行修复，但是沟通不畅导致两个不同的状态根和网络分叉。随后部署了一个新的协议版本v0.13.2。未来，团队将改进他们的开发网络配置，并坚持发布一个版本以避免类似问题。回想一下，Namada是Anoma第一个分形实例。

02 | Aztec Connect将停用

Aztec Network宣布，他们将停用Aztec Connect，这是为以太坊提供加密层的隐私基础设施。在9个月内，该卷积已经赚取了578 ETH（按今天的价格为854,000美元）的交易费用。然而，它还花费了352 ETH（按今天的价格为520,000美元）来发布calldata到L1上，总共346 MB的calldata。

根据团队发表的正式声明，Aztec Connect 的开发是实现 Aztec 最终目标——开发具有以太坊安全性质量保证、完全去中心化通用加密 zkRollup 的重要里程碑。Aztec 现在将把中长期重点放在两个主要、相互兼容和相互关联产品 Noir 和下一代加密 zkRollup 的开发上。他们预计，在2023年上半年推出更多Noir功能和最新zkRollup的全部规格说明。

生态系统投资轮次

以下是ZK生态系统中一些最显著的投资轮回简介：

The =nil;;基金会-2200万美元：Ethereum研究和开发公司The =nil;; Foundation成功完成了由Polychain Capital领导的2200万美元融资轮回。这笔资金将用于进一步开发Proof Marketplace，这是一个允许加密协议外包零知识（ZK）证明生成的协议。原本作为研究集体开始但已转变为传统创业公司的=nil; Foundation估值现在达到2.2亿美元。Proof Marketplace旨在使第1层和第2层区块链和协议能够按需生成ZK证明，促进无信任数据可访问性和无缝数据共享，而不依赖于中心化中介机构。

Proven-1580万美元：Proven是一家零知识（ZK）证明开发商，专门用于证明偿付能力，并成功完成了由加密货币风险投资公司Framework Ventures领导的种子轮回募集1580万美元。 Proven技术结合了ZK证明（一种密码学形式，可以在不泄露匿名性的情况下证明某事物的真实性）与定量解决方案相结合。 这使得交易所、稳定币发行者、资产管理人员和托管人员能够向潜在客户、合作伙伴或监管机构展示其资产和负债，而不公开披露敏感数据，并通过他们的“偿付证明”协议每天运行提供更高的透明度。Proven成功的种子轮回是在加密货币行业出现与偿付能力问题有关的显着崩溃时期进行的，使得他们创新解决方案变得更加相关和及时。

Polyhedra Network-1000万美元：加密基础设施提供商Polyhedra Network已经成功完成了由Binance Labs和Polychain Capital共同领导的战略性融资轮回，募集了1000万美元。该初创公司旨在开发一套全面系统，重点是区块链互操作性、可扩展性和隐私保护。其中包括zkBridge（允许跨链资产和数据转移）、用于零知识凭据验证的分散式身份解决方案以及paraPlonk（增强zkrollups速度和成本效益）等协议和产品。