Magnetar, sıfır bilgi kanıtlarını genel amaçlı hesaplama için hızlandırıyor
Microsoft Research'ın Magnetar projesi, sıfır bilgi kanıtlarını genel amaçlı hesaplama için pratik hale getiriyor. Rust, Go ve C programlarını RISC-V üzerinden kanıtlayarak, standart karma fonksiyonlarıyla post-kuantum güvenliği sağlıyor ve doğrulama süresini milisaniyelere indiriyor.
Bu yazıda
Ne değişti?
Magnetar, 15 farklı programda mevcut en hızlı benzer sistemlere göre ortalama 10 ila 39 kat daha hızlı kanıt üretir.
Sistem, güven kurulumu gerektirmeden yalnızca SHA-256 gibi standart karma fonksiyonlarına dayanan post-kuantum güvenli bir mimari sunar.
Neden önemli?
Magnetar, program doğruluğunu kimlik veya operatör güvenine değil, matematiksel kanıta dayandırarak yeni bir hesaplama paradigması sunuyor. Bu, yapay zeka ajanlarının eylemlerini veya finansal işlemleri bağımsız olarak doğrulamayı mümkün kılar.
Geliştirici için ne anlama geliyor?
Geliştiriciler Rust, Go veya C kodlarını derleyip doğrudan kanıtlayabilir; kripto devreleri yazma zorunluluğu kalkar. Bu, doğrulanabilir hesaplama altyapılarını kurmayı ve bakımını basitleştirir.
Henüz neyi bilmiyoruz?
- Kanıt üretimi, programın çalışmasından hâlâ daha fazla hesaplama gücü gerektirir; bu oran önceki sistemlere göre iyileşse de sıfır değildir.
- Sistem, RISC-V mimarisine derlenen programlarla sınırlıdır; diğer donanım hedefleri için ek derleme adımları gerekebilir.
Haberin kaynakları
Birincil kaynakProof-based general-purpose computing with Magnetar - Microsoft Researchwww.microsoft.comYayın tarihleri
- blue'og yayını
- Kaynak yayını
Bu yazı, bağlantılı kaynaklar okunarak yapay zekâ ile hazırlandı. Kaynaktaki bulguların yanı sıra kullanım alanları ve açıklanmayan noktalar da yer alır. Görsel ve videoların kaynakları üzerlerinde belirtilir; hakları sahiplerine aittir. En güncel ayrıntılar için kaynakları inceleyebilirsiniz.
