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


ESB Professional/Shutterstock modified by Blockworks


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.

Don’t miss the next big story – join our free daily newsletter.


Upcoming Events

MON - WED, MARCH 18 - 20, 2024

Digital Asset Summit (DAS) is returning March 2024. What you can expect: And more! Don’t miss out on the opportunity to be in the room when the future of crypto is decided. Join us and help shape the future of our […]

recent research

Research report - cover graphics-2.jpg


Base has doubled-down on its commitment to the Superchain vision, has shown early signs of success with nearly $400M in TVL, and has become home to novel dapps such as which has seen significant traction.


Maker’s DeFi-focused “subDAO” passed a proposal activating a lending market for DAI on the Gnosis Chain


Certain creditors could be repaid sooner, with one hedge fund exec telling Blockworks it expects a payout by the end of the year


Busan is South Korea’s second largest city with a population around 3.4 million


Cyprus granted eToro crypto registration, setting the groundwork for the company to operate crypto services post-MiCa rollout



These are the best tools and practices you can leverage to defend against crypto market volatility


The agency alleges around 1,160 customers used the margin product, losing about $8.35 million since Oct. 2021.