Succinct, det første desentraliserte prover-nettverket, lanseres på Mainnet