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