Democratizzare l'informatica a conoscenza zero: il potere della rete bonsai di RISC Zero - Blockchain Capital

Democratizzare l'informatica a conoscenza zero: il potere della rete bonsai di RISC Zero – Blockchain Capital

Timestamp: 19 luglio 2023 8:52
Nodo di origine: 2773838

By Bart Stephens, Ryan Sproule Yuan Han Li

Immagina un mondo in cui la privacy, la sicurezza e la fiducia dei dati non siano più un problema, in cui le catene di fornitura del software siano trasparenti e verificabili e in cui una nuova generazione di applicazioni possa sfruttare la potenza del calcolo a conoscenza zero per risolvere alcune delle sfide più urgenti di l'era digitale. Questa è la promessa del calcolo a conoscenza zero (ZK) e il motivo per cui stiamo investendo RISCZero, un'azienda innovativa che mira a democratizzare l'accesso a ZK attraverso la sua rete Bonsai.

Il calcolo ZK (Zero Knowledge) è una primitiva rivoluzionaria che consente ad applicazioni e protocolli di sfruttare le tre proprietà chiave di concisione, correttezza e conoscenza zero. Ciò significa che verificando una prova ZK (correttezza), il verificatore sa, con una garanzia quasi matematica, che il calcolo è stato eseguito correttamente.

Inoltre, la dimostrazione verificata sarà molto più piccola (succinta) del calcolo originale e la proprietà di conoscenza zero della dimostrazione può anche essere sfruttata per garantire che il verificatore non impari nulla sul calcolo stesso. Questa miscela unica di proprietà ha implicazioni di vasta portata e fornisce un nuovo modo di verificare le informazioni. Insieme, le proprietà bilanciano le esigenze di privacy, sicurezza e fiducia, offrendo il potenziale per un mondo digitale più sicuro e privato. Ma rimangono diversi ostacoli prima che ZK possa raggiungere il suo pieno potenziale.

Per prima cosa, l'esecuzione del calcolo in ZK richiede troppo tempo ed è troppo costosa. I tempi e i costi di dimostrazione devono diminuire drasticamente prima che i calcoli complessi in ZK possano essere pratici. La buona notizia è che questi stanno diminuendo drasticamente: la traiettoria dei tempi e dei costi di dimostrazione di ZK ha seguito una tendenza familiare nella storia della tecnologia, sia che si trattasse della legge di Moore in cui il costo dell'informatica si dimezzava ogni due anni, della legge di Flatley in cui il costo per sequenziare il genoma umano è sceso a un ritmo ancora più significativo, o la legge di Kryder in cui la densità dei dischi magnetici raddoppia all'incirca ogni 13 mesi. I recenti progressi dell'architettura nei sistemi di dimostrazione (Plonky2, Hyperplonk, STARKs) insieme ai progressi nella crittografia sottostante (Poseidon) hanno ridotto la quantità di sovraccarico necessaria per creare una prova ZK di qualsiasi calcolo. Mentre i progressi in queste aree continueranno ad avvenire a un ritmo simile (soprattutto con il recente afflusso di talenti in ZK), le spese generali dimostrative beneficeranno anche dei progressi nell'accelerazione hardware (MSM, NTT), qualcosa che è stato finora poco esplorato .

L'altro grande ostacolo all'adozione di massa di ZK è la matematica e la crittografia altamente complicate inerenti ai sistemi ZK. Il livello di profondità e competenza necessari per guidare l'innovazione di ZK è stato strettamente limitato a un piccolo gruppo di sviluppatori tecnici altamente qualificati.

Idealmente, gli sviluppatori hanno la libertà di scrivere programmi nella loro lingua preferita pur avendo la capacità di dimostrare calcoli a conoscenza zero, senza la necessità di scrivere a mano e progettare circuiti in linguaggi di programmazione ZK di basso livello. È qui che la piattaforma Bonsai di RISC Zero diventa un punto di svolta per gli sviluppatori di tutto il mondo ed è il motivo per cui stiamo investendo in RISC Zero.

Creando una macchina virtuale a conoscenza zero (zkVM) che emula l'architettura del set di istruzioni RISC-V (ISA), RISC Zero ha creato un sistema in grado di provare l'esecuzione di codice di basso livello. Poiché un ISA è il ponte tra il codice leggibile dall'uomo e le istruzioni interpretabili dalla macchina, questo risultato implica che la rete Bonsai può provare qualsiasi programma di alto livello che può essere compilato su questa architettura. Poiché la maggior parte dei linguaggi di programmazione moderni è compatibile con RISC-V, Bonsai di RISC Zero consente l'esecuzione di praticamente qualsiasi programma per computer arbitrario a conoscenza zero.

