Succinct Prover Network 已在主网上线。 今天，我们证明他们是错的。