← → Print all
02 — Framework · Framework

Hosted proving services

Operations — managed proving

In one paragraph

Hosted proving services: Operations — managed proving. Services that run prover hardware on your behalf behind an API, typically bundled with an SDK, CI integration and autoscaling. Maturity: Commercially available; vendor maturity varies. Maintained by: Several vendors: Axiom (proving API), RISC Zero (remote proving and Boundless), Succinct (prover network), among others — none is endorsed here. Choose it when: Pre-product-market-fit teams, bursty or low-volume workloads, and proving over public inputs. A poor fit for privacy-critical witnesses or systems requiring censorship resistance.

By MarketComp Updated v1.3 About the authors Changelog

What it is

Services that run prover hardware on your behalf behind an API, typically bundled with an SDK, CI integration and autoscaling. Some are multi-zkVM, reducing lock-in at the operational layer.

Strengths and tradeoffs

Strengths
  • Removes GPU capital expenditure and cluster operations entirely — the fastest path from a working guest program to proofs in production
  • Lets you defer the buy-versus-build hardware decision until proof volume is known
Tradeoffs
  • Introduces a liveness and censorship dependency on a single company: a proof you cannot generate is a system you cannot advance
  • Cost per proof at steady volume is usually materially higher than self-hosting
  • Sending witnesses to a third party can leak private inputs — for privacy applications this can defeat the entire purpose unless client-side witness generation is supported

Choose it whenPre-product-market-fit teams, bursty or low-volume workloads, and proving over public inputs. A poor fit for privacy-critical witnesses or systems requiring censorship resistance.

Failure modes that involve it
Maintained implementations

Several vendors: Axiom (proving API), RISC Zero (remote proving and Boundless), Succinct (prover network), among others — none is endorsed here

Maturity: Commercially available; vendor maturity varies · License: Proprietary services over open-source zkVMs · axiom.xyz ↗

How to decide
Other frameworks in §02
CircomNoirHalo2gnarkPlonky3Cairo and the Stwo proverSP1RISC Zero (R0VM)OpenVMZKsync AirbenderJoltMiden VMDecentralised proof markets

Sources cited on this page · 1

  1. RISC Zero remote proving — hosted proving documentationdocumentation

All 45 sources for §02 are listed on the section page →

Cite this page 
MarketComp (2026). Hosted proving services. The ZK Field Manual (Version 1.3). MarketComp. https://zkpick.com/frameworks/hosted-proving/
@misc{zkfieldmanual-hosted-proving-services,
  title        = {Hosted proving services — The ZK Field Manual},
  author       = {MarketComp},
  year         = {2026},
  version      = {1.3},
  howpublished = {\url{https://zkpick.com/frameworks/hosted-proving/}},
  note         = {Accessed: YYYY-MM-DD}
}