Brevis rilascia il whitepaper di ProverNet: il primo marketplace decentralizzato per la generazione di prove zero-knowledge

Source: Brevis

Brevis ha rilasciato oggi il whitepaper di ProverNet, introducendo la sua architettura di marketplace decentralizzato per la generazione di prove zero-knowledge, derivata da test reali in un ambiente di produzione di protocolli multi-chain. Questo sistema affronta un limite fondamentale nelle infrastrutture di prova esistenti: l'incapacità di servire efficacemente carichi di lavoro computazionali eterogenei che richiedono hardware, sistemi di prova e metodi di ottimizzazione diversi.

ProverNet considera la generazione di prove come un mercato a due facce, in cui le applicazioni inviano richieste specifiche e i prover specializzati fanno offerte per soddisfare tali esigenze. Il mercato opera attraverso un meccanismo di Truthful Online Double Auction (TODA), progettato per gestire più tipi di prove simultaneamente garantendo al contempo offerte oneste e un'allocazione ottimale delle risorse. ProverNet prevede il lancio entro la fine del 2025.

La scala di produzione rivela i limiti dell'infrastruttura

L'attuale infrastruttura di Brevis ha generato oltre 124 milioni di prove per 98.000 utenti, coprendo protocolli come PancakeSwap, Uniswap, Euler, Linea e MetaMask, facilitando 224 milioni di dollari di distribuzione di ricompense trustless. Queste implementazioni hanno evidenziato la diversità del lavoro di prova, rendendo difficile per un'architettura a fornitore singolo servire efficacemente tutti i casi.

Il sistema di sconti sulle commissioni VIP di PancakeSwap richiede la generazione di prove in frazioni di secondo per i singoli trader prima di ogni operazione per verificare l'idoneità. La distribuzione degli incentivi di Euler elabora 100.000 indirizzi ogni quattro ore, dando priorità al throughput rispetto alla latenza. L'attività dell'ecosistema Linea ha generato 12,1 milioni di prove per il calcolo delle ricompense multi-protocollo che coinvolgono 61.902 indirizzi. Ogni carico di lavoro richiede configurazioni hardware, sistemi di prova (SNARKs vs STARKs) e caratteristiche di performance differenti.

Michael, CEO e co-fondatore di Brevis, ha dichiarato: "I sistemi di prova esistenti sono ottimizzati per casi d'uso specifici, come determinati Rollup, singole macchine virtuali o tipi di carico di lavoro omogenei. L'ideazione di ProverNet nasce dalla nostra osservazione che le applicazioni richiedono fondamentalmente approcci di prova diversi. Un mercato in cui i prover specializzati competono è più efficiente di qualsiasi singolo operatore che tenti di servire tutti i casi d'uso."

Architettura di mercato e meccanismo TODA

L'architettura di ProverNet tratta diversi tipi di prove come merci diverse in un'asta. Le applicazioni specificano i requisiti di prova, inclusi i tipi di elaborazione (esecuzione zkVM, prove di dati, aggregazione ricorsiva), scadenze, commissioni massime e parametri di qualità. Il meccanismo TODA calcola l'allocazione ottimale a ogni round, abbinando richieste eterogenee con capacità di prova adeguate.

Questo meccanismo affronta una sfida unica del mercato della generazione di prove. I meccanismi d'asta tradizionali si basano sull'ipotesi di beni omogenei, mentre TODA è in grado di gestire più tipi di prove simultaneamente. I compiti di prova complessi vengono scomposti in sottocompiti, eseguiti in collaborazione da diversi prover.

Ad esempio, una prova zkVM può comportare il chunking su un prover, la compressione su un altro, l'aggregazione su un terzo e infine la convalida del packaging su un quarto sistema specializzato.

TODA garantisce diverse proprietà economiche:

Veridicità (la strategia ottimale è fare offerte oneste)

Equilibrio di bilancio (le commissioni riscosse superano le commissioni pagate)

