ZK coprocessors: the missing layer between data and contracts
Quote275 words
Explains the pattern of heavy off-chain computation returning a result plus ZK proof for onchain verification, and compares Brevis and Axiom (data queries) with RISC Zero, Boundless and Succinct SP1 (general-purpose zkVMs).
𝗭𝗞 𝗖𝗼𝗽𝗿𝗼𝗰𝗲𝘀𝘀𝗼𝗿𝘀: 𝗧𝗵𝗲 𝗠𝗶𝘀𝘀𝗶𝗻𝗴 𝗟𝗮𝘆𝗲𝗿 𝗕𝗲𝘁𝘄𝗲𝗲𝗻 “𝗗𝗮𝘁𝗮” 𝗮𝗻𝗱 “𝗖𝗼𝗻𝘁𝗿𝗮𝗰𝘁𝘀”
ZK coprocessors are basically the missing layer between “data lives somewhere” and “contracts can safely use it.”
They run heavy queries/computation off-chain, then return a ZK proof + result that an on-chain verifier can check.
How the pattern works:
➤ Contract (or user) defines a query/computation (“compute metric X from historical state / receipts / logs”).
➤ Coprocessor runs it off-chain (fast + cheap).
➤ It posts (result, proof) back on-chain; contracts can consume it like a normal input.
Case studies (same idea, different scope):
@brevis_zk (data + compute over historical onchain data, omni-chain angle) - “give contracts access to historical data + verifiable compute” via a specialized coprocessor.
@axiom_xyz (Ethereum historical data coprocessor) - query Ethereum history (headers/accounts/storage/receipts) and get trustless, ZK-verified results on-chain.
@RiscZero's Bonsai (general-purpose zkVM coprocessor / proving service) - you run arbitrary program logic in R0VM, request proofs from Bonsai's centralized service, and verify them via an on-chain relay pattern.
@boundlesshq (general-purpose zkVM + decentralized proving marketplace) - is fully permissionless and supports multiple zkVMs (including R0VM). Uses Proof of Verifiable Work consensus for elastic, scalable proving.
@SuccinctLabs SP1 + prover network (general-purpose zkVM + decentralized proving) - prove execution of normal Rust/LLVM programs with SP1; the network is optimized for producing proofs at scale.
Quick takeaways:
➤ Brevis / Axiom = “zk-verified data queries for contracts” (very “smart contract data” focused)
➤ RISC Zero R0VM = “zk-verified general computation” (a zkVM you can program)
➤ Boundless = “zk-verified general computation” (decentralized multi-zkVM marketplace)
➤ Succinct SP1 / Prover Network = “zk-verified general computation” (zkVM for Rust programs with networked proving)
QUOTING @zerokn0wledge_
t.co/q65w90pOir
t.co/q65w90pOir
1 image on X