Succinct Prover Network 現已在主網上線。 今天，我們要證明他們錯了。