1/ Çoğu ZK kanıtlayıcısı doğru ispatlar üretmek için tasarlanmıştır. Çok azı hızlı, denetlenebilir ve prodüksiyona hazır olacak şekilde tasarlanmıştır. Birinci bölüm grafik öncelikli kanıtı tanıttı. İkinci bölüm sayıları gösteriyordu. Üçüncü bölüm, Venüs'ün üretime girmesi için yol haritasıdır. zkVM Üçlemesi finaline hoş geldiniz. 🧵

2/ Aşama 1: Performans. İlk günden itibaren çekirdek yürütme arayüzü olarak HAL değil, hesaplamalı grafiği kullanıyoruz. Erken cudaGraph entegrasyonu RTX 5090'da %9–12 iyileşme gösteriyor. Hedef: %15+, sırada çoklu GPU olacak. Her optimizasyon birleşir.

3/ Aşama 2: Güvenlik Aynı grafik performansını yönlendiren cihaz, ispat protokolünü kendisi de makine tarafından kontrol edebilir. Temel bilgi: ZK argüman türleri küçük ve sayılanabilir – SumCheck sadece ikiye ayrılır. Sonlu güvenilir bir kütüphane oluşturun, herhangi bir protokolü mekanik olarak doğrulayın.

4/ Aşama 3: rbuilder entegrasyonu. Blok yapım yavaş bir kanıtlayıcıyı bekleyemez. Bu yüzden, yeniden organizasyona dayalı önlem ve kanıtlama dolduğunda zarif bir yedekleme ile asenkron bir boru hattı inşa ediyoruz. Amaç: ZK, canlı blok üretimine uyum sağladığını ve yavaşlatmadığını kanıtlamak.

5/ Aşama 4: Ekonomi. Bir zkEVM düğümü kendini sürdürebilir mi? Kontrol ücretleri, MEV paylaşımı ve protokol teşviklerini donanım ile operasyon maliyetlerine karşı 3 GPU konfigürasyonunda (tek RTX 5090'dan 8x'e kadar) modelleyerek başa baş noktayı buluyoruz. Grafik önceliği ancak çalıştırılması mümkünse kazanır.

6/ Çoğu ZK kanıtlayıcısı doğru ispatlar üretmek için tasarlanmıştır. Doğru ispatlar temel unsurdur. Hızlı, denetlenebilir, üretime hazır ve sürdürülebilir bir sürüm inşa ediyoruz. İşte grafik önceliği bunu mümkün kılıyor. Bölüm III'ü okuyun: