- Il fondatore di Ethereum, Vitalik Buterin, prevede che il codice privo di bug diventerà realizzabile negli anni 2030 grazie ai progressi nella verifica e negli strumenti di sviluppo.
- Gnosis Chain ha eseguito un hard fork controverso per recuperare 9,4 milioni di dollari rubati nell'attacco a Balancer.
- Buterin afferma che la verifica formale da sola non può creare codice veramente privo di bug, ma sistemi di ridondanza stratificata possono filtrare le lacune tra l'intenzione dello sviluppatore e il codice effettivo.
Gli sviluppatori che danno priorità alla sicurezza possono aspettarsi che la codifica senza bug diventi realizzabile negli anni 2030, secondo il co-fondatore di Ethereum Vitalik Buterin.
Dopo la controversa hard fork di Gnosis Chain per recuperare 9,4 milioni di dollari dall'hack di Balancer, il co-fondatore di Ethereum Vitalik Buterin ha dichiarato che la credenza secondo cui “i bug sono inevitabili, non puoi fare codice senza bug” smetterà di essere vera negli anni 2030.
Cosa ha detto Vitalik Buterin sulla codifica?
Vitalik Buterin ha fatto una previsione secondo cui il codice senza bug diventerà una realtà negli anni 2030 attraverso un'interazione sulla piattaforma social X.
La discussione è iniziata quando Gnosis Chain ha annunciato di aver eseguito un hard fork il 22 dicembre, come ha riportato da Cryptopolitan. L'hard fork ha recuperato 9,4 milioni di dollari rubati durante l'exploit di Balancer di novembre 2024, che ha drenato oltre 128 milioni di dollari su più blockchain. Il recupero ha richiesto che la maggior parte dei validatori adottasse un nuovo software, e quelli che non hanno aggiornato stanno affrontando penalità.
Questo, naturalmente, è stato accolto con una certa resistenza dai sostenitori della blockchain che hanno criticato la mossa perché va contro il principio di immutabilità. Un utente X con il nome d'utente ‘colluding node’ ha detto che il vero problema è come sono costruite le applicazioni blockchain. Hanno sostenuto che l'uso di contratti intelligenti in macchine virtuali programmabili è l'approccio sbagliato.
“Ci sono solo 7 contratti che vale la pena scrivere, e dovrebbero essere semplicemente incorporati nel livello base e ottenere sicurezza dalla diversità dei client”, ha scritto l'utente.
Buterin poi ha risposto chiarendo che la verifica formale non equivale a essere provabilmente senza bug. È andato oltre suggerendo che il codice provabilmente senza bug potrebbe non essere nemmeno possibile.
“Andrei anche oltre nel dire che ‘provabilmente senza bug’ non è possibile, perché ‘senza bug’ significa ‘nessuna lacuna tra l'intenzione e l'esecuzione del codice’, e la nostra intenzione è un oggetto estremamente complesso a cui abbiamo solo accesso limitato.”
La verifica formale utilizza metodi matematici per controllare se i sistemi critici per la sicurezza funzionano correttamente. La tecnica è stata utilizzata dagli anni '60 in campi come l'ingegneria aerospaziale.
Quando utilizzata nei contratti intelligenti, la verifica formale può dimostrare che la logica aziendale di un contratto soddisfa una specifica predefinita; tuttavia, nonostante il fatto che i contratti di Balancer sono stati sottoposti a revisione 11 volte, condotte da quattro società di sicurezza separate, un difetto critico è comunque sfuggito.
È possibile un futuro con codice senza bug?
Buterin ha proposto che la soluzione sia più livelli di ridondanza per filtrare le lacune tra intenzione ed esecuzione. Ha indicato i sistemi di tipo come una forma di ridondanza e la verifica formale di affermazioni specifiche sul codice come un altro livello.
La verifica formale può rilevare problemi come underflow e overflow interi, re-entrancy e ottimizzazioni del gas scarse che potrebbero sfuggire ai revisori e ai tester. Nel frattempo, i test tradizionali possono solo controllare la presenza di errori piuttosto che la loro assenza.
Buterin ha notato che alcuni software continueranno ad avere bug perché i guadagni di funzionalità contano più della perfezione in certi casi. Ma gli sviluppatori che danno priorità alla sicurezza avranno gli strumenti per raggiungere un codice veramente senza bug.
Se stai leggendo questo, sei già avanti. Resta così con la nostra newsletter.
Dichiarazione di responsabilità. Le informazioni fornite non costituiscono consigli di trading. Cryptopolitan.com non si assume alcuna responsabilità per eventuali investimenti effettuati sulla base delle informazioni fornite in questa pagina. Si consiglia vivamente di effettuare ricerche indipendenti e/o consultare un professionista qualificato prima di prendere qualsiasi decisione di investimento.
Hannah Collymore
Hannah è una scrittrice e redattrice con quasi un decennio di esperienza nella scrittura di blog e nella copertura di eventi nel settore delle criptovalute. Presso Cryptopolitan, Hannah contribuisce alla pagina delle notizie, riportando e analizzando gli ultimi sviluppi nei settori DeFi, RWA, regolamentazione crypto, intelligenza artificiale e tecnologie emergenti. Si è laureata all'Arcadia University con una laurea in Amministrazione Aziendale.
