Brevis pubblica il white paper di ProverNet, descrivendo in dettaglio il primo mercato decentralizzato per la generazione di prove a conoscenza zero

Chainfeeds Guida alla lettura:

ProverNet sarà ufficialmente lanciato a breve, ulteriori dettagli sull'implementazione e la tempistica saranno annunciati separatamente.

Fonte dell'articolo:

Autore dell'articolo:

Brevis

Punto di vista:

Brevis: L'architettura di ProverNet considera i diversi tipi di prove come differenti beni in un'asta. Le applicazioni specificano i requisiti della prova, inclusi il tipo di elaborazione (esecuzione zkVM, prova di dati, aggregazione ricorsiva), la scadenza, la tariffa massima e i parametri di qualità. Il meccanismo TODA calcola in ogni round l'allocazione ottimale, abbinando richieste eterogenee alle capacità di prova più adatte. Questo meccanismo risolve le sfide uniche del mercato della generazione delle prove. I meccanismi d'asta tradizionali si basano sull'assunzione di omogeneità dei beni, mentre TODA è in grado di gestire contemporaneamente diversi tipi di prove. Compiti di prova complessi vengono suddivisi in sotto-compiti, eseguiti in collaborazione da diversi prover. Ad esempio, una prova zkVM può coinvolgere la generazione di blocchi su un prover, la compressione su un altro, l'aggregazione su un terzo, e infine l'incapsulamento della verifica finale su un quarto sistema dedicato. TODA garantisce diverse proprietà economiche: veridicità (la strategia ottimale è fare offerte oneste); equilibrio di bilancio (le tariffe riscosse superano i costi pagati); razionalità individuale (nessun partecipante accetta compiti non redditizi) e ottimalità asintotica (con l'aumento dell'offerta di prover, l'allocazione si avvicina alla massima efficienza). ProverNet si basa sull'infrastruttura di prova esistente di Brevis, che comprende due prodotti complementari per soddisfare diverse esigenze di calcolo. Pico zkVM adotta un'architettura "core universale + coprocessore ad alte prestazioni", in cui un core minimalista ed efficiente è collegato a un acceleratore crittografico dedicato, consentendo ai programmi di ottenere ottimizzazioni hardware mirate mentre eseguono una macchina virtuale stabile. Pico Prism ha recentemente raggiunto una copertura di prova del 99,6% dei blocchi Ethereum con un limite di gas di 45 milioni, completando il 96,8% delle prove in 12 secondi, con un tempo medio di prova di 6,9 secondi. Questo sistema utilizza un cluster di 64×RTX 5090 GPU, ottenendo prove in tempo reale con un costo hardware inferiore del 50% rispetto alla precedente zkVM più efficiente sul mercato. Il coprocessore dati ZK consente agli smart contract di accedere ai dati storici della blockchain ed eseguire calcoli off-chain verificabili crittograficamente. Le applicazioni supportate da questo sistema includono la tariffa VIP di PancakeSwap (controllo del volume di scambi degli ultimi 30 giorni prima della transazione), la distribuzione di ricompense trustless di Euler (gestione del saldo ponderato nel tempo per migliaia di indirizzi) e il rebate di routing di Uniswap v4 (verifica dell'idoneità alle transazioni senza un libro mastro centralizzato). Queste integrazioni dimostrano la domanda di prove data-intensive, diversa dalla verifica di calcoli generici. Questi sistemi insieme stabiliscono la fattibilità economica della verifica crittografica in tempo reale su scala di layer di base, servendo al contempo i tipi di carico di lavoro eterogenei che motivano l'architettura di mercato di ProverNet. ProverNet rappresenta una transizione dall'infrastruttura di un singolo fornitore di prove a un'allocazione delle risorse basata sulla domanda di mercato. Le attuali reti di prover sono spesso ottimizzate per casi d'uso ristretti (ad esempio prove di specifici Rollup, macchine virtuali particolari o tipi di lavoro omogenei), il che limita la loro capacità di servire efficacemente esigenze diversificate. Il modello d'asta di mercato consente ai team di prover di concentrarsi su obiettivi di ottimizzazione specifici (batching basato su STARK, prove SNARK a bassa latenza, operazioni crittografiche particolari) senza dover costruire un'infrastruttura generica, mentre le applicazioni possono ottenere prezzi competitivi e la garanzia di servizio, senza essere vincolate da un singolo fornitore. Per gli sviluppatori, ciò elimina il dilemma tra costruire un'infrastruttura di prova personalizzata (costosa e dispendiosa in termini di tempo) e affidarsi a servizi centralizzati (che introducono ipotesi di fiducia), poiché la verifica crittografica garantisce la correttezza del calcolo, mentre la concorrenza di mercato assicura efficienza dei prezzi e disponibilità di capacità.