Inilabas ng Brevis ang ProverNet whitepaper, na nagdedetalye ng kauna-unahang desentralisadong zero-knowledge proof generation market

Chainfeeds Panimula:

Ang ProverNet ay opisyal na ilulunsad sa lalong madaling panahon, at ang higit pang mga detalye ng implementasyon at iskedyul ay iaanunsyo pa.

Pinagmulan ng Artikulo:

May-akda ng Artikulo:

Brevis

Opinyon:

Brevis: Ang arkitektura ng ProverNet ay itinuturing ang iba't ibang uri ng proofs bilang magkakaibang produkto sa isang auction. Ang mga application ay nagtatakda ng mga kinakailangan sa proof, kabilang ang uri ng pagproseso (zkVM execution, data proof, recursive aggregation), deadline, pinakamataas na bayad, at mga parameter ng kalidad. Ang mekanismong TODA ay kinakalkula ang pinakamainam na alokasyon bawat round, na tumutugma sa mga heterogeneous na kahilingan sa angkop na kakayahan ng proof. Nilulutas ng mekanismong ito ang natatanging hamon ng proof generation market. Ang tradisyonal na mekanismo ng auction ay nakabatay sa homogenous na produkto, ngunit ang TODA ay kayang sabay-sabay na magproseso ng iba't ibang uri ng proof. Ang mga komplikadong proof na gawain ay hinahati sa mga sub-task, na magkakasamang isinasagawa ng iba't ibang prover. Halimbawa, ang isang zkVM proof ay maaaring magsangkot ng pagbuo ng mga chunk sa isang prover, compression sa isa pa, aggregation sa pangatlo, at sa huli ay final verification packaging sa ikaapat na dedikadong sistema. Tinitiyak ng TODA ang ilang katangiang pang-ekonomiya: katotohanan (ang pinakamainam na estratehiya ay maging tapat sa pag-bid); budget balance (ang nakolektang bayad ay mas mataas kaysa sa binayarang bayad); individual rationality (walang kalahok ang tatanggap ng hindi kumikitang gawain); at asymptotic optimality (habang dumarami ang supply ng prover, ang alokasyon ay papalapit sa pinakamataas na efficiency). Ang ProverNet ay nakatayo sa kasalukuyang proof infrastructure ng Brevis, na binubuo ng dalawang complementary na produkto upang magsilbi sa iba't ibang pangangailangan sa computation. Ang Pico zkVM ay gumagamit ng "general-purpose core + high-performance coprocessor" na arkitektura, kung saan ang isang napakasimpleng at mahusay na core ay nakakonekta sa dedikadong cryptographic accelerator, na nagpapahintulot sa mga programa na makakuha ng hardware optimization habang nagpapatakbo ng stable na virtual machine. Kamakailan, naabot ng Pico Prism ang 99.6% proof coverage para sa mga Ethereum blocks na may gas limit na 45 milyon, na natatapos ang 96.8% ng proofs sa loob ng 12 segundo, at may average na proof time na 6.9 segundo. Gumagamit ang sistemang ito ng 64×RTX 5090 GPU cluster, na nakakamit ng real-time na proof sa 50% mas mababang hardware cost kumpara sa dating pinakamahusay na zkVM sa market. Ang ZK data coprocessor ay nagpapahintulot sa mga smart contract na ma-access ang historical blockchain data at magsagawa ng cryptographically verifiable off-chain computation. Kabilang sa mga application na sinusuportahan ng sistemang ito ay ang VIP fee rate ng PancakeSwap (pagsusuri ng 30-araw na trading volume bago ang transaksyon), trustless reward distribution ng Euler (pagproseso ng time-weighted balances ng libu-libong address), at routing rebate ng Uniswap v4 (pag-verify ng trading eligibility nang hindi nangangailangan ng centralized ledger), at iba pa. Ipinapakita ng mga integration na ito ang data-intensive proof demands na naiiba sa general-purpose computation verification. Ang mga sistemang ito ay magkakasamang nagtatatag ng economic viability para sa real-time cryptographic verification sa layer-1 scale, habang pinaglilingkuran ang mga heterogeneous workload types na nagbibigay-inspirasyon sa market architecture ng ProverNet. Ang ProverNet ay kumakatawan sa paglipat mula sa single prover vendor infrastructure patungo sa market-driven resource allocation. Ang kasalukuyang prover networks ay kadalasang na-optimize para sa makitid na use case (halimbawa, partikular na Rollup proof, partikular na virtual machine, o homogenous na uri ng trabaho), na nililimitahan ang kakayahan nilang maglingkod nang mahusay sa magkakaibang pangangailangan. Ang market auction model ay nagpapahintulot sa mga proof team na magpokus sa partikular na optimization goals (STARK-based batching, low-latency SNARK proof, partikular na cryptographic operation) nang hindi kinakailangang bumuo ng general-purpose infrastructure, habang ang mga application ay nakakakuha ng competitive pricing at garantisadong serbisyo, nang hindi naaapektuhan ng vendor lock-in. Para sa mga developer, inaalis nito ang dilemma sa pagitan ng pagbuo ng custom proof infrastructure (magastos at matagal) at pag-asa sa centralized service (nagpapakilala ng trust assumptions), dahil tinitiyak ng cryptographic verification ang correctness ng computation, at ang market competition ay nagsisiguro ng pricing efficiency at resource availability.