- 从区块链上拿数据，并通过ZK证明我拿的数据是真的，没掺假；
- 根据刚才拿到的数据做出相应的计算，并再次通过ZK证明我算的结果也是真的，没掺假，计算结果就可以被智能合约“低费用+Trustless”的调用了。
- Brevis:
zkFabric： 从所有连接的区块链中收集区块头，并生成证明这些区块头有效性的 ZK 共识证明。通过zkFabric, Brevis 实现了对多链可互操作的协处理器，也就是能够让一个区块链访问另外一个区块链的任意历史数据。
zkQueryNet： 一个开放的 ZK 查询引擎市场，可接受来自 dApp 的数据查询，并对其进行处理。数据查询使用来自 zkFabric 的经过验证的区块头处理这些查询，并生成 ZK 查询证明。这些引擎既有高度专业化的功能，也有通用化的查询语言，可满足不同的应用需求。
zkAggregatorRollup： 一个 ZK 卷积区块链，充当 zkFabric 和 zkQueryNet 的聚合和存储层。它验证来自这两个组件的证明，存储经过验证的数据，并将其经过 zk 验证的状态根提交到所有连接的区块链上。
ZK Fabric 作为为区块头生成proof的关键部分，保证这一部分的安全是非常重要的，如下为zkFabric的架构图：
zkFabric基于零知识证明（ZKP）的轻客户端使其完全免于信任，无需依赖任何外部验证实体。无需依赖任何外部验证实体，因为其安全性完全来自于因为其安全性完全来自于底层区块链和数学上可靠的证明。
zkFabric Prover 网络为每个区块链的 lightclient 协议实现电路，该网络为区块头生成有效性证明。证明者可利用 GPU、FPGA 和 ASIC 等加速器，最大限度地减少证明时间和成本。
zkFabric依赖于区块链和底层加密协议的安全假设和底层加密协议的安全假设。不过，要确保 zkFabric 的有效性，至少需要一个诚实的中继器来同步正确的fork。因此，zkFabric采用了去中心化的中继网络而不是单个中继器来优化 zkFabric 的有效性。这种中继网络可以利用现有的结构，如 Celer 网络中的状态监护网络。
证明者分配： 证明者网络是一个分散的 ZKP 证明者网络、需要为每个证明生成任务选择一个证明者，并向这些证明者支付费用。
目前的部署：
目前为各种区块链（包括以太坊 PoS、Cosmos Tendermint 和 BNB Chain）实现的轻客户端协议作为示例和概念验证。
Brevis目前已经跟uniswap hook开展合作，hook大大添加了自定义uniswap 池，但与CEX相比，UnisWap仍然缺乏有效的数据处理功能来创建依赖大型用户交易数据（例如基于交易量的忠诚度计划）的功能。
在Brevis的帮助下，hook解决了挑战。hook现在可以从用户或LP的完整历史链数据中读取，并以完全无信任的方式运行可自定义的计算。
2. Herodotus
Herodotus 是一个强大的数据访问中间件，它为智能合约提供如下跨以太坊层同步访问当前和历史链上数据的功能：
L1 states from L2s
L2 states from both L1s and other L2s
L3/App-Chain states to L2s and L1s
Herodotus提出存储证明这个概念，存储证明融合了包含证明（确认数据的存在）和计算证明（验证多步骤工作流的执行），以证明大型数据集（如整个以太坊区块链或rollup）中一个或多个元素的有效性。
区块链的核心是数据库，其中的数据使用 Merkle 树、Merkle Patricia 树等数据结构进行加密保护。这些数据结构的独特之处在于，一旦数据被安全地提交给它们，就可以产生证据来确认数据包含在结构内。
Merkle 树和 Merkle Patricia 树的使用增强了以太坊区块链的安全性。通过在树的每个级别对数据进行加密散列，几乎不可能在不被发现的情况下更改数据。对数据点的任何更改都需要更改树上相应的哈希值到根哈希值，这在区块链标头中公开可见。区块链的这一基本特征提供了高水平的数据完整性和不变性。
其次，这些树可以通过包含证明进行有效的数据验证。例如，当验证交易的包含或合约的状态时，无需搜索整个以太坊区块链，只需验证相关 Merkle 树内的路径即可。
Herodotus定义的存储证明是以下内容的融合：
- 包含证明：这些证明确认加密数据结构（例如 Merkle 树或 Merkle Patricia 树）中特定数据的存在，确保相关数据确实存在于数据集中。
- 计算证明：验证多步骤工作流程的执行，证明广泛数据集中一个或多个元素的有效性，例如整个以太坊区块链或汇总。除了指示数据的存在之外，它们还验证应用于该数据的转换或操作。
- 零知识证明：简化智能合约需要交互的数据量。零知识证明允许智能合约在不处理所有基础数据的情况下确认索赔的有效性。
有了区块头，我们就可以深入研究它的内容，特别是：
stateRoot： 区块链发生时整个区块链状态的加密摘要。
receiptsRoot： 区块中所有交易结果（收据）的加密摘要。
事务根（transactionsRoot）： 区块中发生的所有交易的加密摘要。
跟可以被解码，使得能够核实区块中是否包含特定账户、收据或交易。
4. 根据所选根来验证数据（可选）
有了我们所选的根，并考虑到以太坊采用的是 Merkle-Patricia Trie 结构，我们就可以利用 Merkle 包含证明来验证树中是否存在数据。验证步骤将根据数据和区块内数据的深度而有所不同。
目前支持的网络：
From Ethereum to Starknet
From Ethereum Goerli* to Starknet Goerli*
From Ethereum Goerli* to zkSync Era Goerli*
3. Axiom
Axiom提供了一种方式可以让开发人员从以太坊的整个历史记录中查询区块头，帐户或存储值。AXIOM引入了一种基于密码学的链接的新方法。Axiom返回的所有结果均通过零知识证明在链上验证，这意味着智能合约可以在没有其他信任假设的情况下使用它们。
Axiom最近发布了Halo2-repl ，是一个基于浏览器的用 Javascript 编写的 halo2 REPL。这使得开发人员只需使用标准的 Javascript 就能编写 ZK 电路，而无需学习 Rust 等新语言、安装证明库或处理依赖关系。
Axiom 由两个主要技术组件组成：
AxiomV1 — 以太坊区块链缓存，从 Genesis 开始。
AxiomV1Query — 执行针对 AxiomV1 查询的智能合约。
（1）在 AxiomV1 中缓存区块哈希值:
AxiomV1智能合约以两种形式缓存自创世区块以来的以太坊区块哈希：
首先， 缓存了连续1024个区块哈希的Keccak Merkle根。这些Merkle根通过ZK证明进行更新，验证区块头哈希是否形成以EVM直接可访问的最近256个区块之一或已存在于AxiomV1缓存中的区块哈希为结束的承诺链。
其次。Axiom从创世区块开始存储这些Merkle根的Merkle Mountain Range。该Merkle Mountain Range是在链上构建的，通过对缓存的第一部分Keccak Merkle根进行更新。
（2）在AxiomV1Query中履行查询：
AxiomV1Query智能合约用于批量查询，以实现对历史以太坊区块头、账户和账户存储的任意数据的无信任访问。查询可以在链上进行，并且通过针对AxiomV1缓存的区块哈希进行的ZK证明来在链上完成。
这些ZK证明检查相关的链上数据是否直接位于区块头中，或者位于区块的账户或存储Trie中，通过验证Merkle-Patricia Trie的包含（或不包含）证明来实现。
4. Nexus
Nexus 试图利用零知识证明为可验证的云计算搭建一个通用平台。目前是machine archetechture agnostic 的，对risc 5/ WebAssembly/ EVM 都支持。Nexus利用的是supernova的证明系统，团队测试生成证明所需的内存为6GB，未来还会在此基础上优化使得普通的用户端设备电脑可以生成证明。
确切的说，架构分为两部分：
Nexus zero：由零知识证明和通用 zkVM 支持的去中心化可验证云计算网络。
Nexus： 由多方计算、状态机复制和通用 WASM 虚拟机驱动的分散式可验证云计算网络。
Nexus 和 Nexus Zero 应用程序可以用传统编程语言编写，目前支持 Rust，以后将会支持更多的语言。
Nexus 应用程序在去中心化云计算网络中运行，该网络本质上是一种直接连接到以太坊的通用 “无服务器区块链”。因此，Nexus 应用程序并不继承以太坊的安全性，但作为交换，由于其网络规模缩小，可以获得更高的计算能力（如计算、存储和事件驱动 I/O）。Nexus 应用程序在专用云上运行，该云可达成内部共识，并通过以太坊内部可验证的全网阈值签名提供可验证计算的 “证明”（而非真正的证明）。
Nexus Zero 应用程序确实继承了以太坊的安全性，因为它们是带有零知识证明的通用程序，可以在 BN-254 椭圆曲线上进行链上验证。
由于 Nexus 可在复制环境中运行任何确定性 WASM 二进制文件，预计它将被用作证明生成应用的有效性/分散性/容错性来源，包括 zk-rollup排序器、乐观的 rollup 排序器和其他证明器，如 Nexus Zero 的 zkVM 本身。
