Intervista a Michael, CEO di Brevis: lo scaling con zkVM è molto più efficace di L2

Con hardware consumer-grade, 64 GPU hanno completato 99,6% della prova del blocco L1 in 12 secondi—Pico Prism, la macchina virtuale a conoscenza zero (zkVM) multi-GPU di Brevis, ha raggiunto un importante traguardo prestazionale.

Questo importante progresso ha attirato grande attenzione anche da parte della community core di Ethereum. Il fondatore di Ethereum, Vitalik Buterin, ha commentato pubblicamente: «Sono felice di vedere che Pico Prism di Brevis entra ufficialmente nel campo della verifica ZK-EVM. È un passo importante per ZK-EVM in termini di velocità e varietà delle prove».

«I dati parlano da soli.» ha dichiarato Michael, cofondatore e CEO di Brevis. «Abbiamo realizzato un’infrastruttura in grado di elaborare in tempo reale l’output dei blocchi di Ethereum utilizzando hardware consumer-grade. Queste prestazioni sono la migliore risposta all’obiettivo di decentralizzazione di Ethereum».

Michael, cofondatore e CEO di Brevis, è un dottore di ricerca in informatica presso la UIUC, esperto di sistemi distribuiti e reti ad alte prestazioni. Ha fondato e portato al successo diverse startup della Silicon Valley, i cui risultati di ricerca sono stati adottati da numerose aziende tecnologiche, tra cui Google. Nel 2018 ha fondato Celer Network, che ha raggiunto una valutazione massima superiore a 2 mld $. Oggi guida il team di Brevis nell’integrazione delle prove a conoscenza zero con il calcolo verificabile, con l’obiettivo di costruire un’infrastruttura in grado di soddisfare davvero le esigenze computazionali su larga scala dell’ecosistema Ethereum.

Per comprendere meglio come Brevis abbia raggiunto questo traguardo e cosa significhi per l’ecosistema Ethereum, DapTran di BlockBeats ha condotto un’intervista approfondita con Michael, cofondatore e CEO di Brevis.

Abbiamo approfondito tre questioni fondamentali:

· La missione e il posizionamento di Brevis

· Il valore pratico che il calcolo verificabile può offrire alle applicazioni

· I prossimi passi di Brevis nel suo stretto allineamento con l’ecosistema Ethereum

Non si tratta solo di una discussione tecnica, ma anche di una riflessione lungimirante sulla fiducia nel calcolo del futuro.

Che cos’è Brevis: dalla visione al posizionamento

DapTran di BlockBeats: Potresti iniziare spiegando nel modo più semplice possibile che cos’è Brevis come progetto e quale problema intende risolvere?

Michael: Presentiamo Brevis come il livello di calcolo infinito, al servizio non solo del Web3, ma anche di scenari applicativi più ampi. L’obiettivo principale è fornire una potenza di calcolo pressoché illimitata alle applicazioni on-chain, mantenendo decentralizzazione e sicurezza, e risolvere la contraddizione strutturale tra prestazioni/funzionalità elevate e minimizzazione della fiducia, difficile da conciliare nel lungo periodo. Negli ultimi anni lo scaling L2 ha aumentato notevolmente il throughput, ma i calcoli complessi — come l’elaborazione di grandi quantità di dati storici, l’aggregazione cross-chain e l’inferenza algoritmica o dell’IA — restano limitati, rendendo difficile implementare molte funzionalità avanzate.

La soluzione di Brevis consiste nel calcolo off-chain e nella verifica on-chain. I calcoli più onerosi vengono eseguiti off-chain e generano prove a conoscenza zero (prove ZK); i contratti on-chain devono solo verificare la correttezza della prova a un costo bassissimo, senza ripetere l’intero calcolo. Di conseguenza, i contratti ricevono di fatto una serie di plugin protetti dalla crittografia, ampliando notevolmente i limiti della potenza di calcolo e delle funzionalità utilizzabili senza sacrificare decentralizzazione e sicurezza. Al momento, gli smart contract non sono molto intelligenti, ma con Brevis possono diventarlo davvero.

