$ETH $
馃挕Simplified breakdown of different ZK-EVM types:
馃搷Type 1: Fully Ethereum-equivalent
- Aims to mirror Ethereum exactly, but proving transactions is time-consuming due to Ethereum's non-ZK-friendly design.
馃搷Type 2: Fully EVM-equivalent
- Similar to Type 1 but modifies certain structures for faster proof generation, sacrificing full Ethereum compatibility.
馃搷Type 2.5: EVM-equivalent with adjusted gas costs.
- Increases gas costs for complex operations to speed up proofs but might cause minor incompatibilities.
馃搷Type 3: Almost EVM-equivalent
- Sacrifices some features for faster proof generation, improving compatibility over time.
馃搷Type 4: High-level language equivalent
- Converts high-level code directly into ZK-SNARK-friendly language for very fast proofs but might lack full compatibility with existing EVM-based applications.
The goal is for ZK-EVMs to evolve towards Type 1 for perfect Ethereum compatibility, allowing various paths to scale Ethereum and ZK-rollups. Different projects are exploring these types, with potential shifts between them as they improve over time.
2024 will be an exciting year, most of the Zero-Knowledge Proofs are finished and coming to Mainnet, solving some of the problems here in Web3.
