Anaxi Labs e CyLab della Carnegie Mellon University svelano un sistema di prova rivoluzionario

PITTSBURGH, Stati Uniti, 6 dicembre 2024/Chainwire/--Anaxi Labs, in collaborazione con CyLab della Carnegie Mellon University, l'istituto per la sicurezza informatica e la privacy dell'università, annuncia un framework di compilazione per la crittografia che risolve un'impasse: la creazione di applicazioni scalabili con Zero-Knowledge richiede compromessi fondamentali.

L'inafferrabile triade di applicazioni scalabili, crittograficamente protette e decentralizzate è stata considerata impossibile e un ostacolo all'adozione di massa, fino ad ora.

Una svolta nella crittografia senza compromessi

Le blockchain come Ethereum sono state salutate come il futuro dell'infrastruttura decentralizzata, con la tecnologia Zero-Knowledge (ZK) annunciata per migliorare la sicurezza e la scalabilità di Ethereum oltre 120 TPS.

Secondo il team, sviluppare le prove ZK è complesso e richiede molto tempo, richiedendo migliaia di ore da decine di sviluppatori. Dare priorità alla velocità nella generazione delle prove significa anche progettare manualmente i protocolli e, con la codifica manuale e decine di migliaia di righe di codice, ciò introduce significative vulnerabilità di sicurezza.

Ciò complica la creazione di applicazioni decentralizzate sensibili alla sicurezza e rende l'auditabilità e la conformità un incubo: tutti ostacoli all'adozione diffusa in settori regolamentati come finanza, sanità e intelligenza artificiale. Un team di ricercatori della Carnegie Mellon sta collaborando con Anaxi Labs per superare questo compromesso.

Un recente articolo della CMU presenta un metodo rivoluzionario per compilare direttamente software di alto livello e convertirlo in forme più semplici (rappresentazioni di basso livello), necessarie al funzionamento dei sistemi di prova sottostanti.

Tutto questo avviene in modo automatico, ripetibile e verificabile, eliminando il lavoro manuale, migliorando drasticamente le prestazioni e garantendo al contempo la sicurezza del processo tramite crittografia.

Il lavoro raggiunge questo obiettivo analizzando il programma di alto livello, suddividendolo in piccole unità indivisibili e creando quindi una rappresentazione di basso livello da ciascuna unità che può essere facilmente inserita in vari sistemi di prova.

"Questa idea di suddividere il calcolo in blocchi molto specifici che prendono il posto di una CPU in modo automatico è un nuovo approccio, ed è la prima volta che qualcuno ha tentato questo tipo di approccio in cui evitiamo la rappresentazione completa del programma per il compilatore", ha affermato Riad Wahby, professore associato presso la Carnegie Mellon University. Dipartimento di Ingegneria Elettrica e Informatica .

"Ne siamo davvero entusiasti."

Sbloccare nuove applicazioni decentralizzate

La ricerca e il framework che Anaxi Labs sta sviluppando a partire dalla ricerca sono destinati a rivoluzionare i settori del Web3 e non solo.

Nella finanza tradizionale e regolamentata, l'incremento delle prestazioni mantenendo la verificabilità consente il regolamento in tempo reale dei trasferimenti intrabancari, come i pagamenti istantanei in USD.

In ambito sanitario, nonostante le sfide affrontate da 23andMe, gli strumenti di crittografia sicuri e rispettosi della privacy abilitati dal prodotto sviluppato da Anaxi Labs potrebbero ora risolvere problemi critici e utilizzare in modo sicuro le informazioni genetiche private, garantendo la legittima proprietà del proprio DNA e consentendo al contempo ricerche preziose.

Nell'ambito dell'intelligenza artificiale aziendale e delle infrastrutture fisiche critiche, una soluzione decentralizzata che richiede elevata disponibilità e latenza prossima allo zero, come la rapida messa a punto e l'inferenza su più risorse di dati e potenza di calcolo, diventa realtà.

Nell'immediato, i prodotti basati sulla ricerca offrono la soluzione più efficace per le aziende Web3 alle prese con compromessi tra scalabilità, sicurezza e decentralizzazione, offrendo un nuovo paradigma di progettazione per rollup e interoperabilità.

"Questa ricerca e il prodotto che stiamo realizzando incorporando la ricerca avranno profonde implicazioni per molte importanti applicazioni industriali odierne che necessitano di una soluzione sicura per i loro enormi sovraccarichi di prestazioni, come ZK ed EVM, portandoci finalmente alle porte della nostra visione di consenso decentralizzato crittograficamente protetto con regolamento in tempo reale", ha affermato Kate Shen, co-fondatrice di Anaxi Labs.

"Ci piace anche il fatto che sia indipendente dal linguaggio e dalla libreria, il che significa che un'ampia varietà di progetti può trarne vantaggio senza modifiche al codice. Ciò ci ha permesso di creare un framework aperto e collaborativo, in contrapposizione agli approcci sempre più statici e monolitici di oggi", aggiunge Shen.

"Ciò consente a tutti gli sviluppatori di scegliere e combinare automaticamente il meglio degli ultimi progressi nei sistemi di prova, come ricerche, coprocessori e accelerazione hardware, massimizzando i guadagni in termini di prestazioni di ciascun substrato computazionale".

Anaxi Labs e CyLab, una partnership rivoluzionaria

Il CyLab della Carnegie Mellon è stato al centro di ricerche all'avanguardia che hanno gettato le basi per lo sviluppo della blockchain, tra cui Zero-Knowledge.

Tra i ricercatori di spicco del CyLab figura l'illustre professore Bryan Parno, un collaboratore fondamentale della storia dello ZK, il cui laboratorio ha prodotto il ampiamente citato Serie di carte Nova , e il professore associato Riad Wahby, le cui scoperte hanno portato a nuove tecnologie crittografiche che hanno realizzato visioni di la Fondazione Ethereum (e più recentemente, il rivoluzionario Scossa zkVM implementazione da parte della divisione crittografica di Andreessen Horowitz, a16z crypto).

I risultati esposti in questo framework del compilatore sono il risultato del secondo progetto di ricerca nato dalla partnership simbiotica tra Anaxi Labs e CyLab attraverso la CMU Secure Blockchain Initiative.

Questa partnership consente agli accademici della CMU di collaborare e di imparare dalle intuizioni ricavate dalle implementazioni commerciali della loro ricerca sulla blockchain, guidata da Anaxi Labs, sia per le applicazioni Web3 che Web 2.0.

Permette loro di trovare soluzioni commerciali ai principali problemi esistenti con la blockchain che non riesce a colmare il divario tra i noti vantaggi della tecnologia blockchain e l'adozione di massa. E funge anche da trampolino di lancio per gli studenti della CMU per lanciare le loro carriere in Web3.

"La partnership di Anaxi Labs con CyLab migliora la capacità dei ricercatori della CMU di lavorare su progetti con applicazioni dirette e concrete, garantendo che il loro lavoro abbia rilevanza pratica e potenziale di impatto", ha affermato Michael Lisanti, Senior Director of Partnerships di CyLab.

Per saperne di più su Anaxi Labs: Italiano: https://www.anaxilabs.com/

Per saperne di più sugli ultimi lavori di Anaxi Labs e CyLab: Italiano: https://www.cylab.cmu.edu/

Per saperne di più sulla partnership di CyLab con Anaxi Labs: https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

Informazioni su Anaxi Labs

Laboratori Anaxi è un nuovo tipo di laboratorio di ricerca e sviluppo che unisce il mondo della teoria accademica avanzata e quello dell'adozione di massa.

Il loro obiettivo è produrre ricerche originali e all'avanguardia, costruire infrastrutture decentralizzate di livello aziendale, sicure e scalabili e catalizzare la prossima generazione di applicazioni decentralizzate basate sulla crittografia.

Anaxi Labs collabora con i più grandi cervelli mondiali nella ricerca sulla crittografia e con ingegneri di fama mondiale che hanno esperienza nella progettazione e nella gestione di prodotti noti con centinaia di milioni di utenti.

Sono il partner industriale delle principali istituzioni accademiche in crittografia come Università Carnegie Mellon Insieme, si impegnano a trasformare il futuro di Internet, liberando il potere di ciò che la scienza può fare per le persone, la società e il pianeta.

Sito web: Italiano: https://www.anaxilabs.com/

Informazioni su CyLab

Università Carnegie Mellon Laboratorio Ciclistico è l'istituto di ricerca sulla sicurezza e la privacy dell'università.

Riuniscono esperti provenienti da tutte le facoltà dell'Università, provenienti dai settori dell'ingegneria, dell'informatica, delle politiche pubbliche, dei sistemi informativi, dell'economia, della gestione del rischio delle informazioni finanziarie, delle discipline umanistiche e delle scienze sociali.

La nostra missione è quella di catalizzare, supportare, promuovere e rafforzare la ricerca e l'istruzione collaborative sulla sicurezza e sulla privacy tra dipartimenti, discipline e confini geografici per ottenere un impatto significativo sulla ricerca, l'istruzione, le politiche pubbliche e la pratica.

Sito web: Italiano: https://www.cylab.cmu.edu/

Contatto

Relazioni Pubbliche

Margherita Leung

[email protected]