BlockBeats: Brevis viene definito il livello di calcolo infinito del Web3. Come è nata questa idea? Quali sono le differenze fondamentali rispetto alla concezione tradizionale del calcolo on-chain o dello scaling?

Michael: Definiamo Brevis il livello di calcolo infinito del Web3 perché il suo obiettivo è superare i limiti computazionali della blockchain. Le soluzioni di scaling tradizionali, come i Rollup di Layer 2, aumentano principalmente il throughput delle transazioni da decine di TPS a centinaia o migliaia di TPS, ma hanno comunque un limite e non risolvono il problema di poter completare on-chain qualsiasi calcolo complesso: in genere, on-chain si possono elaborare solo transazioni e operazioni dei contratti relativamente semplici. Quando la complessità computazionale aumenta, diventa difficile sia modellare il calcolo on-chain sia sostenerlo, per esempio nel caso dell’elaborazione di grandi quantità di dati, dell’inferenza dell’IA o di algoritmi complessi.

Brevis parte da un presupposto diverso: non ci limitiamo a rendere più veloci tipologie di transazioni già esistenti, ma permettiamo alla blockchain di accettare e supportare i risultati di qualsiasi calcolo, mantenendo sicurezza e assenza di fiducia. È un nuovo paradigma di calcolo verificabile: basta che un calcolo off-chain produca una prova matematica a conoscenza zero perché la rete on-chain possa confermarne la correttezza e la sicurezza a un costo bassissimo.

Per gli sviluppatori, Brevis è più simile a un cloud di calcolo verificabile: aumenta senza soluzione di continuità la potenza di calcolo su richiesta, sposta i calcoli complessi off-chain e invia le prove per la verifica on-chain, mantenendo lo stesso modello di sicurezza e fiducia dei contratti on-chain nativi. Per questo definiamo Brevis un livello di calcolo infinito: offre scalabilità e disponibilità computazionali pressoché infinite, pur rimanendo coerente con il modello di fiducia e sicurezza della blockchain stessa.

Intervista di BlockBeats: Come abbiamo appena detto, il calcolo verificabile sembra piuttosto astratto. Puoi spiegare in modo più intuitivo quale ruolo svolge in Brevis?

Michael: Il limite fondamentale della blockchain è che, pur garantendo sicurezza e assenza di fiducia, la sua capacità di calcolo è limitata. Le blockchain pubbliche come Ethereum sono sistemi di consenso: molti nodi della rete eseguono in modo indipendente lo stesso calcolo per una transazione o un contratto e producono un nuovo blocco solo dopo aver raggiunto il consenso. Questo meccanismo è sicuro ma inefficiente, un po’ come se tutta la classe risolvesse lo stesso problema per confermare la risposta.

L’idea del calcolo verificabile è separare il calcolo dalla verifica, riducendo i costi ridondanti. Prendiamo il problema delle galline e dei conigli in una gabbia: per risolverlo bisogna impostare equazioni e dedurre la risposta, mentre per verificare se una risposta data è corretta basta sostituire i valori nell’equazione, un’operazione molto meno costosa che risolvere nuovamente il problema. In teoria informatica, eseguire un calcolo e verificarne il risultato sono naturalmente due problemi diversi; il secondo è generalmente più leggero. Le prove a conoscenza zero estendono questo principio a qualsiasi calcolo, da una semplice operazione come 1+1=2 al ragionamento dei modelli di grandi dimensioni. Una volta completato il calcolo, viene generata una prova concisa, che consente a chiunque di verificarla rapidamente e a un costo bassissimo, senza rivelare i dettagli del calcolo.

In Brevis, i calcoli più onerosi vengono eseguiti off-chain e generano una prova ZK, mentre on-chain si verifica soltanto la prova, evitando di dover ripetere l’intero calcolo. Questo è uno dei valori fondamentali del calcolo verificabile: separare completamente il calcolo dalla verifica e ridurre in misura significativa il costo delle numerose rielaborazioni necessarie per raggiungere lo stesso obiettivo.

