DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
Abstract
We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosystem compatibility challenges in blockchain networks. Building upon WebAssembly (Wasm) while maintaining full Ethereum Virtual Machine (EVM) ABI compatibility, DTVM introduces a Deterministic Middle Intermediate Representation (dMIR) and a hybrid lazy-JIT compilation engine to balance compilation speed and execution efficiency. DTVM further accommodates diverse instruction set architectures (e.g., EVM, RISC-V) through modular adaptation layers. This enables seamless integration with DTVM's hybrid lazy-JIT compilation engine, which dynamically optimizes performance while preserving deterministic execution guarantees across heterogeneous environments. The key contributions including: 1). The framework achieves up to 2 acceleration over evmone in dominant Ethereum contract (e.g. ERC20/721/1155) execution and reduces fibonacci computation latency by 11.840.5% compared to Wasm based VMs. 2). A novel trampoline hot-switch mechanism enables sub-millisecond (0.95ms) post-deployment invocation times, outperforming up to about 23 in compilation and invocation efficiency. 3). It supports multi-language development (Solidity, C++, Rust, Java, Go, and AssemblyScript) through unified bytecode conversion while maintaining EVM ABI compatibility for seamless invocation. It reduces machine code object sizes by 30.072.6%, coupled with a minimized Trusted Computing Base. 4). It offers SmartCogent, an AI-driven full-stack development experience, leveraging fine-tuned LLMs and retrieval-augmented generation to automate tasks across the smart contract lifecycle: development, debugging, security auditing, and deployment. DTVM Stack has been open-sourced (https://github.com/DTVMStack).
Cite
@article{arxiv.2504.16552,
title = {DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility},
author = {Wei Zhou and Xiong Xu and Changzheng Wei and Ying Yan and Wei Tang and Zhihao Chen and Xuebing Huang and Wengang Chen and Jie Zhang and Yang Chen and Xiaofu Zheng and Hanghang Wu and Shenglong Chen and Ermei Wang and Xiangfei Chen and Yang Yu and Meng Wu and Tao Zhu and Liwei Yuan and Feng Yu and Alex Zhang and Wei Wang and Ji Luo and Zhengyu He and Wenbiao Zhao},
journal= {arXiv preprint arXiv:2504.16552},
year = {2025}
}