MoveOS is a standalone Move runtime environment based on MoveVM by Rooch Network.

It provides the following features on top of MoveVM to make it easy for applications to integrate with the Move runtime environment.

1. State storage and retrieval: it provides a default local database storage, which can be customized by applications.
2. Rust-To-Move extension point ABI: the application can implement the core logic through Move, and invoke in Rust, let application easy to maintain and upgrade. Such as transaction verification logic (Account Abstraction).
3. State proof: it provides state proof based on state tree.
4. Fraud proof: it provides interactive fraud proof based on flexEmu, which is necessary for modular applications. Zero-knowledge proofs based on zkMove will be integrated in the future.

1. as a rust library embedded in a blockchain or other application.
2. as a standalone process, called via REST API or IPC (TODO).

Make sure crates in moveos directory do not depend on crates outside the moveos directory, keep MoveOS as a standalone crate.