Dezvoltatorii care prioritizează securitatea pot prevedea că programarea fără erori va deveni realizabilă în anii 2030, conform co-fondatorului Ethereum, Vitalik Buterin.
După hard fork-ul controversat al Gnosis Chain pentru a recupera 9,4 milioane de dolari din atacul Balancer, co-fondatorul Ethereum, Vitalik Buterin, a declarat că credința conform căreia "erorile sunt inevitabile, nu poți crea cod fără erori" va înceta să fie adevărată în anii 2030.
Ce a spus Vitalik Buterin despre programare?
Vitalik Buterin a făcut o predicție conform căreia codul fără erori va deveni realitate în anii 2030, printr-o interacțiune pe platforma de social media X.
Discuția a început când Gnosis Chain a anunțat că a executat un hard fork pe 22 decembrie, conform Cryptopolitan. Hard fork-ul a recuperat 9,4 milioane de dolari furați în timpul exploatării Balancer din noiembrie 2024, care a drenat peste 128 de milioane de dolari pe mai multe blockchain-uri. Recuperarea a necesitat ca majoritatea validatorilor să adopte software nou, iar cei care nu au reușit să actualizeze se confruntă cu penalități.
Aceasta, desigur, a fost întâmpinată cu rezistență din partea susținătorilor blockchain care au criticat mișcarea deoarece contravine principiului imutabilității. Un utilizator X cu pseudonimul 'colluding node' a spus că problema reală este modul în care sunt construite aplicațiile blockchain. Aceștia au argumentat că utilizarea contractelor inteligente în mașini virtuale programabile este o abordare greșită.
"Există doar 7 contracte care merită scrise, și acestea ar trebui să fie consacrate în stratul de bază și să obțină securitate din diversitatea clienților," a scris utilizatorul.
Buterin a răspuns clarificând că verificat formal nu înseamnă demonstrabil fără erori. A mers mai departe sugerând că un cod demonstrabil fără erori ar putea să nu fie nici măcar posibil.
"Aș merge chiar atât de departe încât să spun că 'demonstrabil fără erori' nu este posibil, deoarece 'fără erori' înseamnă 'nicio diferență între intenție și execuția codului', iar intenția noastră este un obiect extrem de complex la care avem doar acces limitat."
Verificarea formală folosește metode matematice pentru a verifica dacă sistemele critice pentru siguranță funcționează corect. Tehnica a fost utilizată din anii 1960 în domenii precum ingineria aerospațială.
Când este utilizată în contracte inteligente, verificarea formală poate dovedi că logica de afaceri a unui contract îndeplinește o specificație predefinită; totuși, în ciuda faptului că contractele Balancer au fost auditate de 11 ori, efectuate de patru firme de securitate separate, o defecțiune critică a scăpat totuși.
Este posibil un viitor al codului fără erori?
Buterin a propus că soluția constă în straturi multiple de redundanță pentru a filtra diferențele dintre intenție și execuție. El a indicat sistemele de tipuri ca o formă de redundanță și verificarea formală a unor afirmații specifice despre cod ca alt strat.
Verificarea formală poate detecta probleme precum underflow-uri și overflow-uri de numere întregi, re-intrare și optimizări slabe ale gazului care pot scăpa auditorilor și testerilor. Între timp, testarea tradițională poate verifica doar prezența erorilor, nu absența lor.
Buterin a remarcat că unele software-uri vor continua să aibă erori deoarece câștigurile de funcționalitate contează mai mult decât perfecțiunea în anumite cazuri. Dar dezvoltatorii care prioritizează securitatea vor avea instrumentele necesare pentru a realiza cu adevărat cod fără erori.
Ascuți-ți strategia cu mentorat + idei zilnice – 30 de zile acces gratuit la programul nostru de tranzacționare
Sursa: https://www.cryptopolitan.com/vitalik-predicts-bug-free-smart-contracts/
