[Thread in inglese] Rapporto di ricerca Brevis: zkVM e il livello di calcolo infinitamente verificabile dei coprocessori di dati ZK

Chainfeeds Guida alla lettura:

Brevis ha costruito un livello di calcolo verificabile multi-chain integrando una zkVM generica (Pico/Prism) con un coprocessore di dati (zkCoprocessor).

Fonte dell'articolo:

Jacob Zhao

Punti di vista:

Jacob Zhao: Il "calcolo verificabile" (Verifiable Computing) è ormai diventato il modello di calcolo universale per la blockchain; il suo concetto chiave è "calcolo off-chain + verifica on-chain". Questo paradigma consente alla blockchain di mantenere decentralizzazione e sicurezza con fiducia minimizzata, ottenendo al contempo una libertà di calcolo quasi illimitata. La prova a conoscenza zero (ZKP) è il pilastro di questo sistema, con applicazioni principali in scalabilità, privacy e interoperabilità/integrità dei dati. Tra queste, la scalabilità è stata la prima ad essere implementata: spostando il calcolo off-chain ed eseguendo la verifica delle prove concise on-chain, si ottiene un'espansione della fiducia ad alta capacità e basso costo. L'evoluzione della tecnologia ZK può essere riassunta come: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup ha realizzato per la prima volta l'esecuzione off-chain e la verifica on-chain, migliorando notevolmente le prestazioni; zkVM ha poi esteso questo modello a un livello di calcolo verificabile generico, supportando la verifica cross-chain, il ragionamento AI e compiti crittografici; zkCoprocessor ha modularizzato questo modello, diventando un servizio di prova plug-and-play per DeFi, RWA e gestione del rischio; infine, L1 zkEVM integra la verifica a conoscenza zero direttamente nel livello di esecuzione di Ethereum, realizzando la prova in tempo reale (Realtime Proving, RTP). Questa evoluzione rappresenta la transizione della blockchain dalla "scalabilità" alla "verificabilità", entrando nell'era del calcolo trustless. Il percorso zkEVM di Ethereum si è sviluppato in due fasi: la prima fase (2022–2024), in cui il Rollup L2 migra il livello di esecuzione ma introduce frammentazione di liquidità e stato; la seconda fase (dal 2025), in cui l'RTP L1 sostituisce la verifica N-of-N con la prova 1-of-N, aumentando la capacità di throughput mantenendo la decentralizzazione. Al di fuori di Ethereum, il calcolo a conoscenza zero si sta dirigendo verso un campo di calcolo verificabile più ampio, con un sistema centrale costituito da zkVM e zkCoprocessor. La zkVM (macchina virtuale a conoscenza zero) è un motore di esecuzione verificabile generico che supporta l'esecuzione di qualsiasi programma su set di istruzioni RISC-V, MIPS o WASM, con i risultati delle prove verificabili on-chain, utilizzati per la verifica dei blocchi, il ragionamento AI e compiti cross-chain. Il suo vantaggio risiede nella generalità e flessibilità, ma il costo di generazione delle prove è elevato e l'ottimizzazione parallela è complessa. Progetti rappresentativi includono RiscZero, SP1 di SuccinctLabs e Pico zkVM di Brevis. Al contrario, zkCoprocessor è più simile a un "modulo verificabile per scenari specifici", fornendo interfacce standardizzate di calcolo e prova per DeFi, RWA, ecc.; le applicazioni devono solo chiamare SDK o API per ottenere risultati e prove, con integrazione rapida e costi bassi, ma con una generalità limitata. Entrambi condividono la logica "calcolo off-chain + verifica on-chain": il costo del calcolo on-chain è molto più alto rispetto al costo combinato della generazione off-chain e della verifica on-chain. Dal punto di vista del business, zkVM segue il modello "Proving-as-a-Service", fornendo un motore di calcolo per l'infrastruttura; zkCoprocessor invece è "Proof-API-as-a-Service", un servizio SaaS strutturato a pagamento per compito per il livello applicativo. Il primo costruisce un fossato tecnologico, il secondo promuove l'adozione commerciale. Insieme, formano i due poli della rete di calcolo trustless: zkVM crea la base computazionale, zkCoprocessor promuove la prosperità dell'ecosistema. Brevis Network integra le architetture di zkVM e zkCoprocessor per creare un'infrastruttura di calcolo verificabile generica e ad alte prestazioni, definita "livello di calcolo infinito". Il suo Pico zkVM adotta un'architettura modulare, separando il livello di esecuzione generico dal livello di coprocessore accelerato hardware, realizzando un sistema a doppio livello "General + Specialized", supportando diversi backend di prova e moduli di compressione ricorsiva; gli sviluppatori possono scrivere la logica di business in Rust per generare automaticamente le prove, abbassando notevolmente la soglia di ingresso. Pico Prism spinge ulteriormente le prestazioni dei cluster multi-GPU, raggiungendo una media di 6,9 secondi per prova e una copertura RTP del 96,8% in un ambiente con 64×RTX5090, con un rapporto prestazioni/costo superiore di 3,4 volte rispetto ai concorrenti. Il zk Data Coprocessor di Brevis conferisce agli smart contract una "memoria", consentendo l'accesso a dati storici e la verifica senza necessità di fiducia, utilizzabile per premi di liquidità, identità cross-chain e DeFi data-driven. Il suo livello di incentivazione Incentra distribuisce in modo trasparente on-chain tramite prove ZK, già al servizio di PancakeSwap, Euler, UsualMoney, Linea e altri protocolli. Secondo Brevis Explorer, entro ottobre 2025 la rete avrà generato 125 milioni di prove ZK, supportando oltre 2.8 miliardi di dollari di TVL e verificando volumi di transazioni superiori a 1 miliardo di dollari. Basandosi sui livelli di sicurezza di Ethereum ed EigenLayer, Brevis si espande su BNB, Linea, 0G e altri ecosistemi, fornendo supporto di base per incentivi on-chain, ottimizzazione della liquidità e verifica cross-chain, costruendo una rete di calcolo verificabile a feedback bidirezionale tra tecnologia e applicazione. [L'articolo originale è in inglese]