Înregistrare
 
Toate știrile
Știri de Top
Alegerile editorilor
Crypto News
Știri financiare
Valute
Știri de la liderii din industrie
Olga Shendetskaya
Olga Shendetskaya

Vitalik Buterin vede verificarea asistată de AI ca pe o cale către un cod Ethereum mai sigur

Vitalik Buterin vede verificarea asistată de AI ca pe o cale către un cod Ethereum mai sigur
Buterin susține verificarea codului asistată de AI

Vitalik Buterin consideră că verificarea formală asistată de AI ar putea schimba modul în care este scris codul critic de blockchain. Argumentul său nu se referă la accelerarea dezvoltării cu orice preț, ci la transformarea părților cheie ale Ethereum în elemente verificabile matematic înainte de a fi implementate într-o rețea live.

Repere

  • Buterin a publicat un articol despre utilizarea verificării formale în securitatea blockchain.
  • Cercetarea de frontieră Ethereum dezvoltă o abordare în care codul poate fi scris direct în bytecode EVM, assembly sau Lean.
  • Buterin consideră că AI ar putea îmbunătăți atât eficiența dezvoltării, cât și securitatea codului.

Acest articol a fost tradus din original. Citiți versiunea originală a corespondentului nostru aici.

Cod care poate fi dovedit corect

Buterin a descris o nouă paradigmă care apare în cercetarea de frontieră Ethereum: dezvoltatorii pot scrie cod la nivel scăzut, inclusiv bytecode EVM, assembly sau Lean, și apoi îi pot confirma corectitudinea prin dovezi matematice care sunt verificate automat în Lean.

Scopul acestei abordări este de a înlocui o parte din dependența tradițională de dezvoltatori, auditori și teste cu verificarea strictă a proprietăților unui program. Dacă dovada este scrisă și verificată corect, sistemul primește o garanție mai puternică că respectivul cod face exact ceea ce ar trebui să facă. Cercetătorul Yoichi Hirai numește acest model „forma finală a dezvoltării software”.

Unde poate ajuta AI

Buterin consideră că verificarea formală asistată de AI poate îmbunătăți atât eficiența codului, cât și securitatea. Acest lucru este deosebit de important pentru părțile din Ethereum unde o singură eroare ar putea costa sute de milioane de dolari sau ar putea afecta încrederea în infrastructură. Printre aceste module, el evidențiază STARK-urile, ZK-EVM-urile, semnăturile post-cuantice și algoritmii de consens.

În acest model, AI nu ar trebui pur și simplu să genereze cod fără supraveghere. Rolul său este mai apropiat de cel al unui asistent care accelerează scrierea dovezilor, ajută la găsirea erorilor și verifică dacă codul corespunde specificațiilor sale. Pentru Ethereum, acest lucru se încadrează într-o cale de dezvoltare mai largă: rețeaua este poziționată tot mai mult nu ca cea mai rapidă platformă blockchain, ci ca un strat de bază unde securitatea și verificabilitatea contează mai mult decât viteza tranzacțiilor individuale.

Linia dintre nucleu și periferie

Buterin subliniază, de asemenea, că verificarea formală nu este o soluție universală. Aceasta poate eșua în continuare dacă dovezile nu acoperă toate cazurile, dacă specificația în sine este scrisă incorect sau dacă apare o vulnerabilitate prin canale laterale hardware.

De aceea, arhitectura viitoare a software-ului s-ar putea împărți în două părți: „nuclee de securitate” mici, care trec prin cea mai strictă verificare formală posibilă, și componente periferice mai puțin critice, unde metodele de dezvoltare mai flexibile rămân acceptabile. Într-un astfel de model, Ethereum ar putea deveni unul dintre nucleele de securitate cheie ale economiei digitale. Dacă această abordare se răspândește, principala schimbare nu va fi că se scrie codul mai rapid, ci că cel mai important cod devine mai greu de spart.

După cum am raportat anterior, Vitalik Buterin propune simplificarea arhitecturii nodurilor Ethereum.

