CRO

Cairo VM

v2.15Production

by StarkWare

StarkWare's native VM for provable computation. Powers Starknet L2 and StarkEx. Stwo prover (2nd gen) live on mainnet since Nov 2025.

ISA

Cairo

Languages

Cairo

Scheme

STARK

Detail

Stwo Circle STARK

Recursion

Yes

Peak Proving Speed

1.5 GHz

Cost / Bn cycles

$0.020

GPU Acceleration

CUDA

Audited

Yes

Audited By

Multiple

Maturity

Production

Available Providers

FRM

3rd-partyTestnet

Universal proof marketplace. Matchmaker routes workloads from Seekers to GPU/FPGA Operators. Supports zkVM, zkEVM, Groth16+.

auction

Two-sided marketplace — Matchmaker aligns Seeker demand with Operator supply. Competitive pricing.

ATL

3rd-partyMainnet

Managed ZK prover service by Herodotus. Official gateway to StarkWare's SHARP. Supports Cairo 0 and Cairo 1 programs with Stwo prover integration.

saas

Pay-as-you-go API. Free testnet, mainnet credits available.