Overview
Learn about the Validium Network VM's functionality, its role in the Validium Network compared to the EVM in Ethereum, and how it handles smart contracts and transaction fees.
The Validium Network VM (zero-knowledge Ethereum Virtual Machine) is an essential component of the Validium Network, designed to execute transactions similarly to the Ethereum Virtual Machine (EVM) but with a unique set of functionalities tailored to the needs of rollups.
Validium VM and its role in Validium Network
Unlike the EVM that operates Ethereum's smart contracts directly, the Validium Network VM is specifically engineered to efficiently run the State Transition Function (STF), which is vital for producing proofs of correct execution in a rollup context. This STF is defined by the Bootloader, which implements and runs it.
Execution of transactions
Transactions executed by the Validium Network VM are primarily written in native Validium VM bytecode, enabling straightforward execution. In the future, the system will also accommodate EVM bytecode through an efficient interpreter built into the Validium VM.
Special features of Validium VM
The Validium VM incorporates several specialized features to meet the demands of rollups, including:
Storage and Gas Metering: Adaptations in storage handling and gas metering to suit the rollup model.
Precompiles and System Contracts: The Validium VM supports predeployed contracts known as precompiles and system contracts. While both are integral, system contracts have special permissions and are mainly invoked by the Bootloader, not by user transactions. These system contracts are crucial for managing specialized operations and are outlined in more detail here.
User-facing features
To enhance user experience, the Validium VM supports account abstraction, allowing users to customize how transaction fees are paid. This flexibility is part of the Validium Network's efforts to improve usability and accessibility.
Fee model
The Validium VM's fee model differs significantly from Ethereum's due to the unique requirements of running a rollup. It considers the various costs associated with rollup operations, including:
Data and Proof Execution Costs on L1: Ensures that the rollup's data and proof computations are financially sustainable when settled on Ethereum.
Sequencer and Prover Costs: Covers expenses related to sequencing transactions and generating zero-knowledge proofs.
The zkEVM plays a critical role in the Validium Network by ensuring efficient execution of transactions within the unique operational environment of rollups. Its specialized features and innovative fee model are designed to maintain functionality and scalability while providing a seamless experience for users. For further exploration of these concepts, consider reading more about account abstraction and the fee mechanism in our documentation.
Last updated