BNB Chain has announced the development of an optimized EVM execution engine, known as the Optimized/MIR Interpreter, designed to enhance smart contract performance significantly. This new engine transforms stack-based EVM bytecode into a register-based Control Flow Graph (CFG) representation, offering a performance boost of 8-27% for real-world smart contracts, according to BNB Chain.
The Optimized/MIR Interpreter addresses the inefficiencies of the traditional stack-based interpreter, which suffers from performance bottlenecks due to the lack of preprocessing. This conventional approach forces the engine to execute bytecode naively, incurring high CPU resource consumption for tasks like opcode dispatching and dynamic jump destination verification.
In contrast, the MIR-based design employs compile-time optimization through static analysis, CFG construction, and conversion of stack operations to a register-based SSA-like representation. This method allows for executing optimized CFG instead of raw bytecode, significantly reducing redundant operations and improving execution efficiency.
The transition from a stack-based interpreter to a register-based MIR Interpreter marks a shift towards a more sophisticated execution model. By utilizing Control Flow Graphs (CFGs) and Basic Blocks, the MIR design pre-analyzes code structure, eliminating the high overhead associated with constant stack manipulation and repetitive calculations seen in traditional EVM.
Key differences include the MIR’s ability to replace the physical stack with a virtual register file, enabling cross-block value reuse and enhancing execution throughput. The MIR Interpreter also benefits from pre-validated jump targets and optimized block transitions, offering more efficient control flow handling.
The Optimized/MIR Interpreter demonstrates a notable performance advantage, particularly for complex smart contracts. Benchmark results indicate that the MIR Interpreter is approximately 11% faster on average for functions in USDT contracts and 23% faster for WBNB contracts. The performance gains are attributed to CFG construction and caching, which amortize costs over repeated executions, proving especially beneficial for frequently executed contracts.
However, the MIR Interpreter does have a fixed CFG construction overhead, which can dominate in very simple operations or one-time executions where the CFG cache is not amortized.
BNB Chain’s implementation of the Optimized/MIR Interpreter underscores its commitment to enhancing blockchain performance while maintaining EVM compatibility. By ensuring 100% compatibility with EVM semantics, the MIR design offers significant optimization benefits without necessitating changes to existing user code.
The introduction of this interpreter is a strategic move to cater to the growing demand for efficient execution of complex smart contracts in production environments, where performance improvements can be compounded over numerous executions.
