StarkWare, sebuah perusahaan pengembangan teknologi bukti tanpa pengetahuan, mengumumkan bahwa Pembuktian Rekursif, bukti rekursif yang didukung oleh komputasi tujuan umum Kairo, sekarang aktif di mainnet, yang dapat memperluas aplikasi StarkEx dan StarkNet melalui satu bukti. Keuntungan dari bukti rekursif termasuk mengurangi biaya on-chain dengan mengompresi beberapa bukti menjadi 1, mengurangi latensi, dan membuka kemungkinan mengirimkan bukti ke StarkNet karena pernyataan dapat disertakan dalam kontrak pintar StarkNet, yang memungkinkan Membangun penyebaran L3 di atas dia.