Last week, Polygon [ MATIC +1.77% ](/price/248360/polygon-matic-usd) introduced the “type 1 prover”— a technology that can facilitate EVM-compatible chains to adopt zero-knowledge proofs.The type 1 prover is [expected](https://polygon.technology/blog/upgrade-every-evm-chain-to-zk-introducing-the-type-1-prover) to be released later this year.It will be incorporated into Polygon’s CDK (software stack), marking an advancement over the project’s previous type 2 proving mechanism, which lacked compatibility with other EVM chains.“The type-1 prover can generate zero-knowledge proofs for any EVM chain without necessitating hard forks or adjustments to existing clients,” Brendan Farmer, a co-founder of Polygon, told The Block.Polygon Labs wants to leverage the prover to transition a wide range of blockchains, including side chains and optimistic roll-ups, into validiums — a specialized form of Layer 2 networks that utilize zero-knowledge proofs for enhanced efficiency and reduced transaction costs.Validiums store only zk-proofs on the Ethereum mainnet, with actual transaction data held off-chain, supported by a data availability solution.This structure contrasts with ZK-Rollups, which also have to publish proofs of app data on the Ethereum mainnet.Farmer stressed that projects can also choose to become full-fledged ZK-rollups if they want to make use of their type-1 prover.
At the end of the day, it’s up to the teams to make that decision, he clarified.The move to ZK-based network Moving to a ZK-based network (like validiums or ZK-rollups) can potentially offer advantages to Layer 2 projects, including the elimination of the seven-day withdrawal delay associated with optimistic rollup solutions (e.g., Optimism and Arbitrum).This delay, Farmer said, has been a point of contention because it incurs additional time and costs for users relying on third-party bridges for transactions.“It’s like tens of millions of dollars paid to third-party bridges, and if you look at what it would have cost to prove all of the transactions on those optimistic rollups, it’s like a few hundred thousand dollars,” Farmer added.
“Users are being forced to bear a lot of costs on Optimistic Layer 2s that are just unnecessary, and an upgrade to a ZK-based network just fixes this.” Following the ZK transition, chains can be connected through Polygon’s interoperability protocol — the [AggLayer](https://www.theblock.co/post/274296/polygon-agglayer-blockchain?utm_source=rss&utm_medium=rss) — which promises interoperability and unified liquidity for Layer 2s.The first version of the AggLayer is planned to be released in February, enabling developers to connect blockchains.The objective will be to ensure uniform security across modular and monolithic chains, including those within the Polygon ecosystem.AggLayer will be a critical component of [Polygon 2.0](https://www.theblock.co/post/237088/polygon-2-0-to-leverage-matic-re-staking-and-new-interoperability-layer), the next iteration of the Polygon network.
Unlike typical interoperability solutions, it will aggregate [ ZK proofs](https://www.theblock.co/post/240929/optimism-zk-proof-proposals) from all connected chains.Disclaimer: The Block is an independent media outlet that delivers news, research, and data.As of November 2023, Foresight Ventures is a majority investor of The Block.Foresight Ventures invests in [other companies](https://www.foresightventures.com/portfolio) in the crypto space.Crypto exchange Bitget is an anchor LP for Foresight Ventures.The Block continues to operate independently to deliver objective, impactful, and timely information about the crypto industry.Here are our current [financial disclosures](https://www.theblock.co/financial-disclosures).© 2023 The Block.
All Rights Reserved.
This article is provided for informational purposes only.It is not offered or intended to be used as legal, tax, investment, financial, or other advice..
