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.


Start your day with top crypto insights from David Canellis and Katherine Ross. Subscribe to the Empire newsletter.

Tags

Upcoming Events

Salt Lake City, UT

WED - FRI, OCTOBER 9 - 11, 2024

Pack your bags, anon — we’re heading west! Join us in the beautiful Salt Lake City for the third installment of Permissionless. Come for the alpha, stay for the fresh air. Permissionless III promises unforgettable panels, killer networking opportunities, and mountains […]

recent research

Research report HL cover.jpg

Research

It's increasingly apparent that orderbooks represent the most efficient model for perpetual trading, with the primary obstacle being that the most popular blockchains are ill-suited for hosting a fully onchain orderbook. Hyperliquid is a perpetual trading protocol built on its own L1 that aims to replicate the user experience of centralized exchanges while offering a fully onchain orderbook.

article-image

Consensys filed a lawsuit against the SEC in a Texas court on Thursday

article-image

Marathon Digital’s hash rate target of 50 EH/s by the end of 2025 may be achieved a year sooner than expected, CEO says

article-image

The Algorand Foundation touts the network as first to go after pool of 10 million global developers

article-image

Drive-to-earn DePIN project MapMetrics will slowly transition to the peaq blockchain

article-image

The suit, filed in a Texas court, alleges a regulatory overreach by the SEC

article-image

This is the first crypto-centric announcement from Stripe since May of last year