Polygon’s zk day event hosted in partnership with ETHGlobal on Dec. 9 was jam-packed with Zero Knowledge goodness. If you are interested in this technology and what it can do for Ethereum, check this out.
The 3.5-hour ZK tour de force included the announcement of a $400 million deal with pioneering ZK startup Mir and a demo of the new Ethereum scaling solution. Our collaborators at EY showed off Polygon Nightfall privacy-focused rollup. Polygon Miden gave a technical tour of their STARK-based rollup. The team at Polygon Hermez gave a sneak peek under the hood of their zkEVM engine. Oh, and Ethereum’s co-founder Vitalik Buterin joined the panel discussion - oof!
Polygon is so bullish on the future of ZK, we made it a centerpiece of our strategic vision in the Zero Knowledge Thesis published in August. As part of that mission, we have committed $1 billion, a significant portion of our treasury, to our ZK-related efforts. With the addition of Mir, Polygon is on its way to becoming the leading blockchain platform and onboarding the first billion users to Ethereum.
“We truly believe that ZK is the ultimate frontier which can bring Internet level scale to blockchains,” Polygon’s Co-Founder Sandeep Naiwal said at the event. “This puts Polygon right in the lead of the entire ZK scaling effort.”
Also read: ZKVerse: A Gentle Introduction to Zero Knowledge Proofs
The recording of the event is available online, but we’ve done the heavy lifting and picked the best parts for you here.
We kicked off with a presentation from the newly formed Polygon Zero, previously Mir. Brendan Farmer noted that, historically, a tenfold increase in computing speeds has unlocked radically new applications. The Mir team managed to achieve a 100-times speedup applying a technique called recursion to ZK proofs. Here are some highlights:
Scaling, Privacy and the Future of ZK
Polygon is now in an enviable position to encourage collaboration between some of the leading minds in the ZK space, Mihailo Bjelic, Polygon’s co-founder, said in a panel discussion. But Polygon has no intention of becoming “ a closed-source ZK powerhouse,” he said. The $1 billion allocation for ZK goes well beyond Polygon’s own efforts to cover everything that is directly or indirectly related to ZK scaling solutions. That means offering extensive grants and publishing tools that are required for the ecosystem in general.
Another advantage of having multiple ZK solution solutions in-house is that it offers an opportunity to introduce some standards, Mihailo said. While each of the projects has a unique core, there are a lot of components and tools that are shared. And there is also overlap with other products like Polygon SDK and Polygon PoS. Standards will significantly speed up development and make all the solutions more bulletproof, he said.
“We are being very cautious with standards. We don’t want to impose any sort of constraints because this is a phase of high-intensity exploration and innovation,” Mihailo said. “What we want is for things to happen organically.”
One key piece of the puzzle is zkEVMs, Vitalik said on the panel. This general purpose infrastructure makes fully EVM-compatible ZK Rollups possible and also enables better lite clients of the Ethereum chain. Another important challenge is creating cross-rollup bridging infrastructure, he said.
Polygon’s ZK efforts are now focused primarily on scaling because it is the most pressing need in the Ethereum ecosystem, Mihailo said. Once that need is relieved, we can move on to applications around privacy.
“There is no magic bullet and it's more true for privacy than scaling,” Vitalik said. “With privacy, you need to start thinking more explicitly about who owns a particular piece of data.”
Possible applications of privacy are secret ballot elections in DAOs, anti-DOS and anti-spam measures and proofs of regulatory compliance that don’t require companies to disclose all of their private information. Games can also see a lot of use cases, provided tools get to the point where regular developers can just pick and use them.
Polygon now has the resources, reach and network effects to encourage innovation that can make all of that possible, Mihailo said. Much of that was enabled by Ethereum.
“We owe the Ethereum community and Layer 1 a lot. I think this is a perfect time for us to start giving back,” he said. “We are really just starting. Expect a lot of great things from our side.”
While this particular party is over, our ZK journey has just begun. So check out our blog to keep up with the most exciting experiments in this space.
Let’s bring the world to Ethereum!
Earlier this month, Polygon participated in a series of dev-focused discussions about Polygon zkEVM, the value of source-available and auditable Zero Knowledge (ZK) proving systems, as well as the different approaches to implementing the cryptographic concepts underlying ZK-powered tooling. Joining Polygon was the team from Scroll, whose ZK Rollup is currently in pre-alpha testnet, as...
There is no standardized measure of how many Zero Knowledge (ZK) rollup projects are in development. By one count, it's more than 300. By another it's closer to 20. But by either metric, the overwhelming majority of ZK rollups are still maturing. And as these rollups mature to testnet and mainnet, they will be faced...
The ZK Whiteboard Sessions recently published Module 13 of their dev-driven educational series for everything Zero Knowledge. The episode, titled “Fast Recursion with Plonky2,” features Polygon’s own Brendan Farmer and William Borgeaud, part of the team working on Plonky2. Unveiled by Polygon in January, Plonky2 represented a major step forward for ZK proving systems. That...