Ethereum layer-2 scaling protocol Polygon (MATIC) is carrying out performance testing of zero-knowledge rollup (zk rollups) technology ahead of full integration with its mainnet.
The development of the technology, called Polygon zkEVM (Ethereum Virtual Machine), has been ongoing for over three years by the Polygon Hermez team. The team has already confirmed that zero-knowledge proofs are possible on Ethereum, by generating over 12,000 zk-proofs in a primary version of the zkEVM testnet.
David Schwartz, project lead of Polygon zkEVM and PolygonID, unpacked the development of the functionality in correspondence with Cointelegraph. Layer-2 platforms have continued to evolve and improve functionality which has played a key role in driving Ethereum’s scalability.
As he explained, zero-knowledge rollups have increased the speed at which layer-2 platforms can achieve finality while ensuring secure validation of transactions with zero-knowledge technology. In blockchain terms, finality is the point at which a block of transactions is considered to have been permanently and irreversibly added to the blockchain:
“Finally, we have zkEVMs, such as Polygon zkEVM, that offer all the above in addition to the equivalence to Ethereum Virtual Machine with its advanced methods of zk-STARKs and zk-SNARKs.”
According to Schwartz, Polygon zkEVM includes the first complete source code available EVM-equivalent zkProver, which passes all Ethereum vector tests at over 99%. He described the completion of validity proofs for conventional user transactions as “the most challenging and rewarding effort” since his team began developing its native zkEVM.
Two years ago, the Polygon team estimated that developing zk rollups with EVM compatibility would take up to ten years. Given the strides made, the team describes zkEVM as the end game, combining advances with layer 2 scalability and fast finality. This offers a myriad of benefits to users when adding greater throughput and lower fees.
Cointelegraph also queried the difference between Polygon zkEVM and fellow Ethereum layer-2 scaling network StarkNet’s proprietary ZK-SNARK and ZK-STARK technology. As previously reported, ZK-STARKS (Zero-Knowledge Scalable Transparent Argument of Knowledge) primarily increases scalability by batching thousands of transactions with a single proof to confirm validity on chain.
Schwartz said the main…