In un futuro in cui il calcolo a conoscenza zero (ZK) diventerà un luogo comune, saranno abilitate numerose applicazioni che prima erano impossibili. Questi non solo includono applicazioni basate su Ethereum che sfruttano la rete Bonsai di RISC Zero come co-processore, eseguendo un lavoro ad alta intensità di risorse off-chain prima di verificare i risultati on-chain, ma si estendono anche ad applicazioni al di fuori della crittografia. Ad esempio, Bonsai può consentire agli hacker white-hat di dimostrare l'esistenza di vulnerabilità di sicurezza e bug senza rivelare direttamente l'exploit. Può anche prevenire futuri attacchi della catena di approvvigionamento al software consentendo agli utenti di scaricare e verificare le prove ZK per assicurarsi che stiano eseguendo codice che è stato pre-auditato in Bonsai. La cosa più eccitante è che l'adozione diffusa del bonsai potrebbe portare a casi d'uso completamente nuovi non ancora immaginati.

Alle impressionanti scoperte tecnologiche di RISC Zero si aggiunge il team incredibilmente forte e unico dietro di esso. I tre co-fondatori—Brian Retford, Jeremy Bruestlée Frank Lab— si conoscono da oltre 20 anni. La loro storia condivisa include la costruzione di più società insieme, la più recente delle quali era nello spazio di ottimizzazione e compilazione dell'IA ed è stata infine acquisita da Intel.

Ogni membro del trio apporta una vasta esperienza a RISC Zero: Brian ha affinato le sue competenze presso Google Cloud Platform, dove ha lavorato sui sistemi di determinazione dei prezzi e di misurazione; Jeremy, un appassionato di matematica da una vita, ha lavorato all'accelerazione GPU per il sequenziamento genico e ha un background in crittografia, HPC e sicurezza; e Frank, che ha una solida esperienza nei compilatori e ha architettato numerose basi di codice. Con la loro storia condivisa e le diverse competenze, il RISCZero team è in grado di fornire alle masse il calcolo a conoscenza zero e, potenzialmente, rimodellare il panorama digitale nel processo.

Mentre guardiamo a un futuro in cui il calcolo a conoscenza zero è diffuso, le possibilità di innovazione sono illimitate. La rete Bonsai di RISC Zero, con la sua capacità di supportare un'ampia gamma di linguaggi di programmazione, democratizzerà il calcolo ZK e consentirà agli sviluppatori di creare applicazioni sicure, private e affidabili in vari domini. Dal rafforzamento delle misure di sicurezza informatica al miglioramento della fiducia nelle catene di fornitura del software e all'aumento drastico della potenza di calcolo disponibile per le applicazioni on-chain, l'impatto potenziale del calcolo a conoscenza zero è immenso. La combinazione di tempi e costi di prova ZK in rapido calo, un team impegnato presso RISC Zero e l'emergere di Bonsai come piattaforma informatica versatile, preannuncia una nuova era nell'informatica, una in cui la privacy, la sicurezza e la fiducia sono integrate nel tessuto stesso del nostro mondo digitale.

Informazioni integrative: Blockchain Capital è un investitore in molti dei protocolli sopra menzionati.

Le opinioni espresse in ciascun post del blog possono essere le opinioni personali di ciascun autore e non riflettono necessariamente le opinioni di Blockchain Capital e dei suoi affiliati. Né Blockchain Capital né l'autore garantiscono l'accuratezza, l'adeguatezza o la completezza delle informazioni fornite in ogni post del blog. Nessuna dichiarazione o garanzia, esplicita o implicita, è fatta o fornita da o per conto di Blockchain Capital, l'autore o qualsiasi altra persona in merito all'accuratezza, completezza o correttezza delle informazioni contenute in qualsiasi post del blog e nessuna responsabilità è accettata per tali informazioni. Nulla di quanto contenuto in ciascun post del blog costituisce consiglio di investimento, normativo, legale, di conformità o fiscale o di altro tipo, né è su cui fare affidamento per prendere una decisione di investimento. I post del blog non devono essere visti come raccomandazioni o sollecitazioni attuali o passate di un'offerta per l'acquisto o la vendita di titoli o per l'adozione di strategie di investimento. I post del blog possono contenere proiezioni o altre dichiarazioni previsionali, che si basano su convinzioni, ipotesi e aspettative che possono cambiare a seguito di molti possibili eventi o fattori. Se si verifica un cambiamento, i risultati effettivi possono variare materialmente da quelli espressi nelle dichiarazioni previsionali. Tutte le dichiarazioni previsionali parlano solo alla data in cui tali dichiarazioni sono state fatte e né Blockchain Capital né ciascun autore si assume alcun obbligo di aggiornare tali dichiarazioni ad eccezione di quanto richiesto dalla legge. Nella misura in cui qualsiasi documento, presentazione o altro materiale prodotto, pubblicato o altrimenti distribuito da Blockchain Capital sia citato in qualsiasi post del blog, tale materiale deve essere letto con particolare attenzione a qualsiasi esclusione di responsabilità ivi fornita.

Timestamp:

Di più da Capitale di Blockchain