Perché farlo: architettura tecnica e concetto fondamentale

Intervista di BlockBeats: Dal punto di vista tecnico, Brevis è composto da due moduli fondamentali: lo ZK Data Coprocessor (che chiameremo zkCoprocessor) e Pico zkVM. Qual è il rapporto tra i due e quali problemi risolvono?

Michael: Si può pensare a Brevis come a una struttura a livelli: alla base c’è Pico zkVM, un motore di calcolo generico (una macchina virtuale) a cui è possibile delegare qualsiasi calcolo, ottenendo una prova zk. Una sua caratteristica fondamentale è l’elevata modularità, che consente di collegare più coprocessori. In questo framework, zkCoprocessor è un coprocessore per gli scenari legati ai dati blockchain, simile a un plugin o a un componente aggiuntivo. Nella sua forma attuale, zkCoprocessor funziona soprattutto come sistema di memoria della zkVM, consentendo agli smart contract di vedere e comprendere gli eventi on-chain passati, come le transazioni degli utenti, i saldi e gli asset detenuti.

Più precisamente, zkVM consente di verificare qualsiasi calcolo relativo a un problema generico, mentre zkCoprocessor è un coprocessore del livello applicativo, progettato su misura per le applicazioni blockchain. Poiché gli smart contract operano per natura nel presente e possono accedere solo al contesto limitato del blocco corrente, non possono leggere direttamente né eseguire calcoli su un lungo periodo storico o sullo stato cross-chain. Tramite le prove a conoscenza zero, zkCoprocessor offre al contratto «un paio d’occhi», permettendo di recuperare e aggregare off-chain i dati storici pertinenti e di generare prove che attestino che tali dati sono reali e derivano dallo stato on-chain. In questo modo il contratto può disporre di memoria e di un’intelligenza basata sulla memoria, mantenendo al minimo le assunzioni di fiducia.

Intervista di BlockBeats: zkCoprocessor permette agli smart contract di «vedere il passato», un’idea che sembra rivoluzionaria. Puoi spiegare più nel dettaglio come funziona?

Michael: Prendiamo come esempio lo sconto dinamico sulle commissioni di PancakeSwap basato sul volume storico delle transazioni:

Per prima cosa, zkCoprocessor legge dalla blockchain lo storico delle transazioni di un utente, aggrega il volume delle transazioni applicando una regola (per esempio, gli ultimi 30 giorni) e genera una prova a conoscenza zero;

In seguito, Pico zkVM, dopo aver ricevuto i dati convalidati, esegue ulteriori aggregazioni e calcoli (per esempio, riunisce il volume di trading di diverse coppie in un unico indicatore) e genera una prova del processo di calcolo;

Infine, il risultato e la prova vengono inviati on-chain, dove il contratto verifica contemporaneamente la correttezza di entrambe le prove, conferma se l’indirizzo ha raggiunto la soglia VIP e applica automaticamente lo sconto sulle commissioni per il periodo di regolamento successivo.

Con questo metodo, il contratto evita di leggere ed elaborare ripetutamente on-chain enormi quantità di dati storici, acquisendo la capacità di vedere il passato e mantenendo al tempo stesso l’assenza di fiducia e il controllo dei costi.

Intervista di BlockBeats: Avete sviluppato Pico zkVM internamente invece di adottare le soluzioni di altri progetti zkVM. Quali considerazioni vi hanno portato a questa decisione? In che cosa Brevis si differenzia dagli altri progetti zk?

Michael: È una domanda cruciale. Sul mercato ci sono già molti progetti zkVM: perché Brevis ha scelto di costruire Pico zkVM da zero? Il motivo fondamentale è piuttosto semplice: riteniamo che la maggior parte delle zkVM esistenti sia ancora in fase di laboratorio e non sia stata davvero progettata per applicazioni reali su larga scala. Per quanto riguarda prestazioni complessive, costi e scalabilità, non sono ancora pronte per un utilizzo commerciale su larga scala. In altre parole, assomigliano più a dimostrazioni di fattibilità che a sistemi in grado di supportare milioni di chiamate in produzione.

