Magnetar przyspiesza dowody dla zwykłego kodu, lecz rachunek za zaufanie zostaje

Microsoft Research opublikował Magnetar, przezroczystą zkVM dla programów kompilowanych do zestawu instrukcji RV64I. Dowód może potwierdzić poprawne wykonanie programu bez ponownego uruchamiania całych obliczeń, a zależnie od zastosowania także bez ujawniania poufnych danych wejściowych.

RV64I zamienia obwód kryptograficzny w zwykły cel kompilacji

Bezpieczeństwo opiera się na standardowych funkcjach skrótu, takich jak SHA-256 lub SHA-3, bez trusted setup. Implementacja w Rust zakłada 120 bitów deklarowanego bezpieczeństwa. Na MacBooku Pro z M4 Max i 12 rdzeniami wydajnościowymi osiągnęła 6,5 do 7,7 miliona cykli na sekundę. Dowody miały około 600 KiB, a ich weryfikacja trwała 10 do 12 ms.

W 15 zadaniach autorzy raportują przepustowość od 22 do 57 razy wyższą niż SP1 Hypercube. W porównaniu z dwiema odmianami Jolt podają przewagę od 5 do 33 razy, zależnie od systemu i zadania.

Zwykły toolchain obniża próg wejścia dla programistów

RV64I jest ważniejsze niż sam rekord. Kod w Rust lub Go można skierować do ogólnego zestawu instrukcji, zamiast ręcznie przepisywać aplikację na wyspecjalizowany obwód kryptograficzny. Otwiera to drogę do weryfikowalnych zadań chmurowych, audytu obliczeń i aplikacji blockchainowych.

Kosztowne obliczenie wykonuje się raz, a odbiorcy sprawdzają niewielki dowód. Jeśli integracja pozostanie bliska zwykłemu developmentowi, dowody mogą stać się częścią wdrożenia, a nie osobnym projektem badawczym.

Wygrana w jednym benchmarku nie rozstrzyga wyboru produkcyjnego

Wyniki pochodzą od autorów i z jednej konfiguracji sprzętowej. Porównania zkVM zależą od zadania, kompilatora, pamięci, równoległości i profilu bezpieczeństwa. Mniejszy dowód nie zawsze oznacza tańszy system. Jolt generował tu dowody poniżej 100 KiB, podczas gdy Magnetar zużywa około 600 KiB dla innego zestawu założeń i wydajności.

Określenie postkwantowy dotyczy tu bezpieczeństwa opartego na standardowych funkcjach skrótu. Nie obejmuje automatycznie aplikacji, kompilatora ani kodu uruchamianego w zkVM.

Wdrożenia ujawnią koszt pamięci i przenośności

Liczyć się będą powtórzone testy na serwerach x86 i ARM, zużycie pamięci w długich zadaniach oraz koszt pojedynczego dowodu. Niezależne zespoły powinny też uruchomić istniejące programy w Rust i Go bez dużych przeróbek.

Dopiero produkcja pokaże, czy szybsza kryptografia usunęła wąskie gardło, czy przeniosła je do kompilatora, operacji i audytu.

Werdykt Lilith

Magnetar wręcza weryfikującemu rachunek o rozmiarze 600 KiB zamiast całego przeliczenia. Teraz niezależne zespoły muszą sprawdzić, czy suma zgadza się także poza laboratorium Microsoftu.