Microsoft Research prezentuje Magnetar – system dowodów zero-knowledge dla zwykłego kodu
W skrócie: Microsoft Research opublikował Magnetar – zero-knowledge wirtualną maszynę (zkVM), która generuje kryptograficzne dowody poprawnego wykonania programu, bez konieczności ponownego uruchamiania go czy zaufania operatorowi. Zamiast zmuszać programistów do przepisywania aplikacji na niestandardowe obwody kryptograficzne, Magnetar dowodzi wykonania standardowego kodu maszynowego RISC-V, dzięki czemu programy napisane w Rust, Go lub C można skompilować normalnie i udowodnić w niezmienionej postaci. Testy na 15 programach pokazują przetwarzanie 7,2-8,7 miliona instrukcji na sekundę na laptopie, przy czym weryfikacja dowodu zajmuje około 12 milisekund, a bezpieczeństwo kryptograficzne opiera się wyłącznie na standardowych funkcjach skrótu, takich jak SHA-256 czy SHA-3, a nie na krzywych eliptycznych czy schematach opartych na kratach.
To podsumowanie zostało automatycznie przygotowane przez sztuczną inteligencję na podstawie publikacji „Microsoft Research”. To nasz tekst, nie kopia oryginału — fakty, liczby i cytaty należą do źródła, do którego link znajduje się powyżej i poniżej.
Co się zmieniło?
- 1Kompiluje i dowodzi zwykłych programów w Rust, Go lub C poprzez wykonanie RISC-V, bez ręcznego projektowania obwodów
- 2Prędkość w testach wynosi 7,2-8,7 miliona udowodnionych instrukcji na sekundę na laptopie (9,5-12,8 miliona w zoptymalizowanej wersji)
- 3Wśród 15 programów testowych średnio 10-39 razy szybszy od najszybszych porównywalnych systemów zkVM, a w jednym przypadku ponad 300 razy szybszy
- 4Weryfikacja dowodu trwa około 12 milisekund
- 5Opiera się wyłącznie na standardowych funkcjach skrótu (SHA-256/SHA-3), bez krzywych eliptycznych, krat czy zaufanej konfiguracji (trusted setup)
- 6Bazuje na ponad dekadzie wcześniejszych prac Microsoft Research, w tym Spartan, Phalanx, rodzinie Nova, Brakedown, Jolt i BinarySpartan
Dlaczego to ważne?
Dowody zero-knowledge pozwalają dowolnej stronie zweryfikować, że obliczenie zostało wykonane poprawnie, bez konieczności powtarzania pracy czy zaufania operatorowi — ma to znaczenie przy audytowaniu działań agentów AI, weryfikacji zgodności z regulacjami czy sprawdzaniu przetwarzania transakcji bez ujawniania prywatnych danych. Ponieważ Magnetar nie korzysta z krzywych eliptycznych ani krat, unika ryzyka kryptograficznego związanego z przyszłymi komputerami kwantowymi, jednocześnie oferując znaczny wzrost wydajności w porównaniu z wcześniejszymi systemami dowodzenia, co przybliża tę technologię do praktycznego zastosowania przez zwykłych programistów, a nie tylko specjalistów od kryptografii.
Źródła
- Microsoft ResearchOficjalneŹródło pierwotneOryginalny artykuł →„Proof-based general-purpose computing with Magnetar“15 paź 2026, 19:00
- Data publikacji źródła
- 15 paź 2026, 19:00
- Znalezione przez nasz system
- 15 paź 2026, 19:11
- Podsumowanie wygenerowano
- 15 paź 2026, 19:14
Artykuł napisała AI na podstawie oryginalnego źródła. Fakty, liczby i ceny pochodzą ze źródła; brakujące wartości oznaczono „Brak oficjalnych danych”. Informacje prawne, prawa autorskie i prywatność