Her Zipp hikayesi #FormalVerification etiketiyle, en yenisi önce.
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.
TheBlock
CoinDesk
WuBlockchain