Acest material poate conține opinii ale unor terți, niciuna dintre datele și informațiile de pe această pagină web nu constituie sfaturi de investiții conform Declinării noastre de responsabilitate. Deși respectăm o Integritate Editorială strictă, această postare poate conține referințe la produse de la partenerii noștri.

Alegerile editorului pentru tine

Cinci ani cu Bitcoin: Cum s-a schimbat El Salvador după legalizarea BTC
  • De Eugene Komchuk
  • 14 ore în urmă
Cinci ani cu Bitcoin: Cum s-a schimbat El Salvador după legalizarea BTC
Alegerile editorilor
Crypto pe teren: Cum a devenit Finala NBA o vitrină pentru Ledger
  • De Anastasiia Chabaniuk
  • Ieri
Crypto pe teren: Cum a devenit Finala NBA o vitrină pentru Ledger
Alegerile editorilor
Cum să construiești bogăție de la zero în 3 pași practici
  • De Johnathan Maverick
  • 08.06.2026
Cum să construiești bogăție de la zero în 3 pași practici
Alegerile editorilor
Toate alegerile de top ale editorilor

Ultimele știri Ethereum

ETH scade pe fondul unui impuls descendent persistent confirmat de MACD și oscilatori: raport săptămânal
  • De Emilio Ghigini
  • 14 ore în urmă
ETH scade pe fondul unui impuls descendent persistent confirmat de MACD și oscilatori: raport săptămânal
Crypto News
#Ethereum
Previziunea prețului Ethereum: suportul la 1.553,82 $ este în centrul atenției pe măsură ce ETH scade cu 3,72%
  • De Ashutosh Sureka
  • 16 ore în urmă
Previziunea prețului Ethereum: suportul la 1.553,82 $ este în centrul atenției pe măsură ce ETH scade cu 3,72%
Crypto News
#Forecast #Ethereum
Ethereum își extinde pierderile după ce datele privind locurile de muncă din U.S. susțin o perioadă prelungită de înăsprire din partea Fed
  • De Ciaran Ryan
  • 16 ore în urmă
Ethereum își extinde pierderile după ce datele privind locurile de muncă din U.S. susțin o perioadă prelungită de înăsprire din partea Fed
Crypto News
#Forecast #Ethereum
Toate știrile Ethereum
  • Eugene Komchuk
  • 14 ore în urmă
Cinci ani cu Bitcoin: Cum s-a schimbat El Salvador după legalizarea BTC
  • Anastasiia Chabaniuk
  • Ieri
Crypto pe teren: Cum a devenit Finala NBA o vitrină pentru Ledger
  • Johnathan Maverick
  • 08.06.2026
Cum să construiești bogăție de la zero în 3 pași practici
  • Eugene Komchuk
  • 08.06.2026
Prăbușirea indicelui Kospi: De ce a scăzut piața sud-coreeană alături de acțiunile AI
  • Mira Kyivska
  • 07.06.2026
Bitcoin sau Ferrari: Care investiție este mai bună?
  • Yaroslav Dmytrenko
  • 1 oră în urmă
Aurul, argintul și acțiunile sunt în scădere pe fondul lichidărilor, observă Peter Brandt
  • Olga Shendetskaya
  • 1 oră în urmă
Jeremy Allaire dezvăluie proiectul infrastructurii de confidențialitate Arc
  • Jose Antonio Gastelum
  • 2 ore în urmă
Brian Armstrong: Coinbase a primit aprobarea de a oferi contracte perpetue pe criptomonede la nivel global în Statele Unite
  • Ivan Andriyenko
  • 2 ore în urmă
Coca-Cola se menține la nivel maxim, în timp ce criptomonedele și sectorul tehnologic înregistrează scăderi, observă Charlie Bilello
  • Elena Nikulina
  • 9 ore în urmă
