第一个通用计算的递归证明现已在以太坊主网上发布长话短说递归证明在主网上上线，通过单一证明扩展 StarkEx 应用程序和 StarkNet它提高了规模，并在成本和延迟方面带来了好处（规模和延迟同时发生是一种罕见且令人兴奋的情况，而不是一种权衡）它为 L3 和其他好处奠定了基础请阅读有关递归证明的博客文章 。这是很酷的东西😉扩大！由开罗通用计算提供支持的递归证明现已投入生产。这标志着 STARK 的 L2 扩展能力得到了重大提升。它将通过单一证明写入以太坊的交易数量迅速增加数倍。 到目前为止，STARK 扩展的工作原理是将数十甚至数十万笔交易“汇总”到一个单一的证明中，然后写入以太坊。通过递归，许多这样的证明可以“汇总”成单个证明。 这种方法现已在许多基于开罗的应用程序的生产中使用：在 StarkEx（StarkWare 的 SaaS 扩展引擎）和 StarkNet（无需许可的汇总）上运行的应用程序。到目前为止的故事自 2020 年 3 月在主网上首次证明以来，以下发展影响了 STARK 的使用方式。基于 STARK 的扩展2020 年 6 月，第一个基于 STARK 的扩展解决...