可验证计算将在更多领域体现出新的价值。
作者：Cabin Crew
封面：Photo by Pawel Czerwinski on Unsplash
原用标题：Weekly Brief | ZK Coprocessors（ZK 协处理器）：进一步打开可验证计算市场
可验证计算（Verifiable Computing）市场的未来将是怎样的？
广义上的可验证计算，指可以将计算任务外包给第三方算力提供者；(不受信任的) 第三方算力提供者需要在完成计算任务的同时，提交一份关于计算结果的正确性证明。
目前的计算基于资源限制，硬件门槛及成本较高，都在催生外包可验证计算的增长需求。很多情况下，一些智能合约必须依赖于正确计算并执行的假设，否则会导致生成结论不准确等严重后果。因此，ZK 在可验证计算中充当了非常重要的位置，也进一步打开对外包可验证计算的市场期望。
在理想的零知识证明算法下，区块链可以不用保存原始的交易数据，而是保存协议生成的零知识证明，矿工节点只需验证零知识证明，而无需验证原始交易数据。这些均得益于以 zk-SNARKs 为代表的零知识证明技术的进展。
同时，基于 zkVM，通过放弃采用 “EVM”，在选择放弃少部分以太坊兼容性的方式下，增加了相较 EVM 而言更广泛的通用性，以促进可验证计算的广泛发展。
以太坊的 ZK 协处理器（ZK Coprocessors，也译作 ZK 辅助处理器）正在带来新的思路，通过 ZKPs 将以太坊历史数据引入智能合约，这种架构可以带来一些新的用例。
对 ZK 协处理器 Axiom 进行观察，其思路在于：证明 ZK 中计算的有效性，使得计算结果可在链上使用。zkCoprocessor 的结构或许可以视为：
zkVM x Storage Proof
Axiom 将通过以下模块运行：
读取（Read）：
Axiom 使用 ZK 证明对以太坊历史区块中的区块头、状态、交易和收据进行 trustlessly 的读取。所有以太坊链上数据都是以这些形式进行编码的，因此，Axiom 可访问任何归档节点（Archive Node）中可访问的信息。
计算（Compute）：
数据被摄取后，Axiom 就会在上面应用经过验证的计算原语 (primitives，一段用机器指令编写的完成特定功能的程序, 在执行过程中不允许中断)。
这包括从基本分析（总和、计数、最大、最小）到密码学（签名验证、密钥聚合）和机器学习（决策树、线性回归、神经网络推理）中的各种操作。每一块计算的有效性均通过 ZK 证明得到验证。
验证（Verify）：
Axiom 在每个查询结果中都有一个 ZK 有效性证明，即 (1) 输入数据是正确地从链中获取的 (2) 计算是正确地应用的。这个 ZK 证明在 Axiom 智能合约中进行链上验证，最终结果可 trustlessly 地供任何下游智能合约使用。
这可视为一个供其他平台使用的”Storage Proof “：Axiom 提供 API 端来生成 ZKp，以访问某一地址的账户存储中的插槽（storage slot），当 Axiom 对某区块地址的存储插槽的值进行链上验证后，其他合约可以 trustlessly 地访问并使用以太坊历史数据。
该概念下的其他项目还有：
Bonsai ：
Bonsai 是一个基于 StarkWare 开发的证明网络，通过 zkVM 将可验证计算带至其他链上。允许任何链、任何协议和任何应用程序利用 ZK 证明来实现扩展、隐私等，旨在成为通⽤的 ZK 计算加速器。
RiscZero：
RiscZero 是 Bonsai 网络上的第一个产品，基于 STARK 的 ZKVM，旨在成为一个通用的 ZK 计算层，RiscZero 建立了一个 RISC-VISA zkVM（RISC-V 模拟器允许程序员用 Rust、C/C++和 Go 等语言为 zkVM 编写程序，目前仅支持 Rust），能够证明出处和正确执行，并被验证。
HyperOracle：
HyperOracle 是一个可编程的 ZK 预言机及协处理器，是一个 ZK 节点网络，可以运行任何具有执行痕迹证明的计算。HyperOracle 在种子轮融资中获 dao5 和红杉中国种子基金共同领投的 300 万美元融资。
Herodotus：
Herodotus 通过存储证明技术，实现以太坊与区块链之间的同步跨层数据访问。Herodotus 与 Pragma 合作推出利用存储证明的、高更新频率的预言机，带来了新的用例。
Poseidon：
Poseidon 提出了 ZK-ZK Aggregator，通过聚合器，将一批客用户生成的证明合并成一个证明，以大大降低 ZKP 验证成本，为 ZKML 等场景的链上验证带来可扩展性。
基于以上项目进展，我们很乐观地对于 ZK 技术及环境的发展进行推测：
1）可验证计算市场前景广阔，会在更多领域体现出新的价值
2）zk 协处理器将逐渐成熟，以进一步减少验证成本
3）zk 执行层正在逐渐成为开发者构建可扩展、高性能 Dapp 的更佳选择
参考资料：
Axiom developer documentation：https://docs.axiom.xyz/axiom-architecture/verifying-storage-proofs；
免责声明：作为区块链信息平台，本站所发布文章仅代表作者及嘉宾个人观点，与 Web3Caff 立场无关。本文内容仅用于信息分享，均不构成任何投资建议及要约，并请您遵守所在国家或地区的相关法律法规。
