# 读懂starkNet零知识递归证明--STARK

By [koee](https://paragraph.com/@koee) · 2022-08-14

---

*   递归证明已在主网上线，通过单一证明就可扩展到StarkEx或StarkNet
    
*   STARK将会显著提高网络容量、降低网络延迟和交易成本
    
*   为 L3 和其他应用奠定基础
    

扩大规模！
-----

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

目前，STARK的扩展是通过将几万甚至几十万笔交易 "rolling up(汇总) "到一个证明中来实现的，这个证明会最终被写入以太坊L1，通过递归，类似这样的证明都可以被 "rolling up "到一个单一的证明中去。

这种方法现在已经用于众多基于Cairo的构建的应用程序中，比如：运行在StarkEx（StarkWare的SaaS扩展引擎）和StarkNet（无许可rollup）上的应用程序。。

---

*Originally published on [koee](https://paragraph.com/@koee/starknet-stark)*