随着2022年即将结束，我们想整理一份关于零知识技术领域进展的报告。对于整个行业来说，今年是忙碌的一年，但我们可以自信地说，2022年是零知识证明实现突破的一年。
我们将涵盖如下部分：
公众兴趣
根据谷歌趋势数据，2022年人们对搜索“零知识证明”的兴趣激增，即使在今年下半年严酷的熊市中，兴趣也一直保持上升趋势。
深入研究数据，关键字“SNARKs”在全球范围内的月搜索量在100,000到1,000,000之间，同比增长了900%。此外，Decrypt和Coindesk等以区块链为重点的主要媒体在2022年似乎也对零知识领域更感兴趣。就Decrypt而言，在2021年期间，它仅发表了18篇包含“零知识证明”一词的文章，而在2022年期间这个数字总共跃升至60件。Coindesk也不例外，2022年写了81篇零知识证明相关的文章，比2021年多了54篇。
Uniswap创始人和Paradigm开发者合作构建新做市系统 用以执行大型交易:Uniswap创始人Hayden Adams和两名Paradigm开发者DaveWhite和Dan Robinson正在构建一个做市系统，用于在以太坊上执行大型交易。该做市系统名为时间加权平均做市商（TWAMM），将长期订单分解成无数个无限小的碎片，并随着时间的推移在其嵌入式AMM上顺利执行。目前这个想法还处于早期阶段，Dave White呼吁更多开发者参与进来。（TheBlock）[2021/7/29 1:22:41]
融资
投资者也跳上了ZK的列车。今年，我们计算出至少有超过7.25亿美元的资金用于“纯粹的零知识“参与者”。其中包括Aleo、Aztec、Scroll、RiscZero、MatterLabs、Elusiv和MinaProtocol。最大的两轮融资是Aleo和MatterLabs各融资了2亿美元，其次是Aztec的1亿美元融资。除了私募股权融资外，一些基金会还承诺提供资金，以促进零知识应用在各自生态系统中的发展。Polkadot发布了PioneersPrize计划，奖励993,286DOT，特别关注零知识技术。此外，NEAR基金会在TornadoCash事件发生后启动了一项资助计划，以支持ZK项目。
G+加入Baer Chain Oasis开发者生态联盟“O+”:近期，全球区块链游戏聚合平台G+正式加入O+生态联盟。并且G+平台官方宣布，其平台上的所有游戏支持BRC充值，进一步增加BRC的流通场景。Baer Chain CEO Vincent表示，“非常欢迎全球更多的优质游戏加入Baer Chain游戏生态，Baer Chain基金会也将出资孵化更多优秀团队推进区块链+游戏产业发展。”
据悉，贝尔链OASIS绿洲游戏平台成立O+生态联盟以来，持续与全球优质游戏开发团队与平台合作。目前联盟中来自英国、韩国、日本、新加坡等全球优质游戏开发团队已超过200个。[2020/2/28]
与此同时，零知识项目方和组织的联盟发起了ZPrize计划，奖金高达700万美元。这些竞赛旨在关键通用算法的性能、库的可用性和多样性等各个领域推动ZK技术发展的目标相一致的挑战。今年，GitcoinZKSideRounds进行了三轮，匹配的奖金总额为466,000美元。在所有轮次中，不同的公共产品项目募集了近100万美元。这些SideRound主要侧重于提高可用性的工具类，以及创建新的应用程序以将用户带入ZK领域。有几个团队参与了这项计划，包括ZKV、0xParc、Gnosis、Anoma、Penumbra、Mina、Geometry、Aztec等。
动态 | Nervos设立 3000 万美元基金 资助开发者在CKB上进行开发:据Coindesk消息，知名公链项目Nervos Network于今日宣布设立 3000 万美元公共基金，用于资助外部开发者在其区块链基础设施上进行开发。
?
Nervos 联合创始人 Kevin 表示：“Grants 将以现金的形式资助开发者，并将公开所有开发者提交的项目，以获得更多社区的反馈。” 最开始将会开放客户协议、开发环境、跨链互操作性、智能合约语言和工具等基础设施开发类的项目。
?
另据CKB explorer显示，目前Nervos Dao中包含的CKB总量已超20亿枚，创历史新高；锁币地址数量超过1000个。其中二级发行中,已销毁数量占总发行量81.6%，挖矿奖励占14.8%，锁币补贴占总发行量3.6%。[2020/1/9]
zk(E)VM之年
Youtube链接:??https://www.youtube.com/watch?v=mrf9HjjL_38&feature=emb_imp_woyt尽管2022年有很多突破，但今年的流行语可能是零知识虚拟机和零知识以太坊虚拟机。许多项目正基于此构建一些变体，因为它们被视为高度可行的以太坊区块链的的扩展性解决方案。过去的这个夏天，在巴黎举行的EthCC活动期间，各个团队围绕这些解决方案发布了大量公告。在那次活动中，Polygon推出了他们的zkEVM。Polygon的zkEVM与传统的zkrollup不同，旨在实现与以太坊虚拟机操作码级别的兼容性，并提供更快、更便宜的交易。其在7月公布后，又进行了多次更新，最新消息是主网前的最终版本公开测试网已于12月21日发布。另一方面，zkSync同样在EthCC上宣布在10月份将他们的zkVM，即zkSync2.0推送到主网上。虽然他们最终发布了一个非常精简的版本(BabyAlpha)，但zkSync2.0将提供一些主要的差异点，例如帐户抽象、对Solidity和Vyper的支持以及LLVM编译器。也出现更多的玩家。最值得注意的公告之一是RiscZero构建了一个“通用零知识虚拟机”。此外，正在以太坊上构建基于zkEVM的zkRollup的Scroll，推出了带演示功能的Pre-Alpha测试网。
动态 | 比特币核心开发者 Pieter Wuille 发布新的比特币脚本语言 Miniscript:比特币核心开发者兼 Blockstream 联合创始人 Pieter Wuille 发布推文宣布推出一个新的比特币脚本语言 Miniscript，本质上，这是一种以结构化、可组合的方式编写（某些）比特币脚本的方法，允许各种静态分析、通用签名和策略编译。该项目包括一个策略编译器，当你设置好输出花费条件和相对概率，它能够找到最经济的 Miniscript 兼容脚本。开发者不仅可以在网站上使用策略编译器，而且，在无需知道脚本策略创建来源的情况下，Miniscript 的算法支持为任何兼容 Miniscript 的脚本构建见证。Pieter Wuille 称，目前区块链技术重心都放在扩展区块链本身的功能以支持更复杂的应用程序上，然而通过一种可访问、可组合和可分析的方式实现扩展功能却被忽略了。Pieter Wuille 希望 Miniscript 和 PSBT 这类方案可以减少软件之间的一些障碍。[2019/8/20]
测试网变得越来越快
随着零知识技术在区块链行业的传播，三个有前景的参与者向主网迈出了重要的一步。在今年的最后一个季度，Aleo进行了重大改进并推出了他们的Testnet3，该测试网分为三个阶段。该版本允许开发者在网络上开始编写、部署和执行Aleo程序。此外，它还引入了一种新的共识算法AleoBFT，它将PoS共识算法与PoW的证明者激励方案相结合。
动态 | 以太坊开发者提议在区块高度7,080,000进行君士坦丁堡升级:据Bitcoin Exchange Guide报道，以太坊开源开发团队达成一致，君士坦丁堡升级将在区块高度7,080,000时进行。[2018/12/9]
另一个在他们的测试网上取得进步的参与者是Namada，它是Anoma的一个分支实例，将隐私资产带入了Cosmos生态系统。他们运行了一个隐私测试网，其中ZKV是验证者的一部分，并于12月20日启动了他们的第一个公共测试网。最后但同样重要的是，我们也一直在关注Penumbra的发展，其是Cosmos的带隐私功能的去中心化交易所(DEX)。在2022年期间，Penumbra遵循快速发布的理念，推出了35个版本的公共测试网。在此过程中，该团队引入了重要的改进，例如新颖的分层承诺树，是一种Merkle树可以将Penumbra加速4,000倍，以及他们为Penumbra系统Poseidon哈希的零知识证明友好的实例，Poseidon377。
ZK跨链桥
Youtube链接:?https://www.youtube.com/watch?v=f4kBUe2n0Qk&feature=emb_imp_woyt尽管处于非常早期的阶段，但一些项目已经在ZK领域取得了进展。我们指的是ZK跨链桥—无需信任的跨链桥接解决方案。他们旨在取代其他桥架构，这些架构是2022年的主要的安全问题之一。2022年10月，Succinct推出了第一个演示。该版本桥接了Goerli和Gnosis链，允许用户将“Succinct代币”存入Goerli存款合约，并在Gnosis链上接收铸造的Succinct代币。同样在10月，zkBridge发表了他们在斯坦福构建的解决方案的论文。沿着这一思路的另一个新颖概念是zkIBC的诞生。该解决方案旨在使用零知识证明将Cosmos的签名跨链通信协议(IBC)引入以太坊。大体上，他们基于以太坊上轻客户端状态的zk-snark证明验证，来构建最小化信任、可互操作的消息传递协议。
新的语言
在零知识项目中，公开了两种新语言。2022年初，Aleo推出LEO；一种受Rust启发的静态类型编程语言，专为编写隐私应用程序而构建。同时，在10月，Aztec发布了他们的Noir语言。Noir是一种基于Rust的领域特定语言(DSL)，用于创建和验证零知识证明。
可信设置登场
可信设置仪式也是年底叙事的一部分。对于入门者来说，TSC是一组参与者协作生成一组密码参数的过程，每次运行某些密码学协议时都必须使用这些参数。进行了TSC的项目是Namada和Manta。前者共有2510人参加了仪式，而后者则有超过3559名贡献者参与了这个过程。据说以太坊基金会也计划在2023年初进行可信设置。
从应用程序到zkApps
11月中旬，MinaProtocol启动了一项计划，旨在促进所谓的zkApps的发展，zkApps是允许开发人员利用Mina的零知识技术的智能合约。这标志着ZK领域的一个重要里程碑，因为它可能会使用零知识释放出大量的创新和用例浪潮，并且由于构建zkApps的SnarkyJS库，可能会吸引超过83,000名的Typescript开发人员中的一些人。
Youtube链接:?https://www.youtube.com/watch?v=bjSAf41PWWI&feature=emb_imp_woyt
社区越来越大
随着零知识证明采用的增加，对这项技术感兴趣的人数大幅增加。ZKHack和zkSummit是社区中的两个标志性事件，在这两个事件中都聚集了2500多人。这些活动的一个亮点是多个生态项目的聚集，以及生态系统新人接触重要项目的机会。
研究很重要
认为零知识局限于区块链行业是错误的。通用研究正在兴起。学术界围绕该主题发表了大量论文。据谷歌学术统计，仅在2022年，零知识研究就发表了67,100篇文章，比2021年增加了2,000篇。但是，这方面的论文数量自2018年以来大幅下降。
结论
我们的年度总结到此结束！尽管过去一年的大部分叙述都是围绕可扩展性展开的，但我们希望在接下来的几个月里，我们能够看到一波使用零知识的以隐私为中心的协议浪潮。2022年是零知识证明取得突破的一年：ZK技术正从研究走向区块链行业及现实世界的其他领域。我们认为这是一个更大可能性的开端。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。