StarkWare moves to open-source its prover

Moving one step closer further along the decentralization spectrum, StarkWare opens up what they call the “magic wand” of Starknet

article-image

ESB Professional/Shutterstock modified by Blockworks

share

Six months ago, StarkWare promised to open-source their STARK prover. 

Now the team is making good on the pledge. The prover is a core piece of technology underpinning the Starknet zk-rollup, which StarkWare released on mainnet in 2021, and gave a major upgrade in July.

Ethereum’s scaling roadmap relies on moving transaction execution off of mainnet onto rollups, which bundle bunches together. Zk-rollups submit proofs of transaction batches, thus saving scarce blockspace on the Ethereum network.

The prover is “a vital component within our tech stack,” StarkWare president and co-founder Eli Ben Sasson told Blockworks. “We view it as the magic wand of STARK technology, [that] plays a key role in helping to scale Ethereum.”

The company said the move “is a major step forward in decentralizing Starknet” in a blog post published Tuesday.

Polygon was the first to open-source their prover, albeit using the AGPL v3 open-source license. Matter Labs has pledged to follow-suit with its zkSync version.

Read more: Polygon and Matter Labs compete on zkEVM rollups

A spokesperson for Polygon declined to comment on StarkWare’s latest initiative. Matter Labs couldn’t be reached by time of publication.

Starkware has previously been criticized for having a closed-source prover, although open-sourcing this component was always a goal. In February 2023, StarkWare’s commitment became more concrete, as the company stated it would use a more permissive Apache 2.0 license. 

“Open-sourcing the Starknet Prover will allow more eyes to review the code, improve its quality, help detect bugs, and provide transparency,” StarkWare wrote at the time.

By following through on that aim, StarkWare lays claim to having “the most decentralized rollup stack,” including key infrastructure components, such as its programming language, Cairo, and multiple implementations of full nodes.

Starknet’s new sequencer “will also be open-sourced” according to the blog post, although a StarkWare spokesperson did not have a timeframe for that next step as yet.


Get the news in your inbox. Explore Blockworks newsletters:

Tags

Decoding crypto and the markets. Daily, with Byron Gilliam.

Upcoming Events

Javits Center North | 445 11th Ave

Tues - Thurs, March 24 - 26, 2026

Blockworks’ Digital Asset Summit (DAS) will feature conversations between the builders, allocators, and legislators who will shape the trajectory of the digital asset ecosystem in the US and abroad.

recent research

Research Report Templates (3).png

Research

South Korea is emerging as one of the most important global hubs for regulated digital assets, and Upbit sits at the center of this shift. Naver’s proposed acquisition could create the country’s dominant super app for payments, trading, and digital finance. This report breaks down the numbers, the regulatory tailwinds, the economics of the deal, and why the merger may unlock one of the most attractive asymmetries in Korea’s public markets.

article-image

As DevConnect kicks off in Buenos Aires, Vitalik and friends call for a reset

article-image

GPUs are starting to go dark even as data-center spending doubles — is a bubble on the horizon?

article-image

Risk assets sold off as doubts loom over a December rate cut, with BTC tumbling briefly below $95K this morning

by Carlos /
article-image

Jeff Yass bets that prediction markets could stop wars, Paul Atkins’ announcement on “tokens,” and more

article-image

Lido unveils a new buyback plan while BTC treasury companies slip below mNAV — can either model can truly return value?

article-image

If financial nihilism has driven you into memecoins, zero-day options, and sports betting, consider financial optimism instead