Airbender Platform is a workspace for building zk-provable programs with guest and host tooling.
This project provides:
cargo airbender: an utility to manage airbender projects and interact with the built RISC-V programs:- Create host+guest projects with
cargo airbender new - Build projects with
cargo airbender build - Run RISC-V programs with
cargo airbender runandcargo airbender run-transpiler - Benchmark programs with
cargo airbender flamegraph - Prove and verify proofs from CLI via
cargo airbender prove&cargo airbender verify-proof.
- Create host+guest projects with
- Guest SDK: a set of utilities to make building guest programs convenient:
- Project scaffolding: entrypoint,
stdbindings, allocator. - Reading input from host.
- Committing values.
- Passing debug logs.
- Accessing prover-accelerated crypto primitives.
- Project scaffolding: entrypoint,
- Host SDK: a set of utilities to interact with your program:
- Load and run RISC-V projects from Rust.
- Generate verification keys, prove execution, verify proofs.
The user manual lives in docs/.
Start here:
docs/README.md(table of contents)docs/01-installation-and-hello-world.mddocs/02-host-program-api.mddocs/03-guest-program-api.mddocs/04-crypto-on-guest-and-host.mddocs/05-cli-reference.md
Complete 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.