Succinct, az első decentralizált prover hálózat, elindult a fő hálózaton