NEAR AI, temel sözleşmelerin biçimsel doğrulanmasında ilerleme kaydediyor
NEAR AI, ilk aşamada NEAR Protocol’ü ve temel akıllı sözleşmelerini hedefleyerek biçimsel doğrulamayı daha erişilebilir hâle getirmek için çalışıyor. Biçimsel doğrulama, yazılımın tanımlanmış kurallara uyup uymadığını matematiksel kanıtlarla kontrol eder; testleri ve kod incelemesini tamamlar, ancak tam güvenliği garanti edemez.
Bu çalışma, NEAR AI’nin Lean Eval v1 liderlik tablosunda toplam çözülen problem sayısına göre birincilik elde ettiğine ilişkin açıklamasını temel alıyor. Sistem, PutnamBench’te 672 Lean problemini çözdü. Bildirilen maliyet problem başına yaklaşık 0,17 dolarken, depo gönderim için model maliyetlerini 111,85 dolar olarak listeliyor. NEAR, benchmark sonuçlarının üretim yazılımlarını doğrulamanın toplam maliyetini veya gerektirdiği emeği yansıtmadığı konusunda uyarıyor.
Biçimsel doğrulamanın dağıtılmış sözleşmelere uygulanması yine de doğru modeller, açıkça tanımlanmış özellikler ve uygulamayla örtüşen kanıtlar gerektiriyor. Güvenceler yalnızca kontrol edilen özellikleri ve varsayımları kapsar; bu nedenle biçimsel doğrulama testler, kod incelemesi ve operasyonel güvenlikle birlikte yürütülmelidir. Girişim, Aptos Labs ve Ethereum’un kurucu ortaklarından Vitalik Buterin’in ele aldığı çalışmalar da dâhil olmak üzere, yapay zekâ destekli kanıtlara yönelik daha geniş ilgiyi yansıtıyor. NEAR yatırımcıları açısından bu, duyurulmuş bir dağıtım ya da token için kısa vadeli bir katalizör değil, uzun vadede güvenliği geliştirebilecek bir adımdır.
Neutral
Haber, yakın vadede NEAR fiyatı açısından nötr. Canlı bir dağıtım, protokol değişikliği, finansman kararı veya token talebinde doğrudan bir değişiklikten ziyade araştırma ve kıyaslama sonuçlarını aktarıyor. Yatırımcılar sonuçları NEAR’ın güvenlik hedefleri açısından olumlu bir sinyal olarak değerlendirebilir; ancak üretim maliyetleri ve doğrulamanın sınırları hakkındaki çekinceler, fiyatın hemen tepki verme olasılığını azaltıyor.
Daha uzun vadede, daha erişilebilir biçimsel doğrulama, uygulamada başarıyla hayata geçirilmesi hâlinde NEAR protokolüne ve akıllı sözleşme ekosistemine duyulan güveni artırabilir. Bu, piyasa duyarlılığını ve ağın benimsenmesini destekleyebilir; ancak özetler, uygulamanın gerçekleştiğini doğrulamıyor veya kullanım ya da gelir üzerindeki herhangi bir etkiyi nicel olarak ortaya koymuyor. Benzer güvenlik ve araştırma duyurularında olduğu gibi, piyasa etkisinin sonraki adımlara ve genel piyasa koşullarına bağlı olması muhtemel; mevcut bilgiler yükseliş ya da düşüş yönünde bir sınıflandırmayı haklı çıkarmıyor.