Tek bir kişinin, 2030 yol haritasını hedefleyen bir Ethereum (ETH) istemcisini “özerk kodlama” ile yazabileceğine Vitalik Buterin ile iddiaya giren bir geliştirici, iki haftada ETH2030’u ortaya çıkardı: 702.000 satır Go kodu, 65 yol haritası maddesini kapsıyor ve Ethereum ana ağıyla senkronize oluyor.
Buterin, Cuma günü sonuç hakkında yorum yaparak bunun “oldukça etkileyici bir deney” olduğunu söyledi; ancak önemli çekinceleri sıraladı ve yapay zekânın Ethereum yol haritasının tamamlanma sürecini, topluluğun şu anda beklediğinden daha fazla hızlandırabileceği ihtimalini gündeme getirdi.
Buterin, projenin ne olmadığı konusunda netti: Resmî Ethereum İyileştirme Önerileri (EIP) olmadan inşa edildiği için neredeyse kesinlikle kritik hatalar içeriyor ve büyük olasılıkla yapay zekânın tam bir uygulama denemediği yerlerde özelliklerin “iskele” (stub) sürümlerini barındırıyor.
Ona göre önemli olan çıktıdan çok gidişat. Altı ay önce, bu kapsamda bir prototip bile “imkân dâhilinin çok dışında” olurdu, diye yazdı.
Hız mı, Güvenlik mi?
Buterin, yapay zekâ destekli geliştirmeye doğru yaklaşımı, kazanımları tamamen hıza harcamak yerine, hız ve güvenlik arasında bölüştürmek olarak çerçeveledi.
Tercih ettiği model: yapay zekâyı daha büyük test senaryosu kümeleri üretmek, uygulamaları biçimsel olarak doğrulamak ve aynı bileşenin çapraz kontrol için birden fazla bağımsız sürümünü üretmek için kullanmak.
Tüm Ethereum kodunu biçimsel olarak doğrulamayı amaçlayan LeanEthereum projesinin bir işbirlikçisi, kısa süre önce STARK güvenliğinin temelini oluşturan en karmaşık teoremlerden biri için, makine tarafından doğrulanabilir bir ispatı yapay zekâ ile üretti.
Buterin’in çerçevesinde bu, daha yüksek değerli kullanım alanı: Daha hızlı teslim etmek değil, daha doğrulanabilir şekilde doğru kod teslim etmek.
Ayrıca bakınız: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Onun Mümkün Gördüğü Şey
Buterin, iyimserliğini bir tahminden çok bir ihtimal olarak sunmakta dikkatli davrandı. İnsanların, Ethereum yol haritasının mevcut zaman çizelgelerinin öngördüğünden daha hızlı ve daha yüksek bir güvenlik standardıyla tamamlanmasına açık olması gerektiğini söyledi.
Güvenlik cephesinde, hatasız koda yönelik potansiyel hakkında kişisel heyecanını dile getirdi; böylece bunun “ütopik bir hayal” olmaktan çıkıp kritik altyapı için temel bir beklenti hâline gelebileceğini savundu.
Mutlak anlamda tam güvenliğin hâlâ imkânsız olduğunu kabul etti – bunun için kod ile geliştiricinin zihninin içeriği arasında tam bir birebir örtüşme gerekir – ancak yapay zekâ destekli biçimsel doğrulamanın, belirli ve iyi tanımlanmış kod hatalarından kaynaklanabilecek olumsuz sonuçların %99’undan fazlasını şimdiden ortadan kaldırabildiğini öne sürdü.
ETH2030 deposu hâlâ github.com/jiayaoqijia/eth2030 adresinde herkese açık durumda.
Sıradaki haber: Binance Must Face US Jury Over Token Losses On EOS, TRX And Five Other Coins - Judge Kills Arbitration Defense