NEAR Protocol’un kurucu ortağı Illia Polosukhin, yapay zekânın (AI) hacker’ların yazılım açıklarını tespit etme hızını ciddi şekilde artırdığını ve geleneksel güvenlik önlemlerinin bu tempoya yetişemediğini belirtiyor. Polosukhin, geliştiricilerin kodlarını güvence altına almak için matematiksel ispatlara yönelmesi gerektiğini savunuyor.
Polosukhin, The Block’un The Starting Block podcast’inde yaptığı açıklamada, geçen ekim ayında Balancer’ın ilk örneklerden biri olduğunu ve AI destekli siber saldırıların bu dönemde başladığını ifade etti.
Şimdiye kadar siber güvenliğin, kodları inceleyen “akıllı insanların” gözden kaçan açıkları başkalarının bulmamasına dayandığını belirten Polosukhin, yapay zekâ modellerinin gelişmesiyle bu yaklaşımın sürdürülemez hale geldiğini vurguladı.
Polosukhin, mevcut yaklaşımın yetersiz olduğunu ve yeni bir düşünce tarzına ihtiyaç duyulduğunu dile getirdi. “Her şeyi daha iyi bir modelle gözden geçirip, bir sonraki modelin açık bulmamasını ummak yeterli değil” dedi.
Polosukhin’in önerdiği çözüm, kodun gerçekten iddia ettiği gibi çalıştığını matematiksel olarak kanıtlayan “formel doğrulama” yöntemi. Bu süreç geleneksel olarak pahalı, yavaş ve yoğun emek gerektiriyordu. Ancak Polosukhin, artık AI’ın gerekli ispatların büyük kısmını üretebildiğini ve bu ispatların bağımsız olarak doğrulanabileceğini söylüyor.
“AI’a güvenmek zorunda değilsiniz, çünkü AI sadece ispatı üretiyor. Sizin yapmanız gereken, ispatın doğruluğunu kontrol etmek” diye ekledi.
Yakın zamanda Zcash tarafından başlatılan bir girişim, Polosukhin’in bahsettiği yönteme örnek oluşturuyor. Project Tachyon, AI destekli doğrulama ile Zcash’in Ironwood havuzunda, geçen ay Orchard havuzunda tespit edilen türde tespit edilemeyen sahtecilik hatasının bulunmadığını matematiksel olarak kanıtladı.
Project Tachyon, AI destekli ispat üretimindeki ilerlemeler sayesinde, geçmişte yıllar süren çalışmaların artık haftalar içinde tamamlanabildiğini açıkladı.
Polosukhin, bu yaklaşımın yalnızca akıllı sözleşmelerle sınırlı kalmaması, kritik internet ve ağ yazılımlarına da yayılması gerektiğini savunuyor. “Blok zinciri kodlarının ve aslında internetteki tüm kodların formel olarak doğrulanmasına geçmemiz gerekiyor” dedi.
Ayrıca NEAR, pazartesi günü ağın yeni güvenlik ve ölçeklenebilirlik ihtiyaçlarına yanıt vermek amacıyla bir güncelleme yayınladı. Kullanıcılar artık kuantum dirençli hesap anahtarlarına geçebiliyor. Ağ ise, aktivite arttıkça kapasitesini otomatik olarak genişletebiliyor.
Bu içerik hazırlanırken faydalanılan kaynaklar: theblock.co
