ERC-8039 Compliant

One API, Any Proof.

The universal gateway for verifiable compute. Route your circuits to Succinct, Risc0, or zkCloud with the lowest cost and highest speed.

prove_batch.rs

use zkrouter_sdk::{Client, Strategy};

let client = Client::builder()
    .with_signer(signer)
    .build().await?;

let proof = client
    .prove("./state-transition.elf")
    .with_input(&batch)
    .strategy(Strategy::LowestCost) // or Fastest
    .run().await?;

zkVMs

Browse zkVMs

Compare zero-knowledge virtual machines by speed, cost, and architecture. Click any zkVM to see available proving providers.

8 zkVMs

zkVM	ISA	Scheme			Status
SP1 SP1v4.0 Succinct·4 providers	RISC-V	STARK	2.0 GHz	$0.028 /Bn cycles	Production
R0 RISC Zerov1.2 RISC Zero·3 providers	RISC-V	STARK	800 MHz	$0.035 /Bn cycles	Production
JLT Joltv0.1 a16z·2 providers	RISC-V	SNARK	150 MHz	$0.042 /Bn cycles	Alpha
ZKW zkWasmv1.0 Delphinus Lab·1 provider	WASM	SNARK	300 MHz	$0.050 /Bn cycles	Production
NXS Nexusv3.0 Nexus Labs·2 providers	RISC-V	STARK	1.2 GHz	$0.018 /Bn cycles	Alpha
PCO Picov1.0 Brevis·1 provider	RISC-V	STARK	700 MHz	$0.015 /Bn cycles	Production
OVM OpenVMv1.0 Axiom·1 provider	RISC-V	STARK	500 MHz	$0.022 /Bn cycles	Production
CRO Cairo VMv2.15 StarkWare·2 providers	Cairo	STARK	1.5 GHz	$0.020 /Bn cycles	Production

View all with advanced filters

Features

Why zkRouter?

Everything you need to integrate zero-knowledge proofs into your application, without the complexity.

Smart Routing

Auto-switch providers based on real-time congestion, gas prices, and your optimization preferences.

Proof Singularity

Save 90% gas fees with proof aggregation. Batch multiple proofs into a single on-chain verification.

Standardized (ERC-8039)

Fully ERC-8039 compliant. Write once, prove anywhere. No vendor lock-in across any supported network.

Enterprise Ready

SSO, SLAs, dedicated prover capacity, and Zero Data Retention (ZDR) options for production workloads.