La Fondazione =nil; afferma che il suo nuovo software è carburante per razzi per sviluppatori a conoscenza zero

La Fondazione =nil;, lastartup di infrastrutture blockchain dal nome giocoso, ha presentato giovedì un toolkit che, a suo dire, ridurrà drasticamente il tempo necessario agli sviluppatori per creare piattaforme che utilizzano la crittografia a conoscenza zero.

Il nuovo progetto di =nil; denominato zkLLVM, è concepito per fungere da compilatore per gli sviluppatori che realizzano circuiti a conoscenza zero, algoritmi sofisticati che consentono di garantire che qualcosa sia vero senza dover seguire i passaggi per dimostrarlo.

La Tecnologie ZK esiste già dagli anni '80, ma la sua applicabilità alle Cripto , che spazia dalla Privacy delle transazioni alla scalabilità della blockchain, ha alimentato una sorta di rinascita di ZK negli ultimi anni. Le innovazioni nella ricerca ZK hanno portato centinaia di milioni di finanziamenti a startup come Laboratori di Materia,Articoli Stark E Mina che sviluppano infrastrutture blockchain basate su ZK, e CoinDesk ha riferito la scorsa settimana che =nil; aveva ha raccolto 22 milioni di dollariper creare la propria suite di prodotti a conoscenza zero.

Komarov afferma che =nil; ha creato zkLLVM per ridurre drasticamente i carichi di lavoro degli sviluppatori ZK, consentendo loro di trasformare facilmente il codice scritto in linguaggi di programmazione familiari, come C++ e Rust, in circuiti a conoscenza zero completamente funzionanti.

Scrivere un circuito a conoscenza zero tende a essere un'impresa complicata e tempestiva per gli sviluppatori. In genere comporta la familiarizzazione con linguaggi di programmazione di nicchia e librerie software pignole e specifiche per dominio.

LLVM, che sta per "macchina virtuale di basso livello", si riferisce a un set di librerie di codice open source che gli sviluppatori usano per "compilare" il loro codice leggibile dall'uomo in un formato che può essere interpretato da un computer. Partendo dal progetto LLVM, "abbiamo creato un compilatore da linguaggi mainstream che sono già noti a tutti" =nil; ha detto a CoinDesk il fondatore Mikhail Komarov.

Il progetto zkLLVM si collegherà automaticamente anche a =nil;annunciato di recenteMercato di prova ZK, creato per aiutare i team ZK a decentralizzare le loro operazioni ed esternalizzare determinati tipi di elaborazione a terze parti.

Continua a leggere: La Fondazione =nil; raccoglie 22 milioni di dollari per creare un mercato per le dimostrazioni a conoscenza zero

La Fondazione =nil; ha rilasciato il progetto giovedì su Github con una licenza open source, il che significa che qualsiasi sviluppatore può utilizzare o modificare liberamente il codice zkLLVM.

La Fondazione =nil; afferma che la sua Tecnologie sarà particolarmente utile per le innumerevoli aziende che gareggiano per costruire i cosiddetti zkEVM, una sorta di soluzione di scalabilità Ethereum che utilizza la Tecnologie ZK per ridurre le commissioni e i tempi di attesa della blockchain.

Utilizzando la piattaforma zkEVM Scroll come esempio, Komarov ha spiegato che "hanno costruito i loro circuiti manualmente" utilizzando una speciale libreria software sviluppata per il linguaggio di programmazione Rust. "Hanno speso circa un anno e mezzo per questo e anche un sacco di soldi", ha detto Komarov. "Se avessero avuto accesso a ciò che abbiamo fatto un BIT' prima, forse avrebbero potuto impiegare solo un paio di mesi per costruire e fare il debug delle cose".

Continua a leggere: L'improvvisa ascesa dei rollup ZK compatibili con EVM

I circuiti ZK sono sempre più utilizzati per proteggere il FLOW di risorse digitali di valore, il che significa che gli errori di programmazione possono rivelarsi estremamente costosi. Komarov ha riconosciuto a CoinDesk che zkLLVM dovrà dimostrare il suo valore prima di guadagnarsi la fiducia degli sviluppatori. Quando una versione precedente del codice di base di zkLLVM è trapelata online, alcuni hanno detto gli sviluppatorisarebbero cauti nell’affidarsi alle capacità di generazione di circuiti di =nil;, data la complessità del codice.

Komarov ha anche notato che zkLLVM ha attualmente delle limitazioni quando si tratta di gestire circuiti particolarmente grandi, programmi che sono più complicati da tradurre in forma di conoscenza zero. Spera, tuttavia, che la base di codice zkLLVM maturi fino al punto in cui gli sviluppatori possano finalmente smettere di pensare ai dettagli della costruzione di circuiti ZK e concentrarsi su altre parti del loro software.