Airbender Platform is a Rust toolkit for writing RISC-V zk-provable programs.
You write a guest program (the code you want to prove) and a host program (the native Rust code that feeds inputs, runs the guest, and generates/verifies proofs). The platform handles compilation, execution, proving, and verification.
cargo airbender - CLI for the full development lifecycle:
new- scaffold a host+guest projectbuild- compile guest artifacts (--reproduciblefor deterministic Docker builds)run- execute a guest binaryflamegraph- profile guest executionprove/verify-proof- generate and verify proofs from the command line
Guest SDK (airbender-sdk) - everything your guest program needs:
- Entry point macro,
stdsupport, allocator selection - Typed input from host, output commitment
- Cycle markers for profiling
- Prover-accelerated crypto primitives
Host SDK (airbender-host) - drive guest programs from native Rust:
- Load and run RISC-V binaries
- Generate verification keys, choose real proof security, prove execution, verify proofs
- Collect cycle-marker snapshots from transpiler runs
Read the Airbender Platform Book for the full user guide.
Browse the workspace API docs for the current main branch rustdocs.
The book source lives in docs/. To build locally:
cargo install mdbook
mdbook serve docsComplete guest + host examples are in examples/.
This repository is under active development.
Airbender Platform is distributed under the terms of either
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)
at your option.