Aug 22,2023 ·
1 min read
Page last updated 3 days ago
A code review session will be done on August 31st during Starknet Summit. On this date, the code of the Stone prover will be available for the community
We are excited! As announced earlier this year, and as planned from the early stages of Starknet, we are open-sourcing the STARK Prover code, now named Stone. The Prover’s code base will be available under the Apache 2.0 license. An intro session to the code will take place during the Starknet Summit on August 31st, which will be the date on which the code will be available.
This is a major step forward in the decentralization of StarkWare’s technology that enables the community to build upon and contribute to the Prover’s development independently.
For devs, this means that the battle-tested engine at the center of StarkWare’s scaling achievements is available for all to use to prove Cairo programs. We provide you with a powerful STARK-prover, and you can use it to help build upon and contribute to the development of Starknet’s ecosystem.
The STARK Prover is a vital component within Starknet’s tech stack. It’s responsible for compressing transactions and generating cryptographic proofs, and plays a key role in helping to scale Ethereum.
This Prover has been in production since June 2020, playing a critical role in proving transactions from decentralized applications powered by StarkEx (such as Immutable X, Sorare, dYdX, and more) and Starknet. The code has been continuously optimized, and we are sharing its latest updated version (which was released in March 2023).
Since launch, STARK-tech scaling solutions built with this Prover at their basis (including StarkEx and Starknet) have compressed and proved $1T in cumulative transaction volume, 500M transactions, and more than 100M NFTs mintings. Of course, further innovations and optimizations can be made, whether by StarkWare, or by devs who will choose to take the code and use it for their own initiatives.
An open-source Prover allows more eyes to review the code and offer optimizations, improve its quality, help detect bugs, and provide transparency.
Currently, StarkWare already has open-sourced Cairo, Papyrus Full Node, and all Starknet versions. The new Starknet Sequencer that is being built, will also be open-sourced. These projects are joined by several open-sourced projects in the Starknet ecosystem.
The open-sourced code includes the Stone STARK Prover in C++ (under Apache 2.0 license). In addition, a C++ STARK Verifier will also be available.
The open-source Stone Prover will allow innovative initiatives that will be able to utilize it as the underlying proving engine of their proving systems. Devs will be able to use it as follows:
The Stone Prover is suitable for proving Cairo programs. Additional wrappings and customizations can be built on top of it in order to utilize it for several and various proving systems and needs. Devs can take this trailblazing, battle-tested engine and build their own custom-made proving service. For example, StarkWare built the SHARP system with this Prover as its basis.
With the release of the Stone Prover codebase under the Apache 2.0 license, StarkWare marks a pivotal moment in developing and releasing open tools for securely scaling Ethereum. StarkWare believes open-sourcing the Starknet tech stack means more collaboration, better quality, improved security, innovation, and independence. All of these values can help Starknet and Ethereum reach their full potential.
In the future, everything devs need to operate and run the Starknet Stack is planned to be open-sourced, as is appropriate for a decentralized, permissionless Layer 2 network.
Share this post: