All'inizio di quest'anno, Weikeng Chen e i suoi partner della società di venture capital L2 Iterative hanno deciso di spostare la loro attenzione sul ribollente ecosistema Bitcoin. Chen, originario della Cina, aveva notato il crescente interesse per lo sviluppo di Bitcoin da parte di diversi grandi attori nel settore minerario che hanno iniziato a sostenere diversi progetti negli Ordinali e nello spazio di livello 2.

"Non avevo mai realizzato che Bitcoin avesse una comunità di sviluppo", dice, scherzando a metà.

Avanti veloce fino alla scorsa settimana, un'iniziativa open source guidata da lui stesso, con la sponsorizzazione della società di infrastrutture Starkware, ha ottenuto la prima implementazione di un verificatore a conoscenza zero utilizzando lo script Bitcoin.

In un settore in cui i progressi significativi sono pochi e rari, coloro che sono coinvolti nello sforzo sono entusiasti dell’importanza di questa pietra miliare. Le prove a conoscenza zero, sostengono, sono la chiave per sbloccare la programmabilità di Bitcoin e ampliarne l’uso a livello globale.

Dietro questo risultato c’è lo straordinario viaggio di un outsider che ha intrapreso lo sviluppo di Bitcoin solo sei mesi fa e ora ha codificato probabilmente il suo software più avanzato. Ho intervistato Weikeng Chen per approfondire le sue motivazioni, la sua collaborazione con Starkware su OP_CAT e STARK e le sue prospettive su questa nuova era di sviluppo di Bitcoin.

Iniziando da zero

Laureato con dottorato di ricerca alla UC Berkeley con specializzazione in crittografia, Chen ha spiegato di aver iniziato a cercare un'opportunità per contribuire con le sue competenze tecniche al settore per posizionare meglio la sua azienda presso potenziali investitori e aziende. Nonostante la sua vasta esperienza ingegneristica, si rese presto conto che le risorse erano scarse e che la curva di apprendimento era ripida. "Molto del materiale disponibile è obsoleto e non riflette l'attuale stato di sviluppo", ha osservato. La sua affinità con la tecnologia a conoscenza zero lo ha infine portato a concentrare la sua ricerca sulla capacità di Bitcoin di eseguire i calcoli necessari per verificare le prove a conoscenza zero.

Mentre una tana del coniglio tira l’altra, il lavoro di Robin Linus sul nuovo paradigma informatico di BitVM è entrato nel suo radar. Interessato al potenziale dell'utilizzo di prove di frode per implementare sistemi a conoscenza zero compatibili con Bitcoin, ha iniziato a frugare nel white paper e ha notato alcuni problemi con alcuni dei concetti coinvolti nel sistema. “Ho inviato un messaggio a Robin ponendo alcune domande su BitVM. La mia comprensione di BitVM da quel whitepaper era davvero completamente sbagliata. Ricordo che la prima reazione di Robin fu di chiedermi chi me lo aveva detto”, ricorda ridendo. Questa interazione ha dato il via a una breve ma produttiva collaborazione tra Chen, Linus e altri ricercatori mentre ripetevano l’idea originale e cercavano modi per ottimizzarla.

“Per me era ovvio che questo metodo potesse essere utilizzato per verificare la prova a conoscenza zero, quindi il mio lavoro è andato rapidamente nella direzione dell’implementazione di un verificatore SNARK”.

Un verificatore è uno strumento crittografico che consente la verifica delle prove a conoscenza zero sulla rete Bitcoin.

L'opportunità OP_CAT

Più o meno nello stesso periodo, un team del gigante del settore a conoscenza zero Starkware stava prestando molta attenzione all’attività emergente proveniente dalla comunità Bitcoin. Per alcuni c'era voluto molto tempo per arrivare. Il fondatore di Starkware Eli Ben-Sasson è stato probabilmente la prima persona a discutere della tecnologia a conoscenza zero nel contesto delle criptovalute in una delle prime conferenze su Bitcoin. Quasi un decennio dopo, la ricerca di Starkware e la tecnologia ZK-STARK costituiscono la base di un numero crescente di applicazioni nel settore.

“Nel 2013, quando suggerii di utilizzare prove di validità per scalare Bitcoin, speravo che Satoshi potesse essere ancora in circolazione e che lo avrebbe reso possibile più velocemente. Grazie a visionari della crittografia come Weikeng Chen e ricercatori di Bitcoin OP_CAT come Andrew Poelstra e Ethan Heilman, il mio sogno di 11 anni sembra ora a portata di mano", ha commentato Ben-Sasson.

Il mese scorso, la società ha annunciato che stavano iniziando la realizzazione di numerose iniziative incentrate sulla chiusura del divario tecnologico tra Bitcoin e le prove a conoscenza zero. È stata offerta una sovvenzione di 1.000.000 di dollari per la ricerca e l'esplorazione del potenziale della proposta soft fork OP_CAT.

L'annuncio è stato caratterizzato da un notevole entusiasmo, tanto che alcuni si sono chiesti cosa guidasse questo ottimismo. Fino a poco tempo fa, le prospettive di una tecnologia a conoscenza zero su Bitcoin erano state per lo più un ripensamento: un altro codice OP che potrebbe non vedere mai la luce. In effetti, la difficoltà di ottenere consenso su modifiche minori al codice base di Bitcoin faceva sembrare improbabile che qualcosa di più complesso potesse mai accadere.

In base alle conversazioni con i contributori di Starkware, è stato intorno a maggio quando hanno saputo dei progressi di Weikeng su BitVM e l'umore è cambiato radicalmente. A quanto pare, lo sviluppatore aveva già messo gli occhi sulla tecnologia Circle STARKs dell’azienda. In un documento pubblicato un paio di mesi fa, Chen aveva già identificato quest’ultimo come un “sistema di prova favorevole a Bitcoin”.

Dopo alcuni avanti e indietro, entrambe le parti hanno deciso di riunirsi e portare avanti uno sforzo congiunto dedicato a un'implementazione open source di un verificatore STARK utilizzando la primitiva OP_CAT. “Sapevo che si poteva fare. Avevamo solo bisogno di mettere insieme tutti i pezzi”, suggerisce Chen. È nato il “Bitcoin Wildlife Sanctuary”.

Due mesi dopo, il progetto sembra aver raggiunto il suo obiettivo grazie alla collaborazione di altri sviluppatori come Pingzhou Yuan, un altro dei primi contributori di BitVM. Venerdì scorso, nella tarda mattinata, Chen è entrato nel gruppo Telegram del progetto per dare la notizia agli altri partecipanti: "Penso di aver finito il lavoro!"

Dopo il successo dei test locali, lo sviluppatore ha trasmesso una serie di transazioni alla rete testnet Signet di Bitcoin che avrebbe eseguito l'intero script. Per ottimizzare l'utilizzo on-chain, la prova STARK, basata sull'implementazione Stwo open source di Starkware, è suddivisa in transazioni simultanee concatenate insieme utilizzando un patto basato su OP_CAT.

Alle 6:29 del 12 luglio 2024, la transazione finale è stata confermata sulla rete Signet, segnalando quello che secondo i sostenitori potrebbe essere l'inizio di una nuova era di sviluppo su Bitcoin.

"È stato uno sforzo enorme e ha richiesto molto tempo", ha affermato Chen. “Abbiamo iniziato dal nulla. Non ci sono informazioni sulle prove ZK su Bitcoin. Non ci sono informazioni riguardo le operazioni matematiche da seguire. Abbiamo dovuto costruire lo stack completo, che alla fine ha portato all’implementazione del verificatore STARK.”

Ispirare un nuovo percorso di sviluppo

Anche se i risultati meritano di essere celebrati, Chen insiste sul fatto che il lavoro non è finito. Alla domanda se fosse ottimista riguardo al suo lavoro nel creare le basi per nuovi protocolli di scalabilità come i rollup su Bitcoin, lo sviluppatore si è affrettato a manomettere le aspettative. 

“L’idea funziona approssimativamente, ma la prova di concetto non è pronta per la produzione. Le prove di validità richiedono anche molto spazio sui blocchi, il che potrebbe rivelarsi costoso in futuro”.

I contributori di Starkware riconoscono le sfide future, ma sono fiduciosi che il successo del progetto rappresenti "un enorme balzo in avanti" verso le soluzioni di scalabilità di Bitcoin in grado di sfruttare la loro tecnologia di rollup ZK.

Una cosa è certa: è probabile che la collaborazione rafforzi ulteriormente gli argomenti a favore di un potenziale soft fork OP_CAT. Per mettere insieme l'implementazione del verificatore, Chen afferma di aver dovuto sviluppare un quadro affidabile per le convenzioni utilizzando CAT che possa servire a evidenziare la versatilità della proposta di miglioramento dello script. Crede che altri sviluppatori nell'ecosistema possano giocare con il suo codice e giungere alla stessa conclusione che ha raggiunto lui riguardo ai suoi vantaggi.

“Non penso che ci siano molti rischi una volta che abbiamo sviluppato le migliori pratiche. Non ci sono molti posti in cui tutto ciò andrà storto. Ora abbiamo una chiara dimostrazione che OP_CAT può essere adattato a vari progetti del patto in modo sicuro”.

Interrogato sulla sua intenzione di contribuire a un futuro processo di attivazione, lo sviluppatore ammette prontamente di non avere ancora abbastanza familiarità con tutte le dinamiche relative allo sviluppo open source di Bitcoin. Successivamente, intende condividere i suoi progressi con i membri della mailing list di sviluppo e spera che altri possano contribuire alla revisione e fornire feedback sul suo lavoro.

Riflettendo sulla sua esperienza finora, Chen sottolinea immediatamente l'importanza di creare un ambiente fertile per i nuovi sviluppatori che entrano nell'ecosistema. Crede che molti sviluppatori di talento stiano rinunciando all'opportunità di basarsi su Bitcoin a causa della mancanza di una visione coesa.

“Non c’è un chiaro senso della direzione in questo momento, il che lascia i contributori perplessi sulla loro capacità di avere un impatto sul futuro. Si spera che l’emergere di nuovi strumenti e primitive possa migliorare questa situazione in modo che i Bitcoiner possano sognare di nuovo.” 

Fonte: rivista Bitcoin

Il post Una prova a conoscenza zero è stata verificata su Bitcoin per la prima volta nella storia è apparso per la prima volta su Crypto Breaking News.