The succinct Prover Network has gone live on the mainnet. How can we simply understand the Prover Network? It is a decentralized prover network that supports generating zero-knowledge proofs (zk proofs) for any software, allowing developers to request and verify ZK proofs as easily as calling an API. It supports generating ZK proofs directly from code written in standard programming languages like Rust, without the need for complex circuit design or specialized cryptographic knowledge. Ultimately, its goal is to become the infrastructure for verifiable computation. The core part of the Prover Network is its decentralized proof market, where one party, the proof requester (blockchain protocols, oracles, AI agents, bridges, etc.), submits proof requests; the other party consists of independent proof providers who participate in "Proof Contests" to compete in generating proofs. "Proof Contests" are a fully paid auction mechanism where provers use high-performance hardware (such as GPU clusters) to compete. Currently, several hardware providers, including ZAN, Cysic, and A41, have joined the prover cluster to provide FPGA/GPU acceleration. Through this bilateral proof market, low cost and high efficiency, as well as decentralization, are achieved. In this bilateral market, the native token PROVE is used to pay for proof fees, stake to ensure network security, and for governance by holders.