os.md

🖥️ Operating Systems

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.

Folder

Homonyms

cyb/os

cyb/decide/os

CybOS the operating system built on the cyb/stack. no Unix legacy — native abstractions for agents, cyberlinks, ranks, epochs, bandwidth. zero unsafe Rust. bounded liveness everywhere. the cyb/core proof pipeline runs inside this kernel. design axioms 1. no files, no processes, no users, no…

neural/trident/reference/os

Runtime and OS Reference [Targets](/neural/trident/reference/targets) · [VM contracts](/neural/trident/reference/vm) · [Standard library](/neural/trident/reference/stdlib) A runtime contract describes the environment around a VM: transaction layout, state access, accounts and external operations.…

warriors/trisha/lib/os

warriors/trisha/baselines/triton/os