StarkWare, a zero-knowledge proof technology development company, announced that Recursive Proving, a recursive proof powered by Cairo's general-purpose computing, is now live on the mainnet, which can expand StarkEx applications and StarkNet through a single proof. The advantages of recursive proofs include reducing on-chain costs by compressing multiple proofs into 1, reducing latency, and opening up the possibility of submitting proofs to StarkNet since statements can be incorporated into StarkNet smart contracts, which allows Build the L3 deployment on top of it.