What is zkEVM? Importance of zkEVM for Ethereum Scaling
The computer of the World. The machine is unstoppable. The Heart of Ethereum. The Ethereum Virtual Machine (EVM) goes by many names that highlight its importance to the Ethereum network. It is the core feature that makes it not only a ‘distributed ledger’ like Bitcoin but also a ‘distributed state machine’. EVM allows developers to create smart contracts using a programming language called Solidity. A common application of smart contracts is to manage token generation and exchange. Many applications and protocols use tokens to reward users for actions that are important to their goal. Without EVM, this would not be possible so the EVM virtual machine, a technology that made Ethereum famous, helps to execute smart contracts on the Ethereum network. What about zkEVM? is it as important as the EVM virtual machine?
zkEVM (zero-knowledge Ethereum Virtual Machine) is a virtual machine that supports zero-knowledge proofs or ZKP to verify the correctness of the execution of programs, including the validity of inputs and outputs in the program.
Simply put, zkEVM is designed to execute smart contracts that support zero-knowledge (zk) technology.
First, let’s review the importance of zk technology. ZKP (zero-knowledge proofs) is a way to prove a state is true without having to reveal any more information so that users keep privacy such as personal information, business secrets, proprietary data… Especially in the Web3 space, privacy is indispensable. For example, thanks to zk you can use the web without having your personal information stolen, or use proprietary data as input to activate smart contracts.
zkEVM leverages the resources of Ethereum, leveraging the scalability, validity, low cost, capital efficiency of zk-Rollup technology and the privacy capabilities of zk technology:
Is zkEVM a determining factor in the development of zk technology? the answer is no. For example, some non-EVM projects like StarkNet use Warp to compile Solidity language to Cairo or Polygon Miden uses the MidenVM virtual machine.
So why zkEVM and not another virtual machine? As mentioned above, it is zkEVM that helps to leverage resources from Ethereum such as:
zkEVM powers the Ethereum scaling solution. As we know zk-Rollup is said to be Ethereum’s medium and long-term scaling solution with many advantages such as scalability up to 2000TPS (4x Optimistic-Rollup), proof-of-validation, cost low fees, efficient capital (it only takes ~10 minutes to withdraw money to L1 while Optimistic is 1 week). zkEVM elevates the zk-Rollup scaling solution through EVM compatibility, making it easy for developers to leverage resources from Ethereum.
To understand how zkEVM works, let’s first review how EVM works today.
Virtual machines work in a similar way to physical machine with storage, memory, and CPU, but they operate entirely as code.
Like the EVM, zkEVM is a virtual machine that transitions between states after program execution. But zkEVM goes even further by generating zero-knowledge proofs (ZKPs) that verify the different factors in each calculation:
2. Read and write operations:
3. Calculation: Are the opcodes executed correctly?
ZkEVM is divided into three parts: an execution environment, a proving circuit, and a verifier contract. Each component contributes to zkEVM’s program execution, proof generation, and proof verification.
The execution environment is where programs (smart contracts) are run in zkEVM. zkEVM’s execution environment works like an EVM: it takes the initial state and the current transaction to create a new (aka final) state.
The proof circuit generates zero-knowledge proofs (ZKPs) that verify the validity of computed transactions in the execution environment.
Proof generation is completed using input data consisting of (1) pre-state, (2) transaction input, and (3) post-state information.
The verifier then obtains a brief proof of the validity of that particular state transition.
ZK-rollups submit valid proof to a smart contract deployed on the L1 (Ethereum) chain for verification.
Input (previous state and transaction information) and output (final state) are also submitted to the verifier contract.
The verifier then runs computations on the provided proof and confirms that the submitted outputs were correctly calculated from the inputs.
zkEVM opcodes are low-level machine instructions used to execute programs in an EVM-compatible zk-Rollup.
We need zkEVM opcodes because conventional EVM opcodes are not efficient for use in zero-knowledge proof circuits. In general, there are two approaches to generating zkEVM opcodes:
Building ZK Circuits for Original EVM opcodes
This approach makes zkEVM compatible at the bytecode level equivalent to EVM. This means that developers can create smart contracts using an existing blockchain developer tool, or migrate existing Ethereum contracts to ZK-rollups without much modification. However, it is a rather complicated and time-consuming technical endeavor.
Create a new language for ZK proof computation
This approach required building a new language — designed to support validators — and developing custom opcodes. Developers will need to either write contracts directly in the new language or compile the Solidity source code into custom zkEVM opcodes.
Although this method is often simpler to implement than the first approach, it has limitations. For example, developers may not be able to access existing Ethereum infrastructure and resources.
zkEVM is one of the most important factors that help developers build/integrate their dApps on the zk technology platform using the familiar solidity language.
Especially with zk-Rollup, zkEVM helps developers take full advantage of Ethereum’s resources, taking advantage of the scalability, validity, low cost, and capital efficiency of zk-Rollup technology and the carrying capacity Back to the privacy of zk technology. If the effort to build zkEVM is successful, the Ethereum ecosystem will certainly continue to retain a competitive edge over other alternative L1s.
The zkEVM space is likely to heat up in the coming months as zkSync makes its way to mainnet, Scroll, Polygon zkEVM runs testnet.
DISCLAIMER: The Information on this website is provided as general market commentary and does not constitute investment advice. We encourage you to do your own research before investing.
Join CoinCu Telegram to keep track of news: https://t.me/coincunews
Follow CoinCu Youtube Channel | Follow CoinCu Facebook page
Lucian
CoinCu News
Analysts highlight a breakout alert as Shiba Inu (SHIB), and Dogecoin show signs of recovery…
SEC Chair Gary Gensler will step down on January 20, 2025, coinciding with President-elect Donald…
The MicroStrategy convertible notes offering, initially set at $1.75 billion, was increased to $2.6 billion…
Discover why Qubetics, Cosmos, and Chainlink are the best cryptos to buy in November 2024.…
Best Cryptos to Buy in December 2024: Qubetics ($TICS) presale explodes, Ethereum (ETH) eyes a…
Palo Alto, California, 21st November 2024, Chainwire
This website uses cookies.