Brevis merilis whitepaper ProverNet, menjelaskan secara rinci pasar pembuatan zero-knowledge proof terdesentralisasi pertama

Pembacaan Chainfeeds:

ProverNet akan segera diluncurkan secara resmi, detail implementasi dan jadwal waktu akan diumumkan kemudian.

Sumber artikel:

Penulis artikel:

Brevis

Pendapat:

Brevis: Arsitektur ProverNet memandang berbagai jenis pembuktian sebagai barang yang berbeda dalam sebuah lelang. Aplikasi menentukan persyaratan pembuktian, termasuk jenis pemrosesan (eksekusi zkVM, pembuktian data, agregasi rekursif), tenggat waktu, biaya maksimum, dan parameter kualitas. Mekanisme TODA menghitung alokasi optimal di setiap putaran, mencocokkan permintaan heterogen dengan kemampuan pembuktian yang sesuai. Mekanisme ini memecahkan tantangan unik di pasar pembangkitan pembuktian. Mekanisme lelang tradisional didasarkan pada asumsi homogenitas barang, sedangkan TODA mampu menangani berbagai jenis pembuktian secara bersamaan. Tugas pembuktian yang kompleks dipecah menjadi sub-tugas, yang dijalankan secara kolaboratif oleh berbagai prover. Sebagai contoh, sebuah pembuktian zkVM dapat melibatkan pembuatan blok pada satu prover, kompresi pada prover lain, agregasi pada prover ketiga, dan akhirnya pengemasan verifikasi akhir pada sistem khusus keempat. TODA menjamin sejumlah sifat ekonomi: kejujuran (strategi optimal adalah penawaran jujur); keseimbangan anggaran (biaya yang dikumpulkan melebihi biaya yang dibayarkan); rasionalitas individu (tidak ada peserta yang menerima tugas yang tidak menguntungkan) dan optimalitas asimtotik (seiring bertambahnya pasokan prover, alokasi mendekati efisiensi maksimum). ProverNet dibangun di atas infrastruktur pembuktian Brevis yang sudah ada, yang mencakup dua produk saling melengkapi untuk melayani kebutuhan komputasi yang berbeda. Pico zkVM mengadopsi arsitektur "inti umum + coprocessor berkinerja tinggi", di mana inti yang sangat minimalis dan efisien terhubung ke akselerator kriptografi khusus, memungkinkan program untuk menjalankan mesin virtual yang stabil sambil mendapatkan optimasi perangkat keras yang terarah. Pico Prism baru-baru ini berhasil membuktikan 99,6% blok Ethereum dengan batas gas 45 juta, menyelesaikan 96,8% pembuktian tersebut dalam 12 detik, dengan waktu rata-rata pembuktian 6,9 detik. Sistem ini menggunakan klaster GPU 64×RTX 5090, mewujudkan pembuktian real-time dengan biaya perangkat keras 50% lebih rendah dibandingkan zkVM terbaik di pasar sebelumnya. ZK Data Coprocessor memungkinkan smart contract mengakses data blockchain historis dan melakukan komputasi off-chain yang dapat diverifikasi secara kriptografis. Aplikasi yang didukung sistem ini meliputi tarif VIP PancakeSwap (memeriksa volume perdagangan 30 hari sebelum transaksi), distribusi hadiah trustless Euler (memproses saldo berbobot waktu ribuan alamat), serta rabat routing Uniswap v4 (memverifikasi kelayakan transaksi tanpa buku besar terpusat), dan lain-lain. Integrasi ini menunjukkan kebutuhan pembuktian yang padat data yang berbeda dari verifikasi komputasi umum. Sistem-sistem ini bersama-sama menetapkan kelayakan ekonomi untuk verifikasi kriptografi real-time pada skala lapisan dasar, sekaligus melayani jenis beban kerja heterogen yang mendorong arsitektur pasar ProverNet. ProverNet mewakili pergeseran dari infrastruktur satu penyedia pembuktian menuju alokasi sumber daya berbasis permintaan pasar. Jaringan prover yang ada biasanya dioptimalkan untuk kasus penggunaan yang sempit (misalnya pembuktian Rollup tertentu, mesin virtual tertentu, atau jenis pekerjaan homogen), yang membatasi kemampuan mereka untuk melayani kebutuhan yang beragam secara efisien. Model lelang pasar memungkinkan tim prover untuk fokus pada tujuan optimasi tertentu (batching berbasis STARK, pembuktian SNARK latensi rendah, operasi kriptografi spesifik) tanpa harus membangun infrastruktur umum, sementara aplikasi dapat memperoleh harga yang kompetitif dan jaminan layanan tanpa terpengaruh oleh vendor lock-in. Bagi pengembang, ini menghilangkan dilema antara membangun infrastruktur pembuktian kustom (mahal dan memakan waktu) dan bergantung pada layanan terpusat (memperkenalkan asumsi kepercayaan), karena verifikasi kriptografi menjamin kebenaran komputasi, sementara persaingan pasar memastikan efisiensi harga dan ketersediaan kapasitas.