StarkWare has deployed its next-generation open-source S-two prover on the Starknet mainnet. This upgrade replaces the network's previous proof component, now generating validity proofs for each block, reducing proof time and verification costs while increasing throughput and scalability without sacrificing trustlessness. S-two (short for "STARK Two") generates zero-knowledge proofs 10 times faster than the previous system, enabling previously uneconomical workloads such as real-time transaction engines and zero-knowledge machine learning inference by reducing proof costs and increasing block capacity. (The Block)