Fin dall’inizio, Brevis ha risposto a un’esigenza concreta del mondo reale. I principali protocolli DeFi come PancakeSwap, Euler, Linea e Usual hanno bisogno di generare milioni di prove zk ogni giorno. Se le prestazioni della zkVM sottostante non sono all’altezza, l’intero sistema non può essere messo in funzione. Questo ci ha costretti a ricostruire un motore di calcolo zk davvero progettato per gli ambienti di produzione: Pico zkVM.

Pico ha tre caratteristiche importanti. La prima è la massima velocità. Pico è attualmente la zkVM più potente al mondo. La nostra versione più recente, Pico Prism, è già in grado di generare prove in tempo reale per 99,6% dei blocchi della mainnet di Ethereum utilizzando 64 schede 5090 (in meno di 12 secondi); per 96,8% dei blocchi bastano addirittura meno di 10 secondi. Ciò equivale a un miglioramento delle prestazioni di 3–4 volte e a una riduzione dei costi hardware di circa 50%. In altre parole, se oggi Ethereum utilizzasse Pico, la sua efficienza complessiva di verifica potrebbe aumentare di un ordine di grandezza, segnando una vera svolta nelle prove in tempo reale.

La seconda caratteristica è l’architettura modulare unica. Pico è attualmente l’unica zkVM che supporta i coprocessori plug-in. Le altre zkVM sono generalmente sistemi chiusi, in grado di eseguire solo calcoli generici, mentre Pico può integrare moduli diversi a seconda dello scenario applicativo. Per esempio, quando servono dati storici, la verifica incrociata dei registri on-chain o l’esecuzione di logiche finanziarie complesse, il coprocessore di Pico può essere collegato come un plugin per accelerare attività specifiche. Pico può così combinare capacità generiche e specializzate ad alte prestazioni, adattandosi a un’ampia gamma di applicazioni, dalla DeFi nel Web3 al calcolo dell’IA nel Web2.

Infine, è facile da usare per gli sviluppatori. Non vogliamo che debbano essere esperti di crittografia o di teoria ZK per utilizzare Pico. È sufficiente saper programmare in Rust per richiamarlo direttamente, come se si stesse scrivendo un normale programma per applicazioni ZK. Questo riduce notevolmente la barriera d’accesso e nasconde completamente la complessità ZK sottostante. In sintesi, non siamo una zkVM sperimentale, ma un motore di calcolo ZK progettato per il mondo reale e per i casi d’uso concreti.

Intervista di BlockBeats: Di recente avete annunciato che Pico Prism ha raggiunto 99,6% di prove in tempo reale su hardware consumer-grade. Puoi parlare della svolta tecnologica alla base di questo risultato e di cosa comporta per il limite prestazionale delle zkVM?

Michael: Vorrei innanzitutto spiegare perché è importante. Il miglioramento delle prestazioni non è una semplice ottimizzazione tecnica: riguarda la futura scalabilità e lo sviluppo dell’ecosistema Ethereum. L’attuale architettura di Ethereum richiede che ogni nodo esegua in modo ridondante lo stesso calcolo: è sicura e affidabile, ma la scalabilità si sta avvicinando al limite. Il passo successivo richiede un nuovo paradigma: un singolo nodo esegue calcoli su larga scala e genera prove ZK, mentre gli altri nodi si occupano solo della verifica. Con questo approccio, basato sul calcolo centralizzato in un nodo e sulla verifica distribuita, il throughput può aumentare di un ordine di grandezza mantenendo decentralizzazione e sicurezza, raggiungendo potenzialmente o superando il livello di Solana e conservando al contempo una rete di nodi decentralizzata adeguata.

