NEAR protokolünün kurucusu Illia Polosukhin, siber güvenlik alanında köklü bir değişim gerektiğini belirterek, yapay zeka destekli saldırılara karşı daha güçlü önlemler alınması çağrısında bulundu. Polosukhin, yapay zeka destekli saldırıların özellikle Ekim ayında Balancer örneğiyle başladığını düşündüğünü ifade etti.
Polosukhin, mevcut siber güvenlik anlayışının, kodun insan gözüyle incelenmesine dayandığını ve bu yaklaşımın yapay zekanın yükselişiyle birlikte yetersiz kaldığını vurguladı. Gelişen yapay zeka modellerinin, bu geleneksel yöntemi daha da sürdürülemez hale getirdiğini belirtti. Bu nedenle, farklı bir düşünce biçimine ihtiyaç duyulduğunu, sadece daha iyi bir modelle kodları gözden geçirmenin ve açıkları bulamayacağını ummanın yeterli olmadığını savundu.
Polosukhin'in önerdiği çözüm, kodun vaat ettiği işlevi matematiksel olarak kanıtlayan biçimsel doğrulama yöntemine dayanıyor. Tarihsel olarak pahalı, yavaş ve yoğun emek gerektiren bu yöntem, yapay zeka sayesinde artık daha erişilebilir hale geliyor. Yapay zeka, gerekli kanıtın büyük bölümünü üretebiliyor ve bu kanıtlar bağımsız olarak denetlenebiliyor. Polosukhin, yapay zekanın kendisinin değil, ürettiği kanıtın doğruluğunun kullanıcı tarafından teyit edilmesi gerektiğini belirtti.
Bu yaklaşımın bir örneği olarak Zcash'in Tachyon Projesi gösterildi. Proje, yapay zeka destekli doğrulamayı kullanarak, Zcash'in Ironwood korumalı havuzunda tespit edilemez bir sahtecilik hatası bulunmadığına dair matematiksel bir kanıt üretti. Yapay zeka destekli kanıt üretimindeki ilerlemeler sayesinde, bir zamanlar yıllar süren işlemlerin haftalara indirildiği belirtildi.
Polosukhin, bu biçimsel doğrulama yaklaşımının sadece akıllı sözleşmelerle sınırlı kalmaması, zamanla internetteki tüm kritik yazılımları ve ağ altyapısını kapsaması gerektiğini savundu. Blok zinciri kodunun ve genel olarak internet kodunun biçimsel olarak doğrulanacak şekilde inşa edilmesine yönelik köklü bir dönüşümün şart olduğunu yineledi.
Bu gelişmelerin yanı sıra NEAR, pazartesi günü yayınladığı bir güncelleme ile ağını güvenlik ve ölçeklenebilirlik ihtiyaçlarına hazırladı. Güncelleme sayesinde kullanıcılar kuantuma dayanıklı hesap anahtarlarına geçiş yapabilirken, ağ da artan etkinlikle birlikte kapasitesini otomatik olarak genişletebiliyor.
