Her Zipp hikayesi #FormalVerification etiketiyle, en yenisi önce.
Yazılımdaki zayıflıkları ortaya çıkarabilen aynı yetenekler, hata tespiti ve biçimsel doğrulama yoluyla Ethereum'un güvenliğini de güçlendirebilir.
Biçimsel doğrulama, doğrulayıcılar değişikliği etkinleştirmeden önce muhasebe hatalarını hedefliyor, ancak borçlular ve kredi brokerlarının taşıdığı zincir dışı kredi riskini ortadan kaldıramıyor.
Ethereum kurucu ortağı, teorem ispatlayabilen yapay zekanın yazılım güvenliğini de biçimsel olarak doğrulayabileceğini, kriptoda kalmayı ise AI silahlanma yarışında savunucuların kazanacağına bir bahis olarak gördüğünü savunuyor.
Manşet hesaplama ölçeği. Kripto okuması ise bundan sonrası: otomatik kanıtlama ucuzladıkça, zayıf tanımlanmış sözleşmelerin maliyeti artıyor. Terence Tao açılan boşluğu çoktan adlandırıyor.
52 bitlik açık, koalaIRS12 adlı tek bir kriptografik indirgenin içinde yer alıyor; tam zkEVM'de değil. Üretime hazır bir kanıt, ... öncesinde birden fazla bileşen üzerinde sistem genelinde ses düzeyi hesaplamasına ihtiyaç duyuyor.
2026 kuralı, formal olarak doğrulanmış 128-bit sesliği performans artışının koşulu haline getiriyor; çünkü hatalı bir ispat saldırganların Ethereum durumunu yeniden yazmasına izin verebilir.
Fiyat kıpırdamadı, ama argüman değişti: bir zamanlar akademik diye küçümsenen formel doğrulama, proof-of-stake ve seçici gizlilik, Ethereum'un yol haritasında ve $2.5B… büyüklüğündeki kayıplara dair incelemelerde yeniden ortaya çıkıyor.
Polosukhin, AI'ın açık bulmadan istismara ve manuel denetimden kanıt üretimine giden süreyi kısaltmasıyla formal doğrulamanın geriye kalan tek yol olduğunu savunuyor.
Project Tachyon'un doğrulaması sonuçlanırsa, ZEC'nin Haziran ayındaki Orchard açıklamasıyla iki günde %40'tan fazla değer kaybetmesine yol açan güven açığı kapanmış olacak.
Anthropic'in Opus 4.8 modelinin ortaya çıkardığı dört yıllık Zcash açığı, hâlâ doğrulanmamış kod çalıştıran her bankaya ve protokole aynı uyarıyı gönderiyor: savunmacının her seferinde doğru yapması gerekir, saldırganın yalnızca bir kez.
Buterin'in çerçevesi, niş bir güvenlik disiplinini Ethereum, ZK ve kriptografi için varsayılan iş akışına taşıyor — tek bir notla: doğrulanmış kod yine de kusursuz değil.
Akıllı kontrat istismarlarıyla milyarlarca dolar kaybeden sektör bu öneriyle karşılaşırken Buterin'in tezi net: otomatik doğruluk ispatı, yapay zekânın gerçekten başarabileceği alan olabilir.
WuBlockchain
CryptoSlate
Crypto News
TheBlock
CoinDesk