零知识证明技术开发公司StarkWare宣布，由Cairo的通用计算提供支持的递归证明Recursive Proving现已在主网上线，可以通过单一证明来扩展StarkEx应用和StarkNet。

递归证明的优点包括可通过将多个证明压缩至1个来实现降低链上成本、减少延迟，并开启了向StarkNet提交证明的可能性，因为statement可以被纳入StarkNet智能合约，这允许在公共StarkNet之上构建L3部署。