Bibliographic Details
Title: |
DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility |
Authors: |
Zhou, Wei, Wei, Changzheng, Yan, Ying, Tang, Wei, Chen, Zhihao, Xu, Xiong, Huang, Xuebing, Chen, Wengang, Zhang, Jie, Chen, Yang, Zheng, Xiaofu, Wu, Hanghang, Chen, Shenglong, Wang, Ermei, Chen, Xiangfei, Yu, Yang, Wu, Meng, Zhu, Tao, Yuan, Liwei, Yu, Feng, Zhang, Alex, Wang, Wei, Luo, Ji, He, Zhengyu, Zhao, Wenbiao |
Publication Year: |
2025 |
Collection: |
Computer Science |
Subject Terms: |
Computer Science - Distributed, Parallel, and Cluster Computing |
More Details: |
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$\times$ acceleration over evmone in dominant Ethereum contract (e.g. ERC20/721/1155) execution and reduces fibonacci computation latency by 11.8$\sim$40.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$\times$ 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.0$\sim$72.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). |
Document Type: |
Working Paper |
Access URL: |
http://arxiv.org/abs/2504.16552 |
Accession Number: |
edsarx.2504.16552 |
Database: |
arXiv |