Cysic, ZK kanıt oluşturma için Venus adlı yeni bir açık kaynak zkVM motorunu piyasaya sürdü

Cysic, kanıt oluşturmayı geleneksel bir donanım soyutlama katmanı yerine küresel bir hesaplama grafiği etrafında yeniden yapılandıran yeni bir açık kaynak zkVM işlem motoru olan Venus'ü piyasaya sürdü ve şirketin ZisK yığınını doğrudan Ethereum'un ortaya çıkan L1 kanıt pazarı tartışmasının içine yerleştirdi. Cysic, X'te yaptığı duyuruda, Venus'ü "ZisK üzerine inşa edildiğini" ve sistemin, tüm kanıt boru hattının grafik tabanlı bir temsili lehine "geleneksel HAL modelini terk ettiğini" belirtti. Ekip, "Bu paradigma değişikliği üç temel avantaj sağlıyor: küresel işlem optimizasyonu, etkisiz veri hareketinin azaltılması ve belirgin şekilde iyileştirilmiş GPU kullanımı" diye yazdı.

Geleneksel donanım arka uçlarını bir dizi izole fonksiyon çağrısı olarak ele almak yerine, Venus sıfır bilgi kanıt oluşturmayı, GPU'lar, FPGA'ler ve gelecekteki ASIC'ler genelinde uçtan uca zamanlanabilen açık bir hesaplama grafiği olarak kodluyor. Cysic, bunun derleyicinin "çekirdek sınırları arasında talimatları yeniden sıralamasına ve bellek işlemlerini birleştirmesine" olanak sağladığını, CPU ve hızlandırıcı arasındaki bellek hareketini azalttığını ve MSM ve NTT işlemlerinin yoğun paralel karakterine daha iyi uyum sağladığını belirtiyor. Dahili testlerde, Venus motoru, öncelikle ham donanım kazançlarına güvenmek yerine, CPU-GPU senkronizasyon yükünü azaltarak "ZisK 0.16.1'e kıyasla %9'un üzerinde uçtan uca kanıt süresi iyileştirmesi" sağladı.

Venus duyurusu, Ethereum'un EIP-8025 önerisi, "İsteğe Bağlı Yürütme Kanıtları" olarak adlandırılan, zkVM'leri kullanarak L1 blok doğrulama için çoklu bir kanıtlayıcı modelini resmileştirdiği sırada gerçekleşti. Cysic, açıklamasında, ZisK'in "resmi topluluk tartışmalarında açıkça aday olarak adlandırılan beş zkVM'den biri" olduğunu ve ekibin zaten "24 GPU kullanarak 7.4 saniyede bir Ethereum bloğu için kanıt oluşturmayı tamamlayabildiğini" ve gerçek zamanlı hedeflere ulaştığını belirtiyor. Proje, "tek bir RTX 4090 kullanarak Ethereum blokları için gerçek zamanlı kanıtlar göndererek zaten Ethproofs'ta canlı" ve ekosistem L1 kanıt pazarına doğru ilerlerken bir Ethproofs entegrasyon ortağı olarak listeleniyor.

Cysic, Venus'ü, protokol giriş noktasında ZisK zkVM, hesaplama tabanı olarak özel ASIC donanımı ve kanıtlayıcılar arasında işleri zamanlamak için bir ComputeFi ağı içeren daha büyük bir yığının içindeki yazılım hızlandırma çekirdeği olarak çerçeveliyor. Ekip, "Gerçek sorun, yetersiz ham işlem gücü değil, temel bir mimari uyumsuzluk" olduğunu savunarak, Ethereum'un planlanan zkEVM yol haritasını aşırı ölçeklendirmek için sıkı bir şekilde entegre bir zkVM, donanım ve zamanlama yığınına ihtiyaç duyulduğunu savunuyor.