
Open-source Rust zkVM for STARK-based verifiable computation. Includes a custom instruction set, prover and verifier, CLI, HTTP proving API, MCP tools, CI proof gates, and on-chain attestation.
Prices and medians update for the tier you select. Caution: thin market — treat statistics as indicative.
No providers in this market have a Pro-tier plan — try another tier.
Ranked by how closely each one matches Rust STARK zkVM's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.
Thin market — few comparable priced products; treat statistics as indicative.