Cointime

扫码下载App
iOS & Android

ZK Validator: 2022 年零知识证明领域回顾

个人专家

作者:Zero Knowledge Validator

翻译: Scroll中文社区

我们回顾了 2022 年 ZK 行业的最大亮点。

随着 2022 年即将结束,我们想整理一份关于零知识技术领域进展的报告。对于整个行业来说,今年是忙碌的一年,但我们可以自信地说,2022 年是零知识证明实现突破的一年。

我们将涵盖如下部分:

公众兴趣

根据谷歌趋势数据,2022 年人们对搜索“零知识证明”的兴趣激增,即使在今年下半年严酷的熊市中,兴趣也一直保持上升趋势。

深入研究数据,关键字“SNARKs”在全球范围内的月搜索量在 100,000 到 1,000,000 之间,同比增长了 900%。

此外,Decrypt和Coindesk等以区块链为重点的主要媒体在 2022 年似乎也对零知识领域更感兴趣。就 Decrypt 而言,在 2021 年期间,它仅发表了 18 篇包含“零知识证明”一词的文章,而在2022年期间这个数字总共跃升至60件。Coindesk 也不例外,2022 年写了 81 篇零知识证明相关的文章,比 2021 年多了 54 篇。

融资

投资者也跳上了 ZK 的列车。今年,我们计算出至少有超过 7.25 亿美元的资金用于“纯粹的零知识“参与者”。其中包括 Aleo、Aztec、Scroll、RiscZero、Matter Labs、Elusiv 和 Mina Protocol。最大的两轮融资是 Aleo 和Matter Labs 各融资了 2 亿美元,其次是Aztec 的 1 亿美元融资。

除了私募股权融资外,一些基金会还承诺提供资金,以促进零知识应用在各自生态系统中的发展。Polkadot 发布了Pioneers Prize计划,奖励 993,286 DOT,特别关注零知识技术。此外,NEAR 基金会在 Tornado Cash 事件发生后启动了一项资助计划,以支持 ZK 项目。

与此同时,零知识项目方和组织的联盟(如 ZKV)发起了ZPrize 计划,奖金高达 700 万美元。这些竞赛旨在关键通用算法的性能、库的可用性和多样性等各个领域推动 ZK 技术发展的目标相一致的挑战。今年,Gitcoin ZK Side Rounds进行了三轮,匹配的奖金总额为 466,000 美元。在所有轮次中,不同的公共产品项目募集了近 100 万美元。这些Side Round主要侧重于提高可用性的工具类,以及创建新的应用程序以将用户带入 ZK 领域。有几个团队参与了这项计划,包括 ZKV、0xParc、Gnosis、Anoma、Penumbra、Mina、Geometry、Aztec 等。

zk(E)VM之年

Youtube链接

尽管2022年有很多突破,但今年的流行语可能是零知识虚拟机(zkVM)和零知识以太坊虚拟机(zkEVM)。许多项目正基于此构建一些变体,因为它们被视为高度可行的以太坊区块链的的扩展性解决方案。

过去的这个夏天,在巴黎举行的 EthCC 活动期间,各个团队围绕这些解决方案发布了大量公告。

在那次活动中,Polygon 推出了他们的 zkEVM。Polygon 的 zkEVM 与传统的 zk rollup 不同,旨在实现与以太坊虚拟机操作码级别的兼容性,并提供更快、更便宜的交易。其在 7 月公布后,又进行了多次更新,最新消息是主网前的最终版本公开测试网已于 12 月 21 日发布。

另一方面,zkSync 同样在 EthCC 上宣布在 10 月份将他们的 zkVM,即zkSync 2.0 推送到主网上。虽然他们最终发布了一个非常精简的版本(Baby Alpha),但 zkSync 2.0 将提供一些主要的差异点,例如帐户抽象、对 Solidity 和 Vyper 的支持以及 LLVM 编译器。

也出现更多的玩家。最值得注意的公告之一是 RiscZero 构建了一个“通用零知识虚拟机”。此外,正在以太坊上构建基于 zkEVM 的 zkRollup 的 Scroll,推出了带演示功能的Pre-Alpha 测试网(也在 EthCC 期间宣布!)。

测试网变得越来越快

随着零知识技术在区块链行业的传播,三个有前景的参与者向主网迈出了重要的一步。

在今年的最后一个季度,Aleo 进行了重大改进并推出了他们的 Testnet 3,该测试网分为三个阶段。该版本允许开发者在网络上开始编写、部署和执行 Aleo 程序。此外,它还引入了一种新的共识算法 AleoBFT,它将PoS共识算法(基于 DiemBFT)与PoW的证明者激励方案相结合。

