Starknet's Stone prover is a component of StarkWare's technology stack, designed to enhance transaction processing on Ethereum by ensuring the mathematical validity of block transactions. The Stone prover generates STARK proofs, which are zero-knowledge proofs that verify the correctness of computations without revealing the underlying data. This process involves grouping and processing blocks simultaneously, documenting each step through an execution trace, and monitoring changes in the system's state, known as state differentials .

The Stone prover has been open-sourced under the Apache license, which aims to decentralize Starknet and boost collaboration and innovation within the ecosystem 3. The open-sourcing of the Stone prover is part of StarkWare's broader strategy to decentralize its network components, including the sequencer and prover 4.

Additionally, StarkWare is developing a new prover called Stwo, which is expected to be faster and more efficient than Stone. Stwo combines the existing Stone prover with new technologies to reduce transaction costs and improve processing speed 56. This new prover is part of StarkWare's efforts to enhance Ethereum scaling by generating proofs more efficiently 7.