Ethereum kurucu ortağı Vitalik Buterin, yapay zekanın (AI) Ethereum'un "en büyük teknolojik" sorunlarından biri olan kodun derinliklerinde gömülü hataları tespit etmekte önemli oynayabileceğini söyledi.
X'te 18 Şubat'ta yayınlanan gönderide Buterin, Ethereum ağındaki hatalı kodları tespit etmek ve düzeltmek için yapay zeka destekli denetleme konusundaki heyecanını paylaştı.
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
— vitalik.eth (@VitalikButerin) February 19, 2024
Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
Buterin'in yorumları, Ethereum'un uzun zamandır beklenen ve 13 Mart'ta kullanıma sunulması planlanan Dencun güncellemesini hayata geçirmeye yaklaştığı sırada geldi. Dencun, 17 Ocak'ta Goerli test ağında uygulanmış, ancak Prsym'deki bir hata, dört saatlik gecikmeye neden olmuştu.
Bununla birlikte, yapay zekanın Ethereum tabanlı koddaki hataları tespit etmek açısından güvenilir bir araç olduğu konusunda henüz fikir birliği oluşmadı.
Temmuz 2023'te OpenZeppelin, Ethereum kodunun ana dili olan Solidity akıllı sözleşmelerindeki güvenlik sorunlarını belirlemek amacıyla OpenAI GPT-4 ile bir dizi deney gerçekleştirdi.
Bu deneyler sırasında GPT-4, 28 görevin 20'sinde güvenlik açıklarını başarıyla tespit etti.
GPT-4 kusurları tespit etmekte başarısız olduğunda, genellikle hatalarını hızlı bir şekilde düzeltmesi istenebiliyor. Ancak OpenZeppelin, yapay zekanın aslında olmayan bir güvenlik açığı da tespit ettiğini dile getirdi.
Benzer şekilde, CertiK baş güvenlik sorumlusu Kang Li, Cointelegraph'a yaptığı açıklamada, kodlamada ChatGPT gibi yapay zeka destekli araçların kullanılmasının genellikle çözdüğünden daha fazla güvenlik sorunu yarattığını söyledi.
Li, genel olarak yapay zeka asistanlarının yalnızca deneyimli yazılımcılara yardımcı olarak kullanılmasını tavsiye ederek, bunların geliştiricilere bir kod satırının ne anlama geldiğini hızlı bir şekilde açıklamakta yardımcı olabileceğini ifade etti.
“Bence ChatGPT, kod analizi ve tersine mühendislik yapan insanlar için harika bir yardımcı araç. Kesinlikle iyi bir yardımcı ve verimliliğimizi muazzam ölçüde artırıyor.”
Buterin YZ'nin geleceği konusunda büyük ölçüde iyimser olsa da, daha önce geliştiricilere YZ'yi blokzincir teknolojisi için uygularken, özellikle de oracle gibi "yüksek riskli" uygulamalarla birlikte kullanırken dikkatli olmaları konusunda uyarıda bulunmuştu:
“Dikkatli olmak önemlidir. Örneğin birisi yapay zeka oracle'ı kullanan bir tahmin pazarı ya da stablecoin oluşturursa ve oracle'ın saldırıya açık olduğu ortaya çıkarsa, bu bir anda yok olabilecek büyük miktarda para demektir.”