ZK协处理器可以被认为是源自模块化概念的链外计算插件,类似于传统计算机中GPU从CPU上分担图形计算任务,处理特定的计算任务。在这个设计框架中,公链不擅长的任务,比如“高负载数据”、“复杂计算逻辑”,都可以由ZK协处理器来计算,链只接收返回的计算结果。它们的正确性则由 ZK 证明保证,最终实现复杂任务的可信链下计算。
目前,AI、SocialFi、DEX、GameFi 等热门应用对高性能和成本控制有着迫切的需求。在传统的解决方案中,这些对性能要求较高的“高负载应用”往往会选择资产链上+链下的应用模式或者设计单独的应用链。但这两种方式都存在固有的问题:前者存在“黑匣子”,后者则面临开发成本高、脱离原有链生态、流动性碎片化等问题。此外,主链虚拟机对此类应用的开发和运行带来了很大的限制(例如缺乏应用层标准、复杂的开发语言)。
ZK 协处理器致力于解决这些问题。举个更详细的例子,我们可以把区块链想象成一个无法连接互联网的终端(比如手机或电脑)。在这种情况下,我们可以完全在链上运行相对简单的应用程序,例如 Uniswap 或其他 DeFi 应用程序。但当出现更复杂的应用程序时,比如运行类似ChatGPT的应用程序时,公链的性能和存储将完全不足,导致gas激增。在Web2场景下,当我们运行ChatGPT时,我们的普通终端本身无法处理GPT-4o大语言模型;我们需要连接到OpenAI的服务器来转发问题,服务器计算并推断结果后,我们直接收到答案。ZK 协处理器就像区块链的远程服务器。虽然不同的协处理器项目根据项目类型可能会有轻微的设计差异,但底层逻辑仍然大致相似——链下计算 + ZK 证明或用于验证的存储证明。
以 Rise Zero 的 Bonsai 部署为例,这个架构非常简单。该项目无缝集成到 Rise Zero 自家的 zkVM 中,开发者只需要两个简单的步骤即可使用 Bonsai 作为协处理器:
从上面的定义可以看出,Rollups 和 ZK 协处理器具有高度重叠的实现逻辑和目标。但Rollups更像是主链的多核扩展,两者的具体区别如下:
1.主要目的:
2.工作原理:
3.状态管理:
4.应用场景:
5.与主链的关系:
因此,以上两者并不相互排斥,而是互补的。即使Rollup以应用链的形式存在,ZK协处理器仍然可以提供服务。
理论上,ZK协处理器的应用范围非常广泛,涵盖了区块链各个领域的项目。ZK 协处理器使 Dapp 的功能更接近中心化 Web2 应用程序的功能。以下是从在线资源收集的一些示例用例:
数据驱动的 DApp 开发:
ZK 协处理器使开发人员能够创建数据驱动的 Dapp,利用完整的链上历史数据进行复杂的计算,而无需额外的信任假设。这为 Dapp 开发带来了前所未有的可能性,例如:
DEX 的 VIP 交易者计划:
根据 DEX 交易量实施费用折扣计划,称为“VIP 交易者忠诚度计划”,这是一个典型的应用场景。此类程序在 CEX 中很常见,但在 DEX 中很少见。
借助 ZK 协处理器,DEX 可以:
智能合约的数据增强:
ZK协处理器可以作为强大的中间件,为智能合约提供数据采集、计算和验证服务,从而降低成本、提高效率。这使得智能合约能够:
跨链桥技术:
一些基于ZK的跨链桥技术,例如希罗多德(Herodotus)和拉格朗日(Lagrange),也可以考虑是ZK协处理器的应用。这些技术主要侧重于数据提取和验证,为跨链通信提供可信的数据基础。
尽管ZK 协处理器有众多优点,但现阶段它还远非达到完美,并且面临着一些问题。我总结了以下几点:
(本节主观性很强,仅代表作者个人观点。)
这个周期主要由模块化基础设施主导。如果模块化是正确的发展之旅,那么这个周期可能是迈向大规模采用的最后一步。然而,在目前的阶段,我们都存在一个共同的疑问:为什么我们看到的只是一些旧应用的重新包装,为什么链的数量超过了应用的数量,为什么像“铭文”这样的新代币标准被称为这个周期的最大创新?
缺乏新叙事的根本原因是当前的模块化基础设施不足以支持超级应用,尤其是缺乏一些前提条件(如跨链互操作性、用户壁垒等),导致了区块链历史上最显著的碎片化。作为模块化时代的核心,Rollups确实加速了进程,但也带来了许多问题,如流动性碎片化、用户分散以及链或虚拟机本身对应用创新的限制。此外,模块化中的另一个“关键玩家”Celestia开创了DA不一定在以太坊上的路径,进一步加剧了碎片化。无论是出于意识形态还是DA成本的驱动,结果是BTC被迫成为DA,而其他公链则致力于提供更具成本效益的DA解决方案。目前的情况是,每条公链至少有一个(如果不是几十个)Layer2项目。此外,所有基础设施和生态系统项目都深刻学习了Blur开创的代币质押策略,要求用户在项目内质押代币。这种模式从三个方面(利息、ETH或BTC升值和免费代币)惠及鲸鱼,进一步压缩了链上的流动性。
在过去的牛市中,资金仅在少数几个公链中流动,甚至主要集中在以太坊上。现在,资金分散到数百条公链上,并在数千个类似的项目中质押,导致链上活动减少。即使以太坊也缺乏链上活动。因此,出于必要性,东方玩家在BTC生态系统中进行PVP,而西方玩家则在Solana上进行PVP。
因此,我目前关注的是如何促进跨链的聚合流动性,并支持新玩法和超级应用的出现。在跨链互操作性领域,传统的领先项目一直表现不佳,仍然类似于传统的跨链桥。我们在之前的报告中讨论的新互操作性解决方案主要旨在将多个链聚合成一个链。例子包括AggLayer、Superchain、Elastic Chain、JAM 等,这里不再详细说明。总之,跨链聚合是模块化基础设施中的一个必要难关,但需要很长时间才能克服。
ZK协处理器是当前阶段的关键组成部分。它们可以增强Layer2,并补充Layer1。是否有办法暂时克服跨链和三难困境,使我们能够在某些拥有广泛流动性的Layer1或Layer2上实现一些当前时代的应用?毕竟,区块链应用缺乏新叙事。此外,通过集成协处理器解决方案来实现多样的玩法、gas控制、大规模应用、跨链能力,并降低用户壁垒,可能比依赖中心化更加理想。
ZK协处理器领域在2023年左右出现,现阶段已经相对成熟。根据Messari的分类,该领域目前涵盖通用计算、互操作和跨链、人工智能和机器训练三大垂直领域,共有18个项目。这些项目大多数都得到了领先风险投资公司的支持。下面,我们描述了来自不同垂直领域的几个项目。
Giza是部署在Starknet上的zkML(零知识机器学习)协议,由StarkWare官方提供支持。它专注于使人工智能模型能够在区块链智能合约中进行可验证的使用。开发者可以在Giza网络上部署人工智能模型,然后通过零知识证明来验证模型推理的正确性,并将结果以去信任的方式提供给智能合约。这使得开发人员能够构建结合人工智能功能的链上应用程序,同时保持区块链的去中心化和可验证性。
Giza通过以下三个步骤完成工作流程:
Giza 的方法让人工智能模型作为智能合约的可信输入源,而无需依赖中心化预言机或可信执行环境。这为区块链应用开辟了新的可能性,例如基于人工智能的资产管理、欺诈检测和动态定价。它是当前Web3 x AI空间中为数不多的、具有逻辑闭环并且在AI领域巧妙使用协处理器的项目之一。
Risc Zero 是一个领先的协处理器项目,得到了多家顶级风投公司的支持。它专注于使任何计算能够在区块链智能合约中可验证地执行。开发人员可以用 Rust 编写程序并将其部署在 RISC Zero 网络上。然后,RISC Zero 通过零知识证明来验证程序执行的正确性,并将结果以去信任的方式提供给智能合约。这使得开发人员能够构建复杂的链上应用程序,同时保持区块链的去中心化和可验证性。
我们之前简单提到了部署和工作流程。在这里,我们详细介绍了两个关键组件:
Risc Zero 与多个 ETH Layer2 解决方案集成,并演示了 Bonsai 的各种用例。Bonsai Pay 就是一个值得关注的案例。该演示使用 RISC Zero 的 zkVM 和 Bonsai 证明服务,允许用户使用其 Google 帐户在以太坊上发送或提取 ETH 和代币。它展示了 RISC Zero 如何将链上应用程序与 OAuth2.0(Google 等主要身份提供商使用的标准)无缝集成,提供通过传统 Web2 应用程序降低 Web3 用户障碍的用例。其他示例包括基于 DAO 的应用程序。
=nil; 是一个由著名实体如 Mina、Polychain、Starkware 和 Blockchain Capital 支持的投资项目。特别是像 Mina 和 Starkware 这样的 zk 技术先锋作为支持者,表明了对该项目的高技术认可。=nil; 还在我们的报告《计算力市场》中被提及,主要关注于 Proof Market(一个去中心化的证明生成市场)。此外,=nil; 还有一个名为 zkLLVM 的子产品。
zkLLVM 是由 =nil; 基金会开发的创新型电路编译器,它可以自动将用主流编程语言(如 C++ 和 Rust)编写的应用代码转换为高效、可证明的以太坊电路,而无需专门的零知识领域特定语言(DSL)。这大大简化了开发过程,降低了入门门槛,并通过避免 zkVM 提升了性能。zkLLVM 支持硬件加速以加速证明生成,适用于各种 ZK 应用场景,如 rollups、跨链桥、预言机、机器学习和游戏。它与 =nil; 基金会的 Proof Market 紧密集成,为开发者提供了从电路创建到证明生成的端到端支持。
Brevis 是 Celer Network 的子项目,是区块链的智能零知识 (ZK) 协处理器,使 dApp 能够以完全去信任的方式跨多个区块链访问、计算和利用任意数据。与其他协处理器一样,Brevis 拥有广泛的用例,例如数据驱动的 DeFi、zkBridges、链上用户获取、zkDID 和社交帐户抽象。
Brevis 架构由三个主要组件组成:
通过这种模块化架构,Brevis可以为所有支持的公链智能合约提供去信任、高效、灵活的访问方式。UNI的V4版本也采用了该项目,并与Hooks(集成各种用户自定义逻辑的系统)集成,方便读取历史区块链数据,减少gas费,同时保证去中心化。这是 zk 协处理器推广 DEX 的示例。
Lagrange 是由1kx和Founders Fund主导的互操作性zk协处理器协议,主要旨在提供去信任的跨链互操作性并为需要大规模数据复杂计算的应用程序提供支持。与传统的节点桥不同,Lagrange 的跨链互操作性主要是通过其创新的ZK大数据和状态委员会机制来实现的。
Lagrange 已经与 EigenLayer、Mantle、Base、Frax、Polymer、LayerZero、Omni、AltLayer 等集成,并将成为第一个链接到以太坊生态系统的 ZK AVS。
YBB 是一个致力于识别定义 Web3 的项目的 Web3 基金,旨在为所有互联网居民创造更好的在线环境。YBB 由一群自 2013 年以来就积极参与区块链行业的信仰者创立,始终愿意帮助早期项目实现从零到一的演变。我们重视创新、自我驱动的热情和以用户为导向的产品,同时认识到加密货币和区块链应用的潜力。
参考资料:
ABCDE:深入探讨ZK协处理器及其未来:https://medium.com/ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
“ZK” :您所需的一切:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52
Risc Zero:https://www.risczero.com/bonsai
Lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
AxiomBlog:https://blog.axiom.xyz/
氮气加速! ZK协处理器如何打破智能合约数据壁垒:https://foresightnews.pro/article/detail/48239
本文转载自[medium]。所有版权归原作者所有【YBB Capital Researcher Zeke】所有。若对本次转载有异议,请联系Gate Learn团队,他们会及时处理。
免责声明:本文所表达的观点和意见仅代表作者个人观点,不构成任何投资建议。
本文的其他语言翻译由 Gate Learn 团队完成。除非另有说明,否则禁止复制、分发或抄袭翻译文章。
ZK协处理器可以被认为是源自模块化概念的链外计算插件,类似于传统计算机中GPU从CPU上分担图形计算任务,处理特定的计算任务。在这个设计框架中,公链不擅长的任务,比如“高负载数据”、“复杂计算逻辑”,都可以由ZK协处理器来计算,链只接收返回的计算结果。它们的正确性则由 ZK 证明保证,最终实现复杂任务的可信链下计算。
目前,AI、SocialFi、DEX、GameFi 等热门应用对高性能和成本控制有着迫切的需求。在传统的解决方案中,这些对性能要求较高的“高负载应用”往往会选择资产链上+链下的应用模式或者设计单独的应用链。但这两种方式都存在固有的问题:前者存在“黑匣子”,后者则面临开发成本高、脱离原有链生态、流动性碎片化等问题。此外,主链虚拟机对此类应用的开发和运行带来了很大的限制(例如缺乏应用层标准、复杂的开发语言)。
ZK 协处理器致力于解决这些问题。举个更详细的例子,我们可以把区块链想象成一个无法连接互联网的终端(比如手机或电脑)。在这种情况下,我们可以完全在链上运行相对简单的应用程序,例如 Uniswap 或其他 DeFi 应用程序。但当出现更复杂的应用程序时,比如运行类似ChatGPT的应用程序时,公链的性能和存储将完全不足,导致gas激增。在Web2场景下,当我们运行ChatGPT时,我们的普通终端本身无法处理GPT-4o大语言模型;我们需要连接到OpenAI的服务器来转发问题,服务器计算并推断结果后,我们直接收到答案。ZK 协处理器就像区块链的远程服务器。虽然不同的协处理器项目根据项目类型可能会有轻微的设计差异,但底层逻辑仍然大致相似——链下计算 + ZK 证明或用于验证的存储证明。
以 Rise Zero 的 Bonsai 部署为例,这个架构非常简单。该项目无缝集成到 Rise Zero 自家的 zkVM 中,开发者只需要两个简单的步骤即可使用 Bonsai 作为协处理器:
从上面的定义可以看出,Rollups 和 ZK 协处理器具有高度重叠的实现逻辑和目标。但Rollups更像是主链的多核扩展,两者的具体区别如下:
1.主要目的:
2.工作原理:
3.状态管理:
4.应用场景:
5.与主链的关系:
因此,以上两者并不相互排斥,而是互补的。即使Rollup以应用链的形式存在,ZK协处理器仍然可以提供服务。
理论上,ZK协处理器的应用范围非常广泛,涵盖了区块链各个领域的项目。ZK 协处理器使 Dapp 的功能更接近中心化 Web2 应用程序的功能。以下是从在线资源收集的一些示例用例:
数据驱动的 DApp 开发:
ZK 协处理器使开发人员能够创建数据驱动的 Dapp,利用完整的链上历史数据进行复杂的计算,而无需额外的信任假设。这为 Dapp 开发带来了前所未有的可能性,例如:
DEX 的 VIP 交易者计划:
根据 DEX 交易量实施费用折扣计划,称为“VIP 交易者忠诚度计划”,这是一个典型的应用场景。此类程序在 CEX 中很常见,但在 DEX 中很少见。
借助 ZK 协处理器,DEX 可以:
智能合约的数据增强:
ZK协处理器可以作为强大的中间件,为智能合约提供数据采集、计算和验证服务,从而降低成本、提高效率。这使得智能合约能够:
跨链桥技术:
一些基于ZK的跨链桥技术,例如希罗多德(Herodotus)和拉格朗日(Lagrange),也可以考虑是ZK协处理器的应用。这些技术主要侧重于数据提取和验证,为跨链通信提供可信的数据基础。
尽管ZK 协处理器有众多优点,但现阶段它还远非达到完美,并且面临着一些问题。我总结了以下几点:
(本节主观性很强,仅代表作者个人观点。)
这个周期主要由模块化基础设施主导。如果模块化是正确的发展之旅,那么这个周期可能是迈向大规模采用的最后一步。然而,在目前的阶段,我们都存在一个共同的疑问:为什么我们看到的只是一些旧应用的重新包装,为什么链的数量超过了应用的数量,为什么像“铭文”这样的新代币标准被称为这个周期的最大创新?
缺乏新叙事的根本原因是当前的模块化基础设施不足以支持超级应用,尤其是缺乏一些前提条件(如跨链互操作性、用户壁垒等),导致了区块链历史上最显著的碎片化。作为模块化时代的核心,Rollups确实加速了进程,但也带来了许多问题,如流动性碎片化、用户分散以及链或虚拟机本身对应用创新的限制。此外,模块化中的另一个“关键玩家”Celestia开创了DA不一定在以太坊上的路径,进一步加剧了碎片化。无论是出于意识形态还是DA成本的驱动,结果是BTC被迫成为DA,而其他公链则致力于提供更具成本效益的DA解决方案。目前的情况是,每条公链至少有一个(如果不是几十个)Layer2项目。此外,所有基础设施和生态系统项目都深刻学习了Blur开创的代币质押策略,要求用户在项目内质押代币。这种模式从三个方面(利息、ETH或BTC升值和免费代币)惠及鲸鱼,进一步压缩了链上的流动性。
在过去的牛市中,资金仅在少数几个公链中流动,甚至主要集中在以太坊上。现在,资金分散到数百条公链上,并在数千个类似的项目中质押,导致链上活动减少。即使以太坊也缺乏链上活动。因此,出于必要性,东方玩家在BTC生态系统中进行PVP,而西方玩家则在Solana上进行PVP。
因此,我目前关注的是如何促进跨链的聚合流动性,并支持新玩法和超级应用的出现。在跨链互操作性领域,传统的领先项目一直表现不佳,仍然类似于传统的跨链桥。我们在之前的报告中讨论的新互操作性解决方案主要旨在将多个链聚合成一个链。例子包括AggLayer、Superchain、Elastic Chain、JAM 等,这里不再详细说明。总之,跨链聚合是模块化基础设施中的一个必要难关,但需要很长时间才能克服。
ZK协处理器是当前阶段的关键组成部分。它们可以增强Layer2,并补充Layer1。是否有办法暂时克服跨链和三难困境,使我们能够在某些拥有广泛流动性的Layer1或Layer2上实现一些当前时代的应用?毕竟,区块链应用缺乏新叙事。此外,通过集成协处理器解决方案来实现多样的玩法、gas控制、大规模应用、跨链能力,并降低用户壁垒,可能比依赖中心化更加理想。
ZK协处理器领域在2023年左右出现,现阶段已经相对成熟。根据Messari的分类,该领域目前涵盖通用计算、互操作和跨链、人工智能和机器训练三大垂直领域,共有18个项目。这些项目大多数都得到了领先风险投资公司的支持。下面,我们描述了来自不同垂直领域的几个项目。
Giza是部署在Starknet上的zkML(零知识机器学习)协议,由StarkWare官方提供支持。它专注于使人工智能模型能够在区块链智能合约中进行可验证的使用。开发者可以在Giza网络上部署人工智能模型,然后通过零知识证明来验证模型推理的正确性,并将结果以去信任的方式提供给智能合约。这使得开发人员能够构建结合人工智能功能的链上应用程序,同时保持区块链的去中心化和可验证性。
Giza通过以下三个步骤完成工作流程:
Giza 的方法让人工智能模型作为智能合约的可信输入源,而无需依赖中心化预言机或可信执行环境。这为区块链应用开辟了新的可能性,例如基于人工智能的资产管理、欺诈检测和动态定价。它是当前Web3 x AI空间中为数不多的、具有逻辑闭环并且在AI领域巧妙使用协处理器的项目之一。
Risc Zero 是一个领先的协处理器项目,得到了多家顶级风投公司的支持。它专注于使任何计算能够在区块链智能合约中可验证地执行。开发人员可以用 Rust 编写程序并将其部署在 RISC Zero 网络上。然后,RISC Zero 通过零知识证明来验证程序执行的正确性,并将结果以去信任的方式提供给智能合约。这使得开发人员能够构建复杂的链上应用程序,同时保持区块链的去中心化和可验证性。
我们之前简单提到了部署和工作流程。在这里,我们详细介绍了两个关键组件:
Risc Zero 与多个 ETH Layer2 解决方案集成,并演示了 Bonsai 的各种用例。Bonsai Pay 就是一个值得关注的案例。该演示使用 RISC Zero 的 zkVM 和 Bonsai 证明服务,允许用户使用其 Google 帐户在以太坊上发送或提取 ETH 和代币。它展示了 RISC Zero 如何将链上应用程序与 OAuth2.0(Google 等主要身份提供商使用的标准)无缝集成,提供通过传统 Web2 应用程序降低 Web3 用户障碍的用例。其他示例包括基于 DAO 的应用程序。
=nil; 是一个由著名实体如 Mina、Polychain、Starkware 和 Blockchain Capital 支持的投资项目。特别是像 Mina 和 Starkware 这样的 zk 技术先锋作为支持者,表明了对该项目的高技术认可。=nil; 还在我们的报告《计算力市场》中被提及,主要关注于 Proof Market(一个去中心化的证明生成市场)。此外,=nil; 还有一个名为 zkLLVM 的子产品。
zkLLVM 是由 =nil; 基金会开发的创新型电路编译器,它可以自动将用主流编程语言(如 C++ 和 Rust)编写的应用代码转换为高效、可证明的以太坊电路,而无需专门的零知识领域特定语言(DSL)。这大大简化了开发过程,降低了入门门槛,并通过避免 zkVM 提升了性能。zkLLVM 支持硬件加速以加速证明生成,适用于各种 ZK 应用场景,如 rollups、跨链桥、预言机、机器学习和游戏。它与 =nil; 基金会的 Proof Market 紧密集成,为开发者提供了从电路创建到证明生成的端到端支持。
Brevis 是 Celer Network 的子项目,是区块链的智能零知识 (ZK) 协处理器,使 dApp 能够以完全去信任的方式跨多个区块链访问、计算和利用任意数据。与其他协处理器一样,Brevis 拥有广泛的用例,例如数据驱动的 DeFi、zkBridges、链上用户获取、zkDID 和社交帐户抽象。
Brevis 架构由三个主要组件组成:
通过这种模块化架构,Brevis可以为所有支持的公链智能合约提供去信任、高效、灵活的访问方式。UNI的V4版本也采用了该项目,并与Hooks(集成各种用户自定义逻辑的系统)集成,方便读取历史区块链数据,减少gas费,同时保证去中心化。这是 zk 协处理器推广 DEX 的示例。
Lagrange 是由1kx和Founders Fund主导的互操作性zk协处理器协议,主要旨在提供去信任的跨链互操作性并为需要大规模数据复杂计算的应用程序提供支持。与传统的节点桥不同,Lagrange 的跨链互操作性主要是通过其创新的ZK大数据和状态委员会机制来实现的。
Lagrange 已经与 EigenLayer、Mantle、Base、Frax、Polymer、LayerZero、Omni、AltLayer 等集成,并将成为第一个链接到以太坊生态系统的 ZK AVS。
YBB 是一个致力于识别定义 Web3 的项目的 Web3 基金,旨在为所有互联网居民创造更好的在线环境。YBB 由一群自 2013 年以来就积极参与区块链行业的信仰者创立,始终愿意帮助早期项目实现从零到一的演变。我们重视创新、自我驱动的热情和以用户为导向的产品,同时认识到加密货币和区块链应用的潜力。
参考资料:
ABCDE:深入探讨ZK协处理器及其未来:https://medium.com/ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
“ZK” :您所需的一切:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52
Risc Zero:https://www.risczero.com/bonsai
Lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
AxiomBlog:https://blog.axiom.xyz/
氮气加速! ZK协处理器如何打破智能合约数据壁垒:https://foresightnews.pro/article/detail/48239
本文转载自[medium]。所有版权归原作者所有【YBB Capital Researcher Zeke】所有。若对本次转载有异议,请联系Gate Learn团队,他们会及时处理。
免责声明:本文所表达的观点和意见仅代表作者个人观点,不构成任何投资建议。
本文的其他语言翻译由 Gate Learn 团队完成。除非另有说明,否则禁止复制、分发或抄袭翻译文章。