Lihat ringkas Jaringan Prover sekarang aktif di mainnet. Bagaimana cara memahami jaringan Prover dengan cara yang sederhana? Ini adalah jaringan pembuktian terdesentralisasi yang mendukung pembuatan bukti pengetahuan nol (bukti ZK) untuk perangkat lunak arbitrer, mendukung pengembang untuk meminta dan memverifikasi bukti ZK seperti memanggil API, dan mendukung pembuatan langsung bukti ZK dari kode yang ditulis dalam bahasa pemrograman standar seperti Rust, tanpa memerlukan desain sirkuit yang kompleks atau pengetahuan kriptografi khusus. Pada akhirnya, ini bertujuan untuk menjadi infrastruktur untuk komputasi yang dapat diverifikasi. Bagian inti dari jaringan Prover adalah pasar bukti terdesentralisasi, di mana penuntut bukti (protokol blockchain, oracle, agen AI, jembatan, dll.) mengirimkan permintaan bukti; Di sisi lain, penyedia bukti independen bersaing untuk menghasilkan bukti melalui "Kontes Bukti", mekanisme lelang semua pembayaran di mana pemberi bersaing menggunakan perangkat keras berkinerja tinggi (kluster GPU, dll.). Saat ini, banyak penyedia perangkat keras seperti ZAN, Cysic, dan A41 telah bergabung dengan klaster pembuktian untuk menyediakan akselerasi FPGA/GPU. Melalui pasar bukti bilateral ini, biaya rendah dan efisiensi tinggi, serta desentralisasi. Di pasar bilateral ini, token aslinya, PROVE, digunakan untuk membayar biaya bukti, staking untuk mengamankan jaringan, dan tata kelola pemegang.