另一个在他们的测试网上取得进步的参与者是 Namada,它是 Anoma 的一个分支实例,将隐私资产带入了 Cosmos 生态系统。他们运行了一个隐私测试网,其中 ZKV 是验证者的一部分,并于 12 月 20 日启动了他们的第一个公共测试网。

最后但同样重要的是,我们也一直在关注 Penumbra 的发展,其是 Cosmos 的带隐私功能的去中心化交易所 (DEX)。在 2022 年期间,Penumbra 遵循快速发布的理念,推出了 35 个版本的公共测试网。在此过程中,该团队引入了重要的改进,例如新颖的分层承诺树,是一种 Merkle 树可以将 Penumbra 加速 4,000 倍,以及他们为 Penumbra 系统Poseidon哈希的零知识证明友好的实例,Poseidon377。

ZK跨链桥

Youtube链接

尽管处于非常早期的阶段,但一些项目已经在 ZK 领域取得了进展。我们指的是 ZK 跨链桥 — 无需信任的跨链桥接解决方案。他们旨在取代其他桥架构,这些架构是 2022 年的主要的安全问题之一。

2022 年 10 月,Succinct 推出了第一个演示。该版本桥接了 Goerli(以太坊测试网)和 Gnosis 链,允许用户将“Succinct 代币”(他们创建的 ERC-20代币)存入 Goerli 存款合约,并在 Gnosis 链上接收铸造的 Succinct 代币。同样在 10 月,zkBridge 发表了他们在斯坦福构建的解决方案的论文。

沿着这一思路的另一个新颖概念是 zkIBC 的诞生。该解决方案旨在使用零知识证明将 Cosmos 的签名跨链通信协议 (IBC) 引入以太坊。大体上,他们基于以太坊上轻客户端状态的 zk-snark 证明验证,来构建最小化信任、可互操作的消息传递协议。

新的语言

在零知识项目中,公开了两种新语言。2022年初,Aleo推出LEO;一种受 Rust 启发的静态类型编程语言,专为编写隐私应用程序而构建。同时,在 10 月,Aztec 发布了他们的 Noir 语言。Noir 是一种基于 Rust 的领域特定语言 (DSL),用于创建和验证零知识证明。

可信设置仪式(TCS,Trusted Setup Ceremonies)也是年底叙事的一部分。对于入门者来说,TSC 是一组参与者协作生成一组密码参数的过程,每次运行某些密码学协议时都必须使用这些参数。进行了TSC的项目是 Namada 和 Manta。前者共有 2510 人参加了仪式,而后者则有超过 3559 名贡献者参与了这个过程。据说以太坊基金会也计划在 2023 年初进行可信设置。

从应用程序到 zkApps

11 月中旬,Mina Protocol 启动了一项计划,旨在促进所谓的 zkApps 的发展,zkApps是允许开发人员利用 Mina 的零知识技术的智能合约。这标志着 ZK 领域的一个重要里程碑,因为它可能会使用零知识释放出大量的创新和用例浪潮,并且由于构建 zkApps 的 SnarkyJS 库,可能会吸引超过 83,000 名的Typescript 开发人员中的一些人。

Youtube链接:

社区越来越大

随着零知识证明采用的增加,对这项技术感兴趣的人数大幅增加。ZK Hack和 zkSummit是社区中的两个标志性事件,在这两个事件中都聚集了 2500 多人。这些活动的一个亮点是多个生态项目的聚集,以及生态系统新人接触重要项目的机会。

研究很重要

认为零知识局限于区块链行业是错误的。通用研究正在兴起。学术界围绕该主题发表了大量论文。据谷歌学术统计,仅在 2022 年,零知识研究就发表了 67,100 篇文章,比 2021 年增加了 2,000 篇。但是,这方面的论文数量自 2018 年以来大幅下降。

结论

我们的年度总结到此结束!尽管过去一年的大部分叙述都是围绕可扩展性展开的,但我们希望在接下来的几个月里,我们能够看到一波使用零知识的以隐私为中心的协议浪潮。

2022 年是零知识证明取得突破的一年,ZK 技术正从研究走向区块链行业及现实世界的其他领域。我们认为这是一个更大可能性的开端。

评论

所有评论

