# 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.

- Kalıcı adres: https://newsverum.com/tr/news/microsoft-magnetar-verifiable-computing-research-october-2026
- Yayıncı: Newsverum
- Bölüm: Teknoloji
- Ülke: Amerika Birleşik Devletleri
- Yayın: 2026-10-15T20:19:53+00:00
- Güncelleme: 2026-10-15T20:19:53+00:00
- Kaynak inceleme dönemi: 2026-10-15
- Diğer sürümler: [English](https://newsverum.com/en/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [العربية](https://newsverum.com/ar/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Français](https://newsverum.com/fr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Español](https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Deutsch](https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Português](https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026.md)

*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ı

Yöntem: Bildirilen araştırma sonuçları kaynağa atfedilmiştir; bağımsız performans ölçümü yapılmamıştır.

| date | label | description | status |
|---|---|---|---|
| 2026-10-15 | 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. | occurred |

Kaynaklar: <https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/> · Veriyi indir: [JSON](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=tr&format=json) · [CSV](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=tr&format=csv)

## Kaynaklar

- [Microsoft Research](<https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/>) (Kaynak kontrolü: 2026-10-15; Yayın: 2026-10-15)

---

Alıntı için yukarıdaki kalıcı adresi kullanın. [Yayın ilkeleri ve düzeltmeler](https://newsverum.com/tr/editorial)