checklist.day

Move Stackless Bytecode

JSON →
library ·rust
✓ verified Jun 17, 2026
other

Provides the stackless bytecode representation used in the Move language for formal verification.

Resources

docsdocs.rs/move-stackless-bytecode/ ↗
githubgithub.com/diem/diem ↗

API endpoints

full doc /v1/registry/move-stackless-bytecode
install /v1/registry/move-stackless-bytecode/install