Starknet's core stack is completely open source, which is absolutely vital to enhance the security and efficiency of Starknet while accelerating innovation! The perfect example of this is the Stone prover 🪨 The prover plays a critical role in Starknet’s operation, as it creates the integrity proofs of Starknet blocks, which are then verified on Ethereum (ELI5: allowing Ethereum to check that everything is running correctly on Starknet). Therefore, any addition or optimization to the prover significantly enhances the efficiency and security of the entire network! While the Stwo prover is coming (with an estimated performance improvement of more than x100 🤯), the current Starknet prover is the Stone one. Since @StarkWareLtd open-sourced it in August 2023, the Starknet open-source community has added two exciting new capabilities: 1️⃣ Previously, you could only prove Cairo Zero programs (the older version of Cairo). But now, thanks to @class_lambda, you can prove both Cairo and Cairo Zero programs ⚡ 2️⃣ Before, you could only verify these proofs off-chain. However, for maximum security, we need to verify them on-chain. Thanks to @HerodotusDev, you can now do so directly on Starknet 🧑‍🍳 The second point is especially crucial for enabling the deployment of L3/appchains settling directly on Starknet, which is getting closer every day! 🧑‍🔬 The next step is being brought by the @moonsonglabs_ team, who are currently working to enable the Starknet OS program to run on the new, shiny, and completely open-source Rust infrastructure! Learn more and come buidl on Stone now 🪨