推荐阅读

  • Robinhood首席法律官Dan Gallagher称不会担任美SEC主席

    据市场消息,Robinhood 首席法律官 Dan Gallagher 表示自己不会担任美国证券交易委员会主席。

  • 加密货币的政治倾向:特朗普的胜选引发了最新的牛市

    随着比特币瞄准10万美元和“花生松鼠”以3000%的涨幅成为头条新闻,加密货币在这个假期季节已经回归。家庭成员们将会就比特币、模因币和“埃隆推特的那个狗东西”展开辩论,你作为指定的“加密货币专家”,需要一些话题来赢得普通人的支持。加密货币是自由主义的疯狂行为。特朗普考虑“加密货币沙皇”,比特币创下新高,黑石IBIT期权推出,比特币的可编程性复苏,特朗普考虑加密货币律师担任SEC主席,选出霍华德·卢特尼克担任商务部长。特朗普的竞选和胜利引发了最新的加密货币牛市,许多人现在将其与MAGA和埃隆的D.O.G.E.恶作剧的最坏的过度联系起来。如果你的左倾亲戚看到新共和党政府如此强烈地支持加密货币,对你的情况没有帮助。如果你的表兄不会购买比特币,因为它与红色和橙色有关,那么就转而讲述事实。

  • 余弦:某用户用GPT给出带后门的代码写bot后,私钥被发送至钓鱼网站

    据慢雾余弦在 X 平台发文称,某用户用 GPT 给出代码写 bot 后将将私钥发给钓鱼网站,私钥被盗的原因是因为私钥在 HTTP 请求 body 里被直接发送给钓鱼网站了。余弦提醒,使用 GPT/Claude 等 LLM 时一定要注意这些 LLM 存在普遍性欺骗行为,之前提过 AI 投毒攻击,现在这起算是针对 Crypto 行业的真实攻击案例。

  • 美国区块链协会向特朗普政府提交加密监管建议

    美国区块链协会在 X 平台发文宣布,代表其近 100 名会员向美国当选总统特朗普和新一届国会提交了一封建议信函,概述了在前 100 天内需要考虑的影响加密货币行业的优先事项。主要内容包括:建立加密货币监管框架、结束加密货币和区块链技术公司的去银行化、任命新的 SEC 主席并撤销 SAB121、任命财政部和国税局的新领导层、建立一个加密货币咨询委员会,与国会和联邦监管机构合作。

  • 美国最高法院驳回Facebook试图避免股东证券欺诈诉讼的案件

    美国最高法院驳回了META旗下Facebook试图避免股东证券欺诈诉讼的案件。

  • 美国11月一年期通胀率预期终值2.6%,预期2.7%,前值2.60%

    美国11月一年期通胀率预期终值 2.6%,预期2.7%,前值2.60%。 美国11月五至十年期通胀率预期终值 3.2%,预期3.1%,前值3.10%。

  • 预测市场平台 Polymarket 因监管调查暂停法国用户访问

    去中心化预测市场平台 Polymarket 宣布暂停法国用户访问其平台。此举发生在法国国家博彩管理局(ANJ)对该平台展开博彩合规调查数周之后。 据悉,此次调查源于一名法国交易者在平台上对 2024 年美国总统大选特朗普胜选进行了大额押注。虽然 Polymarket 已实施 IP 封禁,但据法国加密货币新闻网站 The Big Whale 报道,用户仍可通过 VPN 访问该平台。截至发稿时,Polymarket 服务条款尚未更新相关限制内容。

  • 英国将于 2025 年初公布加密货币和稳定币监管规定

    英国工党政府将于 2025 年初公布全面的加密货币监管框架,旨在简化监管并解决稳定币和质押等关键领域。英国计划于明年发布其加密货币框架,这反映了全球对该行业的监管竞赛,欧盟等其他司法管辖区已在推进吸引创新和经济机会的战略。 英国政府在伦敦金融城全球代币化峰会上透露了在 2025 年初为加密货币行业引入统一监管框架的计划。作为新框架的一部分,稳定币将不再受英国现有支付服务规则的监管。政府认为这些法规不适合其当前的用例。这一转变旨在使英国的方法与稳定币不断发展的性质保持一致,稳定币通常与美元等资产挂钩,以保持稳定。

  • 亚马逊将向“OpenAI劲敌”Anthropic追加投资40亿美元

    亚马逊与Anthropic深化合作,将向对方追加40亿美元投资。今年9月份,人工智能初创公司Anthropic正在以高达400亿美元的估值寻求新一轮融资。Anthropic是一家由OpenAI前高管于2021年创立的公司,专注于创建可解释、安全且可操控的人工智能系统。该公司的旗舰人工智能大模型Claude基于“宪法式人工智能(Constitutional AI)”运行,这是一种使用预定义的原则来指导其输出的人工智能模型,避免一些错误地或有歧视性的输出反应。

  • Sui宣布与富兰克林邓普顿数字资产建立战略合作伙伴关系

    Sui 基金会宣布与富兰克林邓普顿数字资产(Franklin Templeton Digital Assets)建立战略合作伙伴关系,专注于支持 Sui 生态系统建设者并利用 Sui 区块链协议部署新技术。