01
ZK Compute Network
Submit a workload, the network executes it off-chain and returns a verifiable result. No trusted operator in the loop.
Proofra runs heavy workloads off-chain, generates a cryptographic proof of correctness, and folds many proofs into one — verified directly on-chain in a single transaction.
SP1 generates a proof per sub-computation. Nova folds them — recursively, instance by instance — into a single SNARK. The Anchor verifier on mainnet checks the folded proof in under 200K compute units, no matter how much work it represents.
SP1 v3 zkVM (Succinct) for the guest programs.
Nova / SuperNova folding for non-uniform IVC.
Anchor program on Solana mainnet for verification.
Every Proofra capability resolves to the same thing: a fact you can check on-chain before you act on it.
Submit a workload, the network executes it off-chain and returns a verifiable result. No trusted operator in the loop.
Nova folding collapses N sub-proofs into a single SNARK — verification cost stays flat as the work grows.
An Anchor program verifies the folded proof on mainnet in under 200K CU and writes a ProofRecord PDA.
One CLI, three commands. The same proofs your dApp would generate — plus CPI for on-chain composition.
Producers publish verified facts as Pyth-style feeds; consumers subscribe by hash. Proof bytes stay off-chain.
Prove an ML inference actually ran, or a data pipeline produced a result — gate mints, agents and feeds on it.
Applications POST a circuit id, an input blob and a callback. The job is queued to an SP1 host pool.
The SP1 v3 zkVM executes the guest program off-chain and emits a succinct proof per sub-computation.
Nova / SuperNova folds the sub-proofs recursively into a single Groth16 SNARK — constant final size.
The Anchor program runs verify_proof on Solana mainnet and writes a ProofRecord PDA seeded by hash.
Verified results publish as Pyth-style feeds. External dApps subscribe by hash and read proven facts.
A field of provers does the expensive work. Solana only ever sees the folded result — a few kilobytes, a single transaction, a permanent record.
Protocol architecture, proof engine and verifier integration on Solana mainnet.
Developer SDK, the proof marketplace and operator onboarding.
Recursive proofs, AI verification modules and ecosystem expansion.
Decentralized proving network, cross-chain verification and ecosystem grants.