看到succinct的Prover Network已在主网上线。如何简单理解Prover网络？它是一个去中心化的证明者网络，支持为任意软件生成零知识证明（zk proofs），支持开发者像调用API一样请求和验证ZK证明，支持从Rust等标准编程语言编写的代码直接生成ZK证明，无需复杂的电路设计或专业加密知识。最终其目的是成为可验证计算的基础设施。 Prover网络核心部分是其去中心化的证明市场，一方是证明的需求者（区块链协议、预言机、AI代理、桥接等）提交证明请求；另外一方独立的证明提供者，它们参与“证明竞赛（Proof Contests）”以竞争生成证明，“证明竞赛”是一种全支付拍卖机制，证明者使用高性能硬件（GPU集群等）参与竞争。目前有ZAN、Cysic、A41等多家硬件提供商加入证明者集群，提供FPGA/GPU加速。通过这个双边证明市场，以实现低成本和高效率，以及去中心化。在这个双边市场，其原生代币PROVE用于支付证明费用、质押保障网络安全，以及持有者治理。