Fast proofs. Low costs.
Verifiable at scale.
Airbender is the world's fastest open source RISC-V prover, purpose-built to deliver block proofs in seconds at a fraction of a cent and scale efficiently on commodity hardware.
The Airbender advantage
Best-in-class performance
Fast proofs → fast finality: Airbender provides sub-second block proofs and minutes-to-Ethereum finality
RISC-V proving
Commodity hardware
Secure and adaptable
Open source
Numbers sourced from public benchmark reports as of June 2025. Only open-sourced provers with reproducible results are included. Airbender results reproduced in open GitHub workflows.
Enterprise applications
Liquidity-Sensitive Finance
Order books, perps, and AMMs depend on fast clearing to reduce manipulation risk. Airbender’s high-throughput proofs shorten settlement delays, giving exchanges and market makers confidence to operate at scale with reduced counterparty exposure.
Regulated Asset Settlement
Tokenized securities and FX trades cannot wait minutes or hours to finalize. With Airbender generating fast proofs and ZKsync Connect enabling secure interoperability, ZKsync chains can shorten settlement cycles while meeting compliance-driven SLAs.
On-Chain AI Verification
Enterprises running AI models face growing pressure for auditability. Airbender allows ML inference results to be proven on affordable GPUs, creating a verifiable audit trail for regulators without adding prohibitive costs.
Distributed Proving
Global institutions face regulatory requirements for local processing. Airbender supports regional and branch-node proving, enabling proofs to be generated close to where data resides. This improves resilience, reduces latency for local users, and ensures regulatory alignment.
Frequently asked questions
Everything you need to know about Airbender
Yes, Airbender is live on mainnet today. It is currently deployed in production powering chains which leverage the ZKsync Atlas Upgrade, delivering high-performance RISC-V proving with reproducible benchmarks.
Yes! Airbender is general purpose and can prove anything that can be compiled to RISC-V, including custom programs or entire chains.
New ZKsync chains can ship immediately with Airbender.
Development: laptop CPU. Production: Any GPU with 22GB RAM including 4090s, 5090s, L4s, or H100s.
Faster proofs shorten chain-level finality, improve liquidity flow, and reduce counterparty risk well before Ethereum anchoring. In addition, Airbender is what enables ~1 second interoperability between chains within the Elastic Network, so assets and state can move across ZKsync chains almost instantly.
No. Airbender proves 9,700,000 cycles/sec on a single RTX 4090 and scales linearly across GPUs. This avoids runaway OPEX and GPU farm dependency.
No. Airbender is MIT-licensed, fully open source, and reproducible from public repos. Enterprises can run it themselves or with any hosting provider.
Airbender is STARK-based and resilient against quantum attacks today. Its modular design allows upgrades as new cryptographic standards emerge.
Yes. Any program compiled to RISC-V can be proven, including EVM bytecode, WASM, Rust, or custom languages.
Proof costs can be as low as $0.0001 per transfer, verified in reproducible benchmarks.
