Polygon develops open-source prover, allowing Ethereum chains to become ZK layer 2s


Ethereum scaling protocol Polygon has developed a new Type 1 prover allowing ecosystem chains like optimistic rollups to unlock zero-knowledge proof (ZK-proofs) layer-2 functionality.

Polygon co-founder Brendan Farmer spoke exclusively to Cointelegraph after Polygon announced that its next-generation Polygon zkEVM Type 1 prover will be available as open source to Ethereum ecosystem participants.

Farmer said the development of the technology, which was built with the help of Toposware, was a year in the making and unlocks the ability to generate ZK-proofs for mainnet Ethereum blocks at an average cost of $0.002 to $0.003 per transaction. The Type 1 prover is dual licensed under MIT and Apache 2.0 and will be available on GitHub.

“A Type 1 prover is kind of the final form of a zkEVM. It allows us to take any existing chain, whether it’s the Ethereum layer 1, an optimistic rollup or an alternative L1, we can upgrade that into zkEVM L2 that can connect trustlessly to Ethereum and Polygon’s aggregation layer and participate in the Polygon ecosystem,” Farmer explained.

Benchmark data of Polygon’s Type 1 zkEVM prover and the associated costs of proving layer-1 blocks from the Ethereum blockchain.

Farmer added that industry participants have historically suggested that a layer-1 prover is not practical and would be cost-prohibitive. However, the team has since managed to provide efficiency and cost.

“We’re proving real mainnet Ethereum blocks at an average cost of two- to three-tenths of a cent per transaction. I think that that’s orders of magnitude lower than what people were expecting.”

The development has some interesting implications for the broader Ethereum ecosystem. Farmer explained that the technology allows the generation of ZK-proofs for any Ethereum Virtual Machine (EVM) chain.

The Polygon co-founder added that the technology serves as a public good for the Ethereum ecosystem by removing the need for users and services to maintain a full node.

“Imagine a world in which we actually generate proofs for Ethereum L1, and instead of having to run a full node, you can verify a zero-knowledge proof like in your browser. And so, you’re getting full node security guarantees without actually having to run a node and deal with kind of the hassle and headache,” Farmer said.

Polygon’s announcement outlines the framework of zkEVM originally proposed by Ethereum co-founder Vitalik Buterin. These rank from 1 to 4, reflecting the level of compatibility with Ethereum and its EVM.

A Type 1 prover is considered to have “the highest level of compatibility with Ethereum,” allowing the generation of proofs for EVM chains with modifications or migrations. These proofs preserve execution logic like storage structure and hash functions.

The technology will also allow optimistic rollups, popular Ethereum L2 protocols that bundle transactions off-chain and submit proofs to mainnet, to tap into the benefits of the Type 1 prover. One widely cited drawback of optimistic rollups is a seven-day period within which funds are locked up.

“We see a lot of optimistic rollups choosing to use this prover and join the Polygon ecosystem because it’s a much better user experience. If you look at the cost that users pay to use third-party bridges to avoid the seven-day withdrawal delay, it’s a tremendous cost in aggregate, like eight figures,” Farmer explained.

“Being able to avoid that and to provide a more capital-efficient solution for users is a huge advantage.” When questioned why Polygon opted to make the technology open source, Farmer said that making the technology available to the wider ecosystem was in line with the “ethos” of Ethereum.

“Our view is that if you want to look at who’s aligned with Ethereum, look at what they do, not what they say. We think that this is a huge public good, and it’s something that should be open source and should be available to anyone,” Farmer said.

Cointelegraph also spoke to Polygon co-founder Jordi Baylina in December 2023, who outlined the layer 2’s goal of amalgamating its scaling networks and technology to complete its “Polygon 2.0” cross-chain coordination protocol in 2024.

Source : Cointelegraph by Gareth Jenkinson / Feb 8, 2024

rayn.finance logo


240 rue Evariste Galois,

06410 Biot,

Sophia Antipolis

Automata Pay

65-66 Warwick House 4th

Floor, Queen Street, London

England, EC4R 1EB

Automata Pay Europe Ltd

3rd Floor Ormond Building,

31-36 Ormond Quay Upper,

Dublin 7, D07 Ee37

Automata ICO Ltd

Italian Branch

Via Archimede, 161,

00197 Roma


The purchase of digital assets is subject to a high market risk and price volatility. Changes in value can be significant and occur rapidly and without warning. Past performance is not a reliable indicator of future performance. The value of an investment and returns can fluctuate both up and down, and you may not recover the amount you invested. RISK WARNING

Automata ICO Limited has a branch in Italy with its registered office at Via Archimede, 161, Roma, Italy, and registered in Italy under number 96550860587 with the Organismo Agenti e Mediatori (OAM) as a Virtual Asset Service Provider (VASP).

Automata France SAS is a company registered in France with the company number 902 498 617. Automata FRANCE SAS is registered with the french Financial Market Authority, l’Autorité des marchés financiers (“AMF”), as a provider of Virtual Asset Service Provider under number E2023-087.

Automata Pay Europe Limited is a partner of Modulr Finance B.V., a company registered in the Netherlands with company number 81852401, which is authorised and regulated by the Dutch Central Bank (DNB) as an Electronic Money Institution (Firm Reference Number: R182870) for the issuance of electronic money and payment services. Your account and related payment services are provided by Modulr Finance B.V. Your funds will be held in one or more segregated accounts and safeguarded in line with the Financial Supervision Act. How we keep your money safe.