Polylastic

Releasing the Type-1 upgrade to the zkEVM prover, the next generation of Polygon’s proving tech. It can generate proofs for any EVM chain—sidechain, optimistic rollup, even Ethereum itself. When proving Ethereum mainnet blocks, avg per-transaction costs are $0.002 - $0.003. Developed with @Toposware, the Type 1 is open source and available today. Together with the AggLayer, the Type 1 prover will allow EVM chains to upgrade to ZK and access the shared state, liquidity, and user-base of the Polygon ecosystem. What makes it a Type 1? Ethereum equivalence. The Type 1 prover preserves all of Ethereum’s execution logic. In practice, this means that any EVM chain can become a ZK Layer 2, without having to fork or make modifications. The Type 1 zkEVM prover will be another config available to projects building with Polygon CDK, the modular toolkit for spinning up ZK L2s. All chains building with the modular toolkit can leverage the Type 1 to connect to the AggLayer, while taking advantage of lower costs, lower latency, and better UX. Projects like @Immutable zkEVM, @MantaNetwork, and @CantoPublic are planning to do exactly this. There are more performance optimizations and a Type 2 mode coming. Right now, the Type 1 can prove existing Ethereum blocks at an average per-tx cost of $0.002 to $0.003. With Plonky3 and additional zkEVM improvements, there will be a 30 to 50X reduction in cost over the next year. Read on for use cases and in-depth performance benchmarks: go.polygon.technology/3Ox3Ob…