Aleo
← Target Reference | VM: AVM
Runtime Parameters
| Parameter | Value |
|---|---|
| VM | AVM |
| Runtime binding | aleo.ext.* |
| Account model | Record (UTXO-like private state) |
| Storage model | On-chain mapping (public) |
| Cost model | Constraints (off-chain) / microcredits (on-chain) |
| Cross-chain | -- |
Runtime Binding (aleo.ext.*)
- Record management — private UTXO state creation and consumption
- On-chain mapping storage — public key-value storage via mappings
- Async/await — cross-program calls via async execution model
Notes
Privacy-first L1 — programs execute off-chain and produce proofs verified on-chain.
For VM details, see avm.md.