@ziskvm sisteminin üzerine grafik tabanlı bir zkVM inşa ediyoruz. Amacımız: Kanıtlayıcı mimariyi ilk prensiplerden yeniden düşünmek, böylece daha iyi performans, taşınabilirlik ve güvenlik elde etmek. 🧵

ZKP ispat ediyor ve "hız öncelikli" bir döneme giriyor. Artık neredeyse her isbatçı GPU hızlandırmasını destekliyor (CUDA, Metal vb.). Ama donanım yüklemesinin arkasındaki mimari, ham donanım kadar önemlidir.

Bugün iki ana yaklaşım vardır: - HAL Modu: aynı fonksiyon çağrıları, farklı donanım arka uçları. - Grafik Modu: Tüm kanıtlama sürecini hesaplamalı bir grafik olarak kodlayın, ardından platform başına optimize edip derleyin.

Bölünme açık: - Grafik Modu → Yapay Zeka sistemleri - Çoğu ZKP ispatlayıcısı HAL Modu → (tarihsel, CPU öncelikli nedenlerle) HAL kullanışlıdır, ancak hesaplamanın küresel yapısını gizler.

Grafik Modu, tüm kanıtlayıcıyı açık ve incelenebilir hale getirir, daha derin optimizasyon, platformlar arası yürütme ve daha güçlü güvenlik ile denetim sağlar. Yaklaşan yazıda, bu tasarımın grafik tabanlı zkVM'mizi nasıl şekillendirdiğini ve neleri açtığını paylaşacağız. ⚡️