L’aggiornamento Vasil di Cardano segna un’importante pietra miliare nell’evoluzione della blockchain

L'osservatore medio Cripto , consapevole che Ethereum ha appena completato la sua tanto attesa transizione verso un sistema di convalida proof-of-stake, potrebbe chiedersi quale sia la conclusione generale da trarre da questa Vasile hard fork upgrade sulla blockchain Cardano avvenuto alle 21:44 UTC di giovedì 22 settembre. T prevede che si concluderà entro cinque giorni, il 27 settembre.

Il significato di Vasilinsieme di modifiche piuttosto tecniche, che migliorano la programmabilità del registro e il suo potenziale di produttività, forse richiedono un po’ di zoom indietro per vedere un quadro più ampio.

Continua a leggere: Cosa porterà l’attesissimo hard fork Vasil di Cardano

Cardano, a volte pubblicizzato come un "L'assassino Ethereum ," sta giocando una partita lunga. I critici di questo processo (diviso in “ere”prendono il nome da poeti romantici, informatici e pensatori illuministi) spesso criticano il protocollo per essere in ritardo rispetto ad altricontratto intelligente blockchain che ospitano già fiorenti ecosistemi di Finanza decentralizzata (DeFi) e hanno accumulato miliardi di dollari di valore totale bloccato.

Ma i primi risultati della piattaforma di smart contract più importante, Ethereum, sono "brillanti ma non strutturati", secondo Aggelos Kiayias, scienziato capo presso Cardano builder Input Output Global (IOG). Gli smart contract su Cardano sono "diversi", afferma Kiayias, che è anche professore di crittografia presso l'Università di Edimburgo.

Contratti intelligenti su Cardano

Questo perché Cardano si basa sulla programmazione funzionale, un modo preciso e matematico di scrivere codice che utilizza dati immutabili per dire al programma esattamente cosa fare, invece di ottenere risultati tramite oggetti che alterano lo stato di un programma.

"Penso che molte persone abbiano avuto difficoltà quando sono stati lanciati gli smart contract in Cardano perché speravano che ci sarebbe stato un modo semplice per trasferire immediatamente contratti complessi da Ethereum a Cardano", ha detto Kiayias in un'intervista con CoinDesk. "Ma richiede una familiarità con la programmazione funzionale e la necessità di ripensare, Qual è il modo migliore per programmare le cose in questo nuovo ambiente?”

Per Kiayias, non solo la programmazione funzionale è un approccio semplice e naturale da adottare, ma quando si tratta di infrastrutture critiche ha perfettamente senso. Questo perché l'intento di un programma per computer diventa molto chiaro e facile da verificare. Questa semplicità invita anche alla possibile automazione di tale verifica. E mentre è richiesto un certo investimento di tempo, Kiayias ha affermato che le complessità dello script Plutus basato sulle funzioni di Cardano possono essere semplificate utilizzando linguaggi specifici del dominio comeMarlowe.

Cardano non è l'unica blockchain a premiare la verifica formale degli smart contract; la blockchain Tezos è stata progettata anche con questo in menteAl giorno d'oggi, tuttavia, tali preoccupazioni potrebbero essere passate di moda, nel mezzo dell'impeto frenetico della DeFi.

Bitcoin nel sangue

Un'altra differenza fondamentale tra Cardano e la maggior parte delle altre catene di contratti intelligenti di livello ONE è la scelta di utilizzare un design preso in prestito da Bitcoin.

A differenza di Ethereum, che utilizza un modello basato sugli account piuttosto simile a quello di una banca, Cardano si basa sull'"output delle transazioni non spese" (UTXO), un modo per calcolare cosa è contenuto nei portafogli Bitcoin tenendo traccia del resto rimasto quando vengono spese frazioni di monete. Ma Cardano estende questa pratica in modo che non sia vincolata dai limiti di dati della blockchain Bitcoin , un approccio noto come "output di transazioni non spese estese" (EUTXO).

Questo progetto si adattava naturalmente a un approccio funzionale deterministico e presentava importanti vantaggi, ha spiegato Kiayias.

"O una transazione si adatta all'attuale set esteso di UTXO e spende alcuni UTXO e ne introduce altri, oppure T si adatta", ha affermato. "Quindi ho questa certezza deterministica su come la mia transazione interagirà con lo stato della blockchain e non verrà modificata da altre transazioni".

Questo non è il caso di un modello basato su account come Ethereum, ha sottolineato Kiayias. "In questo caso, non posso prevedere completamente come la mia transazione interagirà con lo stato della blockchain perché altre transazioni possono essere "inserite" prima della mia transazione, modificandola, e quindi la mia transazione si impegna sostanzialmente con uno stato che non esisteva quando l'ho emessa. Questo in realtà fa un'enorme differenza per gli smart contract".

Sicurezza su larga scala

Ricollegando questo alle modifiche implementate da Vasil, il modello UTXO di Cardano sarà più facilmente consultabile, mantenendo più carico fuori dalla catena, il che è meglio per la scalabilità ed è anche preferibile dal punto di vista della sicurezza.

"L'aggiornamento di Vasil renderà fattibile il riferimento agli UTXO, e ci saranno notevoli risparmi di spazio per questo motivo", ha detto Kiayias. "Quindi, mentre in teoria è una piccola considerazione contabile, è un enorme vantaggio nella pratica".

Kiayias ha detto che non è una novità nel mondo della Tecnologie vedere le persone correre in avanti, il che è probabilmente ha trasformato la DeFi in una specie di parco giochi per hacker.

"Se voglio migliorare l'usabilità o la velocità, posso sempre fare meglio di te sacrificando la sicurezza", ha affermato Kiayias, difendendo l'approccio metodico di Cardano e il minuzioso processo di revisione accademica tra pari.

"Ma penso che abbiamo sempre bisogno di un metodo scientifico per valutare la sicurezza dei sistemi", ha aggiunto.

La Criptovaluta nativa di Cardano, ADA, è cresciuto di circa il 4% nelle ultime 24 ore, attestandosi a 46 centesimi al momento della pubblicazione.

Aggiornamento: venerdì 23 settembre 2022, 01:27 UTC:Modificato per riflettere l'aggiornamento avvenuto alle 21:44 UTC nel primo paragrafo.