NEAR Protocol kurucu ortağı Illia Polosukhin, pazartesi günü ciddi bir uyarıda bulundu: Yapay zeka destekli hack'leme, geleneksel kod denetim süreçlerinden daha hızlı ilerliyor ve eski güvenlik yöntemlerini geçersiz kılıyor. Polosukhin, bir programın tam olarak amaçlandığı gibi çalıştığını matematiksel olarak kanıtlayan bir yaklaşım olan biçimsel doğrulamayı, blockchain güvenliği için atılması gereken zorunlu bir sonraki adım olarak nitelendirdi.
Polosukhin'in bu yorumu, üretken yapay zeka araçlarının halihazırda işlevsel akıllı sözleşmeler yazabildiği, güvenlik açıklarını bulabildiği ve hatta saldırı kodları oluşturabildiği bir dönemde geldi. İnsanların kodu satır satır manuel olarak okuduğu geleneksel denetimlerin, yapay zeka tarafından üretilen saldırıların hızı ve ölçeğine ayak uyduramadığını savundu.
Biçimsel doğrulama yeni bir kavram değil. Uzun zamandır havacılık, savunma ve hataların kabul edilemez olduğu finansal yazılımlarda kullanılıyor. Ancak bu yöntemin ek maliyeti yüksek: Tek bir akıllı sözleşme için biçimsel şartnameler yazmak haftalar sürebilir. Polosukhin maliyeti kabul etse de yapay zeka kaynaklı tehditler çoğaldıkça bu dengenin değiştiğini belirtti.
The Block'a verdiği bir röportajda Polosukhin, "Yapay zeka destekli hack'leme ile saldırgan, bir güvenlik açığının binlerce varyantını saniyeler içinde üretebilir," dedi. "İnsan bir denetçi bir kalıbı yakalayabilir, ancak varyasyonları yakalayamaz. Biçimsel doğrulama size sadece bir tahmin değil, bir garanti sunar."
Bu uyarı, tek bir kod hatasının saniyeler içinde milyonlarca doların buharlaşmasına neden olabildiği blockchain projeleri için özel bir ağırlık taşıyor. NEAR'ın kendisi Rust tabanlı bir akıllı sözleşme platformu kullanıyor ve ekosistemi için biçimsel doğrulama araçlarına yatırım yapmış durumda, ancak sektörün geneli hala büyük ölçüde manuel denetimlere dayanıyor.
Tüccarlar ve geliştiriciler için bu değişim, titiz biçimsel yöntemleri benimseyen zincirler ve dApp'ler için artan bir prim anlamına gelirken, benimsemeyenler için ise artan bir risk teşkil ediyor. İzlenmesi gereken bir sonraki tetikleyici gelişme, büyük DeFi protokollerinin güvenlik standartlarında biçimsel doğrulamayı zorunlu kılıp kılmayacağı olacak.
NEAR kurucu ortağı: Yapay zeka hack'leri denetimleri geride bırakıyor
NEAR kurucu ortağı Polosukhin, blockchain kodunu gelişmiş yapay zeka destekli hack tekniklerinden korumak için biçimsel doğrulamanın önemini vurguluyor. Bu durum, yapay zeka tehditlerinin blockchain güvenliğine yönelik artan endişeleri yansıtıyor.