由 Cairo 提供支持的遞歸證明現(xiàn)已正式投入運營（譯者注：Cairo 是StarkWare推出的用于生成通用計算的 STARK 證明的生產(chǎn)級平臺，同時也是用STARK于計算的編程語言）。這標(biāo)志著 STARK 對 L2 擴展能力的重大提升，它能通過單一證明實現(xiàn)以太坊的交易筆數(shù)數(shù)倍的增長。
