Succinct, ang Unang Desentralisadong Prover Network, ay Inilulunsad sa Mainnet