A luglio di quest’anno, la Ethereum Foundation ha fissato un obiettivo da raggiungere in due anni: ottenere prove in tempo reale per 99% dei blocchi usando hardware consumer-grade dal costo inferiore a 100.000 $. Una volta raggiunto questo obiettivo, si potrà ottenere uno scaling pressoché illimitato sfruttando la potenza di calcolo dell’hardware comune. Finora, però, questa possibilità è rimasta in gran parte teorica. La maggior parte delle soluzioni zkVM è ancora molto lontana da questo standard per copertura, costo e velocità, e molte faticano persino a raggiungere una copertura in tempo reale del 90%.

Entra in gioco Pico Prism, il primo sistema ad aver superato davvero questa soglia prestazionale. Nei nostri test, utilizzando solo 64 GPU NVIDIA RTX 5090 (per un costo di circa 120.000 $), abbiamo generato in 12 secondi prove in tempo reale per 99,6% dei blocchi di Ethereum; per 96,8% dei blocchi è stato possibile generare prove in meno di 10 secondi, con un tempo medio di prova di appena 6,9 secondi.

Rispetto ad altri protocolli, Pico ha migliorato le prestazioni di 70% e ridotto i costi di 50%. In altre parole, è più veloce e più economico, e siamo ormai molto vicini all’obiettivo della Ethereum Foundation.

BlockBeats: Per funzionalità e obiettivi, Brevis assomiglia più a un livello di accelerazione ZK di Ethereum o a un cloud di calcolo verificabile cross-chain?

Michael: Dal punto di vista delle funzionalità e degli obiettivi, questi due posizionamenti non sono in contraddizione. Nel breve termine, Brevis somiglia di più a un livello di accelerazione ZK per Ethereum e i suoi Layer 2. Siamo in linea con la direzione della Ethereum Foundation: ottenere uno scaling della mainnet da 10 a 100 volte tramite prove a conoscenza zero. Allo stesso tempo, le capacità di generare prove in tempo reale miglioreranno notevolmente l’interattività dei Rollup di Layer 2, rendendo le transazioni cross-chain più rapide, efficienti ed economiche e favorendo una migliore integrazione di stato e liquidità.

Da una prospettiva più ampia e di lungo periodo, il posizionamento di Brevis non si limita a Ethereum. La nostra architettura supporta intrinsecamente più chain e abbiamo già stretto partnership con collaboratori di ecosistemi come BNB Chain, per esempio PancakeSwap; stiamo inoltre portando avanti collaborazioni su progetti come i contratti perpetui su chain diverse da Ethereum. Siamo allineati anche con ecosistemi Layer 2 e multichain come Arbitrum, StarkWare e Avalanche. Nel complesso, puntiamo a trasformare Brevis in un cloud di calcolo verificabile per tutte le applicazioni blockchain.

Il nostro obiettivo è rendere semplice, nei prossimi 3–5 anni, l’utilizzo di questi servizi di calcolo da parte degli smart contract distribuiti su qualsiasi chain. Guardando più avanti, la stragrande maggioranza dei calcoli delle applicazioni blockchain avverrà off-chain e sarà resa affidabile grazie ai metodi a conoscenza zero. Brevis fungerà da livello unificato di fiducia computazionale per l’intero sistema decentralizzato.

Implementazione: applicazioni reali e casi d’uso

Intervistatore di BlockBeats: Molte applicazioni DeFi, come PancakeSwap, Euler e Linea, utilizzano già la tecnologia di Brevis. Potresti fare un esempio concreto del suo funzionamento in questi casi?

Michael: Sì. Attualmente i nostri casi d’uso si dividono principalmente in diverse categorie, e la DeFi è la più rappresentativa. Come accennato, PancakeSwap è un esempio tipico. Non vogliamo che l’esperienza utente dei DEX resti sempre uguale, con la stessa interfaccia e le stesse commissioni per tutti, che si tratti di trader occasionali o ad alta frequenza. Ci auguriamo che i DEX possano offrire gradualmente esperienze differenziate ai diversi tipi di utenti, come fanno i CEX. Stiamo inoltre esplorando applicazioni più innovative. Per esempio, collaboriamo con progetti SocialFi per consentire agli utenti di dimostrare la propria influenza e i propri averi reali senza esporre il wallet principale.

