Build and Test
Zero-Knowledge
Proof
Verification

Free Testnet Environment

Kurier Testnet is a free sandbox for developers building zero-knowledge applications. Submit and verify ZK proofs against live infrastructure — on zkVerify testnet or Base Sepolia — before deploying to mainnet. No cost. No production risk.

Full feature parity with mainnet. New proof types and networks land here first.
Read our guide.

Testnet

Sign up for your API key

Built for Agents & Developers

Secure

An immutable foundation for your zk-dApp. Proofs are submitted onchain via zkVerify, providing a tamper-proof audit trail for every verification.

Fast

Optimistic verification delivers near-instant results, with onchain finality available for applications requiring full cryptographic guarantees.

Simple

A single REST API endpoint replaces the need to run a zkVerify node, manage crypto payments, or write custom proof-submission logic.

What is Kurier?

Kurier is a REST API built by zkVerify Foundation that abstracts the complexity of ZK proof submission and onchain verification. Instead of running your own zkVerify node or managing blockchain infrastructure, you send a proof to the Kurier API and get back verifiable, onchain results.

Kurier supports all major ZK proof systems in use today — making it the most comprehensive zero-knowledge proof verification API available.

Why Start on Testnet?

Testnet is the recommended starting point for all new Kurier integrations:

Once your integration is stable, migrate to mainnet in minutes.

Free to use
Testnet API keys and proof submissions have no cost
Full feature parity
Everything available on mainnet is available on testnet first
New features launch here
Testnet gets new proof types, networks, and features before mainnet
Safe integration testing
Validate your proof formats, job polling logic, and callback handling without spending real funds

Supported ZK Proof Types

Kurier Testnet supports all of the following ZK proof systems:

View supported proof versions
groth16
The gold standard for zk-SNARK verification
fflonk
Efficient PLONK-based proofs
plonky2
Fast recursive proofs compatible with Ethereum
risc0
General-purpose verifiable computation via RISC-V zkVM
sp1
Succinct’s high-performance zkVM
ultrahonk
Aztec’s next-generation proving system
ultraplonk
Aztec’s PLONK variant for private smart contracts
proof of SQL
ZK proofs for verifiable database queries
tee
Trusted Execution Environment attestation proofs

Networks

Supported Networks on Testnet

  • zkVerify TestnetDecentralized ZK-proof verification chain
  • Base SepoliaEthereum L2 testnet by Coinbase

How It Works

Read the full testnet documentation
  1. 1

    Sign up for a free testnet API key at testnet.kurier.xyz

  2. 2

    Submit a proof via POST to the Kurier testnet API endpoint

  3. 3

    Receive a jobID and poll for real-time verification status

  4. 4

    Proof is finalized onchain on zkVerify testnet or Base Sepolia

  5. 5

    Validate your integration, then go to mainnet

Zero-Knowledge Proofs — A Primer

New to ZK proofs? A zero-knowledge proof (ZKP) lets you prove that a computation was done correctly — without revealing any of the data involved. This makes ZK proofs fundamental to:

  • Private transactions on blockchain
  • Scalable rollups (zkSync, StarkNet, Polygon zkEVM)
  • Verifiable AI and ML inference
  • Trustless identity and credentials
  • Verifiable database queries (proof of SQL)

Kurier makes it easy to integrate ZK proof verification into any of these use cases via a single API.

Roadmap

Submit a New Feature Request
Q4'25Q1'26Q2'26
  • User Dashboard - Analytics
  • Performance: Scalability
  • Support for new ZK-Proof Types
  • Enable proof submissions on Base Sepolia network
  • Zk-EVM Integration
  • Random Number Generator Circuit
  • ZKLottery App
  • Integrations with prover networks
  • On-Demand Proving
  • Smart Validations

Blog

View All Articles

Real-Time ZK Proof Tracking with Kurier WebSockets

How to use the Kurier WebSocket API to get instant job status updates for ZK proof submissions, replacing polling with persistent real-time connections.

Adding Verifiable Randomness to Smart Contracts with the Kurier Random Hash Oracle

Learn how to integrate the Kurier Random Hash Oracle into your smart contracts for secure, unpredictable randomness through a simple subscription-based workflow.

A Random Number Generator API for Secure Application Randomness

How developers can request secure random hashes using the Kurier RNG service for games, marketplaces, and distributed applications.