Succinct, Jaringan Pembuktian Terdesentralisasi Pertama, Diluncurkan di Mainnet