Stiamo sviluppando anche alcuni scenari che operano quasi interamente off-chain. In un sistema di trading perpetuo come Hyperliquid, per esempio, le posizioni e le informazioni sulla leva degli utenti sono spesso pubbliche e vulnerabili al front-running da parte di altri trader. Vogliamo riprogettare un sistema simile usando la tecnologia ZK per cifrare e nascondere tutti gli ordini e i registri delle posizioni, garantendo al contempo la correttezza del matching e la sicurezza del sistema tramite prove ZK. Questo approccio può offrire un’esperienza fluida simile a quella di un exchange centralizzato, mantenendo la sicurezza e la privacy a livello blockchain.

Intervistatore di BlockBeats: A livello di prodotto, Incentra è un’applicazione importante che avete lanciato e che attualmente gestisce più di 300 mln $ nella distribuzione degli incentivi. Come funziona il sistema?

Michael: Il principio alla base di Incentra è semplice: la distribuzione degli incentivi è fondamentale per la crescita di ogni ecosistema, ma storicamente i meccanismi di distribuzione hanno spesso presentato problemi di sicurezza, conformità e trasparenza.

Il meccanismo centrale di Incentra consente agli utenti di generare prove ZK basate sulle loro attività reali on-chain o all’interno del protocollo, completare la verifica dei requisiti e richiedere gli incentivi direttamente on-chain tramite smart contract, senza affidarsi a una distribuzione centralizzata. Rispetto alle pratiche tradizionali, questo modello offre vantaggi in tre ambiti. Primo, la sicurezza: i fondi vengono regolati all’interno del contratto secondo regole predefinite, riducendo i rischi legati alla custodia centralizzata e alle operazioni. Secondo, la conformità e la verificabilità: sia le regole degli incentivi sia le prove dei requisiti sono tracciabili on-chain, evitando la pressione normativa derivante dalla distribuzione di fondi a soggetti sconosciuti. Terzo, equità e trasparenza: ogni richiesta può essere verificata in modo indipendente dall’esterno rispetto al contributo reale corrispondente e al relativo percorso di calcolo, eliminando le distribuzioni opache. Il sistema è già stato implementato nei programmi di crescita e incentivazione di progetti come BNB Chain, MetaMask, OpenEden e Usual. Che si tratti dell’ecosistema delle stablecoin o di sistemi di incentivi on-chain, questa soluzione consente una distribuzione sicura, conforme e trasparente.

Rhythm BlockBeats: Rispetto a molti progetti ZK ancora in fase sperimentale, Brevis ha già raggiunto un’implementazione su larga scala. Perché pensi che ci siate riusciti più rapidamente?

Michael: Credo che il motivo principale sia che fin dal primo giorno non ci siamo considerati un laboratorio di ricerca ZK, ma un’azienda infrastrutturale focalizzata su applicazioni concrete. La nostra roadmap tecnica non prevedeva di costruire prima un motore e cercare poi un utilizzo, ma l’opposto: partire dalle esigenze delle applicazioni e progettare a ritroso l’architettura sottostante.

Questo determina in effetti la differenza fondamentale di Brevis. Molti progetti ZK sviluppano prima, a porte chiuse, una zkVM apparentemente perfetta e solo in seguito cercano di capire dove applicarla; noi siamo partiti dai problemi reali dei nostri partner, abbiamo innanzitutto compreso le loro esigenze concrete e poi progettato gradualmente un’architettura zkVM modulare, creando inoltre uno zkCoprocessor collegabile.

In altre parole, l’evoluzione tecnologica di Brevis non nasce da piani astratti, ma è guidata passo dopo passo da utenti e partner reali. Questo approccio alla ricerca e sviluppo, orientato alla soluzione dei problemi, ci permette di migliorare rapidamente in modo iterativo, con ogni aggiornamento direttamente collegato a un caso d’uso verificabile. Ha inoltre permesso al nostro sistema di offrire fin dall’inizio stabilità e scalabilità di livello produttivo, anziché essere sviluppato solo per la ricerca teorica.

