---
title: "Decentralised proof markets"
description: "Decentralised proof markets: Operations — proof marketplaces. Protocols matching proof requests with a permissionless set of prover nodes using staking…"
type: "option"
url: "https://zkpick.com/frameworks/proof-markets/"
section: "02 Choosing a framework"
authors:
  - "MarketComp"
publisher: "MarketComp"
version: "1.3"
updated: "2026-09-12"
license: "CC-BY-4.0"
json: "https://zkpick.com/data/frameworks/proof-markets.json"
---

*By MarketComp. Updated 2026-09-12. Version 1.3. CC BY 4.0.*

# Decentralised proof markets — *Operations — proof marketplaces*

> Decentralised proof markets: Operations — proof marketplaces. Protocols matching proof requests with a permissionless set of prover nodes using staking, bidding and on-chain settlement. Maturity: Live on mainnet; under a year of operating history. Maintained by: Boundless (RISC Zero) and the Succinct Prover Network are the leading examples; each is anchored to its sponsor's zkVM. Choose it when: Non-private, latency-tolerant, variable-volume demand where censorship resistance matters more than deterministic latency. Pair with a self-hosted fallback prover for critical paths.

Protocols matching proof requests with a permissionless set of prover nodes using staking, bidding and on-chain settlement. The leading examples are anchored to their sponsor's own zkVM.

**Strengths**

- Addresses the single-provider liveness and censorship risk that hosted services carry
- Competitive bidding can lower marginal cost, especially for bursty demand
- Permissionless prover entry creates a real supply side

**Tradeoffs**

- Both leading markets are anchored to their sponsor's zkVM and token — verify neutrality claims against what is supported today, not the roadmap
- Introduces token-economic and settlement risks orthogonal to your cryptography
- Latency and tail-latency guarantees are weaker than a dedicated prover
- Operating history is short relative to the value some systems would place on it

**Choose it when:** Non-private, latency-tolerant, variable-volume demand where censorship resistance matters more than deterministic latency. Pair with a self-hosted fallback prover for critical paths.

Maintained by: Boundless (RISC Zero) and the Succinct Prover Network are the leading examples; each is anchored to its sponsor's zkVM · Maturity: Live on mainnet; under a year of operating history · License: Protocol-specific · Source: https://docs.boundless.network/