Razionalità individuale (nessun partecipante accetta compiti non redditizi)

Ottimalità asintotica (man mano che l'offerta di prover cresce, l'allocazione si avvicina alla massima efficienza).

Questo mercato opera sulla Brevis Chain, un'architettura Rollup dedicata progettata specificamente per il coordinamento delle aste. Questa architettura isola il throughput del mercato dalla congestione della rete Layer 1 o Layer 2 mantenendo trasparenza e partecipazione senza permessi. Le prove generate tramite ProverNet possono essere convalidate rispetto a qualsiasi blockchain target.

Pico zkVM e prova in tempo reale

ProverNet si basa sull'infrastruttura di prova esistente di Brevis, che include due prodotti complementari per servire diverse esigenze computazionali.

Pico zkVM adotta un'architettura "core generale + coprocessore ad alte prestazioni", in cui un core ultra-efficiente è collegato a un acceleratore crittografico dedicato, consentendo ai programmi di eseguire una macchina virtuale stabile beneficiando al contempo di ottimizzazioni hardware mirate.

Pico Prism ha recentemente raggiunto una copertura di prova del 99,6% di un blocco Ethereum con un limite di gas di 45 milioni, completando il 96,8% delle prove in 12 secondi, con un tempo di prova medio di 6,9 secondi. Il sistema utilizza un cluster GPU 64×RTX 5090 e ottiene prove in tempo reale a un costo hardware inferiore del 50% rispetto al precedente zkVM leader di mercato.

Il coprocessore di dati ZK consente agli smart contract di accedere ai dati storici della blockchain ed eseguire calcoli verificabili off-chain.

Le applicazioni supportate da questo sistema includono il tasso VIP di PancakeSwap (controllo pre-transazione di 30 giorni di volume trading), la distribuzione di ricompense trustless di Euler (elaborazione dei saldi ponderati nel tempo di migliaia di indirizzi) e i rimborsi sui percorsi di Uniswap v4 (verifica dell'idoneità alla transazione senza un registro centralizzato).

Queste integrazioni dimostrano i requisiti di prova intensivi di dati che differiscono dalla verifica del calcolo per scopi generali.

Insieme, questi sistemi stabiliscono la fattibilità economica della verifica crittografica in tempo reale a livello fondamentale, servendo al contempo i tipi di carico di lavoro eterogenei che incentivano l'architettura di mercato di ProverNet.

Impatto sull'ecosistema ZK

ProverNet rappresenta un passaggio da un'infrastruttura di un singolo fornitore di prove a un'allocazione delle risorse guidata dal mercato. Le reti di prover esistenti sono solitamente ottimizzate per casi d'uso ristretti (ad esempio, prove Rollup specifiche, macchine virtuali specifiche o tipi di lavoro omogenei), limitando la loro capacità di servire efficacemente richieste diverse.

Il modello d'asta di mercato consente ai team di prover di concentrarsi su obiettivi di ottimizzazione specifici (ad esempio, elaborazione batch basata su STARK, prove SNARK a bassa latenza, operazioni crittografiche specifiche) senza dover costruire un'infrastruttura generica. Le applicazioni possono quindi beneficiare di prezzi competitivi e garanzie di servizio senza essere soggette al vendor lock-in.

Per gli sviluppatori, questo elimina il dilemma tra la costruzione di un'infrastruttura di prova personalizzata (costosa e dispendiosa in termini di tempo) e l'affidamento a servizi centralizzati (introducendo ipotesi di fiducia), poiché la verifica crittografica garantisce la correttezza del calcolo mentre la concorrenza di mercato garantisce l'efficienza dei prezzi e la disponibilità delle risorse.

Maggiori informazioni

Il whitepaper completo di ProverNet può essere trovato al seguente indirizzo: http://www.brevis.network/whitepaper/provernet.pdf

Una panoramica tecnica concisa è stata pubblicata sul blog di Brevis: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

Questo articolo è un contenuto contribuito e non rappresenta le opinioni di BlockBeats.