C’è anche un motivo più concreto: il nostro team conosce molto bene sia la crittografia sia l’ingegneria dei sistemi su larga scala. Non ci siamo mai fermati alle deduzioni teoriche: abbiamo affinato davvero le prestazioni e verificato la stabilità in un ambiente di produzione. Finora, Brevis ha generato oltre cento milioni di prove a conoscenza zero sulla mainnet, servito circa 190.000 utenti e gestito più di 300 mln $ di fondi reali destinati agli incentivi per i protocolli partner. Sono tutte applicazioni effettivamente online — come Linea, Euler, Usual e OpenEden — non demo né testnet.

Quali sono i prossimi passi: scenari aperti e visione futura

Rhythm BlockBeats: Oltre alla DeFi, in quali altri ambiti pensi che il modello di calcolo off-chain e verifica on-chain possa avere un impatto in futuro, per esempio nell’IA, nei mercati dei dati o nel gaming?

Michael: Oltre alla DeFi, questo modello continuerà ad avere un impatto nell’IA verificabile, nel collegamento tra dati e identità del Web2 e del Web3, nei mercati dei dati che tutelano la privacy, nel gaming e negli scenari social. Innanzitutto, nel campo dell’IA verificabile, i modelli attuali sono perlopiù scatole nere. Con le prove a conoscenza zero, il processo di inferenza può generare prove matematiche verificabili, dimostrando che un determinato modello ha prodotto l’output corrispondente a un input specifico e garantendo che il modello e il processo non siano stati sostituiti o manomessi. In secondo luogo, nel collegamento tra gli scenari Web2 e Web3, gli utenti possono trasferire qualifiche o attività svolte su piattaforme centralizzate alle applicazioni on-chain in forma verificabile. Per esempio, è possibile associare l’attività di trading su una piattaforma centralizzata a sconti sulle commissioni di una piattaforma decentralizzata, senza rivelare l’identità o i dettagli dell’account sottostante. Infine, nel gaming e nei social, gli utenti possono dimostrare risultati storici, possesso di asset o il completamento di attività importanti per ottenere accesso, soddisfare requisiti o ricevere incentivi, senza divulgare i propri wallet o informazioni personali sensibili.

Nel lungo periodo, questo sistema ridefinirà i confini della fiducia nel mondo digitale. Vogliamo ricostruire, attraverso il Web3 e le prove a conoscenza zero, il modo in cui la società umana considera affidabile il calcolo, facendo sì che ogni calcolo possa essere verificato e considerato attendibile. Brevis vuole diventare il fondamento di tutto questo: un nuovo livello di fiducia computazionale.

Intervista di BlockBeats: Abbiamo visto che il 13/10 Brevis ha lanciato il nuovo evento Brevis Proving Grounds. Puoi raccontarci i contenuti principali dell’iniziativa e cosa potranno fare e sperimentare concretamente gli utenti?

Michael: In realtà, nell’ultimo periodo abbiamo dedicato molto impegno alla convalida e all’approvazione di applicazioni per casi d’uso reali. Ora abbiamo collaborazioni approfondite con oltre venti partner; ogni progetto è un’applicazione concreta, pronta per essere distribuita e utilizzata direttamente dagli utenti, e questi progetti hanno mostrato ottimi risultati in termini di dati e fidelizzazione.

Abbiamo però scoperto che nel mondo della blockchain lo sviluppo di molte cose è in realtà trainato dalla consapevolezza degli utenti. In altre parole, quando gli utenti comprendono davvero il valore di una nuova tecnologia, i loro riscontri e le loro richieste spingono a loro volta gli sviluppatori a implementare più funzionalità. Per questo vogliamo coinvolgere gli utenti, facendo sì che non siano solo osservatori, ma possano provare, convalidare e verificare in prima persona. Questo è l’obiettivo principale del lancio dell’evento The Brevis Proving Grounds.

