DeFi Is Betting Big on ‘Zero Knowledge’ — Is the Technology Ready?

Programmers are questioning the validity of recent zkEVM announcements

article-image

Source: ZebPay

share

key takeaways

  • Polygon’s open-source zkEVM code is incomplete
  • “We’re not at the point where any team has a zkEVM prover that works,” an Arbitrum developer said

Within 36 hours this past week, Polygon, zkSync and Scroll teased their own imminent releases of the “holy grail” of layer-2 technology — the zero-knowledge Ethereum virtual machine (zkEVM). 

The announcements raised eyebrows. Blockworks has spoken with multiple programmers who’ve questioned how close the space really is to a functioning zkEVM.

ZkEVMs would greatly increase Ethereum layer-2 transaction speeds over the status quo of optimistic rollups. The blockchain’s co-founder Vitalik Buterin has hailed the technology as the future of Ethereum scaling.

Zero-knowledge rollups move transactions off-chain for verification before sending a batch of data to be settled on Ethereum. The process relies on a so-called “prover” that can label data as true or false while preserving users’ privacy.

Provers are essential for these kinds of scaling solutions. For some, this week’s zkEVM announcements did not contain sufficient indication any team has created a functioning prover.

“We’re not at the point where any team has a zkEVM prover that works,” said Steven Goldfeder, the CEO of Offchain Labs, the developer behind the optimistic rollup Arbitrum. “What I think is happening is they’re quite far from production.”

Not to mention, layer-2 sequencers are still centralized, and most zkEVM builders have yet to actually make their provers — the core of the technology — open source.

Polygon, the layer-2 giant that recently announced a partnership bringing non-fungible tokens (NFTs) to Meta, made its zkEVM code public. Polygon believes clarifying its code sets the company ahead of Scroll and zkSync, neither of which has publicly posted its prover.

Loading Tweet..

But, some question if Polygon’s code is as “full-featured” as advertised. The prover code Polygon uploaded to GitHub is not fully functional. Sources familiar with the technology expressed doubt about Polygon’s code, with one questioning Polygon’s ability to run proofs at all in the program’s current state.

David Schwartz, technical lead at Polygon Hermez, told Blockworks in an email that the code is a work in progress. Commented code sections in the project’s GitHub are not currently operative.

“We are not hiding anything, not in the docs or the code,” Schwartz said. “Competitors like Starkware or zkSync are not open-sourcing their [zero-knowledge] networks at all.”

Starkware, the company behind StarkNet, a zero-knowledge rollup with an open-source prover, emphasized zkEVM technology is not a simple matter.

Building a prover is “a Herculean task in terms of math, engineering and software. We have a team of 100 and have been at it for four years,” Eli Ben-Sasson, the company’s president, told Blockworks in a phone call from EthCC. 

Even assuming zkEVMs do have functioning provers, making the prover code public would move layer-2s closer to blockchain’s decentralized ideal.

“If the prover is open-source, then you could verify what’s being done with funds,” Dan Yanev, chief product officer at the layer-2 money market protocol Rhino.fi, told Blockworks. 

“These companies are pressured to have something in the hands of users,” Yanev said of layer-2s. 

Still, Yanev called Polygon’s open source prover a “big step” for zkEVMs and remains optimistic that layer-2 networks will decentralize as the technology matures.

On the other hand, Goldfeder, whose company runs on optimistic rollups, believes the high cost of zero-knowledge proofs will prohibit zkEVMs from being financially sustainable in the long run.

“Scaling needs to come from scaling solutions, not from [venture capital] funding,” Goldfeder said.

Scroll and zkSync did not immediately return requests for comment.


Get the day’s top crypto news and insights delivered to your email every evening. Subscribe to Blockworks’ free newsletter now.


Want alpha sent directly to your inbox? Get degen trade ideas, governance updates, token performance, can’t-miss tweets and more from Blockworks Research’s Daily Debrief.


Can’t wait? Get our news the fastest way possible. Join us on Telegram and follow us on Google News.


Tags

upcoming event

MON - WED, MARCH 18 - 20, 2024

Digital Asset Summit (DAS) is returning March 2024. This year’s event will be held in our nation’s capital, where industry leaders, policymakers, and institutional experts will come together to discuss the latest developments and challenges in the ever-evolving world of cryptocurrency. […]

upcoming event

MON - WED, SEPT. 11 - 13, 2023

2022 was a meme.Skeptics danced, believers believed.Eventually, newcomers turned away, drained of liquidity and hope.Now, the tide is shifting and it’s time to rebuild. Permissionless II is the brainchild of Blockworks and Bankless. It’s not just a conference, but a call […]

recent research

Cosmos Hub: ATOM Economic Zone

Research

Replicated Security, the Hub’s Validation-as-a-Service offering that went live in March, is the first step in bringing value accrual to ATOM stakers.

/

article-image

Bitcoin price predictions are meaningless, so let’s expend our prediction energy on something that actually matters

article-image

A new complaint against Elon Musk and Tesla alleges that Musk manipulated both bitcoin and dogecoin

article-image

Kenya’s central bank doesn’t seem enamored by the idea of a CBDC but hasn’t slammed the door shut yet

article-image

Both Ethereum and Solana have enjoyed vibrant DeFi environments, but this has not yet been the case for Cosmos

article-image

As Japan takes important step forward on stablecoins, industry participants say, proposed US laws around such crypto assets remain in flux

article-image

Stablecoins offer global financial access and on-chain transactions without limitations, while FedNow falls short in terms of utility, global reach and inclusivity