由 Cairo 提供支持的递归证明现已正式投入运营（译者注：Cairo 是StarkWare推出的用于生成通用计算的 STARK 证明的生产级平台，同时也是用STARK于计算的编程语言）。这标志着 STARK 对 L2 扩展能力的重大提升，它能通过单一证明实现以太坊的交易笔数数倍的增长。