EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
summary
EVMBT implements a binary translation pipeline that lifts EVM bytecode into LLVM IR via devirtualization of the EVM stack and resolves indirect jumps with symbolic execution, then emits WASM; the prototype translates 2,000 real contracts, replays transactions to compare traces and reports semantic similarity near 100% and <1% gas overhead. The tool is implemented end to end, runs on Eth2-style WASM runtimes, and shows modest runtime differences (some benchmarks 1.05–1.2× faster, worst cases around 1.36× slower).
AI-written summary · about
chapters (8)
- 0:00Blockchain and EVM basics
- 1:30EVM limitations and WASM rise
- 2:58EVM to WASM translation approaches
- 4:01EVMBT architecture and process
- 5:27EVM to LLVM IR translation
- 8:20Indirect jumps in EVM control flow
- 9:26Performance evaluation results
- 12:15Conclusion and future work
related talks
45mA Brief Tour of Binaryen
35mWebAssembly: now web is a new compiler target architecture
30mA WASM Runtime for FaaS Protected by TEE
57mBusy Developer’s Guide to WebAssembly
27mDeterministic Wasm for Web3
01h 08mOn WebAssembly
05mContainer2Wasm: Running Containers On Wasm Environments
22mEthereum Compatible WebAssembly Runtime Pallet for All Substrate Blockchains