ZKsync, 7.200 Ethereum bloğunu tek bir GPU ile 10 saniyenin altında kanıtlayan sıfır bilgi kanıtlayıcısı Airbender Prime'ı duyurdu. Ethereum'un kurucu ortağı Vitalik Buterin bunu belirleyici bir dönüm noktası olarak nitelendirdi ve zkEVM geliştirmesinin artık hız yerine güvenliğe odaklanması gerektiğini söyledi.
Aslında ne oldu
Wu Blockchain'in haberine göre ZKsync, Ethereum için sıfır bilgi kanıtlayıcısı Airbender Prime'ı 17 Ekim 2026'da duyurdu. Testlerde, tek bir NVIDIA RTX PRO 6000 Blackwell GPU, ardışık 7.200 Ethereum mainnet bloğu için kanıt üretti. Blok kanıtlarının yüzde 99'u 10 saniyenin altında tamamlandı ve tanık (witness) hazırlama süresi dahil her blok 12 saniye içinde bitirildi. Kanıtlayıcı, açık RISC-V standardı üzerinde çalışıyor ve kuantum sonrası güvenlik için tasarlanmış hash tabanlı STARK kanıt teknolojisini kullanıyor. Sistem, bağımsız kontroller için ayrı bir doğrulayıcıyla birlikte geliyor. Vitalik Buterin, Airbender ekibini tebrik ederek zkEVM kanıt hızı yarışının artık belirleyici sonuçlara ulaştığını söyledi. Buterin'e göre öncelik tamamen güvenliğe kaymalı.
Buraya nasıl gelindi
Sıfır bilgi kanıtları, bir rollup'ın her işlemi yeniden çalıştırmadan Ethereum işlem geçerliliğini kanıtlamasını sağlıyor; bu da maliyetleri ve kesinleşme süresini düşürüyor. Yıllardır zkEVM ekipleri esas olarak kanıt hızında yarıştı, çünkü yavaş kanıtlama çekim işlemlerini geciktiriyor ve maliyetleri artırıyor. Airbender Prime'ın sonuçları -tüketici seviyesinde tek bir GPU'da blokların yüzde 99'unun 10 saniyenin altında kanıtlanması- Ethereum eşdeğeri bir kanıtlayıcı için açıklanan en hızlı kıyaslamalardan biri. Buterin, biçimsel doğrulama için üç çözülmemiş görev ortaya koydu: kanıt sisteminin aritmetiğinin Ethereum'un protokol kurallarıyla tam olarak eşleştiğinin doğrulanması, blok gaz kullanımına bağlı kesin maliyet sınırlarının belirlenmesi ve sıfır bilgi sisteminin kendisinin sağlam olduğunun kanıtlanması. Bu da zkEVM yarışını bir performans yarışmasından güvenlik denetimi sorununa dönüştürüyor.
Bu sizin için neden önemli
ZKsync için daha hızlı kanıtlama, rollup üzerinde köprüleme veya işlem yapan kullanıcılar için daha ucuz ücretler ve daha hızlı kesinleşme anlamına gelebilir. Diğer zkEVM ekipleri için Buterin'in sözleri yeni bir çıta koyuyor: artık ham hız tartışmayı kazandırmıyor, biçimsel güvenlik garantileri kazandırıyor. Ethereum ölçeklendirmesi üzerinde çalışan geliştiriciler artık kıyaslama yarışları yerine denetimlere ve doğruluğun matematiksel kanıtlarına öncelik verebilir. zk-rollup'larda varlık tutanlar, rakiplerin kaynaklarını biçimsel doğrulamaya kaydırıp kaydırmadığını izlemeli; bu bazı yol haritalarını yavaşlatabilir ama bir kanıtlayıcı hatasının fon kaybına yol açma riskini azaltabilir. Sonuçta kullanıcılar hem hızlı hem güvenli kanıtlayan bir zincirden kazançlı çıkıyor.
Büyük soru
Kanıt hızı artık belirleyici faktör değilse, rakip zkEVM'leri hangi yeni standart ayıracak? Biçimsel doğrulama, bir sistemin kendi spesifikasyonuyla eşleştiğini doğrulayabilir ama bu spesifikasyonun her gerçek dünya saldırısını kapsadığını garanti edemez. Milyarlarca dolarlık varlığı güvence altına almak için bir kanıtlayıcının yeterince güvenli olduğuna kim karar verecek?
Neye dikkat etmeli
ZKsync, Airbender Prime'ın mainnet entegrasyonu için henüz bir tarih açıklamadı. Önümüzdeki haftalarda Ethereum çekirdek geliştiricilerinin Buterin'in biçimsel doğrulama yol haritasına nasıl tepki vereceği izlenmeli. Diğer zkEVM projeleri, odak güvenlik denetimlerine kayarken kendi kıyaslama karşılaştırmalarını yayınlayabilir. Bonuz, bu tartışmanın akıllı gözlükler gibi hafif, sürekli çalışan cihazları destekleyebilecek -uçta hızlı ve ucuz doğrulamaya bağımlı- kanıtlama altyapısını nasıl etkileyeceğini takip edecek.
