Le criptovalute attualmente languono come Internet nel 1996 con basse velocità e pochi casi d'uso pratici, afferma Steve Newcomb, chief product officer di Matter Labs.
Ma un notevole aumento della larghezza di banda e della sicurezza subito dopo ha visto Internet diventare una parte cruciale della vita quotidiana in tutto il mondo e siamo proprio sull'orlo che ciò accadrà per le criptovalute nei prossimi mesi.
"Nessuno si fidava della propria carta di credito e tutti pensavano che fosse una moda passeggera e che non esistessero casi d'uso", spiega Newcomb.
"E poi abbiamo avuto 10 momenti di larghezza di banda e poi è arrivato SSL e HTPS dove hai ottenuto quel blocco: è stato un momento di fiducia 10 volte. Improvvisamente nel 2005 l'e-commerce è andato alle stelle".
Il momento "10x" di Crypto potrebbe finalmente essere arrivato, con il lancio della mainnet compatibile con Ethereum Virtual Machine di zkSync il 28 ottobre. EVM è essenzialmente il sistema operativo per Ethereum e consentirgli di funzionare utilizzando rollup di conoscenza zero significa che tutto ciò che è in esecuzione su Ethereum può essere trasferito senza problemi all'esperienza un enorme salto di velocità e costi inferiori.
Non sono gli unici ad attaccare il problema: Polygon ha lanciato la sua testnet per il proprio zkEVM questa settimana con Aave, Uniswap e Lens che si sono tutti impegnati a schierarsi su di esso. Scroll ha lanciato il suo "testnet Pre Alpha" a luglio mentre La soluzione zk di StarkWare ha attraversato milioni di transazioni al mese.
Queste soluzioni sono tutte ben finanziate, con Scroll che raccoglie $ 30 milioni, Starkware che raccoglie $ 150 milioni e Polygon che raccoglie $ 450 milioni. Newcomb suggerisce che il round di finanziamento di zkSync è nello stesso campo di gioco di Polygon, ma deve ancora essere annunciato ufficialmente.
StarkWare è decisamente all'avanguardia, avendo lanciato la propria soluzione di rollup ZK nove mesi fa e ha attivato il ridimensionamento ricorsivo ad agosto. Ma ha anche preso la decisione rischiosa di utilizzare un linguaggio di programmazione personalizzato chiamato Cairo per scalare in modo più efficiente. Ciò potrebbe vedere l'adozione da parte dei grandi protocolli di spostarsi sul percorso di minor resistenza sulle soluzioni compatibili con EVM.
Tutte le soluzioni stanno anche lavorando su ridimensionamento ricorsivo e/o implementazioni di "Livello 3" che vedranno le transazioni di Ethereum potenzialmente migliaia di volte più veloci, rimuoveranno la necessità di bridge interchain e consentiranno alla crittografia di realizzare finalmente il suo vero potenziale.
Che cos'è un rollup a conoscenza zero o un rollup zk?
I rollup ZK sono oggi tra le più grandi parole d'ordine nella blockchain. La tecnologia consente di calcolare migliaia di transazioni lontano dalla lentezza dolorosamente blockchain di Ethereum, con una minuscola "prova di validità" che verifica che tutte le transazioni siano state eseguite correttamente. Quindi puoi "raggruppare" 10,000 transazioni eseguite altrove in un'unica transazione ETH. Questo è un grosso problema perché anche dopo che il Merge Ethereum zoppica a 15 transazioni al secondo.
I rollup ZK vengono utilizzati da tempo per NFT e transazioni finanziarie su piattaforme come Loopring, dyDx e altre. Ma come ha sottolineato il co-fondatore Vitalik Buterin durante l'ETH Seoul ad agosto:
"In generale, penso che abbiamo imparato che le persone non vogliono solo un denaro scalabile, vogliono un EVM scalabile".
È uno di quelli che Newcomb chiama "cinque elementi magici" per i rollup ZK. A suo avviso, una soluzione di rollup ZK dovrebbe essere generica, compatibile con EVM e supportare il linguaggio di programmazione di Ethereum Solidity. Dovrebbe anche essere open source per adattarsi all'etica fondante della crittografia e dovrebbe avere una distribuzione di token che decentralizzi il protocollo piuttosto che concentrare la ricchezza all'interno del team.
Per curiosa coincidenza, zkSync ha raggiunto tutte e cinque queste metriche autoimposte. (Newcomb dice che non può dettagliare l'esatta distribuzione dei token, ma dice che circa il 30% per gli addetti ai lavori sembra essere il "consenso.")
La checklist è una sorta di velata critica al concorrente StarkWare, che dovrebbe fornire il 49.9% della sua fornitura di token StarkNet agli investitori e ai contributori principali. Inoltre non è open source, anche se prevede di dare il controllo dell'IP alla sua comunità.
Il co-fondatore Eli Ben-Sasson spiega che l'unico modo per sfruttare appieno il ridimensionamento offerto dai rollup ZK è utilizzare un linguaggio personalizzato come Cairo.
“Sono molto fiducioso che le persone si renderanno conto una volta che avranno attivato le prove che l'obiettivo non è simulare l'EVM. L'obiettivo è raggiungere la scalabilità. Mettere 10,000, 100,000, un milione di transazioni e avere la loro prova inserita in un unico blocco di Ethereum", dice.
“Sono disposto a scommettere che non vedrai un EVM ZK in piena regola che può mettere un milione di transazioni all'interno di una singola prova su Ethereum. Come possiamo facilmente fare oggi e come facciamo da mesi e anni”.
Ridimensionamento contro compatibilità
Odin-Free di StarkWare ha spiegato su Twitter che ci sono complicate ragioni matematiche dietro la necessità di un linguaggio personalizzato perché "i sistemi di prova come Stark sono basati su polinomi su campi finiti, fornendo un'equazione polinomiale molto più efficace". OK, prendiamo la sua parola per questo.
Per Ben-Sasson, provare a truccare l'EVM è semplicemente stupido:
"Se volessi risolvere il problema dei trasporti, potresti prendere un grosso camion e metterlo all'interno di un aereo e farlo consegnare dall'aereo", dice.
“Ci sono aerei che possono ospitare un camion all'interno, ma questo è un modo molto inefficiente di farlo. Un modo molto migliore è semplicemente prendere le cose e metterle direttamente sull'aereo.
Detto questo, l'ecosistema ha un transpiler chiamato Warp che trasforma il codice Solidity in codice Cairo e che è stato appena utilizzato per trasferire un fork di Uniswap su StarkNet.
Quindi essenzialmente con i rollup ZK è possibile scegliere tra la totale compatibilità con l'EVM e il ridimensionamento. La totale compatibilità consente alle DApp e ai protocolli di eseguire il port over senza problemi e tutto funziona esattamente come su Ethereum per sviluppatori e utenti, ma in termini di ridimensionamento, più veloce è ovviamente migliore.
Newcomb ammette che la soluzione di StarkWare produrrà una scalabilità migliore, ma afferma che sacrificare l'accessibilità significa che è più adatta per applicazioni aziendali su misura piuttosto che essere una parte fondamentale di Ethereum a causa dell'"attrito di adozione".
“Non sono compatibili con EVM, quindi è davvero difficile portarli su di essi. Abbiamo visto progetti che richiedono sette mesi per essere trasferiti su di loro".
Compatibile ma meno elegante
Non esiste una definizione concordata, ma "equivalente EVM" di solito significa "esattamente lo stesso di EVM", quindi puoi semplicemente implementare lo smart contract esistente sulla soluzione senza alcuna modifica.
Scroll è ampiamente riconosciuto come equivalente, ma non è ancora su una rete di test adeguata ed è molti mesi indietro rispetto agli altri con un budget relativamente piccolo. La soluzione zkEVM di Polygon afferma di essere equivalente (tuttavia questo è contestato). zkSync nel frattempo sarà compatibile con EVM, il che significa che è quasi identica ma alcune cose potrebbero non funzionare a causa di alcune scelte di progettazione per far funzionare meglio la soluzione.
Poligono lunedì ha lanciato il suo zkEVM Public Testnet affermando che “Polygon è il primo progetto in assoluto a fornire un'implementazione open source completa di zkEVM; una pietra miliare rivoluzionaria, non solo per Polygon, ma per l'intero settore." Polygon afferma che il testnet "include uno zk-Prover completamente open source, il primo del suo genere ad essere rilasciato pubblicamente".
Il co-fondatore Mihailo Bjelic dice a Magazine che i primi test mostrano che "zkEVM di Polygon può ridurre le tariffe di rete di Ethereum di circa il 90% e aumentare il throughput della rete di diversi ordini di grandezza".
Dice che l'open sourcing della tecnologia "dimostra il nostro allineamento con l'etica del settore e aumenta la sicurezza della soluzione poiché chiunque può esaminarla e segnalare potenziali bug. Questo non è il caso di StarkNet o zkSync, che mantengono chiuse le parti critiche delle loro implementazioni, almeno per ora".
Pezzo tecnico
Secondo Luozhu Zhang di Scroll ci sono tre potenziali tipi di zkEVM: livello di bytecode, livello di lingua e livello di consenso. zkSync e StarkWare sono a livello di linguaggio e richiedono un passaggio del compilatore o del transpiler, mentre Scroll e Polygon sono approcci a livello di bytecode. La forma leggibile dall'uomo di bytecode è chiamata codice operativo.
Bjelic afferma che la soluzione di Polygon è progettata per essere equivalente a EVM mentre:
"Progetti come StarkNet e zkSync stanno prendendo una strada diversa: hanno le proprie macchine virtuali personalizzate, quindi cercano di trasferire Solidity, il linguaggio più popolare basato su EVM, nei linguaggi che queste macchine virtuali possono interpretare", afferma.
"Ci sono due sfide principali con questo approccio: (i) è difficile costruire un transpiler che supporti il 100% degli smart contract Solidity e (ii) anche se hai il transpiler non puoi ancora sfruttare tutti gli sviluppatori e gli utenti finali strumenti come Polygon zkEVM possono.
Newcomb dice che circolano cattive informazioni. "Noi non traduciamo, compiliamo", dice. E risponde a Polygon dicendo che guardando Github del progetto devono ancora sviluppare un prover per uso generale funzionante integrato con un sequencer funzionante.
“Se questo è il caso, significa che hanno una quantità indefinibile di lavoro da fare. L'ultimo 10% di qualsiasi sistema complesso è sempre il più difficile. Sembra simile a dove eravamo o addirittura dietro a dove eravamo quando abbiamo lanciato testnet. E poi ci sono voluti nove mesi”.
Per lo più compatibile
zkSync nel frattempo è compatibile con tutti tranne tre dei 141 codici operativi di Ethereum, uno dei quali è stato deprecato, un altro è deprecato e il terzo è utilizzato da meno di 1/10 dell'1% dei progetti secondo Newcomb.
“Quindi cosa abbiamo ottenuto per non essere completamente equivalenti? Abbiamo due cose, il nostro costo per le prestazioni è molto migliore di qualsiasi soluzione che vada dietro all'equivalenza. Siamo molto più veloci, molto più economici. E la seconda cosa che abbiamo ottenuto è che siamo stati in grado di inserire un compilatore LLVM all'interno della nostra catena, cosa che non puoi fare se stai facendo l'equivalente. E quello che fa un compilatore LLVM è che stiamo già guardando al livello tre".
LLVM consentirebbe a un codice sviluppatore Python, Rust o C++ sulla loro soluzione, che quindi si compila per funzionare allo stesso modo con Solidity.
“Questo è enorme per l'adozione. Quindi, dove questo progetto che ha richiesto sette mesi qui al Cairo, quello stesso progetto di ecosistema ci è stato portato in sette giorni. Questa è compatibilità".
Ammette che ci vorrebbe solo un giorno per il trasferimento se zkSync avesse l'equivalenza totale ma mancherebbe LLVM e il maggiore ridimensionamento. Quindi dice che è un compromesso che vale la pena fare.
Livello 3 e ridimensionamento ricorsivo
La cosa più interessante di poter comprimere un gran numero di transazioni in un'unica prova di validità, è che la tecnologia consente di comprimere numerose altre prove anche in un'unica dimostrazione.
Si chiama ridimensionamento ricorsivo e Declan Fox, product manager per i rollup di Consensys, ritiene che sia così potente che in teoria l'intero sistema finanziario globale potrebbe funzionare su Ethereum. "Abbiamo la tecnologia per ottenere quel tipo di throughput necessario", afferma. "Con rollup e dimostrazioni ricorsive, possiamo teoricamente scalare all'infinito."
Leggi anche: Ethereum sta mangiando il mondo: — 'Hai solo bisogno di una connessione Internet'
StarkWare ha attivato il ridimensionamento ricorsivo ad agosto e ha elaborato oltre 30 milioni di transazioni da quando ha utilizzato la tecnologia.
"La ricorsione ha già, in questa fase iniziale, aumentato il numero di transazioni in una singola prova di circa 8 volte", spiega Ben-Sasson. “Inoltre, si sta dimostrando così efficiente che subito dopo l'entrata in produzione c'è una riduzione di circa il 40% del nostro costo del cloud per la generazione di prove.
“Queste non sono previsioni o numeri che speriamo di vedere, ma piuttosto numeri da ciò che è in produzione oggi. E sottolineo: questo è solo l'inizio e i cambiamenti che faremo faranno sì che questi numeri diventino sempre più impressionanti.
Polygon sta per implementare la sua soluzione Plonky2 secondo Bjelic. È una soluzione zk-SNARK open source. “Questo SNARK ricorsivo può essere utilizzato per verificare ordini di grandezza di transazioni più velocemente rispetto alle alternative esistenti. Plonky2 è anche nativamente compatibile con la macchina virtuale Ethereum, che ha permesso a Polygon di sviluppare zkEVM.
E la testnet per il Layer 3 di zkSync verrà rilasciata presto, in tempo per sfruttare un aggiornamento di Ethereum chiamato Proto-Danksharding all'inizio del prossimo anno, progettato specificamente per dare ai rollup lo spazio su Ethereum per fiorire. Newcomb prevede che Layer 3 sarà in produzione entro un anno. Lo chiamano Pathfinder, un ecosistema di "ipercatene frattali".
"Probabilmente potremmo andare avanti per ore dal punto di vista ingegneristico, ma funzionalmente più in alto nella catena ricorsiva ti allontani da Etherium, più economici diventano i costi dei dati ed è un 10x, 10x, 10x, 10x, mentre aumenterai i costi dei dati, e questo è unico per zk.
"Ecco dove arriviamo a 100,000 TPS e un milione di TPS", afferma. Visa arriva a circa 4000 TPS in un giorno normale, raggiungendo circa 65,000 TPS nelle ore di punta come Chrismats.
"ZK è l'unico modo per arrivare a 100,000 TPS in modo da poter raggiungere i livelli in cui qualcosa come Visa sostituisce il suo protocollo sottostante con una blockchain. E quando lo fai, quello è il tuo momento di adozione di massa".
Un altro sviluppo sorprendente secondo Newcomb è che Layer 3 può sbarazzarsi del requisito dei ponti interchain, che è dove solo quest'anno si sono verificati tutti gli hack per oltre $ 2 miliardi.
“Una delle altre cose che abbiamo già ottenuto nel Livello 3, eliminiamo tutti i ponti. E quando puoi avere un prover che esegue il circuito per tutte le ipercatene in L3, qualsiasi comunicazione da una blockchain all'altra ora è nativa. Questo è l'altro motivo per cui Vitalik ha detto che questa è la fine del gioco perché non ci sono più ponti".
"Se lo rendi più veloce, più economico per ordini di grandezza, se lo rendi più facile da usare e più accogliente per un pubblico più ampio di sviluppatori avendo più lingue disponibili, e poi fai in modo che le persone si fidino di esso perché ti sbarazzi dei bridge. Questo è quello che dico sempre è un ammasso stellare di 10 volte più in alto in L3 ed è lì che si svolgerà il gioco".
Non ancora risolto
Quindi è così? Con l'arrivo dei rollup ZK e delle soluzioni di ridimensionamento compatibili con EVM, tutto è stato risolto?
Sfortunatamente no. I rollup ZK sono attualmente molto bravi a eliminare il calcolo da Ethereum, ma hanno comunque bisogno di riscrivere abbastanza dati nella catena principale in modo che se il rollup smette di funzionare o viene rilevato da cattivi, allora qualche altro equipaggiamento potrebbe entrare nella violazione e capire chi deve cosa a chi.
Si chiama problema della disponibilità dei dati e una quantità considerevole della roadmap di Ethereum con proto danksharding e full danksharding mira a risolverlo e consentire l'inclusione di più dati. Al momento ci sono un paio di modi per aggirare questo problema, inclusa la memorizzazione dei dati su Validium, che sono più economici ma meno sicuri.
Sottoscrivi
Le letture più coinvolgenti in blockchain. Consegnato una volta a
settimane.
"Quindi il modo in cui lo descriviamo è se hai una collezione di figurine di baseball, e molte di queste carte non costano molto e le hai salvate in Validium ma poi una carta rara che vale molti soldi probabilmente la farai salva sul livello 1", afferma Ben-Sasson.
Polygon sta lavorando a una serie di soluzioni a questo stesso problema, tra cui Avail "una blockchain in cui le informazioni sono disponibili a tutti in qualsiasi momento, è stata progettata specificamente per questo scopo", afferma Bjelic.
Pathfinder di zkSync consentirà agli sviluppatori di scegliere tra tre opzioni per la disponibilità dei dati, un Validium, zkPorter (miscelazione su catena e fuori catena) e ZKRollup (sicurezza completa).
Non aspettarti un big bang dal lancio della mainnet di zkSync il 28 ottobre. All'inizio sarà un po' deludente, con un paio di mesi di test di Matter Labs e l'offerta di taglie agli utenti per provare a hackerarlo o sfruttarlo. Quindi le DApp potranno essere trasferite e iniziare a creare e testare la sicurezza.
"E poi, quando ci sentiamo come se avessimo fatto tutto, facciamo quello che viene chiamato ascensore nel cancello", dice Newcomb. “E poi tutti gli utenti possono entrare nel sistema contemporaneamente e si chiama un programma di rilascio equo. Quindi non preferiamo nessun progetto rispetto a un altro". Dice che a quel punto verranno lanciati 150 progetti e non ci sarà più alcun motivo per cui un progetto aspetterebbe il completamento della soluzione di Polygon.
“È come se stessero andando a una pista e si presentino con il telaio di un'auto che non ha ruote, volante e assolutamente senza motore”, dice.
“E abbiamo finito l'intero prodotto. Sai che abbiamo la Ferrari e siamo pronti per partire”.
Fonte: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment