递归证明已在主网上线，通过单一证明就可扩展到StarkEx或StarkNetSTARK将会显著提高网络容量、降低网络延迟和交易成本为 L3 和其他应用奠定基础扩大规模！由 Cairo 提供支持的递归证明现已正式投入运营（译者注：Cairo 是StarkWare推出的用于生成通用计算的 STARK 证明的生产级平台，同时也是用STARK于计算的编程语言）。这标志着 STARK 对 L2 扩展能力的重大提升，它能通过单一证明实现以太坊的交易笔数数倍的增长。 目前，STARK的扩展是通过将几万甚至几十万笔交易 "rolling up(汇总) "到一个证明中来实现的，这个证明会最终被写入以太坊L1，通过递归，类似这样的证明都可以被 "rolling up "到一个单一的证明中去。 这种方法现在已经用于众多基于Cairo的构建的应用程序中，比如：运行在StarkEx（StarkWare的SaaS扩展引擎）和StarkNet（无许可rollup）上的应用程序。。