Open-Sourcing the Battle-Tested Stone Prover | StarkWare
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. A code review session was done on August 31st, 2023 during Starknet Summit On this date, the code of the Stone prover became available for the community. 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, an
join our newsletter Home » StarkWare Blog » Open-Sourcing the Battle-Tested Stone Prover --> Share StarkWare is Open-Sourcing the STARK Prover, now named Stone, under Apache 2.0. TL;DR As announced in February 2023 , we are about to open-source StarkWare’s STARK Prover, now named Stone (STARK one), under Apache 2.0 license. Open-sourcing the prover is a major step forward in decentralizing Starknet. It will boost collaboration and innovation, and enable devs to observe, optimize and use the prover’s code, preferably for the good of public Starknet. This step is consistent
Explore this link on the map →related reading
- StarkNet - Ethereum's Scaling Solution - by Ayloalphapls.substack.com
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Prove It In SHARP To Save Costs and Enhance Ethereum's Scalabilitystarkware.co
- Cairo Programming Languagecairo-lang.org
- Part 2: A Decentralization and Governance Proposal for Starknet | by StarkWare | StarkWare | Mediummedium.com
- Getting Started w/StarkNet & writing smart contracts Cairoeda.hashnode.dev
- The importance of full-stack openness and verifiabilityvitalik.eth.limo
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Introduction - The Cairo Programming Languagebook.cairo-lang.org
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Rollup, Validium, Volition - Where is Your Data Stored? | Starknetstarknet.io
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com