L’evento si articola approssimativamente in due fasi. La prima è dedicata all’educazione degli utenti: vogliamo aiutare più persone a comprendere il lavoro dei nostri partner e i problemi specifici che le prove a conoscenza zero (ZK) possono risolvere in questi progetti. Questa fase è più orientata alla divulgazione e alla comprensione, per chiarire a tutti la logica e il significato di questa tecnologia.

La seconda fase è dedicata all’esperienza concreta e incoraggia gli utenti a provare le applicazioni che abbiamo già distribuito, sperimentando davvero i cambiamenti che questi prodotti offrono grazie all’integrazione con Brevis. A differenza di molti progetti, in cui gli utenti si limitano spesso a cliccare pulsanti, completare attività o ricevere ricompense perché mancano funzionalità innovative di base da sperimentare concretamente, noi siamo diversi. I progetti dei nostri partner sono applicazioni reali, utili e pronte per essere distribuite; chi partecipa non prende parte a una simulazione, ma utilizza prodotti profondamente integrati con la tecnologia Brevis.

Con questo approccio vogliamo permettere agli utenti di sperimentare concretamente l’esperienza fluida e il valore trasformativo offerti dalla tecnologia ZK, comprendendo perché il modello di calcolo off-chain e verifica on-chain può rendere le applicazioni sicure ed efficienti. Ancora più importante, vogliamo rendere un numero crescente di utenti motore dell’ecosistema: quando sempre più persone comprendono e chiedono attivamente che i prodotti che usano adottino questo meccanismo, la spinta all’innovazione dell’intero settore si rafforza a sua volta.

Rhythm BlockBeats: Oltre a questo evento, quali sono i piani attuali di Brevis? Anche gli utenti potranno partecipare?

Michael: Continueremo a lanciare programmi che coinvolgono l’ecosistema, tra cui una rete decentralizzata di nodi proof-of-stake, per creare un’infrastruttura di prove e verifiche più aperta. I programmi pertinenti apriranno canali di partecipazione alla community e ai partner dell’ecosistema; le modalità specifiche e il calendario della partecipazione saranno annunciati pubblicamente in futuro.

Rhythm BlockBeats: Guardando al lungo periodo, che tipo di infrastruttura sperate che Brevis diventi? Quale ruolo vuole assumere, in ultima analisi, nel mondo Web3?

Michael: La nostra visione è trasformare Brevis in un livello di calcolo infinito del Web3, che funga da fonte di calcolo affidabile e universale. Come Ethereum ha ristrutturato con gli smart contract la logica della fiducia negli asset e nella finanza, Brevis mira a ricostruire la logica della fiducia nel calcolo: non sarà più necessario scegliere tra eseguire i calcoli autonomamente e fidarsi dei risultati prodotti da altri, perché il calcolo verificabile garantirà sicurezza e correttezza dei risultati senza dover ripetere l’esecuzione.

In futuro, le applicazioni on-chain passeranno dalla semplice esecuzione di transazioni e dal trasferimento di asset a sistemi più intelligenti e complessi, che comprenderanno algoritmi avanzati, interazione dei dati, esperienze personalizzate e prove sociali delle attività svolte. Per arrivare a un’adozione diffusa, dovranno disporre contemporaneamente di una forte capacità di calcolo e di una sicurezza completa. Vogliamo rendere questo calcolo basato su prove universale, facile da usare ed economico, così che ogni applicazione Web3 possa integrare questa capacità in modo naturale, senza dover reinventare la ruota.

Dal punto di vista architetturale, vogliamo aggiungere un nuovo livello di fiducia sopra il livello di consenso, il livello dei dati e il livello di esecuzione: un livello di calcolo infinito. Diventerà il quarto livello infrastrutturale della blockchain, offrendo capacità unificate di affidabilità e verifica del calcolo all’intero mondo decentralizzato. Ogni calcolo intelligente, complesso e persino cross-chain potrà essere verificato e utilizzato senza dover riporre fiducia in terzi. Questa è la nostra idea di calcolo infinito e la missione di lungo periodo di Brevis.