Vitalik Buterin kaže da bi umjetna inteligencija mogla ubrzati plan Ethereuma za 2030.

TLDR

• AI je napravio Ethereum klijent od 700 000 linija u dva tjedna
• Prototip pokriva 65 stavki plana i sinkronizira se s glavnom mrežom
• Buterin poziva na dodatna testiranja i službenu provjeru
• AI je pomogao proizvesti STARK dokaz koji se može strojno provjeriti

Vitalik Buterin kaže da bi umjetna inteligencija mogla ubrzati plan Ethereuma za 2030. na sigurnosnim razinama bez presedana. Ukazao je na nedavni eksperiment u kojem je programer izgradio prototip Ethereum klijenta usklađen s mapom puta u dva tjedna koristeći agentsko kodiranje. Prototip uključuje oko 700.000 redaka koda, pokriva 65 stavki plana i sinkronizira se s glavnom mrežom Ethereum.

Prototip izrađen AI usklađen je s Ethereum planom za 2030

Suosnivač Ethereuma Vitalik Buterin rekao je da AI ubrzava razvoj Ethereuma. Citirao je programera koji je koristio agentsko kodiranje za izgradnju klijenta usklađenog s planom za 2030. godinu. Prototip je dovršen za otprilike dva tjedna. Uključuje oko 700.000 redaka koda i podržava 65 stavki plana. Klijent se sinkronizira s glavnom mrežom Ethereum.

Ovo je prilično impresivan eksperiment. Vibe kodiranje cijele mape puta za 2030. u roku od nekoliko tjedana.

Očito je da takva stvar napravljena u dva tjedna bez čak i EIP-ova ima ogromna upozorenja: gotovo sigurno puno kritičnih grešaka, a vjerojatno u nekim slučajevima i “neuspješne” verzije stvari… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28. veljače 2026

Buterin je nastojanje opisao kao eksperiment koji pokazuje brz napredak. Rekao je da sličan posao prije šest mjeseci nije bio realan. Dodao je da je smjer napretka umjetne inteligencije najvažniji. Podijelio je i osobni primjer. Rekao je da je izradio softver sličan svom blogu u roku od sat vremena koristeći agentsko kodiranje. Korišteni model radio je lokalno na njegovom prijenosnom računalu.

Povećanje brzine dolazi s tehničkim rizicima

Buterin je opomenuo da brza AI izgradnja nosi rizike. Rekao je da projekt dovršen u dva tjedna bez finaliziranih EIP-ova vjerojatno sadrži kritične greške. Dodao je da bi neki dijelovi mogli biti samostalne verzije. Upozorio je da se ne pretpostavlja da jedan upit može generirati sigurni proizvodni kod. Rekao je da će biti grešaka i nedosljednosti u implementacijama.

Međutim, izjavio je da umjetna inteligencija omogućuje pet puta brži proces. Objasnio je da će programeri i dalje morati pregledavati i uspoređivati ​​kod. Testiranje i provjera valjanosti ostaju nužni koraci.

AI smanjuje vrijeme potrošeno na zadatke koji se ponavljaju i povećava brzinu ponavljanja. Buterin je rekao da eksperiment ne treba promatrati kao gotovu infrastrukturu. Uokvirio ga je kao signal promjene razvojnih metoda. AI je sada dio Ethereumovog tehničkog tijeka rada.

---

---

Usredotočite se na testiranje i formalnu potvrdu

Buterin je rekao da bi dobitak AI trebao biti podijeljen između brzine i sigurnosti. Predložio je da bi polovica povećanja produktivnosti trebala ići na jače testiranje. To uključuje generiranje više testnih slučajeva i pokretanje formalne provjere. Referencirao je napore Lean Ethereuma, čiji je cilj službena verifikacija komponenti Ethereuma. Suradnik je upotrijebio umjetnu inteligenciju za izradu strojno provjerljivog dokaza složenog STARK teorema.

Buterin je rekao da formalna verifikacija podržava nepouzdane sustave. Dodao je da umjetna inteligencija može proširiti opseg testova i poboljšati višestruke implementacijske provjere. Ovi koraci smanjuju rizike povezane s neispravnim kodom. Rekao je da se potpuna sigurnost ne može postići. Objasnio je da bi savršena sigurnost zahtijevala točnu usklađenost koda i ljudske namjere.

Ipak, primijetio je da se određene sigurnosne tvrdnje mogu provjeriti. Buterin je rekao da bi ljudi trebali razmotriti mogućnost da Plan puta za Ethereum može završiti brže od očekivanog. Također je rekao da bi se sigurnosni standardi mogli povećati kako se alati za provjeru budu poboljšavali. Izjavio je da kod bez grešaka u definiranim slučajevima može postati ostvariv. Rekao je da se ta ideja nekoć smatrala nerealnom. Provjera potpomognuta umjetnom inteligencijom može s vremenom promijeniti razvojna očekivanja.