{"id":"zkevm","title":"zkEVM","content":"A **zkEVM** (Zero-Knowledge [Ethereum](https://iq.wiki/wiki/ethereum) Virtual Machine) is a virtual machine that executes smart contracts compatibly with the [Ethereum](https://iq.wiki/wiki/ethereum) Virtual Machine (EVM) and produces cryptographic proofs of these executions using zero-knowledge technology. It is designed as a scaling solution for [Ethereum](https://iq.wiki/wiki/ethereum), aiming to increase transaction throughput and reduce costs while maintaining a high degree of security by leveraging the main [Ethereum](https://iq.wiki/wiki/ethereum) network. By bundling numerous transactions, executing them off-chain, and then posting a compact validity proof to the main blockchain, zkEVMs allow for the verification of computations without requiring every network node to re-execute them. [\\[1\\]](#cite-id-YzN33EzGHbw4gYke) [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)​\n\n## Overview\n\nThe primary motivation behind zkEVM development is to address the scalability bottleneck of the [Ethereum](https://iq.wiki/wiki/ethereum) network. In [Ethereum](https://iq.wiki/wiki/ethereum)'s standard model, every validator node must re-execute every transaction within a block to verify its validity, a process referred to as \"N-of-N execution.\" This redundant computation limits the network's capacity and is a contributing factor to high gas fees during periods of high demand. [\\[3\\]](#cite-id-gc95gGWOgBclYq8M)​\n\nzkEVMs propose a \"1-of-N\" model, where a single specialized entity, known as a \"prover,\" executes a block of transactions and generates a succinct cryptographic proof (a ZK-proof) confirming the correctness of the execution. Network validators then only need to verify this computationally inexpensive proof instead of re-running the entire block. This paradigm shift dramatically reduces the computational load on the network, enabling higher throughput and more affordable fees. [\\[4\\]](#cite-id-iWBf8EOLu0Q7PgB8)​\n\nWhile earlier [ZK-Rollups](https://iq.wiki/wiki/zk-rollup) provided scalability benefits, they often did so at the cost of EVM compatibility, limiting their use to specific applications and requiring developers to learn new languages or tooling. zkEVMs are a significant evolution because they aim to be compatible or equivalent with the EVM, allowing developers to deploy existing [Ethereum](https://iq.wiki/wiki/ethereum) smart contracts and [decentralized applications (dApps)](https://iq.wiki/wiki/decentralized-application) onto a more scalable layer with minimal to no code modifications. This approach allows projects to tap into [Ethereum](https://iq.wiki/wiki/ethereum)'s extensive ecosystem of developers, tools, and infrastructure. [\\[1\\]](#cite-id-YzN33EzGHbw4gYke) [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9)​\n\nThe technology is applied in two primary contexts: as [Layer 2](https://iq.wiki/wiki/layer-2) rollups that operate on top of [Ethereum](https://iq.wiki/wiki/ethereum), and in a more ambitious proposal to integrate a zkEVM directly into [Ethereum](https://iq.wiki/wiki/ethereum)'s Layer 1 protocol to scale the mainnet itself. [\\[6\\]](#cite-id-dUFHTZG5dix4tsRk)​\n\n## How zkEVMs Work\n\nA zkEVM architecture fundamentally consists of three core components that facilitate off-chain computation with on-chain verification. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)​\n\n### Core Components\n\n* **Execution Environment**: This component replicates the [Ethereum](https://iq.wiki/wiki/ethereum) Virtual Machine, providing a space where smart contracts written in languages like [Solidity](https://iq.wiki/wiki/solidity) can be executed. It takes the current blockchain state, processes a batch of transactions provided by users, and computes a new, updated state. Its compatibility with the EVM is what allows for the seamless porting of existing dApps. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n* **Proving Circuit**: This is the cryptographic engine of the zkEVM. It observes the transaction executions and generates a zero-knowledge proof, typically a `zk-SNARK` or zk-STARK. This proof cryptographically attests that the state transition—from the initial state to the new state—was valid and that all computations were performed correctly according to the EVM's rules. The proof is generated without revealing the underlying transaction data itself. [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9) [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n* **Verifier Contract**: This is a smart contract deployed on the underlying Layer 1 blockchain (e.g., [Ethereum](https://iq.wiki/wiki/ethereum)). The zkEVM rollup submits the generated validity proof and the updated state data to this contract. The verifier contract's sole function is to check the cryptographic proof. If the proof is valid, the new state is accepted and finalized on the Layer 1 chain. This verification process is highly efficient and avoids the need for every Layer 1 node to re-execute the transactions. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n\n### The Proving Process\n\nIn a zkEVM system, the prover executes the block \"statelessly,\" meaning it does not need to maintain a full copy of the entire blockchain state. Instead, the necessary state data for the transactions being processed is supplied as an input, often called a \"witness.\" This input is accompanied by Merkle proofs that verify its integrity against the known state root of the parent block. [\\[4\\]](#cite-id-iWBf8EOLu0Q7PgB8)​\n\nIt is important to note that the term \"zk\" (zero-knowledge) can be a partial misnomer in the context of scaling. While the technology can be used for privacy, zkEVMs primarily leverage the \"succinctness\" (the proof is small) and \"integrity\" (the proof is computationally sound) properties of ZK-proof systems like SNARKs. They prove that computations were executed correctly without necessarily hiding the transaction details, as privacy would require additional complexity and prover costs. [\\[6\\]](#cite-id-dUFHTZG5dix4tsRk)​\n\n## Types of zkEVMs\n\n​[Ethereum](https://iq.wiki/wiki/ethereum) co-founder [Vitalik Buterin](https://iq.wiki/wiki/vitalik-buterin) proposed a classification system for zkEVMs, categorizing them into types based on their level of compatibility with [Ethereum](https://iq.wiki/wiki/ethereum). This system highlights a fundamental trade-off: higher compatibility (lower-numbered types) makes it easier to use existing infrastructure but is slower and more expensive to prove, while lower compatibility (higher-numbered types) achieves faster proving times at the cost of breaking from [Ethereum](https://iq.wiki/wiki/ethereum) standards. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)​\n\n#### Type 1 (Fully Ethereum-equivalent)\n\nType 1 zkEVMs aim to be fully and uncompromisingly equivalent to [Ethereum](https://iq.wiki/wiki/ethereum). They make no changes to the [Ethereum](https://iq.wiki/wiki/ethereum) system, including hash functions (like Keccak), state trees, or other consensus logic.\n\n* **Advantages**: Perfect compatibility with all [Ethereum](https://iq.wiki/wiki/ethereum) dApps and infrastructure. Tools like block explorers and execution clients can be reused without modification.\n* **Disadvantages**: Proof generation is extremely slow because certain parts of the [Ethereum](https://iq.wiki/wiki/ethereum) protocol are not ZK-friendly.\n* **Examples**: This is the stated goal of the [Ethereum Foundation](https://iq.wiki/wiki/ethereum-foundation-ef)'s zkEVM project for Layer 1 integration. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W) [\\[3\\]](#cite-id-gc95gGWOgBclYq8M)\n\n#### Type 2 (Fully EVM-equivalent)\n\nType 2 zkEVMs are fully equivalent from a developer's perspective but make minor modifications to the underlying [Ethereum](https://iq.wiki/wiki/ethereum) architecture, such as using a different state tree structure, to accelerate proof generation.\n\n* **Advantages**: Compatible with most existing applications, offering faster proving times than Type 1.\n* **Disadvantages**: Proving time can still be a bottleneck for some use cases.\n* **Examples**: [Polygon](https://iq.wiki/wiki/polygon) zkEVM and [Scroll](https://iq.wiki/wiki/scroll) are projects that aim for this level of equivalence. [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9) [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n\n#### Type 2.5 (EVM-Equivalent Except for Gas Costs)\n\nThis is a variation of Type 2 that increases the gas costs for specific operations that are particularly hard to prove within a ZK circuit. This modification improves worst-case proving times but can break developer tooling and smart contracts that depend on precise gas cost calculations. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)​\n\n#### Type 3 (Almost EVM-equivalent)\n\nType 3 zkEVMs sacrifice perfect EVM compatibility to further simplify development and improve prover performance. They may omit features that are particularly difficult to implement in ZK circuits, such as certain precompiled contracts.\n\n* **Advantages**: Easier to build and offers faster proof generation than Type 2.\n* **Disadvantages**: Some applications may require code modifications to be deployed. The current implementations of [Polygon](https://iq.wiki/wiki/polygon) zkEVM and [Scroll](https://iq.wiki/wiki/scroll) are often considered closer to this type. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n\n#### Type 4 (High-Level-Language Equivalent)\n\nType 4 systems do not aim for direct compatibility at the EVM bytecode level. Instead, they compile smart contract source code written in a high-level language like [Solidity](https://iq.wiki/wiki/solidity) or Vyper directly into a ZK-friendly language or instruction set.\n\n* **Advantages**: Can lead to significantly faster proof generation times.\n* **Disadvantages**: Incompatibility at the bytecode level can cause issues with debugging tools, contract addresses, and applications that use handwritten EVM bytecode.\n* **Examples**: zkSync Era is a prominent example of a Type 4 zkEVM. [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9) [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n\n## Advantages and Challenges\n\n### Advantages\n\n* **Secure Scalability**: zkEVMs execute transactions off-chain for speed but settle them on a Layer 1 by submitting validity proofs. This allows them to inherit the security and decentralization of the parent chain while operating with higher throughput, potentially increasing transaction capacity from around 30 transactions per second (TPS) on [Ethereum](https://iq.wiki/wiki/ethereum) to over 2,000 TPS. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W) [\\[1\\]](#cite-id-YzN33EzGHbw4gYke)\n* **Low Cost**: By batching thousands of transactions and amortizing the cost of a single on-chain proof across them, zkEVMs can substantially lower gas fees. Costs can be reduced from nearly a dollar to less than a cent per transaction. [\\[7\\]](#cite-id-u0PWKjnePNWBv6Gr) [\\[1\\]](#cite-id-YzN33EzGHbw4gYke)\n* **Fast Finality**: Transactions on a zkEVM are considered final as soon as the validity proof is accepted by the verifier contract on [Layer 1](https://iq.wiki/wiki/layer-1). This avoids the one-to-two-week challenge period required by Optimistic Rollups, improving capital efficiency and user experience, especially for withdrawals. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n* **Developer Experience**: EVM compatibility or equivalence is a major benefit, allowing developers to migrate existing dApps and leverage the established [Ethereum](https://iq.wiki/wiki/ethereum) developer ecosystem and tools with few changes. This taps into large network effects and reduces the learning curve for builders. [\\[7\\]](#cite-id-u0PWKjnePNWBv6Gr)\n\n### Development Challenges\n\n* **Proving Cost and Complexity**: The generation of zero-knowledge proofs is a computationally intensive process that often requires specialized, powerful hardware, which can be a bottleneck and a cost center. [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9)\n* **Architectural Mismatch**: The EVM was not designed with ZK-proofs in mind. Its stack-based architecture, complex opcodes (e.g., `CALL`), and use of ZK-unfriendly hashing functions like Keccak present significant technical challenges and expense when creating proofs for their execution. [\\[2\\]](#cite-id-W33Vyfkw4Luwc37W)\n* **Compatibility vs. Performance Trade-off**: As detailed in the zkEVM types, there is an inherent tension between achieving full [Ethereum](https://iq.wiki/wiki/ethereum) compatibility and designing a system that can generate proofs efficiently. [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9)\n* **Decentralization Concerns**: The reliance on expensive, specialized hardware for proof generation raises concerns about potential centralization, as only a few well-resourced entities might be able to participate as provers or sequencers. [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9)\n\n## Security Considerations\n\nIntegrating zkEVMs into the [Ethereum](https://iq.wiki/wiki/ethereum) ecosystem, whether at [Layer 2](https://iq.wiki/wiki/layer-2) or [Layer 1](https://iq.wiki/wiki/layer-1), introduces new security considerations and potential attack vectors. Research from the [Ethereum](https://iq.wiki/wiki/ethereum) [Foundation](https://iq.wiki/wiki/foundation) has identified numerous areas of concern. [\\[6\\]](#cite-id-dUFHTZG5dix4tsRk)​\n\n### System Diversity\n\nA primary concern is the risk of a single point of failure. If the ecosystem becomes reliant on only one or two Execution Layer (EL) clients for proving, or on a single underlying zkVM implementation, a bug in that dominant software could halt or compromise the entire network. A proposed mitigation is a \"multiproofs strategy,\" where a block is only considered valid after receiving proofs from multiple, diverse zkEVM systems. [\\[6\\]](#cite-id-dUFHTZG5dix4tsRk)​\n\n### Guest Program and Compilation\n\nSignificant risk lies in the process of making an EL client \"provable.\" EL clients are designed for complex CPUs with features like caches and system calls, which are absent in the constrained environment of a zkVM. The mismatch between these environments is a high-level concern. Furthermore, bugs can be introduced when modifying clients, and the compilers for niche Instruction Set Architectures (ISAs) like `RV32IM` used by zkVMs are less battle-tested than mainstream compilers. Custom \"zkVM precompiles,\" which are used to speed up ZK-unfriendly operations like Keccak hashing, also add complexity and introduce their own attack surface. [\\[6\\]](#cite-id-dUFHTZG5dix4tsRk)​\n\n### Prover and Circuit Correctness\n\nThe most critical components of a zkEVM are the arithmetic circuits that define the VM's rules and the underlying cryptographic protocol. A bug in either could be catastrophic, potentially allowing a malicious prover to create a valid-looking proof for an invalid state transition, which could lead to theft of funds. Such flaws could originate from the source research paper, ambiguities in specifications, or errors during implementation. Other implementation risks include incorrect \"witness\" generation, transpilation bugs between program formats, or unsafe \"optimizations\" that deviate from a protocol's proven security guarantees. [\\[6\\]](#cite-id-dUFHTZG5dix4tsRk)​\n\n### Mitigation Strategies\n\nTo address these risks, the ecosystem relies on several strategies, including formal verification (using mathematics to prove the correctness of code), extensive testing against standardized test suites (like the [Ethereum](https://iq.wiki/wiki/ethereum) Execution Spec Tests), independent security audits, bug bounties to incentivize white-hat hacking, and architectural designs like the multiproofs strategy. [\\[6\\]](#cite-id-dUFHTZG5dix4tsRk)​\n\n### Formal Verification Initiatives\n\nTo bolster security, the [Ethereum Foundation](https://iq.wiki/wiki/ethereum-foundation-ef) has initiated the **zkEVM Formal Verification Project**, an ecosystem-wide effort to apply formal verification methods to the entire zkEVM stack with the goal of creating \"bug-free zkEVMs.\" The project, which is expected to run through the end of 2026, aims to develop tools, standards, and processes to ensure the correctness and security of zkEVMs. [\\[8\\]](#cite-id-b06Kd3tbzmm7gYcK)​\n\nThe initiative is structured into three main focus areas, or \"Tracks\": [\\[8\\]](#cite-id-b06Kd3tbzmm7gYcK)​\n\n* **RISC-V zkVM Track**: Focuses on verifying that the polynomial constraints of RISC-V based zkVMs correctly implement the official RISC-V instruction semantics.\n* **EVM Track**: Aims to prove that an EVM implementation running on a RISC-V architecture is a correct implementation of the official EVM specification.\n* **Cryptography Track**: Verifies the specifications, security proofs, and implementations of the underlying cryptographic proof systems and primitives.\n\nThe project operates through a grants program that funds various teams to tackle these challenges. Supported work includes the development of `ArkLib`, a library of formalized cryptographic proofs in the Lean proof assistant; `cLean`, a Domain-Specific Language (DSL) for writing circuits in Lean; and `LLZK`, a unified intermediate representation for zero-knowledge languages. These efforts highlight a community-driven, open, and methodologically diverse approach to securing the next generation of [Ethereum](https://iq.wiki/wiki/ethereum) scaling solutions. [\\[8\\]](#cite-id-b06Kd3tbzmm7gYcK)​\n\n## History and Notable Projects\n\nWhile early [zk-Rollups](https://iq.wiki/wiki/zk-rollup) like [dYdX](https://iq.wiki/wiki/dydx) and [Loopring](https://iq.wiki/wiki/loopring) demonstrated the power of ZK technology for scaling, they lacked general EVM compatibility. The development of zkEVMs represented a major push to combine ZK proofs with the EVM's programmability. [\\[1\\]](#cite-id-YzN33EzGHbw4gYke)​\n\n### Early Development and Mainnet Launches\n\nThe first public zkEVM mainnets went live in March 2023, marking a significant milestone for [Ethereum](https://iq.wiki/wiki/ethereum) scaling.\n\n* **zkSync Era**: Developed by [Matter Labs](https://iq.wiki/wiki/matter-labs), zkSync Era launched its public mainnet on March 24, 2023. As a Type 4 zkEVM, it compiles [Solidity](https://iq.wiki/wiki/solidity) and Vyper code into a ZK-friendly format for faster proving times. [\\[1\\]](#cite-id-YzN33EzGHbw4gYke) [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9)\n* **Polygon zkEVM**: [Polygon](https://iq.wiki/wiki/polygon) launched its zkEVM [Mainnet](https://iq.wiki/wiki/mainnet) Beta on March 27, 2023. Noted for being open-source, its first transaction was sent by [Ethereum](https://iq.wiki/wiki/ethereum) co-founder [Vitalik Buterin](https://iq.wiki/wiki/vitalik-buterin). It is generally classified as a Type 2 or Type 3 zkEVM. Both the zkSync and [Polygon](https://iq.wiki/wiki/polygon) teams acknowledged the early-stage nature of the technology at launch. [\\[1\\]](#cite-id-YzN33EzGHbw4gYke)\n\n### Evolution of Polygon zkEVM\n\nThroughout 2024, the [Polygon](https://iq.wiki/wiki/polygon) zkEVM [Mainnet](https://iq.wiki/wiki/mainnet) Beta received several upgrades, including the \"Etrog,\" \"Elderberry,\" and \"Eggfruit\" updates, which introduced features such as the cdk-erigon sequencer. However, in a strategic shift, [Polygon](https://iq.wiki/wiki/polygon) Labs announced in January 2026 the plan to deprecate the [Polygon](https://iq.wiki/wiki/polygon) zkEVM [Mainnet](https://iq.wiki/wiki/mainnet) Beta. The technology and learnings from the project are being integrated into other ecosystem products, such as the [Polygon](https://iq.wiki/wiki/polygon) Chain Development Kit (CDK), which allows developers to launch their own ZK-powered chains. [\\[7\\]](#cite-id-u0PWKjnePNWBv6Gr)​\n\n### Other Projects\n\n* **Scroll**: A zkEVM project, categorized as Type 2, developed in collaboration with the [Ethereum](https://iq.wiki/wiki/ethereum) Foundation's Privacy and Scaling Explorations (PSE) group. [\\[5\\]](#cite-id-7ZsQ1WKYVHUM6HG9)\n* **Linea**: A zkEVM developed by Consensys, one of the leading software companies in the [Ethereum](https://iq.wiki/wiki/ethereum) ecosystem. [\\[1\\]](#cite-id-YzN33EzGHbw4gYke)\n* **Taiko**: Another project developing a zkEVM solution to scale [Ethereum](https://iq.wiki/wiki/ethereum). [\\[1\\]](#cite-id-YzN33EzGHbw4gYke)\n\n### The Ethereum Foundation's L1 Initiative\n\nThe [Ethereum Foundation](https://iq.wiki/wiki/ethereum-foundation-ef) is pursuing research into integrating a Type 1 zkEVM directly into [Ethereum](https://iq.wiki/wiki/ethereum)'s base layer. The goal is to achieve \"Real-Time Proving\" (RTP), which means generating a ZK-proof for a full [Ethereum](https://iq.wiki/wiki/ethereum) block within the 12-second slot time. This would allow the entire network to benefit from ZK scaling without users needing to migrate to a separate Layer 2. The project's guiding principle is \"full, uncompromising EVM-equivalence.\" [\\[3\\]](#cite-id-gc95gGWOgBclYq8M)​\n\n> \"Our goal is full, uncompromising EVM-equivalence.\" [\\[3\\]](#cite-id-gc95gGWOgBclYq8M)\n\nAs of early 2026, this initiative involves ongoing benchmarking of zkVM implementations like OpenVM and RISC0, as well as work to prepare [Ethereum](https://iq.wiki/wiki/ethereum) clients like Reth and [Geth](https://iq.wiki/wiki/geth) for potential integration with proof-based validation. [\\[3\\]](#cite-id-gc95gGWOgBclYq8M)​","summary":"A zkEVM is an EVM-equivalent Layer 2 scaling solution that bundles transactions off-chain, generating a cryptographic proof for the Ethereum mainnet to enhance scalability and reduce costs.","images":[{"id":"QmWLdiCJHGwRRHDfMaqog8HN68mvbfJvkd11ZL9RzL95wB","type":"image/jpeg, image/png"}],"categories":[{"id":"defi","title":"defi"}],"tags":[{"id":"Ethereum"},{"id":"Glossary"}],"media":[],"metadata":[{"id":"website","value":"https://zkevm.ethereum.foundation/"},{"id":"references","value":"[{\"id\":\"YzN33EzGHbw4gYke\",\"url\":\"https://decrypt.co/resources/what-is-zkevm\",\"description\":\"Decrypt on what a zkEVM is\",\"timestamp\":1769374319427},{\"id\":\"W33Vyfkw4Luwc37W\",\"url\":\"https://chain.link/education-hub/zkevm\",\"description\":\"Chainlink's educational hub on zkEVM\",\"timestamp\":1769374319427},{\"id\":\"gc95gGWOgBclYq8M\",\"url\":\"https://zkevm.ethereum.foundation/\",\"description\":\"Ethereum Foundation on scaling with zkEVM\",\"timestamp\":1769374319427},{\"id\":\"iWBf8EOLu0Q7PgB8\",\"url\":\"https://zkevm.ethereum.foundation/blog/benchmarking-zkvms\",\"description\":\"EF blog on zkVM benchmarking methodology\",\"timestamp\":1769374319427},{\"id\":\"7ZsQ1WKYVHUM6HG9\",\"url\":\"https://hacken.io/discover/zk-evm/\",\"description\":\"Hacken on zkEVM fundamentals\",\"timestamp\":1769374319427},{\"id\":\"dUFHTZG5dix4tsRk\",\"url\":\"https://zkevm.ethereum.foundation/blog/zkevm-security-overview\",\"description\":\"EF security overview discussing L1 integration\",\"timestamp\":1769374319427},{\"id\":\"u0PWKjnePNWBv6Gr\",\"url\":\"https://polygon.technology/polygon-zkevm\",\"description\":\"Polygon's zkEVM technology page\",\"timestamp\":1769374319427},{\"id\":\"b06Kd3tbzmm7gYcK\",\"url\":\"https://verified-zkevm.org/\",\"description\":\"Official website for the Verified zkEVM project\",\"timestamp\":1769374948064}]"},{"id":"previous_cid","value":"\"https://ipfs.everipedia.org/ipfs/QmbMUQ3J9p6NS55XX8bbepFBo6Dv7cUBoHbhiiD81T51Zp\""},{"id":"commit-message","value":"\"Removed overview section\""},{"id":"previous_cid","value":"QmbMUQ3J9p6NS55XX8bbepFBo6Dv7cUBoHbhiiD81T51Zp"}],"events":[{"id":"e1bec2ea-1edf-46e0-908a-42f1040c981d","date":"2023-03","title":"First Public zkEVM Mainnets Launch","type":"DEFAULT","description":"zkSync Era and Polygon zkEVM launched their public mainnets, marking the first live, publicly available implementations of the technology.","link":"https://decrypt.co/resources/what-is-zkevm","multiDateStart":null,"multiDateEnd":null,"continent":null,"country":null},{"id":"2c22575f-66c6-488a-85dd-8ecfaa9311ba","date":"2025-05","title":"Ethereum Foundation Begins L1 zkEVM Benchmarking","type":"DEFAULT","description":"The Ethereum Foundation's zkEVM team began creating worst-case benchmark scenarios to test the viability of integrating zkEVMs directly into Ethereum's Layer 1.","link":"https://zkevm.ethereum.foundation/blog/benchmarking-zkvms","multiDateStart":null,"multiDateEnd":null,"continent":null,"country":null},{"id":"cfb8d244-7ead-4c1a-82c6-a38b830d6193","date":"2026-01","title":"Polygon Announces zkEVM Mainnet Beta Deprecation","type":"DEFAULT","description":"Polygon Labs announced the planned sunsetting of the Polygon zkEVM Mainnet Beta for 2026, shifting focus to its Chain Development Kit (CDK).","link":"https://polygon.technology/polygon-zkevm","multiDateStart":null,"multiDateEnd":null,"continent":null,"country":null},{"id":"b5c7d76b-c1ed-46c9-b9bd-60b28f31838c","date":"2026-01-25","title":"zkEVM Founded","type":"CREATED","description":"zkEVM was founded and officially launched."}],"user":{"id":"0x8af7a19a26d8fbc48defb35aefb15ec8c407f889"},"author":{"id":"0x8af7a19a26d8fbc48defb35aefb15ec8c407f889"},"operator":{"id":"0x1E23b34d3106F0C1c74D17f2Cd0F65cdb039b138"},"language":"en","version":1,"linkedWikis":{"blockchains":["ethereum"],"founders":[],"speakers":[]},"recentActivity":"{\"items\":[{\"id\":\"19fd7559-01cc-4762-8fc3-cc88435af628\",\"title\":\"zkEVM\",\"description\":\"A zkEVM is an EVM-equivalent Layer 2 scaling solution that bundles transactions off-chain, generating a cryptographic proof for the Ethereum mainnet to enhance scalability and reduce costs.\",\"timestamp\":\"2026-01-25T21:04:08.466Z\",\"category\":\"defi\",\"status\":{\"icon\":\"RiGlobalLine\",\"label\":\"Wiki Updated\",\"iconClassName\":\"text-green-500\"},\"user\":{\"name\":\"0x8af7a19a26d8fbc48defb35aefb15ec8c407f889\",\"address\":\"0x1E23b34d3106F0C1c74D17f2Cd0F65cdb039b138\"},\"button\":{\"label\":\"View Summary\",\"icon\":\"RiFileTextLine\"},\"summarySections\":[{\"title\":\"Security Considerations\",\"subtitle\":\"Expanded the section with details on formal verification initiatives and added a link.\",\"variant\":\"modified\",\"changeCount\":4,\"changes\":[\"Updated the 'Mitigation Strategies' subsection to include a link for '[Ethereum](https://iq.wiki/wiki/ethereum)' when mentioning Execution Spec Tests.\",\"Added a new subsection, 'Formal Verification Initiatives', to detail the Ethereum Foundation's ecosystem-wide project for creating 'bug-free zkEVMs' through 2026. [[8]](#cite-id-b06Kd3tbzmm7gYcK)\",\"Outlined the three main focus areas of the verification initiative: the RISC-V zkVM Track, EVM Track, and Cryptography Track. [[8]](#cite-id-b06Kd3tbzmm7gYcK)\",\"Described the project's grants program and supported work, including `ArkLib`, `cLean`, and `LLZK`, aiming to secure Ethereum scaling solutions. [[8]](#cite-id-b06Kd3tbzmm7gYcK)\"]},{\"title\":\"References\",\"subtitle\":\"A new reference was added to support information on formal verification.\",\"variant\":\"added\",\"changeCount\":1,\"changes\":[\"Added new reference: 'Official website for the Verified zkEVM project' (https://verified-zkevm.org/).\"]}]}]}"}