TheBlock
NEAR Protocol kurucu ortağı Illia Polosukhin, AI destekli saldırıların geleneksel manuel kod incelemesini geride bıraktığını belirterek blockchain altyapısını güvenceye almak için formal doğrulamanın zorunlu bir dönüşüm olduğunu söyledi. Daha geniş güvenlik topluluğuna seslenen Polosukhin, aradaki farkı yapısal bir sorun olarak çerçeveledi: savunmacılar insan hızında denetim yaparken saldırganlar artık makine hızında hareket ediyor.
Bu neden önemli
Polosukhin, eskiden yıllar süren matematiksel kanıt üretimi çalışmalarının AI kullanıldığında artık haftalar içinde tamamlanabildiğine işaret etti. Bu asimetri önemli, çünkü formal doğrulama, uç durumları insan denetçilerin yakalamasına güvenmek yerine doğruluğa dair makine tarafından kontrol edilebilir kanıtlar üreten yöntemdir. Kanıt üretimi bir büyüklük mertebesi hızlanırsa saldırganlar istismar yollarını bulmak için daha hızlı bir hatta kavuşur, ancak savunmacılar da bugün küçük uzman mühendis ekipleriyle yürüyen denetim sürecini sanayileştirebilir.
Piyasa etkisi
Bu çerçeve, protokol tasarımının bir sonraki döngüsünde daha büyük denetim bütçelerini değil, formal doğrulamayı merkezi güvenlik ilkesi olarak konumlandırıyor. Hesap soyutlama ve sharding mimarisine güçlü biçimde yaslanan bir zincir olan NEAR için mesaj şu: istismarlar otomatik olarak üretilebildiğinde ve test edilebildiğinde tek bir gözden kaçan açığın maliyeti daha hızlı katlanır. Hâlâ geleneksel denetim döngülerine dayanan projeler genişleyen bir risk penceresiyle karşı karşıya.
Sıkça sorulan sorular
-
NEAR kurucu ortağı AI ve kod güvenliği hakkında ne söyledi?
Illia Polosukhin, AI destekli saldırıların geleneksel manuel kod incelemesini geride bıraktığını ve blockchain kodunu AI odaklı saldırılara karşı güvenceye almak için formal doğrulamanın gerekli yapısal dönüşüm olduğunu savundu.
-
Formal doğrulama nedir ve Polosukhin neden önemli olduğunu düşünüyor?
Formal doğrulama, kodun doğruluğuna ilişkin makine tarafından kontrol edilebilir matematiksel kanıtlar üretir ve uç durumları insan denetçilerin yakalamasına olan bağımlılığı azaltır. Polosukhin bunu, makine hızındaki saldırganlara ölçeklenerek karşılık verebilen tek yöntem olarak çerçeveledi.
-
AI kanıt üretimi çalışmalarını ne kadar hızlandırdı?
Polosukhin'e göre daha önce yıllar süren matematiksel kanıt üretimi görevleri, AI uygulandığında artık haftalar içinde tamamlanabiliyor. Bu, hem savunma denetimlerini hem de saldırı amaçlı istismar keşfini hızlandırıyor.
-
Bu neden NEAR'ı daha basit zincirlerden daha fazla etkiliyor?
NEAR, hesap soyutlama ve sharded mimariye dayanıyor. Bu yapıda istismarlar elle hazırlanmak yerine otomatik üretildiğinde ve test edildiğinde, tek bir gözden kaçan açık daha hızlı katlanan bir riske dönüşüyor.
-
Kripto projeleri bu uyarıdan ne çıkarmalı?
Geleneksel denetim döngülerine güvenmeye devam eden projeler, açık keşfinden çalışan istismara giden süre kısaldıkça genişleyen bir risk penceresiyle karşı karşıya. Argüman, formal doğrulamanın geleneksel incelemeyi tamamlaması değil, onun yerini alması gerektiği yönünde.
WuBlockchain
CoinTelegraph
CoinDesk
Crypto Rank News
WatcherGuru
CryptoSlate