- Language-level concurrency control helps developers design and implement concurrent logics in their smart contracts
- State consistency is guaranteed against intentional attacks as well as user error
- Thread-safe containers allow for concurrent updates from multiple smart contract instances running on different VMs
- Fully deterministic processing ensures identical final states regardless of hardware configuration or software environment