“Calcolo off-chain + Verifica on-chain” è diventato il modello di calcolo generale per i sistemi blockchain. Consente alle applicazioni blockchain di ottenere quasi un'infinità di libertà computazionale mantenendo la decentralizzazione e la sicurezza della minimizzazione della fiducia (trustlessness). Le prove a conoscenza zero (ZKP) sono il pilastro centrale di questo paradigma, con applicazioni principalmente concentrate su tre direzioni fondamentali: Scalabilità, Privacy e Interoperabilità & Integrità dei Dati. Tra queste, la Scalabilità è lo scenario in cui la tecnologia ZK è stata implementata per la prima volta, spostando l'esecuzione delle transazioni off-chain e validando i risultati on-chain con prove brevi, per ottenere un'elevata TPS e un ampliamento affidabile a basso costo.
L'evoluzione del calcolo affidabile ZK può essere riassunta in L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. I primi L2 zkRollup spostavano l'esecuzione al secondo livello e presentavano prove di validità (Validity Proof) al primo livello, realizzando un'alta capacità di throughput e riduzione dei costi con modifiche minime. zkVM si è poi evoluto in uno strato di calcolo verificabile generico, supportando verifica cross-chain, ragionamento AI e calcolo crittografico (progetti rappresentativi: Risc Zero, Succinct, Brevis Pico). zkCoprocessor si è sviluppato parallelamente, come modulo di verifica orientato agli scenari, fornendo servizi di calcolo e prova plug-and-play per DeFi, RWA, gestione dei rischi, ecc. (progetti rappresentativi: Brevis, Axiom). Nel 2025, il concetto di zkEVM si estende alla prova in tempo reale (Realtime Proving, RTP) L1, costruendo circuiti verificabili a livello di istruzioni EVM, integrando direttamente la prova a conoscenza zero nei processi di esecuzione e verifica della mainnet di Ethereum, diventando un meccanismo di esecuzione nativo verificabile. Questo percorso riflette il salto tecnologico della blockchain da "scalabile" a "verificabile", avviando una nuova fase di calcolo affidabile.
Uno, il percorso di espansione zkEVM di Ethereum: dalla L2 Rollup alla prova in tempo reale.
Il percorso di espansione zkEVM di Ethereum ha attraversato due fasi:
Fase uno (2022–2024): L2 zkRollup sposterà l'esecuzione al secondo livello, presentando prove di validità al primo livello; riducendo significativamente i costi e aumentando il throughput, ma portando a una frammentazione della liquidità e dello stato, L1 è ancora soggetto alla riesecuzione N-of-N.
Fase due (2025–): la prova in tempo reale (Realtime Proving, RTP) L1 sostituisce la riesecuzione con "1-of-N prova + verifica leggera dell'intera rete", aumentando il throughput senza compromettere la decentralizzazione, ancora in fase di evoluzione.
Fase L2 zkRollup: equilibrio tra compatibilità e prestazioni di espansione
Nel 2022, in un periodo di fioritura dell'ecosistema Layer2, il fondatore di Ethereum Vitalik Buterin ha proposto quattro categorie di ZK-EVM (Tipo 1–4), rivelando sistematicamente il trade-off strutturale tra compatibilità (compatibility) e prestazioni (performance). Questo framework ha stabilito coordinate chiare per le future rotte tecnologiche zkRollup:
Tipo 1 completamente equivalente: allineato con il bytecode di Ethereum, costo di migrazione minimo, prova più lenta. Taiko.
Tipo 2 completamente compatibile: pochissime ottimizzazioni di base, massima compatibilità. Scroll, Linea.
Tipo 2.5 quasi compatibile: piccole modifiche (gas/precompilazione, ecc.) per ottenere prestazioni. Polygon zkEVM, Kakarot.
Tipo 3 parzialmente compatibile: modifiche più ampie, può eseguire la maggior parte delle applicazioni ma difficile da riutilizzare completamente l'infrastruttura L1. zkSync Era.
Tipo 4 linguaggio: abbandono della compatibilità del bytecode, compilazione diretta da linguaggi di alto livello a circuiti, prestazioni ottimali ma necessità di ricostruire l'ecosistema (rappresentanti: Starknet / Cairo).
L'attuale modello L2 zkRollup è diventato maturo: spostando l'esecuzione al secondo livello e presentando prove di validità (Validity Proof) al primo livello, con modifiche minime per mantenere l'ecosistema e la toolchain di Ethereum, diventando la soluzione principale per l'espansione e la riduzione dei costi. Gli oggetti di prova sono i blocchi L2 e le transizioni di stato, mentre il regolamento e la sicurezza rimangono ancorati a L1. Questa architettura ha notevolmente aumentato il throughput e l'efficienza, mantenendo un'elevata compatibilità per gli sviluppatori, ma ha anche portato a una frammentazione della liquidità e dello stato, con L1 ancora limitato dal collo di bottiglia della riesecuzione N-of-N.
L1 zkEVM: la prova in tempo reale rimodella la logica di verifica leggera di Ethereum
Nel luglio 2025, la Ethereum Foundation ha pubblicato un articolo (Shipping an L1 zkEVM #1: Realtime Proving) proponendo formalmente la roadmap per L1 zkEVM. L1 zkEVM aggiorna Ethereum da N-of-N riesecuzione a 1-of-N prova + verifica rapida dell'intera rete: un numero ridotto di prover genera prove brevi per l'intero stato di trasferimento EVM, tutti i validatori eseguono solo verifiche in tempo costante. Questa soluzione, senza compromettere la decentralizzazione, realizza prove in tempo reale a livello L1, aumentando in sicurezza i limiti del gas della mainnet e il throughput, e riducendo significativamente le soglie hardware per i nodi. Il piano di attuazione prevede la sostituzione del client di esecuzione tradizionale con un cliente zk, eseguendo parallelamente, e, una volta che le prestazioni, la sicurezza e il meccanismo di incentivazione sono maturi, diventando progressivamente la nuova normalità a livello protocollo.
N di N vecchia modalità: tutti i validatori eseguono ripetutamente l'intera transazione per verificarla, sicura ma con throughput limitato e costi di picco elevati.
1 di N nuova modalità: un numero ridotto di prover esegue l'intero blocco e genera prove brevi; l'intera rete verifica solo in tempo costante. I costi di verifica sono molto inferiori rispetto alla riesecuzione, consentendo di aumentare in sicurezza il limite del gas L1 e ridurre i requisiti hardware.
Tre principali linee guida della roadmap L1 zkEVM
Prova in tempo reale: completamento della prova intera in 12 secondi, riducendo il ritardo attraverso parallelizzazione e accelerazione hardware;
Integrazione client e protocollo: interfaccia di verifica della prova standardizzata, prima opzionale, poi predefinita;
Incentivi e sicurezza: creazione di un mercato di prover e modello di costi, rafforzando la resistenza alla censura e l'attività di rete.
La prova in tempo reale (RTP) L1 di Ethereum utilizza zkVM per rieseguire l'intera transazione off-chain e generare prove crittografiche, consentendo ai validatori di non dover ricalcolare, ma solo di verificare una piccola prova in 10 secondi, realizzando così "verifica per esecuzione", aumentando notevolmente la scalabilità di Ethereum e l'efficienza della verifica non fiduciaria. Secondo la pagina ufficiale del tracker zkEVM della Ethereum Foundation, i principali team coinvolti nella rotta di prova in tempo reale L1 zkEVM includono SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM (Axiom) e Jolt (a16z).
Due, oltre Ethereum: zkVM generico e zkCoprocessor
Al di fuori dell'ecosistema Ethereum, la tecnologia delle prove a conoscenza zero (ZKP) si è estesa a un campo più ampio di calcolo verificabile generico (Verifiable Computing), formando due sistemi tecnologici centrati su zkVM e zkCoprocessor.
zkVM: strato di calcolo verificabile generico
Motore di esecuzione verificabile per qualsiasi programma, le architetture di set di istruzioni comuni includono RISC-V, MIPS e WASM. Gli sviluppatori possono compilare la logica aziendale nello zkVM, con il prover che esegue off-chain e genera prove a conoscenza zero (ZKP) verificabili sulla blockchain, utilizzabili sia per la prova dei blocchi L1 di Ethereum che per la verifica cross-chain, ragionamento AI, calcolo crittografico e algoritmi complessi. I suoi vantaggi sono l'universalità e un ampio campo di applicazione, ma i circuiti sono complessi e i costi di prova elevati, richiedendo dipendenze da più GPU e ottimizzazioni ingegneristiche. Progetti rappresentativi includono Risc Zero, Succinct SP1, Brevis Pico / Prism.
zkCoprocessor: moduli verificabili orientati allo scenario
Fornire servizi di calcolo e prova "plug-and-play" per scenari aziendali specifici. La piattaforma pre-imposta accessi ai dati e logica di circuito (come lettura di dati storici on-chain, TVL, regolazione dei profitti, verifica dell'identità, ecc.), con le parti applicative che possono ottenere risultati di calcolo e consumare prove on-chain attraverso SDK / API. Questo modello è veloce da usare, offre prestazioni elevate e costi ridotti, ma ha una compatibilità limitata. I progetti tipici includono Brevis zkCoprocessor, Axiom, ecc.
In generale, sia zkVM che zkCoprocessor seguono il paradigma di calcolo affidabile "calcolo off-chain + verifica on-chain", verificando i risultati off-chain sulla catena tramite prove a conoscenza zero. La logica economica si basa su questo presupposto: il costo dell'esecuzione diretta sulla catena è molto superiore al costo complessivo della generazione di prove off-chain e della verifica on-chain.
Nella compatibilità e complessità ingegneristica, la chiave differenziale tra i due è:
zkVM è un'infrastruttura di calcolo generico, adatta per scenari complessi, cross-domain o AI, con la massima flessibilità;
zkCoprocessor è un servizio di verifica modulare, fornendo interfacce di verifica a basso costo e direttamente chiamabili per scenari ad alta frequenza e riutilizzabili (DeFi, RWA, gestione dei rischi, ecc.).
Nel percorso commerciale, la differenza tra zkVM e zkCoprocessor è:
zkVM adotta il modello Proving-as-a-Service, fatturando per ogni prova (ZKP), principalmente rivolto ai clienti delle infrastrutture come L2 Rollup, caratterizzato da contratti di grandi dimensioni, lunghi periodi e margini di profitto stabili;
zkCoprocessor si basa principalmente su Proof API-as-a-Service, addebitando per attività tramite chiamate API o integrazione SDK, più vicino al modello SaaS, rivolto a protocolli di livello applicativo come DeFi, con integrazione rapida e forte scalabilità.
In generale, zkVM è il motore di calcolo verificabile di base, mentre zkCoprocessor è il modulo di verifica a livello applicativo: il primo costruisce una protezione tecnologica, il secondo guida la commercializzazione, formando insieme una rete di calcolo affidabile e generica.
Tre, la mappa dei prodotti di Brevis e la sua traiettoria tecnologica.
Partendo dalla prova in tempo reale (Realtime Proving) di L1 di Ethereum, la tecnologia ZK si sta gradualmente avvicinando all'era del calcolo verificabile, centrata su architetture generiche di zkVM e zkCoprocessor. Brevis Network è una fusione di zkVM e zkCoprocessor, costruendo un'infrastruttura di calcolo verificabile generica, centrata sul calcolo a conoscenza zero, con elevate prestazioni e programmabilità — il percorso verso uno strato di calcolo infinito per tutto.
3.1 Pico zkVM: architettura di prova modulare per calcolo verificabile generico.
Nel 2024 Vitalik ha proposto l'architettura "livello di esecuzione generico + livello di accelerazione del coprocessore" (glue & coprocessor) in (Glue and Coprocessor Architectures). Calcoli complessi possono essere suddivisi in logica aziendale generica e calcolo intensivo strutturato: il primo persegue la flessibilità (come EVM, Python, RISC-V), il secondo l'efficienza (come GPU, ASIC, moduli hash). Questa architettura sta diventando una tendenza comune per blockchain, AI e calcolo crittografico: l'EVM sta accelerando tramite precompilazioni, l'AI sta sfruttando la parallelizzazione GPU, e la prova ZK combina VM generiche e circuiti speciali. La chiave futura sarà ottimizzare la "strato di adesivo" per la sicurezza e l'esperienza di sviluppo, mentre il "livello di coprocessore" si concentrerà sull'esecuzione efficiente, raggiungendo un equilibrio tra prestazioni, sicurezza e apertura.
Pico zkVM è sviluppato da Brevis, rappresentando una realizzazione rappresentativa di questa idea. Attraverso l'architettura "zkVM generico + accelerazione del coprocessore", combina programmabilità flessibile e calcolo ad alte prestazioni con circuiti specializzati. La sua progettazione modulare supporta vari backend di prova (KoalaBear, BabyBear, Mersenne31) e può combinare liberamente componenti di esecuzione, ricorsione e compressione per formare ProverChain.
Il sistema modulare di Pico non solo consente di riorganizzare liberamente i componenti chiave, ma può anche integrare nuovi backend di prova e coprocessori applicativi (come dati on-chain, zkML, verifica cross-chain), realizzando una scalabilità in continua evoluzione. Gli sviluppatori possono utilizzare direttamente la toolchain Rust per scrivere logica aziendale, generando automaticamente prove crittografiche senza necessità di background sulla conoscenza zero, abbattendo significativamente le soglie di ingresso per lo sviluppo.
Rispetto all'architettura RISC-V relativamente monolitica di Succinct SP1 e al modello di esecuzione RISC-V generico di RISC Zero R0VM, Pico realizza decoupling ed estensione delle fasi di esecuzione, ricorsione e compressione tramite Modular zkVM + Coprocessor System, supportando il passaggio a più backend e integrazione di coprocessori, formano un vantaggio competitivo in termini di prestazioni e scalabilità.
3.2 Pico Prism: breakthrough delle prestazioni in cluster multi-GPU.
Pico Prism rappresenta un'importante svolta per Brevis nell'architettura multi-server GPU, stabilendo un nuovo record sotto il framework "Real-Time Proving (RTP)" della Ethereum Foundation. Sotto un cluster di 64×5090 GPU, raggiunge un tempo medio di prova di 6.9 secondi e una copertura RTP del 96.8%, posizionandosi al primo posto tra gli zkVM della stessa categoria. Questo sistema ha ottimizzato a livello architettonico, ingegneristico, hardware e di sistema, segnando il passaggio di zkVM da prototipo di ricerca a infrastruttura di livello produttivo.
Progettazione architettonica: il tradizionale zkVM (come SP1, R0VM) dipende principalmente dall'ottimizzazione di GPU singole. Pico Prism realizza per la prima volta prove parallele su cluster multi-server e multi-GPU (Cluster-Level zkProving), estendendo la prova zk a un sistema di calcolo distribuito tramite programmazione multithread e pianificazione a frammenti, aumentando significativamente il grado di parallelismo e scalabilità.
Implementazione ingegneristica: costruzione di pipeline asincrone multi-stadio (Esecuzione / Ricorsione / Compressione) e meccanismi di riutilizzo dei dati tra diversi livelli (cache proof chunk e riutilizzo dell'embedding), con supporto per passaggio a più backend (KoalaBear, BabyBear, M31), migliorando significativamente l'efficienza del throughput.
Strategia hardware: sotto una configurazione di 64×RTX 5090 GPU (circa $128K), Pico Prism raggiunge un tempo medio di prova di 6.0–6.9 secondi, con una copertura RTP del 96.8%, un rapporto prestazioni/costi aumentato di circa 3.4 volte, prestazioni superiori rispetto a SP1 Hypercube (160×4090 GPU, 10.3 secondi).
Evoluzione del sistema: come il primo zkVM a soddisfare gli indicatori RTP della Ethereum Foundation (>96% sub-10s, <$100K costo), Pico Prism segna il passaggio del sistema di prova zk da prototipo di ricerca a infrastruttura di produzione su mainnet, offrendo soluzioni di calcolo a conoscenza zero più economiche per scenari come Rollup, DeFi, IA e verifica cross-chain.
3.3 zk Data Coprocessor: strato di coprocessore zero conoscenza per dati blockchain intelligenti
Nel design nativo dei contratti intelligenti, c'è una "mancanza di memoria" — impossibilità di accedere ai dati storici, riconoscere comportamenti a lungo termine o analisi cross-chain. Il coprocessore a conoscenza zero (ZK Coprocessor) ad alte prestazioni fornito da Brevis, offre accesso ai dati storici cross-chain e capacità di calcolo verificabile per verificare e calcolare l'intero stato storico, transazioni ed eventi della blockchain, applicabile a scenari come DeFi guidato dai dati, gestione attiva della liquidità, incentivazione degli utenti e riconoscimento dell'identità cross-chain.
Il flusso di lavoro di Brevis comprende tre passi:
Accesso ai dati: i contratti intelligenti leggono i dati storici in modo non fiduciario tramite API;
Esecuzione del calcolo: gli sviluppatori utilizzano SDK per definire logica aziendale, Brevis calcola e genera prove ZK off-chain;
Verifica dei risultati: i risultati della prova vengono restituiti alla catena, verificati dai contratti e richiamati per la logica successiva.
Brevis supporta sia modelli Pure-ZK che CoChain (OP): il primo raggiunge la minimizzazione totale della fiducia, ma ha costi più elevati; il secondo, attraverso la verifica PoS e il meccanismo di sfida ZK, consente di realizzare calcoli verificabili a costi inferiori. I validatori pledgiano su Ethereum, e se il risultato viene sfidato con successo dalla prova ZK, verranno confiscati, ottenendo così un equilibrio tra sicurezza ed efficienza. Attraverso l'integrazione dell'architettura ZK + PoS + SDK, Brevis raggiunge un equilibrio tra sicurezza ed efficienza, costruendo uno strato di calcolo dati affidabile e scalabile. Attualmente, Brevis ha servito protocolli come PancakeSwap, Euler, Usual, Linea, tutte le collaborazioni zkCoprocessor si basano sul modello Pure-ZK, fornendo supporto dati affidabili per DeFi, distribuzione di ricompense e sistemi di identità on-chain, rendendo i contratti intelligenti realmente dotati di "memoria e intelligenza".
3.4 Incentra: strato di distribuzione degli incentivi verificabili basato su ZK.
Incentra è una piattaforma di distribuzione di incentivi affidabile alimentata da Brevis zkCoprocessor, fornendo calcoli e meccanismi di distribuzione delle ricompense sicuri, trasparenti e verificabili per i protocolli DeFi. Attraverso la prova a conoscenza zero, verifica direttamente i risultati degli incentivi sulla catena, realizzando un'esecuzione degli incentivi non fiduciaria, a basso costo e cross-chain. Il sistema calcola e verifica le ricompense all'interno dei circuiti ZK, garantendo che qualsiasi utente possa verificare indipendentemente i risultati; supporta anche operazioni cross-chain e controllo degli accessi, realizzando una distribuzione automatizzata degli incentivi conforme e sicura.
Incentra supporta principalmente tre tipi di modelli di incentivazione:
Token Holding: calcola le ricompense di lungo termine basate sul saldo ponderato nel tempo (TWA) dell'ERC-20;
Liquidità concentrata: distribuisce ricompense di liquidità in base alla proporzione delle commissioni AMM DEX, compatibile con protocolli ALM come Gamma e Beefy;
Prestiti & Prestiti: calcolo delle ricompense di prestito basato sulla media di saldo e debito.
Questo sistema è stato applicato a progetti come PancakeSwap, Euler, Usual, Linea, realizzando un ciclo affidabile completo dalla computazione degli incentivi alla distribuzione, fornendo un'infrastruttura di incentivi verificabili a livello ZK per i protocolli DeFi.
3.5 Panoramica della stack tecnologica dei prodotti Brevis.
Quattro, indicatori tecnici e breakthrough delle prestazioni di Brevis zkVM
Lo standard di prova in tempo reale (Realtime Proving, RTP) L1 proposto dalla Ethereum Foundation (EF) è diventato il consenso dell'industria e la soglia di accesso per zkVM per entrare nella rotta di verifica della mainnet, i suoi indicatori di valutazione principali includono:
Requisiti di latenza: P99 ≤ 10 secondi (corrisponde al ciclo di blocco di 12 secondi di Ethereum);
Vincoli hardware: CAPEX ≤ $100K, consumo ≤ 10kW (adatto per uso domestico/micro data center);
Livello di sicurezza: ≥128-bit (periodo di transizione ≥100-bit);
Dimensione della prova: ≤300 KiB;
Requisiti di sistema: non deve dipendere da impostazioni fidate, il codice sorgente deve essere completamente open source.
Nel mese di ottobre 2025, Brevis ha pubblicato il rapporto (Pico Prism — 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware), annunciando che il suo Pico Prism è diventato il primo zkVM a superare completamente lo standard di prova dei blocchi in tempo reale (RTP) della Ethereum Foundation (EF).
Sotto una configurazione di 64×RTX 5090 GPU (circa $128K), Pico Prism ha raggiunto un ritardo medio di 6.9 secondi, 96.8% <10s, 99.6% <12s nel blocco di 45M gas, superando significativamente lo Succinct SP1 Hypercube (36M gas, tempo medio 10.3s, 40.9% <10s). Con una riduzione della latenza del 71% e un costo hardware dimezzato, l'efficienza complessiva delle prestazioni/costi è aumentata di circa 3.4×. Questo risultato è stato pubblicamente riconosciuto dalla Ethereum Foundation, Vitalik Buterin e Justin Drake.
Cinque, espansione dell'ecosistema Brevis e implementazione delle applicazioni
Il zk Data Coprocessor di Brevis (zkCoprocessor) è responsabile dell'elaborazione di calcoli complessi che le dApp non possono completare in modo efficiente (come comportamenti storici, dati cross-chain, analisi aggregata) e genera prove a conoscenza zero (ZKP) verificabili. Sulla blockchain è sufficiente verificare questa piccola prova per richiamare in sicurezza il risultato, riducendo notevolmente i costi di gas, latenza e fiducia. Rispetto ai tradizionali oracoli, Brevis non fornisce solo "risultati", ma anche "garanzie matematiche sulla correttezza dei risultati", i suoi principali scenari d'uso possono essere suddivisi nelle seguenti categorie.
DeFi intelligente (Intelligent DeFi): implementa incentivi intelligenti e esperienze differenziate basate su comportamenti storici e stati di mercato (PancakeSwap, Uniswap, MetaMask, ecc.)
Crescita di RWA e stablecoin (RWA & Stable Token Growth): realizza la distribuzione automatizzata delle entrate tra stablecoin e RWA tramite verifica ZK (OpenEden, Usual Money, MetaMask USD)
Transazioni decentralizzate e riservate (DEX with Dark Pools): adotta un modello di transazione riservata con abbinamento off-chain e verifica on-chain, in arrivo.
Interoperabilità cross-chain (Cross-chain Interoperability): supporta il reinvestimento cross-chain e l'interoperabilità Rollup–L1, costruendo uno strato di sicurezza condiviso (Kernel, Celer, 0G)
Avvio a freddo della blockchain (Blockchain Bootstrap): utilizza meccanismi di incentivazione ZK per aiutare le nuove ecologie blockchain a partire e crescere (Linea, TAC)
Blockchain ad alte prestazioni (100× Faster L1s): promuove l'aumento delle prestazioni delle blockchain pubbliche come Ethereum e BNB Chain tramite tecnologia di prova in tempo reale (RTP)
AI verificabile (Verifiable AI): fonde protezione della privacy e ragionamento verificabile, fornendo potenza di calcolo affidabile per AgentFi e economia dei dati (Kaito, Trusta)
Secondo i dati di Brevis Explorer, entro ottobre 2025, la rete Brevis ha generato oltre 125 milioni di ZK prove, coprendo quasi 95,000 indirizzi e 96,000 richieste di applicazione, servendo ampiamente scenari come distribuzione di ricompense, verifica di transazioni e prove di staking. A livello ecosistemico, la piattaforma ha distribuito circa 223 milioni di dollari in incentivi, sostenendo un TVL superiore ai 2.8 miliardi di dollari, con volumi di transazione cumulativi che superano i 10 miliardi di dollari.
Attualmente, le attività ecologiche di Brevis si concentrano principalmente sulla distribuzione di incentivi DeFi e sull'ottimizzazione della liquidità, con il consumo di potenza centrale derivante da quattro progetti: Usual Money, PancakeSwap, Linea Ignition, Incentra, che insieme rappresentano oltre l'85%. Tra cui
Usual Money (46.6M proofs): dimostra la sua stabilità a lungo termine nella distribuzione di incentivi su larga scala;
PancakeSwap (20.6M): evidenzia le alte prestazioni di Brevis nel calcolo delle tariffe e degli sconti in tempo reale;
Linea Ignition (20.4M): verifica la sua capacità di elaborazione ad alta concorrenza nelle attività dell'ecosistema L2;
Incentra (15.2%): segna l'evoluzione di Brevis da strumento SDK a piattaforma di incentivazione standardizzata.
Nel campo degli incentivi DeFi, Brevis supporta più protocolli sulla piattaforma Incentra per implementare distribuzioni di ricompense trasparenti e continue:
Usual Money ha un volume di incentivi annuale superiore a $300M, fornendo rendimenti continui agli utenti di stablecoin e LP;
OpenEden e Bedrock realizzano la distribuzione dei profitti delle obbligazioni americane e del Restaking basati sul modello CPI;
Protocolli come Euler, Aave, BeraBorrow utilizzano la verifica ZK per calcolare le posizioni di prestito e le ricompense.
Nell'ottimizzazione della liquidità, PancakeSwap, QuickSwap, THENA, Beefy e altri utilizzano il plugin di incentivi a tariffa dinamica e ALM di Brevis, realizzando sconti sulle transazioni e aggregazione dei profitti cross-chain; Jojo Exchange e Uniswap Foundation utilizzano il meccanismo di verifica ZK per costruire un sistema di incentivi alle transazioni più sicuro.
Nel livello cross-chain e infrastrutturale, Brevis si è espanso da Ethereum a BNB Chain, Linea, Kernel DAO, TAC e 0G, fornendo calcolo affidabile e capacità di verifica cross-chain per un ecosistema multi-chain. Nel frattempo, progetti come Trusta AI, Kaito AI e MetaMask stanno utilizzando zk Data Coprocessor per costruire sistemi di punteggio di impatto e protezione della privacy, promuovendo lo sviluppo dell'intelligenza dei dati in Web3. A livello di base del sistema, Brevis si affida alla rete EigenLayer AVS per fornire garanzie di sicurezza per il reinvestimento e, combinando la tecnologia di prova aggregata NEBRA (UPA), comprime più prove ZK in un'unica presentazione, riducendo significativamente i costi e i ritardi di verifica on-chain.
Nel complesso, Brevis ha coperto l'intero ciclo applicativo, da incentivi a lungo termine, ricompense per attività, verifica delle transazioni a servizi di piattaforma. I suoi compiti di verifica frequenti e i template di circuito riutilizzabili offrono a Pico/Prism una vera pressione sulle prestazioni e un feedback di ottimizzazione, con la possibilità di riflettersi nel sistema di prove in tempo reale zkVM L1, formando un volano bidirezionale di tecnologia e applicazione.
Sei, background del team e finanziamento del progetto
Mo Dong｜Co-fondatore (Co-founder, Brevis Network)
Il Dr. Mo Dong è co-fondatore di Brevis Network, con un dottorato in informatica presso l'Università dell'Illinois a Urbana-Champaign (UIUC). I suoi risultati di ricerca sono stati presentati in conferenze accademiche di alto livello internazionali, adottati da aziende tecnologiche come Google e hanno ricevuto migliaia di citazioni accademiche. È un esperto nel campo della teoria dei giochi algoritmica e della progettazione dei meccanismi, concentrandosi sulla promozione della combinazione di calcolo a conoscenza zero (ZK) e meccanismi di incentivazione decentralizzati, impegnandosi a costruire una Verifiable Compute Economy affidabile. Come partner di rischio presso IOSG Ventures, si occupa anche di investimenti precoci nelle infrastrutture Web3.
Il team di Brevis è stato fondato da dottori di ricerca in crittografia e informatica provenienti da UIUC, MIT, UC Berkeley, e i membri chiave hanno anni di esperienza di ricerca nei sistemi di prova a conoscenza zero (ZKP) e nei sistemi distribuiti, avendo pubblicato numerosi articoli sottoposti a revisione paritaria. Brevis ha ricevuto il riconoscimento tecnologico dalla Ethereum Foundation, e il suo modulo centrale è considerato un'infrastruttura chiave per la scalabilità on-chain.
Brevis ha completato un round di finanziamento seed da 7.5 milioni di dollari a novembre 2024, con Polychain Capital e Binance Labs come co-lead, e investitori includendo IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures e investitori strategici da Kyber, Babylon, Uniswap, Arbitrum, AltLayer.
Sette, analisi della concorrenza di mercato di ZKVM e ZK Coprocessor
Attualmente, ETHProofs.org supportato dalla Ethereum Foundation è diventato la piattaforma principale di tracciamento della rotta di prova in tempo reale (Realtime Proving, RTP) L1, per mostrare pubblicamente le prestazioni, la sicurezza e i progressi di adattamento alla mainnet di ciascun zkVM.
Nel complesso, la concorrenza nel settore RTP si concentra su quattro dimensioni chiave:
Maturità: SP1 è la più matura per il deployment in produzione; Pico è leader in prestazioni e vicino agli standard mainnet; RISC Zero è stabile ma i dati RTP non sono stati resi pubblici.
Prestazioni: il volume della prova di Pico è di circa 990 kB, ridotto di circa il 33% rispetto a SP1 (1.48 MB), con costi inferiori;
Sicurezza e audit: sia RISC Zero che SP1 hanno superato audit di sicurezza indipendenti; Pico è attualmente in fase di audit;
Ecosistema di sviluppo: i principali zkVM utilizzano tutti il set di istruzioni RISC-V, SP1 si basa sul Succinct Rollup SDK per formare un ampio ecosistema di integrazione; Pico supporta la generazione automatica di prove in Rust, con un rapido miglioramento della completezza dell'SDK.
Dai dati più recenti, attualmente il settore RTP ha formato una "struttura di due potenze".
Il primo gruppo, Brevis Pico (incluso Prism) e Succinct SP1 Hypercube, puntano entrambi allo standard P99 ≤ 10s stabilito dall'EF. Il primo realizza innovazioni in prestazioni e architettura tramite un'architettura multi-GPU distribuita; il secondo mantiene la maturità ingegneristica e la solidità dell'ecosistema tramite un sistema monolitico. Pico rappresenta innovazione nelle prestazioni e nell'architettura, SP1 rappresenta praticità e leadership ecosistemica.
Il secondo gruppo, RISC Zero, ZisK, ZKM, continua a esplorare nella compatibilità ecosistemica e nella leggerezza, ma non hanno ancora rilasciato indicatori RTP completi (latenza, consumo energetico, CAPEX, livello di sicurezza, volume della prova, riproducibilità). Scroll (Ceno) e Matter Labs (Airbender) tentano di estendere la tecnologia Rollup al livello di verifica L1, riflettendo la tendenza evolutiva dall'espansione L2 al calcolo verificabile L1.
Nel 2025, il settore zkVM ha formato un modello tecnologico unificato, modulare, evolutivo, standardizzato ricorsivamente e accelerato dall'hardware. Lo strato di calcolo verificabile generico (Verifiable Compute Layer) di zkVM può essere suddiviso in tre categorie:
Orientamento alle prestazioni: Brevis Pico, SP1, Jolt, ZisK si concentrano su bassa latenza e prove in tempo reale, migliorando il throughput computazionale attraverso STARK ricorsivo e accelerazione GPU.
Modularità e scalabilità: OpenVM, Pico, SP1 enfatizzano la modularità plug-and-play, supportando l'accesso ai coprocessori.
Modello ecologico e di sviluppo generico: RISC Zero, SP1, ZisK si concentrano su SDK e compatibilità linguistica, promuovendo l'universalizzazione.
Attualmente, il settore zk-Coprocessor ha formato un modello rappresentato da Brevis, Axiom, Herodotus e Lagrange. Brevis, con l'architettura "ZK Data Coprocessor + zkVM generico" è leader, combinando capacità di lettura di dati storici, calcolo programmabile e capacità RTP L1; Axiom si concentra su query verificabili e callback di circuito; Herodotus si concentra sull'accesso allo stato storico; Lagrange ottimizza le prestazioni di calcolo cross-chain con un'architettura mista ZK+Ottimistica. Complessivamente, zk-Coprocessor sta diventando un'interfaccia di calcolo affidabile per connettere DeFi, RWA, AI, identità e altre applicazioni.
Otto, conclusioni: logica commerciale, implementazione ingegneristica e rischi potenziali.
Logica commerciale: guidata dalle prestazioni e dal doppio volano
Brevis costruisce un livello di calcolo affidabile multi-chain con "zkVM generico (Pico/Prism)" e "Coprocessore di dati (zkCoprocessor)": il primo risolve qualsiasi problema di calcolo verificabile, il secondo attua l'implementazione commerciale di dati storici e cross-chain.
La sua logica di crescita forma un ciclo virtuoso "prestazioni—ecosistema—costo": le prestazioni RTP di Pico Prism attraggono l'integrazione dei protocolli leader, portando a una crescita della scala delle prove e a una diminuzione dei costi per singola prova, formando un doppio volano rafforzato e continuo. I vantaggi competitivi si basano principalmente su tre punti:
Prestazioni riproducibili — già incluse nel sistema RTP ETHProofs della Ethereum Foundation;
Barriere architettoniche — progettazione modulare e implementazione parallela multi-GPU per alta scalabilità;
Verifica commerciale — già implementato su larga scala nella distribuzione degli incentivi, tariffe dinamiche e verifica cross-chain.
Implementazione ingegneristica: da "riesecuzione" a "verifica per esecuzione"
Brevis realizza un'implementazione media di 6.9 secondi, P99 < 10 secondi (64×5090 GPU, <$130 K CAPEX) con il framework parallelo Pico zkVM e Prism, con prestazioni e costi leader nel settore. Il modulo zkCoprocessor supporta la lettura di dati storici, la generazione di circuiti e la verifica retrospettiva, con possibilità di passaggio flessibile tra modalità Pure-ZK e Hybrid, le prestazioni complessive sono già allineate con gli standard rigidi RTP di Ethereum.
Rischi potenziali e punti di attenzione
Soglie tecniche e normative: Brevis deve ancora completare la pubblicazione e la verifica da parte di terzi di indicatori rigidi come consumo energetico, livello di sicurezza, dimensione delle prove e dipendenze da impostazioni fidate. L'ottimizzazione delle prestazioni a lungo termine rimane cruciale; le modifiche all'EIP potrebbero alterare i colli di bottiglia delle prestazioni.
Rischi di competizione e sostituzione: Succinct (SP1/Hypercube) rimane leader nell'integrazione di strumenti e ecosistema, le competenze di Risc Zero, Axiom, OpenVM, Scroll, zkSync non vanno trascurate.
Concentrazione delle entrate e struttura aziendale: attualmente, il volume delle prove è altamente concentrato (le prime quattro applicazioni rappresentano circa l'80%), è necessario espandere in diversi settori, multi-chain, e molteplici casi d'uso per ridurre la dipendenza. I costi delle GPU potrebbero influenzare il margine lordo per unità.
In sintesi, Brevis ha già costruito una prima protezione nei due estremi di "prestazioni riproducibili" e "business realizzabili": Pico/Prism si è già stabilita nel primo gruppo del settore RTP L1, mentre zkCoprocessor ha aperto scenari commerciali ad alta frequenza e riutilizzabili. Si consiglia di stabilire come obiettivo intermedio il raggiungimento degli indicatori rigidi totali RTP della Ethereum Foundation, continuando a rafforzare la standardizzazione del prodotto del coprocessore e l'espansione dell'ecosistema, mentre si promuovono la riproduzione di terze parti, la sicurezza dell'audit e la trasparenza dei costi. Implementando un equilibrio strutturale tra infrastruttura e entrate SaaS, formando un ciclo di crescita commerciale sostenibile.
Disclaimer: Questo documento è stato assistito da strumenti AI come ChatGPT-5 durante il processo di creazione. L'autore ha fatto del suo meglio per revisionare e garantire che le informazioni siano veritiere e accurate, ma non è esente da errori, si prega di scusare eventuali imprecisioni. Si segnala in particolare che nel mercato delle criptovalute esiste generalmente una discrepanza tra le fondamenta dei progetti e le prestazioni del prezzo sul mercato secondario. Il contenuto di questo documento è solo per integrazione informativa e scambio accademico/di ricerca e non costituisce alcun consiglio di investimento, né deve essere considerato come raccomandazione per comprare o vendere alcun token.
#ZK #brevis #zkEVM #ZKVM #ZKCoprocessor