Fenbushi Capital yakın zamanda sekiz farklı zkVM'nin kıyaslanması üzerine kapsamlı bir blog yazısı yayınladı. () İşte önemli sonuçlar ve çıkarılımlar dahil olmak üzere bir özet.

zkVM'ler nedir? zkVM'ler, giriş veya ara hesaplama durumlarını açıklamadan program yürütme doğruluğunu kriptografik olarak doğrulamak için tasarlanmıştır. Ethereum bloklarını kanıtlamaya ilişkin olarak, zkVM'ler tüm durum geçişlerini doğrulamak için üç temel kriptografik güvence oluşturuyor: · Okuma-yazma belleği tutarlılık ispatları · Komut kodlama ispatları · Komut kanıtları

zkVM'ler Ethereum'u nasıl ölçekleyebilir? Her işlemi yeniden yürütmek yerine, doğrulamacılar çok verimli olan kısa bir kriptografik kanıtı doğrulayabilir ve L1'in verimliliğini önemli ölçüde artırabilir.

Fenbushi'nin blogu, zkVM performansını daha karşılaştırılabilir hale getirmeyi amaçlayan standartlaştırılmış bir kıyaslama çerçevesi sunuyor. Dört hesaplama görevi ve üç performans ölçütü (ispatlama süresi, ispat boyutu ve zirve RAM kullanımı) kapsamında sekiz zkVM — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus ve Novanet — değerlendiriyor.

Farklı kanıt sistemleri arasında FRI-STARK tabanlı, Nova tabanlı, Lasso arama tabanlı ve GKR gibi birkaç baskın sistem vardır. zkVM mimarileri ayrıca iki baskın paradigmaya ayrılabilir: vRAM stili ve modüler stil.

Kıyaslama için kullanılan donanım ve test programları: Benchmarklar, Ubuntu 24.04, 8 sanal CPU, 192GB RAM ve 32GB VRAM özellikli NVIDIA RTX 5090 GPU ile donatılmış bir Linux sisteminde yapıldı. Değerlendirme için kullanılan dört test programı şunlardı: 1. 100.000. Fibonacci sayısının hesaplanması. 2. SHA2–2048 hash hesaplaması. 3. secp256k1 eğrisi kullanılarak ECDSA imza doğrulaması. 4. 100 Ethereum Transfer İşleminin Simülasyonu (ETHTransfer).

SHA2–2048 için kanıtlama zamanı: SHA2 gibi kriptografik işlemler için, ön derleme tabanlı hızlandırma yaygın bir optimizasyon stratejisidir.

100 ETHTransfer İşlemleri için kanıtlama süreleri: Özet: RISC Zero, Fibonacci testinde SP1'den biraz daha yavaştır, ancak diğer üç test programında açık ara kazanan olarak öne çıkar.

Bellek verimliliği ve zirve bellek kullanımı: SP1 (GPU), RISC Zero (GPU), test programı ne olursa olsun nispeten sabit bellek tüketimi gösterdi.

Ispat boyutları (kB cinsinden) şu şekilde gözlemlenmiştir: RISC Zero ve Jolt, değerlendirilen benchmarklarda tutarlı olarak en kompakt proof boyutlarından biri üretti.

Performans özeti: Genel olarak, RISC Zero'nun performansı olağanüstü tutarlılık gösterirken, SP1, OpenVM, Pico ve Jolt bazı bireysel kategorilerde mükemmel performans sergiledi.

Sonuç: RISC Zero, OpenVM ve SP1, özellikle EVM ile ilgili hesaplama görevlerini yürütmede özellikle güçlü performans sergiliyor; bu da onları Ethereum ölçeklendirmesi için harika adaylar yapıyor. RISC Zero, blokzincir uygulamalarıyla ilgili ana metriklerde olağanüstü verimlilik sergiliyor ve tüm bunlar, verimli bellek kullanımı ve kompakt ispat boyutu ile birlikte. @RiscZero, @openvm_org ve @SuccinctLabs'i tebrikler!