Daniel Nita: inflația CPI rămâne stabilă, Bitcoin trece cu greu de 60.000 dolari, iar cel mai mare IPO din istorie urmează vineri
Știri de top
  • Olga Shendetskaya
  • 8 ore în urmă
Raportul CPI ridicat pune o nouă presiune pe acțiunile din SUA
Raportul CPI ridicat pune o nouă presiune pe acțiunile din SUA
  • Igor Krasulya
  • 9 ore în urmă
Kalshi adaugă XRP pe piața reglementată de futures perpetue
Kalshi adaugă XRP pe piața reglementată de futures perpetue
  • Olga Shendetskaya
  • 10 ore în urmă
Vânzările globale de obligațiuni cresc pe măsură ce cheltuielile pentru apărare și nevoile de refinanțare se majorează
Vânzările globale de obligațiuni cresc pe măsură ce cheltuielile pentru apărare și nevoile de refinanțare se majorează
  • Hanna Syniavska
  • 12 ore în urmă
Acțiunile SoftBank scad cu 8% pe măsură ce negocierile pentru împrumutul garantat de OpenAI stagnează
Acțiunile SoftBank scad cu 8% pe măsură ce negocierile pentru împrumutul garantat de OpenAI stagnează
  • Andrey Mastykin
  • 14 ore în urmă
Discuțiile privind CLARITY Act lovesc noi obstacole în Senat
Discuțiile privind CLARITY Act lovesc noi obstacole în Senat
Știri live
  • Anton Kharitonov
  • Acum
Alphabet rămâne sub presiune în timp ce AI stimulează perspectivele de creștere
  • Anton Kharitonov
  • Acum
Microsoft testează un suport major pe măsură ce presiunea asupra acțiunilor persistă după așteptări record
  • Anton Kharitonov
  • Acum
Apple continuă să scadă pe măsură ce cheltuielile de capital apasă asupra acțiunilor
  • Anton Kharitonov
  • Acum
Bitcoin are dificultăți pe măsură ce ieșirile de capital persistă, iar sentimentul se deteriorează
  • Anton Kharitonov
  • Acum
WTI sub presiune pe fondul cererii slabe
Cine Suntem
Soluții de Afaceri
Pentru Utilizatori
Știri TU
Secțiuni Populare
Divulgări
Contactează-ne
Legal
Suntem pe rețelele sociale
© IAFT Ltd., 2010-2026 Toate drepturile asupra site-ului sunt deținute de IAFT Ltd.,
Număr de înregistrare - HE 336186
  • Declinare de responsabilitate privind riscurile:

    Informațiile de pe site-ul TradersUnion.com sunt doar în scop informativ și nu constituie niciun motiv sau sugestie pentru vizitatori de a investi bani. Mai mult, vă avertizăm că tranzacționarea pe piețele Forex și CFD implică întotdeauna un risc ridicat. Conform statisticilor, 75-89% dintre clienți pierd fondurile investite și doar 11-25% dintre traderi obțin un profit. Tranzacționarea în futures și opțiuni implică un risc substanțial de pierdere și nu este potrivită pentru fiecare investitor.

    De aceea, ar trebui să investiți doar bani pe care sunteți pregătit — sau vă puteți permite — să îi pierdeți la astfel de riscuri ridicate. Tradersunion.com nu oferă niciun serviciu financiar, inclusiv servicii de consultanță în investiții sau financiare. De asemenea, Traders Union nu este un broker și nu primește bani pentru tranzacționarea pe piețele Forex sau CFD. Site-ul nostru oferă doar informații despre brokeri și piețe și ajută utilizatorii să selecteze cea mai bună companie de brokeraj pe baza informațiilor detaliate și a analizei obiective a brokerilor.

  • Declinare de responsabilitate:

    Traders Union (TradersUnion.com) nu va fi responsabil pentru consecințele deciziilor de tranzacționare luate de Client și pentru posibila pierdere a capitalului său rezultată din utilizarea acestui site web și a informațiilor publicate pe acesta.

    Tranzacționarea pe piața Forex, CFD și a criptomonedelor implică riscuri ridicate și nu este potrivită pentru toată lumea. Înainte de a investi bani, trebuie să evaluați în mod adecvat nivelul de expertiză și să fiți conștient de riscuri, în special în contextul tranzacționării cu efect de levier. Informațiile de pe acest site web nu sunt destinate distribuirii sau utilizării de către orice persoană din orice țară sau jurisdicție, unde o astfel de distribuire sau utilizare ar încălca legislația sau reglementările locale. Orice plăți efectuate de Traders Union (TradersUnion.com) către utilizatorii site-ului nostru vor fi interpretate din punct de vedere juridic doar ca un stimulent din partea noastră pentru activitatea pe site, sub forma unei deduceri a unei părți din veniturile din publicitate; acestea nu vor face obiectul unor pretenții ale utilizatorilor noștri sau al obligațiilor noastre, nu vor face obiectul unor litigii, precum și nu pot fi considerate în legătură cu serviciile furnizate utilizatorilor de către brokeri, atât în fapt, cât și în integralitatea și volumul lor. Administrația site-ului nu este responsabilă pentru conținutul comentariilor și recenziilor utilizatorilor despre companii și nu verifică dacă autorii recenziilor sunt într-adevăr clienți reali ai unei anumite companii. Toate recenziile, atât cele negative, cât și cele pozitive, sunt publicate pe site-ul web fără verificarea fiabilității lor; sunt moderate și eliminate doar recenziile ofensatoare care îndeamnă la violență sau la orice fel de discriminare, precum și recenziile publicate de la un grup de adrese IP. Autorii materialelor sunt pe deplin răspunzători pentru acuratețea, caracterul complet și imparțialitatea oricăror informații din articole și recenzii, inclusiv în contextul utilizării sau menționării de către acestea a unor nume de marcă sau mărci comerciale. Toate menționările numelor companiilor și mărcilor acestora în orice materiale de pe site se fac în contextul comunicării către populație a unor informații importante din punct de vedere social despre activitățile acestora de către jurnaliști independenți, care sunt autorii. Toate evaluările și indicatorii de pe site-ul web exprimă opinia subiectivă a autorilor recenziilor (articolelor) și nu vor fi considerate declarații exacte și nu vor face obiectul unor litigii și reclamații împotriva Traders Union.

  • Dezvăluirea Advertiserilor:

    Toate serviciile de pe site-ul Tradersunion.com sunt gratuite pentru utilizare. Echipa noastră petrece mii de ore pe an cercetând brokeri și adunând informații despre ei pentru a ajuta investitorii din întreaga lume să aleagă companii de încredere și să evite escrocii.

    Într-adevăr, curatoria, căutarea și organizarea acestui proces necesită o investiție financiară substanțială din partea Tradersunion.com, pe care site-ul o câștigă sub formă de plăți pentru publicitate. Există două tipuri de servicii de publicitate pe site - publicitate directă sau programe de participare a partenerilor (brokerilor). Cu toate acestea, niciun serviciu achiziționat de către partenerii noștri nu va afecta recomandările de pe site-ul nostru web, nici opiniile noastre, nici ratingurile. Evaluările noastre se bazează pe criteriile și metodologia noastră de evaluare obiectivă; iar rezultatele sunt întotdeauna aplicate în mod egal și corect fiecărui broker. Munca autorilor noștri de conținut și a grupurilor de cercetare nu implică nicio interacțiune cu agenții noștri de publicitate și nu au acces la datele referitoare la volumul de publicitate achiziționat. De peste 10 ani, considerăm că independența, deschiderea absolută și obiectivitatea noastră reprezintă principala noastră prioritate. Vă rugăm să urmați linkurile către site-urile web ale fiecărui broker afiliat al nostru. Acest lucru va ajuta Tradersunion.com să continue să vă ofere serviciile noastre în mod gratuit.

onepercentfortheplanet.org World Association of News Publishers https://gdpr.eu/ GDPR