NEAR Protokolü Yapısal Doğrulama İçin Yapay Zekaya Geçiyor

NEAR Protocol, protokolünü ve çekirdek akıllı sözleşmelerini güvence altına almak için yapay zeka destekli biçimsel doğrulama (formal verification) süreçlerini entegre etmeyi planladığını duyurdu. Yapılan açıklamada, NEAR AI ekibinin PutnamBench kapsamında 672 matematiksel problemi oldukça düşük bir maliyetle başarıyla çözdüğü belirtildi.

Bu önemli adım, yazılımın önceden tanımlanmış kurallara tam olarak uyduğunu matematiksel olarak kanıtlamayı amaçlıyor. Kurucu ortak Illia Polosukhin, yapay zeka tarafından üretilen kodların güvenliği açısından bu tür matematiksel garantilerin kritik bir öneme sahip olduğunu vurguladı. Süreç, geliştiricilerin yazılım gereksinimlerini matematiksel modellere dönüştürmesini ve Lean adı verilen açık kaynaklı programlama dilini kullanarak otomatik kanıtlar üretmesini kapsıyor.

NEAR, bu teknolojiyi gelecekte ekosistem geliştiricileri için erişilebilir kılmayı hedeflerken, resmi doğrulama süreçlerinin geleneksel testleri ve kod incelemelerini tamamen ortadan kaldırmayacağını, aksine bunları tamamlayıcı bir güvenlik katmanı olarak destekleyeceğini belirtti.

Sonuç olarak, blockchain ekosisteminde yapay zeka ve akıllı sözleşme güvenliği giderek daha fazla önem kazanıyor. NEAR'ın bu hamlesi, ağın gelecekteki güncellemelerinde daha güvenli, doğrulanabilir ve hatasız bir altyapı sunma kararlılığını gösteriyor.