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