According to a recent LinkedIn post from StarkWare Industries, the company’s S-two proving system now supports circuit-based recursion that cuts verification time from about one minute to roughly three seconds. The post explains that this shift enables proving on common laptops, generates smaller proofs, and reduces verification costs for zero-knowledge applications.
Claim 30% Off TipRanks
- Unlock hedge fund-level data and powerful investing tools for smarter, sharper decisions
- Discover top-performing stock ideas and upgrade to a portfolio of market leaders with Smart Investor Picks
The post suggests that this optimization could strengthen StarkWare’s position in scalable blockchain infrastructure by making high-throughput proof generation more practical. It also highlights potential benefits for privacy-focused DeFi, private payments, and identity use cases, as well as broader decentralization by lowering hardware requirements for network participants.
According to the description, recursive proving allows a single proof to attest to multiple other proofs, enabling large computations to be split, processed in parallel, and then aggregated. The move from a general-purpose language (Cairo) to tailored arithmetic circuits over M31 is presented as the key driver of the latency reduction and efficiency gains.
For investors, these improvements may signal enhanced competitiveness versus other zero-knowledge and rollup providers, particularly in environments where cost and latency are critical. If developers adopt S-two for client-side proving and faster L1 settlement, StarkWare could see increased ecosystem activity and potentially improved monetization opportunities tied to its infrastructure.
The post further notes that developers can already integrate this optimized version of S-two into their projects, indicating that this is not just a roadmap item but an available capability. While financial impacts are not quantified, the technical progress could be relevant to assessing StarkWare’s long-term role in high-performance proving and scalable blockchain solutions.

