π₯οΈ Operating Systems
β Target Reference
Designed for 25 OSes. The OS is the runtime β storage, accounts, syscalls, billing.
Provable
| OS |
VM |
Runtime binding |
Doc |
| Neptune |
TRITON |
os.neptune.* |
neptune |
| Polygon Miden |
MIDEN |
os.miden.* |
miden |
| Nockchain |
NOCK |
os.nockchain.* |
nockchain |
| Starknet |
CAIRO |
os.starknet.* |
starknet |
| Boundless |
RISCZERO |
os.boundless.* |
boundless |
| Succinct |
SP1 |
os.succinct.* |
succinct |
| OpenVM Network |
OPENVM |
os.openvm.* |
openvm-network |
| Aleo |
AVM |
os.aleo.* |
aleo |
| Aztec |
AZTEC |
os.aztec.* |
aztec |
Blockchain
| OS |
VM |
Runtime binding |
Doc |
| Ethereum |
EVM |
os.ethereum.* |
ethereum |
| Solana |
SBPF |
os.solana.* |
solana |
| Near Protocol |
WASM |
os.near.* |
near |
| Cosmos (100+ chains) |
WASM |
os.cosmwasm.* |
cosmwasm |
| Arbitrum |
WASM + EVM |
os.arbitrum.* |
arbitrum |
| Internet Computer |
WASM |
os.icp.* |
icp |
| Sui |
MOVEVM |
os.sui.* |
sui |
| Aptos |
MOVEVM |
os.aptos.* |
aptos |
| Ton |
TVM |
os.ton.* |
ton |
| Nervos CKB |
CKB |
os.nervos.* |
nervos |
| Polkadot |
POLKAVM |
os.polkadot.* |
polkadot |
Traditional
| OS |
VM |
Runtime binding |
Doc |
| Linux |
X86-64 / ARM64 / RISCV |
os.linux.* |
linux |
| macOS |
ARM64 / X86-64 |
os.macos.* |
macos |
| Android |
ARM64 / X86-64 |
os.android.* |
android |
| WASI |
WASM |
os.wasi.* |
wasi |
| Browser |
WASM |
os.browser.* |
browser |
See targets.md for the full OS model, tier compatibility,
type/builtin availability, and cost model overview.