Microsoft, Magnetar zkVM’yi duyurdu: 15 testte 10-39 kat işlem hacmi

Microsoft (MSFT), genel amaçlı programların yürütme sonuçlarını doğrulayan sıfır bilgi sanal makinesi (zkVM) Magnetar’ı tanıttı. Araştırmacılar, 15 test görevinde karşılaştırılan mevcut sistemlerden daha yüksek kanıtlama işlem hacmi elde etti.

Microsoft Research, 15 Ekim tarihli duyurusunda Magnetar’ın bir dizüstü bilgisayarda saniyede 7,2 milyon ila 8,7 milyon işlemci talimatının yürütülmesini kanıtladığını açıkladı. Aynı cihazda yapılan 15 testte sistem, karşılaştırılan mevcut çözümlerden ortalama 10 ila 39 kat yüksek işlem hacmi kaydetti. Kanıtların doğrulanması yaklaşık 12 milisaniye sürdü. Makale özetinde geometrik ortalama hız artışı SP1 Hypercube’e kıyasla yaklaşık 39 kat, Jolt-Dory’ye kıyasla 18 kat ve Jolt-Akita’ya kıyasla 9,6 kat olarak verildi. Sonuçlar, araştırmacıların seçtiği görevler, karşılaştırma sistemleri ve test ortamıyla sınırlı.

Sıfır bilgi kanıtı, programı yeniden çalıştırmadan sonucun belirli bir hesaplamadan elde edilip edilmediğini doğrulamaya yarıyor. Kanıtın türüne bağlı olarak girdi verileri açıklanmadan da doğrulama yapılabiliyor. Blokzincirlerde bu teknoloji, zincir dışında gerçekleştirilen hesaplamaların doğruluğunu kanıtlamak ve doğrulayıcıların sonucu kontrol etmesini sağlamak için kullanılabiliyor.

Magnetar, işlemci komut seti RISC-V için derlenen programların yürütülmesini kanıtlıyor. Geliştiriciler Rust, Go ve C dillerinde yazdıkları programları derleyerek sistemi kullanabiliyor. Araştırmacılar, test görevleri arasında küçük bir Ethereum Sanal Makinesi (EVM) yorumlayıcısında işlenen token transferlerinin de bulunduğunu açıkladı.

Microsoft Research, uzun hesaplamaların parçalara ayrılıp ayrı ayrı kanıtlandıktan sonra birleştirilebildiği tasarımın, defterler veya blokzincirler gibi uzun süre çalışan sistemlerde uygulanabileceğini belirtti. Ancak testlerde ticari bir rollup’ın tüm işletme maliyetleri ya da kullanıcı ücretleri ölçülmedi. Araştırmacıların bildirdiği işlem hacmi, belirli bir ağda sağlanacak maliyet düşüşü olarak yorumlanamaz.

Güvenlik tasarımında SHA-256 ve SHA-3 gibi standart özet fonksiyonları kullanıldı. Microsoft Research, eliptik eğri veya kafes tabanlı kriptografiye ve güvenilir kurulum aşamasına ihtiyaç duyulmamasını kuantum sonrası tasarımın özellikleri arasında gösterdi. Makale özetinde test ortamındaki kanıt boyutu yaklaşık 600 KiB, doğrulama süresi ise 11 ila 13 milisaniye olarak kaydedildi. Bunlar araştırmacıların tasarım açıklaması ve test sonuçları; gerçek dağıtım ortamına ilişkin bir değerlendirme değil.

Magnetar’ın performansı ve güvenlik özellikleri, araştırmacıların seçtiği görevler ve test ortamında raporlandı. Açıklanan testlerde küçük bir EVM yorumlayıcısı görevi yer aldı; ancak sistemin ticari bir blokzincire entegre edilmesiyle elde edilen sonuçlar veya gerçek maliyet ölçümleri paylaşılmadı.