ZK-rollups are ‘the endgame’ for scaling blockchains: Polygon Miden founder

ZK-rollups are the hottest thing in Ethereum right now, having seemingly appeared out of nowhere in late 2018 to fundamentally reshape the “Eth2” plan to scale via sharding alone.

Zero-knowledge, or validity proof rollups, essentially perform the computations for many thousands of transactions away from Ethereum and then write a tiny cryptographic proof back to the blockchain that verifies those transactions were performed correctly. It’s much faster and cheaper than using the base layer and has the potential for virtually unlimited scaling.

To an outsider, it looked like the technology went from 0 to 100 in a couple of years, but from the perspective of Polygon Miden founder Bobbin Threadbare, it doesn’t seem fast enough.

“Your internal perception is that it’s moving slowly,” he says. “People say, ‘We’re going to be doing this in a year,’ and it takes longer because people overestimate [how quickly it can be done].”

“But if you take a step back out of your own bubble, I do think that the tech is moving at an amazing pace. A lot of the things we’re doing now did not exist 10 years ago — or even maybe like eight years ago — they were just theoretical concepts.”

“So, it’s not often that you see that something goes from pure theory — that is probably not practical or ‘maybe we can do it in the long term future’ — to ‘OK, we’re doing it now, and there are now billions of dollars riding on it.’”

Polygon Miden at StarkWare Sessions

Magazine catches up with Threadbare at the StarkWare Sessions in Israel. Since Polygon Miden is a competing ZK-rollup solution to StarkWare’s tech, this is a little like interviewing the CEO of Pepsi at a Coca-Cola convention. But it turns out zero-knowledge proofs are not as cutthroat as sodas.

“On the technical side, there is a lot of collaboration,” Threadbare explains. “If you follow Twitter, you may get an impression that people are at each other’s throats all the time, but you know, it’s Twitter more than anything.”

He points out that all of the projects are building open-source technology (or plan to make it open-source). “We’re not building like Web2 walled gardens here,” he says, adding that various projects “don’t necessarily perceive other rollups as their technical competitors; we learn from each other more.”

Polygon is the 8th-most valuable project

Polygon’s MATIC became the eighth-most valuable cryptocurrency in the world thanks to its current Ethereum scaling solution, but Polygon’s founders knew ZK-rollups could potentially render the network obsolete and spent some of their massive war chest on a ZK tech acquisition and hiring spree.

The Polygon team’s approach is essentially to throw a lot of stuff at the wall and see what sticks. Their zkEVM project has just launched on mainnet in beta, and it enables any Ethereum Virtual Machine-compatible project to scale on its new network.

Other ZK flavors at Polygon include Zero (recursive scaling), Hermez 2.0 (an EVM-compatible solution focused on decentralization and a proof-of-efficiency consensus) and Nightfall (Optimistic Rollups meet zero-knowledge cryptography).

Threadbare, who was working for Facebook at the time, was headhunted to develop his open-source ZK technology into Miden.

“This strategy made sense to me; the space is very early,” he says. “I mean, in all honesty, they didn’t even require that I use STARKs, or SNARKs, or anything.” STARKs (zero-knowledge Scalable Transparent Argument of Knowledge) and SNARKs (Succinct Non-Interactive Argument of Knowledge) are the two different types of ZK proof systems.

“They were very open to whatever technology because nobody had the answer. Hopefully, now we have more of an answer than we did like a year or two years ago.”

Run smart contracts locally with Polygon Miden

With Polygon Miden, anyone will be able to run a smart contract locally and just send the proof to the network, which enables transactions to be run in parallel, rather than sequentially. If Polygon Miden had stuck with the EVM, that would be very difficult, and that limits throughput.

With Ethereum currently processing a dozen or so transactions a second, that’s not a problem, but when TPS ticks over into the thousands, it will be. “You need to be able to process transactions in parallel because, in a single thread, there’s only so much you can do,” he says. “I don’t think you can go much more than a few thousand TPS without parallelizing things.”

“Being able to execute transactions locally means you can run arbitrarily complex computation, and it places almost no burden on the network,” he explains, pointing out that running a 3D physics engine is impossible on Ethereum right now, but will become possible with Polygon Miden. “The design space opens up,” he says. “That enables a bunch of new use cases, but it also helps with privacy if I don’t have to actually reveal the computation.”

Like zkSync Era and StarkNet, the plan is to launch with a centralized prover and then gradually decentralize. Eventually, all of Polygon’s ZK solutions will become interoperable, with MATIC remaining the key token. However, native account abstraction means users could pay with other major tokens, too.

Who is Polgon Miden founder Bobbin Threadbare?

Threadbare (not his real name) was born in the Republic of Georgia in the dying days of the USSR in the 1980s. He moved to the United States when he was 17 to study computer science in San Diego, later attending business school at the University of Chicago. He was a consultant for five years before he launched a Web2 startup that calculated user trustworthiness and reputation scores for things like P2P transactions. He started exploring blockchain in 2018 as a way to avoid having to store a large database of user information.

“Self-sovereign identity is one of the things that was very interesting to me,” he says. 

“And then I got very deep into the technical aspects and then came across zero-knowledge proofs. Once I understood what they can do, the identity use case wasn’t all that interesting anymore. I thought there are much bigger and more interesting things you can do with them.”

He stumbled across a blog about STARKs by Ethereum co-founder Vitalik Buterin, and that set him off down the rabbit hole. “He actually had a code written that demonstrates a very basic proof-of-concept of how it works — and that was, for me, very, very useful.”

Threadbare took the code and rewrote it in another language so he could understand how it worked from the inside out. A born tinkerer, he started improving aspects to make them more general. Before long, he’d built a basic general-purpose prover for STARKs and posted it on Eth Research.

“A lot of people were interested in zero-knowledge proofs at that time, but there were not a lot of tools, especially around STARKs. And I just got lucky in the thing that I picked to learn and build on because it fascinated a bunch of people.”

“Even Vitalik himself basically sent me a message on Eth Research, saying, ‘Hey, who are you? What are you doing?’” It was Buterin who introduced him to StarkWare, and they invited him along to the first StarkWare Sessions four years ago. 

Threadbare started creating ZK tools and libraries. He developed the AirScript and AirAssembly domain-specific languages, which in turn led him to develop the Distaff Virtual Machine in early 2020 so people could code without having to learn those new languages.

Facebook experimented with ZK-rollups

But as the pandemic started, he took up a job as a core ZK researcher for Facebook, working on the Libra cryptocurrency project. Part of the appeal was working alongside and learning from “real” cryptographers, and he helped build the open-source Winterfell STARK prover and verifier.

Facebook didn’t actually need one or plan to use it. “I don’t want to say that it was just for the hell of it,” he says. “The thought was it was going to be used at some point in time. But it was probably fairly clear this is not going to be used in the next two to three or maybe even five years time frame.”

Ultimately, regulators did not approve of the social media giant launching a private currency, and Libra transformed into Diem and then quietly disappeared. Around the same time in 2021, Polygon co-founder Mihailo Bjelic was assembling his crack team of ZK developers and remembered the shadowy anon who’d posted a bunch of useful ZK tech like Distaff on Eth Research. So, he got in touch, totally unaware Threadbare was working at Facebook.

For his part, Threadbare was totally unaware Polygon even existed but started holding regular calls every couple of weeks with Bjelic to talk about their scaling plans and sketch out a possible collaboration.