Microsoft Magnetar ile program yürütmesini kanıtlama araştırmasını açıkladı
Microsoft Research, 15 Ekim’de Rust, Go veya C ile yazılıp RISC-V için derlenen programların yürütülmesine sıfır bilgi kanıtı üreten Magnetar sistemini tanıttı. Araştırma, girdileri açıklamadan veya işlemi yeniden çalıştırmadan sonuçların denetlenmesini hedefliyor.
Kaynak inceleme dönemi: 2026-10-15
Yayın: · Güncelleme:
Kaynak olay tarihini belirtmiyor; gösterilen dönem kaynak incelemesinin dönemidir.
Microsoft Research, 15 Ekim’de Rust, Go veya C ile yazılıp RISC-V için derlenen programların yürütülmesine sıfır bilgi kanıtı üreten Magnetar sistemini tanıttı. Araştırma, girdileri açıklamadan veya işlemi yeniden çalıştırmadan sonuçların denetlenmesini hedefliyor.
Microsoft, aynı dizüstü bilgisayardaki 15 test programında karşılaştırılabilir en hızlı önceki sistemlere göre ortalama 10–39 kat hız bildirdi. Güvenlik standart özet işlevlerine dayanıyor; yapay zekâ ajanlarının politika uyumunu kanıtlama örneği olası bir kullanım olarak anlatılıyor, kurulmuş bir hizmet olarak değil.
Veriler
Microsoft Magnetar ile program yürütmesini kanıtlama araştırmasını açıkladı
Microsoft Magnetar ile program yürütmesini kanıtlama araştırmasını açıkladı
- · Gerçekleşti
Araştırma yazısının yayımlanması
Microsoft Research, 15 Ekim’de Rust, Go veya C ile yazılıp RISC-V için derlenen programların yürütülmesine sıfır bilgi kanıtı üreten Magnetar sistemini tanıttı. Araştırma, girdileri açıklamadan veya işlemi yeniden çalıştırmadan sonuçların denetlenmesini hedefliyor.
Yöntem
Bildirilen araştırma sonuçları kaynağa atfedilmiştir; bağımsız performans ölçümü yapılmamıştır.
Güncelleme:
Konular ve yerler
Konu önerileri
- Bilim ve teknolojiÖneri
- Preserved editorial category/topic; broad candidate onlywww.microsoft.com ↗
Coğrafi referanslar
Yalnızca kaynakta bulunan coğrafi referanslar gösterilir. Harici haritayı açmak isteğe bağlıdır. İsteğe bağlı haber haritaları OpenStreetMap kullanır. Haritayı açtığınızda IP adresiniz ve site adresi harita sağlayıcısına iletilir; harita yüklenmeden konum verileri metin olarak okunabilir.
- Amerika Birleşik Devletleri · Yer rolü: Kapsam · Yer türü: Ülke veya bölge · Konum kesinliği: BölgeselKanıt
- Explicit preserved editorial country/region; no city or national centroid inferredwww.microsoft.com ↗