Brevis：ZK 全链数据计算和验证平台
此文虽长，但值得一读
众所周知，Web2 应用通常像一个个被围墙隔离起来的花园，独立运行，这导致了其数据互操作性受限、用户锁定和身份碎片化等问题。基于区块链构建的 Web3 去中心化应用 (dApps）确实可以解决这些问题。然而，作为 dApp 核心的智能合约目前无法以去信任的方式来访问和利用存储在多个区块链完整历史中的大量数据。
为了解除这个限制，我们推出了 Brevis，一个 ZK 全链数据计算和验证平台，它使 dApp 能够以完全去信任的方式访问、计算和利用跨多个区块链的任意数据。
图 1. Brevis 架构
Brevis 的架构包括三个组件：zkFabric、zkQueryNet 和 zkAggregatorRollup。
zkFabric 从所有连接的区块链中收集「区块头」，通过 ZK 轻客户端电路证明其有效性后，生成共识证明。该组件对于 dApps 以去信任的方式自由访问「区块头」以及受支持区块链的所有状态至关重要。
zkQueryNet 是一个提供 ZK 查询引擎的开放市场，可直接接受来自链上智能合约的数据查询，并通过 ZK 查询引擎电路生成查询结果和相应的 ZK 查询证明。其中一些引擎提供高度专业化的查询，例如计算可配置时间段内的 dex 交易量；另一些引擎高度通用化，支持数据索引抽象和高级查询语言，以满足各种应用需求。
zkAggregatorRollup 是一个专门的 ZK rollup，充当 zkFabric 和 zkQueryNet 的聚合和存储层。它验证来自这两个组件的证明，存储证明数据，并将其 zk 证明状态根提交给所有连接的区块链，允许 dApp 直接在自身链上智能合约的业务逻辑中访问证明查询结果。
通过这种模块化架构，Brevis 可以为链上智能合约提供完全去信任、灵活且高效的全链数据访问和计算能力。Brevis 解锁了全新的 dApp 开发范式，支持广泛的用例，例如数据驱动型 DeFi、zk 跨链桥、链上用户获取、zkDID、社交帐户抽象化等等。
在 Brevis 最初的概念验证中，我们用 gnark 在 zkFabric 中构建了一些当前运行最快的 ZK 轻客户端电路（https://github.com/celer-network/brevis-circuits）， 用于 Ethereum PoS、Cosmos 和 BNB Chain，使任何 EVM 和非 EVM 链能够以完全去信任的方式访问这三条链的状态。
表 1 总结了一些关键电路性能基准数据（数据由20 核、2.3GHz 、 384GB 内存的 Linux 服务器取得，测试未使用 GPU 加速）。使用这些 ZK 轻客户端电路，我们实现了一个面向用户、支持 Ethereum Goeril 和 BNB Chain 之间跨链的资产zkBridge（https://zkbridge.brevis.network/）。
想要深入了解 Brevis，请继续阅读本文。欢迎参阅 Brevis 白皮书（https://get.celer.app/brevis/BrevisWhitePaper_03211833.pdf），获取全面的技术信息。
Web3.0 dApp
正在错失全链数据的潜在价值
Web 2.0 应用彻底改变了互联网用户的交互和内容生成模式。然而，这些应用通常像被围墙隔离开的花园一样单独运作，用户数据存储在由平台供应商控制的中心化数据库中。这导致了数据互操作性受限、身份碎片化、金融和社交数据锁定等诸多问题，从而导致了创新受阻、供应商锁定、隐私滥用和用户体验碎片化等后果。
构建在区块链上的 Web3 去中心化应用 (dApp) 将能够打破这些信息孤岛，这是因为区块链的数据存储仅允许在原有基础上添加新信息，且所有数据可公开访问。随着多链生态扩展，也因为 dApp 的日益普及，L1 区块链和 L2 rollup 积累了丰富的原始数据—例如资产转移、合约函数调用、合约内事件和区块链状态根，这些数据将使我们能够提取有价值的信息，例如资产所有权、用户活动概况、社交图谱、金融联系、市场价格趋势、交易量等。
许多链下产品和项目已经在利用可公开访问数据存储的以上特性 — Dune Analytics 和 Graph 等产品能够为区块链应用提供跨时间段的链下数据索引或数据分析。它们还可为 dApp 的前端 UI 提供状态数据，例如用户交易历史记录。这些应用以链下方式访问区块链数据，通过区块链节点的 RPC 端口记录、索引和计算数据。
很自然，我们会认为链上区块链应用或智能合约应该能够以完全去信任的方式，在其业务逻辑中轻松访问和利用这些全链数据，毕竟，这些 dApp 是区块链内部的「原生居民」。
然而，事实并非如此。
事实上，Web3 dApp 无法以完全去信任的方式访问存储在区块链中的绝大部分数据。这是因为部署在单个区块链上的智能合约存在于区块链虚拟机这一场景中，因此只能通过以下方式访问数据：
(1) 通过其他智能合约明确定义的接口；
(2) 数据须在 dApp 本身所在的区块链上；
(3) 只能获得当前状态，无法获得完整的历史数据。
有人可能会说，有一些方案理论上是可以解决上述问题的，例如直接在智能合约中解析和计算数据查询语义，或者使用基于纯智能合约、去信任的轻客户端来验证共识算法。然而，由于高昂的链上计算成本，这些方法实际并不可行。我们可以使用链下预言机，但它们需要依赖预言机本身的外部安全性来确保数据有效性。
那么，我们怎么让智能合约访问和计算任何区块链内任意时间段的数据呢？
零知识简洁证明：计算迁移的魔法
零知识简洁证明技术 (ZKP) 是密码学中的一个新兴领域，有可能改变我们的数字交互模式。它允许一方向另一方证明计算的有效性，而无需透露有关输入值的任何信息。验证方只需要运行一个计算成本低廉的程序（称为验证程序）来确认计算的准确性。
ZKP 不仅能提供隐私保护，还可以将计算从高单位成本方迁移至低单位成本方。证明者通过执行昂贵的计算操作来完成计算并生成密码证明，而验证者运行成本较低的操作来验证证明。这个过程将产生大量计算的位置从验证者转移到证明者，如果证明者的单位计算成本远低于验证者的计算成本，那么对于整个证明系统来讲这将是一个更高效的处理方式。这种计算迁移属性是许多 ZK rollup 的驱动力，我们也将利用此属性来设计 Brevis。
Brevis 系统概述
如图 1 所示，Brevis 的架构包含三个主要组件：zkFabric、zkQueryNet 和 zkAggregatorRollup。zkFabric 从所有连接的区块链中收集「区块头」，并生成证明其有效性的 ZK 共识证明。这些「区块头」经过进一步的 zk 验证，存储在 zkAggregatorRollup 中。zkQueryNet 接受来自 dApp 的数据查询，并根据存储在 zkAggregatorRollup 中已经证明的「区块头」生成 ZK 查询证明。这些查询结果经过 zk 验证后，也会存储在 zkAggregatorRollup 中。
本质上，zkAggregatorRollup 是一个 ZK rollup，充当 zkFabric 和 zkQueryNet 的聚合和存储层。通过提交 zk 证明过的状态根至所有 Brevis 连接的区块链，zkAggregatorRollup 允许 dApp 访问已经证明的查询结果，并以去信任的方式直接在其链上智能合约逻辑中加以使用。
了解整体概述后，我们现在详细解析每个组件。
首先，为了利用多链上的任意数据，dApp 需要以一种去信任的方式访问其本地链以外的其他链的「区块头」。这是因为「区块头」包含可用于访问区块链中数据和状态的状态根。为了满足这一需求，我们引入了 zkFabric 来为所有支持的链的「区块头」生成 ZK 共识证明。一个轻客户端电路会生成共识证明，证明所验证的「区块头」是根据相应区块链的共识规则生成的。zkFabric 本身是一个去中心化系统，由「区块头」中继器和证明者网络组成。
为了从已经 zk 证明的「区块头」中提取有价值的信息，我们搭建了 zkQueryNet，一个提供各式 ZK 查询引擎的开放市场，dApp 开发者和智能合约可直接与其交互 。dApp 开发者可以选择符合自己需求的 ZK 查询引擎，并通过智能合约中的高级 API 编写查询请求。
运行期间，智能合约可以针对特定的 ZK 查询引擎调用 zkQueryNet 的代理智能合约。该 ZK 查询引擎的证明者将接收此查询请求。ZK 查询引擎使用 zkFabric 提供的已经 zk 证明的 「区块头」，计算查询结果并生成 ZK 查询证明，证明计算已正确完成。
不同的 ZK 查询引擎可以提供各式各样的API，可以是通用查询语言，也可以是具有固定参数的高度具体的函数调用。例如，在服务非常具体的查询请求的用例中，一个 ZK 查询引擎可能只公开一个接受两个区块编号和两个链 ID 的函数，用以查询 Uniswap 上指定时间段内这两条区块链上 ETH/USDC 交易对的加权平均价格。另一方面，通用的 ZK 查询引擎可以使用高级数据库查询语言（例如 SQL 或 GraphQL）给开发者提供区块链索引抽象，这会非常类似于链下数据解决方案（如 Dune Analytics 和 Graph）中执行的操作。
Brevis 将提供一组 ZK 查询引擎，以合理的灵活性和高性能解决许多现存用例。由于 zkQueryNet 是一个开放的市场，我们期望 dApp 开发者和第三方平台也能提供其他 ZK 查询引擎，以更好地服务多样化的应用生态。
最后，zkAggregatorRollup 是由轻量级 ZK 虚拟机提供支持的 ZK rollup 区块链，它汇总了来自 zkQueryNet 和 zkFabric 的不同证明和输入信息。具体而言，zkAggregatorRollup VM runtime 具有以下功能：
(1)递归验证由 zkQueryNet 和 zkFabric 生成的证明；
(2)存储来自 zkFabric 的已由 zk 验证的区块头；
(3)存储查询请求和 zk 验证结果。
在接入一个新的 ZK 查询引擎或添加新的共识类型时，zkAggregatorRollup 将扩展支持相应的 ZK 证明验证。此外，许多 ZK rollup 链仅将其状态根级数证明提交给单个区块链，zkAggregatorRollup 的不同之处在于，它会将其状态根证明提交给 Brevis 支持的所有区块链。
因为 zkAggregatorRollup 支持的所有链上均有其状态根，智能合约可以通过数据包含证明获取查询结果和区块头。使用 zkAggregatorRollup 作为聚合点的主要好处是将区块头通信或验证成本从 O(N^2) 减少到 O(N)（其中 N 是 Brevis 支持的区块链数量），并在所有连接的区块链之间高效地按需分享查询结果。
综上所述，Brevis 具有以下主要优势：
- 去信任：Brevis 不依赖任何链下方来证明数据和计算的完整性；相反，它仅依赖于 ZK 简洁证明。因此，使用 Brevis 的应用除了信任底层区块链和密码学协议外，无需接受任何额外的信任假设；
- 全链支持：Brevis 可集成基于不同共识机制运行的多个区块链，以支持全链数据访问和计算；
- 模块化：Brevis 在其 zkQueryNet 中进行了高度模块化的设计，因此可以通过搭建不同的 ZK 查询引擎满足不同受众和设计的广泛应用需求；
- 低成本：Brevis 的 zkAggregatorRollup 本质上是区块头和查询结果的批处理和聚合层。因此，zkAggregatorRollup 通过消除 N 对 N 通信成本、共享跨链和跨应用查询结果，显着降低了链上成本。
值得注意的是，Brevis 与 Dune Analytics 和 Graph 等链下数据索引解决方案之间的主要区别在于， Brevis 可以生成已经 zk 证明的查询结果，链上智能合约的业务逻辑可以去信任的方式直接使用这些查询结果，而链下解决方案的数据结果只能用于基于 web2 的数据分析情境之中。
用例演示
图 2 - 用例演示
在讨论广泛的用例之前，我们提供了一个具体的应用示例来概述 Brevis 的工作流程。注意，此概述抽象了一些关键细节，我们建议读者参阅完整的白皮书以获取详细信息。
像 PancakeSwap 这样部署在多链上的去中心化交易所 (DEX) 通常需要根据交易对质量得分（例如平均每日交易量、14 天交易量、价格波动、活跃交易用户数量和活跃流动性提供者数量）动态调整所有链上流动性池的奖励。
目前，此类调整必须通过社区治理建议进行，这需要大量的人力开销，并且只能在奖励设置严重偏离最佳方案时才能完成。这种次优奖励配置，通常落后于市场趋势，并会导致用户参与度下降、收益损失和资金库预算浪费。
Brevis 使 DEX 能够根据当前全链市场趋势，通过程式化和去信任的方式调整流动性激励计划，以应对这些挑战。为简单起见，假设我们只想获取交易量这一数据，并且在 zkQueryNet 中有一个 ZK 查询引擎 解密 Silvergate 与硅谷银行危机：一场美元加息周期下的豪赌 撰文：0xmin美国中小银行接连暴雷！3月8日，以加密货币友好著名的银行SilvergateBank宣布清盘，将所有存款退还客户。3月10日，专门为硅谷科技公司提供金融服务的硅谷银行(SiliconValleyBank)出售210亿美元的可销售证... 01摘要TL;DR:来源上，ETHStakingExtractableValue可以分为ConsensusIncome、ExecutionIncome和MEV三类；流向上，ETHStakingExtractableValue可以分为ValidatorCapturedValue（ValidatorStakingIncome）和ValidatorUn... 看文章前先来打个广告！由ZonffPartners发起的首期面向全球华人创业者的Web3创业加速器Aceleap正在报名中！我们将为创业者带来持续5个月、近40个主题的专题授课，还设置有Demoday、企业日、人才日、大咖分享、线下团... 代理模式使智能合约能够升级其逻辑，同时维持其链上地址和状态值。对代理合约的调用会通过delegateCall的方式执行来自逻辑合约的代码，以修改代理合约的状态。本文将为大家概述代理合约的类型、相关的安全事件和建议... 2022.01.02-02.08Part.1InsightGameFi已死？我们做了一个加密游戏全生态产业图作者：Fiona,IOSGVentures本文为IOSG原创内容，仅做行业学习交流之用，不构成任何投资参考。如需引用，请注明来源，转载请联系IOSG团队...