Uniwersalne obliczenia oparte na dowodach z Magnetar podważają kompromis zkVM
Microsoft Research zaprezentował 15 października uniwersalne obliczenia oparte na dowodach z Magnetar, deklarując nawet 39-krotne przyspieszenie względem porównywalnych maszyn wirtualnych zero-knowledge. System potrafi generować dowody dla programów napisanych w popularnych językach, jednocześnie ukrywając prywatne dane wejściowe. Unika także kilku założeń kryptograficznych, które konkurencyjne rozwiązania przyjmują, aby zyskać wydajność.
To połączenie ma znaczenie, ponieważ systemy dowodowe zwykle zmuszały deweloperów do wyboru między szybkością, uniwersalnością a konserwatywnym podejściem do bezpieczeństwa. Magnetar ma na celu wyeliminowanie tej konieczności. Microsoft twierdzi, że może dowodzić wykonania zwykłych programów RISC-V z prędkością milionów cykli procesora na sekundę, przy bezpieczeństwie opartym na standardowych funkcjach skrótu.
Bezpośrednim rywalem nie jest jedna firma. Jest nim ugruntowany kompromis inżynieryjny stojący za systemami takimi jak Jolt, SP1 i innymi uniwersalnymi zkVM. Niektóre oferują krótsze dowody, dojrzałe narzędzia dla deweloperów lub inne profile wydajności. Magnetar twierdzi, że deweloperzy nie muszą już godzić się na te kompromisy, aby praktycznie wykorzystywać weryfikowalne obliczenia.
Uniwersalne obliczenia oparte na dowodach z Magnetar zmieniają argument dotyczący wydajności
Magnetar ma znaczenie, ponieważ łączy zwykły kod, wysoką przepustowość generowania dowodów i bezpieczeństwo postkwantowe w jednym systemie badawczym.
Maszyna wirtualna zero-knowledge, czyli zkVM, dowodzi, że program został wykonany poprawnie, bez konieczności ponownego uruchamiania go przez weryfikatora. Gdy włączona jest funkcja zero knowledge, dowód może również ukrywać prywatne dane wejściowe. Daje to odbiorcy potwierdzenie wyniku bez ujawniania poufnych danych leżących u jego podstaw.
Badania Microsoftu nad Magnetar przedstawiają system jako postęp w trzech powiązanych problemach. Generowanie dowodów musi być wystarczająco szybkie dla realistycznych obciążeń. Deweloperzy muszą móc używać normalnych programów zamiast ręcznie budowanych obwodów kryptograficznych. Bezpieczeństwo bazowe musi pozostać wiarygodne przez zakładany okres działania systemu.
Magnetar obsługuje programy kompilowane do RV64I, bazowego 64-bitowego zestawu instrukcji całkowitoliczbowych RISC-V. RISC-V zapewnia systemowi konwencjonalny model procesora i dostęp do dojrzałej infrastruktury kompilatorów. Deweloperzy mogą pisać oprogramowanie w Rust, Go lub C, kompilować je, a następnie dowodzić poprawności wynikowego wykonania.
Różni się to od systemów dowodowych, które wymagają przepisania aplikacji jako obwodu arytmetycznego. Obwód opisuje obliczenie za pomocą ograniczeń algebraicznych, które system dowodowy może przetwarzać. Jego budowa często wymaga specjalistycznej wiedzy, a zmiany w logice aplikacji mogą wymagać odpowiedniej pracy nad obwodem.
zkVM przenosi znaczną część tego obciążenia do wirtualnego procesora. System dowodowy weryfikuje zachowanie procesora instrukcja po instrukcji, dzięki czemu programy mogą korzystać ze standardowej ścieżki kompilacji. Deweloperzy nadal muszą wykonać pracę integracyjną, ale nie muszą wyrażać każdej aplikacji jako niestandardowego obwodu.
Microsoft podaje, że Magnetar dowodzi od 7,2 mln do 8,7 mln cykli na sekundę na MacBook Pro z M4 Max. Cytowany eksperyment wykorzystywał 12 rdzeni wydajnościowych oraz wykonania obejmujące 2²² cykli. Dowody miały około 600 KiB, a ich weryfikacja zajmowała od 11 do 13 milisekund.
Zoptymalizowana konfiguracja ma podobno osiągać od 9,5 mln do 12,8 mln cykli na sekundę. Microsoft twierdzi, że to usprawnienie zwiększa zmierzoną przewagę szybkości o około 1,3 raza. Są to benchmarki badawcze, a nie pomiary usługi produkcyjnej.
Towarzysząca publikacja techniczna porównuje Magnetar ze SP1 Hypercube, Jolt-Dory i Jolt-Akita w 15 obciążeniach. Zestaw testowy obejmuje haszowanie kryptograficzne, operacje na drzewach Merkle'a, podpisy oraz transfery tokenów w niewielkim interpreterze Ethereum Virtual Machine.
Według tych wyników Magnetar osiągnął geometrycznie uśrednioną przewagę przepustowości wynoszącą około 39 razy względem SP1 Hypercube. Zgłoszone średnie wynosiły około 18 razy względem Jolt-Dory oraz 9,6 razy względem Jolt-Akita. Poszczególne porównania znacznie różniły się zależnie od obciążenia.
Liczby te wyjaśniają, dlaczego ogłoszenie jest istotniejsze niż kolejny przyrostowy benchmark zero-knowledge. Magnetar nie twierdzi jedynie, że szybciej wykonuje obliczenia w wąskim, niestandardowym obwodzie. Twierdzi, że uniwersalny system oparty na hashach może przewyższać alternatywy zbudowane wokół mniej konserwatywnych komponentów kryptograficznych.
Ten argument dotyczący wydajności nadal ma swoje granice. Benchmarki przeprowadził twórca Magnetar na jednej konfiguracji laptopa. Środowiska produkcyjne wprowadzają inne ograniczenia pamięci, wzorce współbieżności, koszty sieciowe i rozmiary aplikacji. Niezależna replikacja określi, czy przewaga utrzyma się w tych warunkach.
Mimo to zgłoszone wyniki zmieniają ciężar dowodu. Systemy oparte na hashach często uznawano za konserwatywne, lecz kosztowne. Magnetar twierdzi, że konserwatywne fundamenty i konkurencyjna szybkość generowania dowodów mogą współistnieć.
Standardowe języki przybliżają dowody do zwykłego oprogramowania
Praktyczna zmiana nie polega wyłącznie na szybszej kryptografii, lecz na ścieżce prowadzącej od utrzymywanego kodu aplikacji do weryfikowalnego wykonania.
Najłatwiej zrozumieć zkVM Magnetar, śledząc w nim drogę programu. Deweloper pisze aplikację w obsługiwanym języku i kompiluje ją dla RISC-V. Magnetar następnie tworzy dowód, że wynikowe wykonanie procesora przebiegało zgodnie z określonym programem.
Weryfikator nie powtarza każdej instrukcji. Sprawdza zwięzły dowód reprezentujący poprawność wykonania. Microsoft twierdzi, że ta weryfikacja zajmuje około 12 milisekund w konfiguracji benchmarkowej, niezależnie od znacznie większego obciążenia reprezentowanego przez dowód.
Zmienia to grono osób, które mogą budować aplikacje wspierane dowodami. Niestandardowe obwody skupiają wiedzę w zespołach rozumiejących zarówno aplikację, jak i system dowodowy. Uniwersalny zkVM pozwala tradycyjnym inżynierom oprogramowania zachować więcej istniejących praktyk dotyczących języków, kompilatorów, testowania i przeglądu kodu.
To rozróżnienie jest szczególnie istotne dla oprogramowania, które często się zmienia. Polityki biznesowe, potoki danych, interpretery i reguły agentów ewoluują z czasem. Przebudowywanie niestandardowych obwodów przy każdej zmianie może przekształcić zapewnienie kryptograficzne w wąskie gardło procesu tworzenia oprogramowania.
Magnetar nie sprawia, że inżynieria dowodów znika. Zespoły muszą wybrać, jakie twierdzenia mają być dowodzone, zdefiniować dane wejściowe publiczne i prywatne oraz obsługiwać infrastrukturę generowania dowodów. Muszą również zweryfikować, czy skompilowane zachowanie odpowiada zamierzonej polityce wysokiego poziomu.
System przesuwa natomiast granicę specjalizacji. Kryptografowie mogą pracować nad zkVM i jego silnikiem dowodowym, podczas gdy deweloperzy aplikacji kierują swój kod na znaną architekturę procesora. Ten podział przypomina relację między inżynierami kompilatorów a programistami aplikacji.
Microsoft wskazuje interpreter Ethereum Virtual Machine jako jeden z przykładów. Implementacja EVM napisana w Rust lub Go może działać w Magnetar. Powstała w ten sposób konstrukcja może dowodzić wykonania istniejących smart kontraktów bez implementowania każdego kontraktu bezpośrednio jako nowego obwodu dowodowego.
Podejście to jest istotne także poza blockchainami. Instytucja finansowa mogłaby dowieść, że program przetwarzający transakcje egzekwował określone reguły, bez ujawniania każdej transakcji. Usługa danych mogłaby dowieść, że zastosowała uzgodnioną transformację do prywatnych rekordów.
Agenci AI stanowią kolejne możliwe zastosowanie. Agent mógłby dostarczyć dowód, że działanie przeszło przez zdefiniowany program polityki. Dowód potwierdzałby wykonanie tej polityki, choć nie wykazywałby automatycznie, że była ona kompletna lub sensowna.
To zastrzeżenie jest kluczowe. Dowód potwierdza precyzyjnie zakodowane twierdzenie. Nie dowodzi, że dane źródłowe były dokładne, polityka uwzględniła każde ryzyko ani że otaczający system nie został naruszony.
Obliczenia oparte na dowodach uzupełniają zatem audyty, kontrolę dostępu i bezpieczeństwo operacyjne. Nie zastępują ich. Ich szczególnym wkładem jest ograniczenie zaufania wymaganego wobec obliczenia, którego dane wejściowe i program zostały właściwie zdefiniowane.
Wyrażenie "Magnetar zkVM wyjaśniony" może brzmieć jak poradnik produktowy, lecz istotna wiadomość ma charakter architektoniczny. Microsoft argumentuje, że weryfikowalne wykonanie powinno stać się wspieraną przez kompilator właściwością zwykłego oprogramowania, a nie odrębną kategorią aplikacji.
Ta ambicja wywiera presję na każdy projekt uniwersalnego zkVM. Doświadczenie deweloperów nie wystarcza już, jeśli generowanie dowodów pozostaje kosztowne. Surowa szybkość jest również niewystarczająca, jeśli zależy od założeń, które klienci spodziewają się później zastąpić.
Magnetar vs Jolt ujawnia rzeczywisty kompromis kryptograficzny
Sednem rywalizacji nie jest wyłącznie szybkość Magnetar vs Jolt, lecz standardowe hashe kontra krótsze dowody i alternatywne założenia.
Jolt jest użytecznym punktem odniesienia, ponieważ projekty mają wspólne korzenie intelektualne i architektoniczne. Oba wykorzystują RISC-V do obsługi programów ogólnego przeznaczenia i opierają się na badaniach, które obniżają koszt dowodzenia instrukcji procesora oraz operacji pamięciowych.
Jolt korzysta z argumentów lookup, które pozwalają systemowi dowodowemu ustalić, że wartości należą do zdefiniowanych wcześniej tabel. Umożliwia to wydajniejsze reprezentowanie instrukcji procesora niż wyrażanie każdej z nich przez dużą kolekcję niskopoziomowych ograniczeń.
Repozytorium open source Jolt opisuje projekt jako rozszerzalny zkVM RISC-V. Oznacza też obecne oprogramowanie jako alpha i nieodpowiednie do użycia produkcyjnego. To ostrzeżenie ilustruje szerszą lukę między obiecującymi badaniami nad dowodami a niezawodną infrastrukturą.
Microsoft ocenił dwie konfiguracje Jolt. Jolt-Dory wykorzystuje założenia dotyczące krzywych eliptycznych, podczas gdy Jolt-Akita używa kryptografii opartej na kratkach. Publikacja Magnetar podaje, że obie generują dowody mniejsze niż 100 KiB, w porównaniu z dowodami Magnetar o rozmiarze około 600 KiB.
Mniejsze dowody mogą obniżyć koszty przechowywania i transmisji. Ta korzyść ma znaczenie, gdy dowody przechodzą przez sieci o ograniczonych zasobach lub gromadzą się w dużych ilościach. Rozmiar dowodu może również wpływać na sposób, w jaki system łączy weryfikację między warstwami.
Magnetar akceptuje większy dowód w zamian za węższy fundament bezpieczeństwa. Microsoft twierdzi, że jego bezpieczeństwo opiera się na standardowych funkcjach skrótu, takich jak SHA-256 lub SHA-3. Nie polega na krzywych eliptycznych, założeniach kratkowych, wyspecjalizowanych hashach algebraicznych ani zaufanej konfiguracji.
Zaufana konfiguracja to jednorazowy proces tworzenia tajnych parametrów dla niektórych systemów dowodowych. Jeżeli tajny materiał zostanie zachowany lub skompromitowany, atakujący może sfałszować dowody. Systemy transparentne unikają tej procedury i związanego z nią obciążenia w zakresie zarządzania.
Systemy oparte na krzywych eliptycznych mogą zapewniać kompaktowe dowody i wydajną weryfikację, lecz wystarczająco wydajne komputery kwantowe zagroziłyby ich bezpieczeństwu. Systemy oparte na kratkach zaprojektowano tak, aby były odporne na znane ataki kwantowe, chociaż zależą od innych założeń matematycznych.
Stanowisko Magnetar jest bardziej konserwatywne. Standardowe funkcje skrótu były analizowane i wdrażane przez dekady. Są także obecne w istniejącym oprogramowaniu i sprzęcie, co zapewnia implementatorom sprawdzone ścieżki optymalizacji.
Nie czyni to jednak funkcji skrótu nieomylnymi. Magnetar nadal zależy od ich właściwości bezpieczeństwa oraz od poprawności implementacji. „Postkwantowy” oznacza odporność na obecnie znane ataki kwantowe, a nie trwałą gwarancję wobec każdego przyszłego odkrycia.
Mimo to konstrukcje oparte na funkcjach skrótu mają wsparcie instytucjonalne. W 2024 roku NIST ustandaryzował SLH-DSA, bezstanowy schemat podpisu opartego na funkcjach skrótu wywodzący się z SPHINCS+, w FIPS 205. Standard ten dotyczy podpisów cyfrowych, a nie zkVM, lecz pokazuje, dlaczego organizacje postrzegają funkcje skrótu jako konserwatywny fundament postkwantowy.
SP1 Hypercube stanowi kolejny punkt odniesienia. Artykuł Microsoftu opisuje go jako rozwiązanie „oparte na funkcjach skrótu i nie tylko”, ponieważ jego podstawowe mechanizmy uwzględniają założenia wykraczające poza zwykłe bezpieczeństwo funkcji skrótu. Według badaczy dowody Magnetar były około 4,6 razy mniejsze niż w SP1 Hypercube.
Porównanie wydajności jest uderzające, ale nie należy traktować go jako pełnego rankingu produktów. Na wybory wdrożeniowe wpływają również narzędzia deweloperskie, obsługiwane instrukcje, akceleracja sprzętowa, koszty rekurencji, niezawodność operacyjna i integracja z ekosystemem.
Magnetar vs Jolt to zatem rywalizacja między pakietami bezpieczeństwa i rozwiązań inżynieryjnych, a nie pojedynczymi kolumnami benchmarków. Konfiguracje Jolt oferują zauważalnie mniejsze dowody. Magnetar deklaruje wyższą zmierzoną przepustowość i mniej bazowych założeń.
Wynik wywiera presję na konkurentów, by wyraźniej uzasadniali swoje wybory. Zespół wybierający obecnie zkVM ma powody pytać, jakie założenia zabezpieczają dowodzącego, jak łatwo mogą się one zmienić oraz które koszty nie są widoczne w nagłówkowej przepustowości.
BinarySpartan przekuwa konserwatywne bezpieczeństwo w szybkość
Podstawowy mechanizm Magnetar łączy obliczenia binarne, standardowe funkcje skrótu i rekurencyjną weryfikację, zamiast traktować je jako odrębne problemy.
Magnetar opiera się na BinarySpartan, systemie dowodowym przenoszącym wcześniejszą konstrukcję Spartan do pól binarnych. Pole binarne reprezentuje wartości za pomocą arytmetyki zorientowanej na bity, co czyni je naturalnym środowiskiem dla logiki procesora i standardowych funkcji skrótu.
Spartan, wprowadzony w 2019 roku, zapewnił dowody ogólnego przeznaczenia bez konieczności zaufanej konfiguracji. Wykorzystywał protokół sum-check, który pozwala weryfikatorowi sprawdzić duże, ustrukturyzowane obliczenie za pomocą znacznie mniejszej wymiany informacji algebraicznych.
Późniejsze projekty zajęły się różnymi wąskimi gardłami wydajności. Phalanx wykorzystywał powtarzalną strukturę wykonywania instrukcji przez procesor. Brakedown opracował szybkie podejście do zobowiązań opartych na funkcjach skrótu. Lasso, Twist, Shout i powiązane prace obniżyły koszt dowodzenia wyszukiwań oraz operacji pamięciowych.
Magnetar łączy te nurty badań, zamiast opierać się na jednym odizolowanym wynalazku. Jego opis procesora korzysta z powtarzalnej struktury cyklu instrukcji. Sprawdzanie pamięci wykorzystuje techniki zaprojektowane z myślą o wydajnych odczytach i zapisach wewnątrz dowodu.
BinarySpartan współpracuje także z Ligerito, schematem zobowiązań wywodzącym się z Brakedown. Zobowiązanie pozwala dowodzącemu związać się z danymi bez ich natychmiastowego ujawniania. Weryfikator może później sprawdzić ujawnienia względem zobowiązanej wartości.
Przełączanie pierścieni zapewnia kolejny komponent. Umożliwia systemowi efektywne tworzenie zobowiązań wobec wektorów bitów przy przechodzeniu między reprezentacjami algebraicznymi dostosowanymi do różnych etapów. Technika ta pomaga połączyć ślady wykonania procesora z binarną arytmetyką systemu dowodowego.
Komponenty te są ważne, ponieważ zkVM musi dowieść więcej niż instrukcji arytmetycznych. Musi uwzględnić dekodowanie instrukcji, rejestry, spójność pamięci, rozgałęzienia oraz relację między kolejnymi stanami maszyny.
Pamięć była historycznie szczególnie kosztowna. Dowód musi wykazać, że każdy odczyt zwrócił właściwą wcześniej zapisaną wartość, bez odtwarzania zwykłego systemu pamięci wewnątrz weryfikatora. Wydajne argumenty dotyczące pamięci kompresują tę kontrolę spójności.
Magnetar obsługuje także rekurencję, co oznacza, że jeden dowód może poświadczać weryfikację innego dowodu. Pozwala to podzielić długie obliczenie na zarządzalne części, a następnie je połączyć.
Rekurencyjne systemy dowodowe czasem napotykają niewygodne niedopasowanie. Weryfikacja wykorzystuje operacje, które maszyna wirtualna dowodzącego obsługuje nieefektywnie. Dowodzenie działania weryfikatora może wtedy stać się znaczącym kosztem.
Magnetar próbuje uniknąć tego niedopasowania. Jego praca weryfikacyjna składa się głównie ze standardowego obliczania funkcji skrótu i arytmetyki pola binarnego. Są to te same operacje, których BinarySpartan został zaprojektowany do efektywnego dowodzenia.
Rezultatem jest rodzaj zgodności architektonicznej. System dowodzi zwykłego binarnego działania procesora, zabezpiecza zobowiązania standardowymi funkcjami skrótu i może efektywnie dowodzić działania własnego weryfikatora. Każda warstwa wzmacnia ten sam model obliczeniowy.
Microsoft twierdzi, że konstrukcja ta może obsługiwać obliczenia o dowolnej długości poprzez dowodzenie fragmentów i ich składanie. Wskazuje także długo działające rejestry i blockchainy jako potencjalne cele.
Dowolna długość nie oznacza stałego kosztu. Ktoś nadal musi wykonać obliczenie i wygenerować każdy segment dowodu. Rekurencja zmienia skalowanie weryfikacji i agregacji, lecz nie eliminuje pracy związanej z dowodzeniem.
Mechanizm ten wyjaśnia zgłaszaną szybkość. Magnetar nie dokłada bezpieczeństwa postkwantowego do istniejącej konstrukcji zorientowanej na krzywe. Od początku organizuje procesor, zobowiązania, argumenty pamięciowe i rekurencję wokół operacji przyjaznych dla bitów.
To najsilniejsza część opowieści o Magnetar zkVM z perspektywy inżynierii. Jego deklaracje dotyczące szybkości i bezpieczeństwa wynikają z tej samej decyzji projektowej, a nie z dwóch niepowiązanych optymalizacji.
Benchmarki pozostawiają ważne pytania bez odpowiedzi
Magnetar zmienił porównania badawcze, lecz nie potwierdził jeszcze gotowości produkcyjnej ani uniwersalnej przewagi.
Pierwsza niepewność dotyczy niezależnej walidacji. Dostępne dane dotyczące wydajności pochodzą od Microsoft Research i z jego artykułu technicznego. Zespoły zewnętrzne muszą odtworzyć te wyniki na porównywalnym sprzęcie, wersjach oprogramowania i danych wejściowych obciążeń.
Wybór benchmarków również ma znaczenie. Piętnaście aplikacji stanowi więcej dowodów niż pojedynczy test syntetyczny, lecz nie reprezentuje każdego obciążenia produkcyjnego. Programy intensywnie korzystające z baz danych, duże interpretery, nietypowe wzorce pamięci oraz długotrwałe usługi dla wielu użytkowników mogą ujawnić inne wąskie gardła.
Przepustowość cykli to tylko jedna metryka. Zespoły interesują również szczytowe zużycie pamięci, opóźnienie generowania dowodu, koszty uruchomienia, skalowanie równoległe, efektywność chmurowa i odzyskiwanie po awarii. Czynniki te mogą zdominować ekonomikę wdrożonego dowodzącego.
Rozmiar dowodu 600 KiB zasługuje na szczególną uwagę. Jest mniejszy niż w porównaniu z SP1 Hypercube przedstawionym w artykule, ale większy niż zgłoszone dowody Jolt. Aplikacje publikujące lub przesyłające duże wolumeny dowodów muszą bezpośrednio ocenić tę różnicę.
Obsługa języków również wymaga ostrożnej interpretacji. Rust, Go i C mogą kompilować się do RISC-V, lecz nie każda funkcja języka, biblioteka, wywołanie systemu operacyjnego czy zachowanie środowiska uruchomieniowego działa automatycznie wewnątrz zkVM. Znajomy język źródłowy nie oznacza nieograniczonej kompatybilności.
Deweloperzy potrzebują udokumentowanych łańcuchów narzędzi, debuggerów, wsparcia profilowania, powtarzalnych kompilacji i jasnego raportowania błędów. Dojrzałe wsparcie kompilatora pomaga, ale zkVM nadal definiuje ograniczone środowisko wykonawcze.
Przegląd bezpieczeństwa pozostaje kolejnym wymaganiem. Fundament Magnetar może zależeć wyłącznie od standardowych funkcji skrótu na poziomie założeń kryptograficznych. Implementacja nadal obejmuje model procesora, kod dowodowy, kompilatory, interfejsy hosta i logikę aplikacji.
Błąd w którymkolwiek z tych komponentów mógłby prowadzić do niepoprawnego stwierdzenia lub podatnej na wykorzystanie integracji. Konserwatywne prymitywy zmniejszają jedną kategorię ryzyka. Nie usuwają zapewnienia jakości oprogramowania z planu wdrożenia.
Twierdzenie o odporności kwantowej także wymaga precyzyjnego sformułowania. Microsoft podaje, że Magnetar unika krzywych eliptycznych i opiera się na funkcjach skrótu uznawanych za odporne na znane ataki kwantowe. Algorytmy kwantowe nadal mogą wpływać na efektywny poziom bezpieczeństwa funkcji skrótu, dlatego wybór parametrów musi uwzględniać to obniżenie.
Microsoft umieszcza Magnetar w ramach szerszych działań migracyjnych. Jego harmonogram bezpieczeństwa kwantowego zakłada przejście produktów i usług na kryptografię postkwantową do 2029 roku. Magnetar jest zgodny z tym kierunkiem, lecz ogłoszenie badawcze nie czyni go wdrożoną usługą Microsoftu.
Dostępność komercyjna pozostaje więc ważnym otwartym pytaniem. Ogłoszenie opisuje wyniki badań i zaprasza organizacje do rozmowy o przypadkach użycia. Nie zawiera daty wydania produkcyjnego, zobowiązania dotyczącego poziomu usług ani szerokiej mapy wdrożeniowej.
Brak tych szczegółów nie osłabia wyniku technicznego. Zmienia to, co nabywcy powinni z niego wywnioskować. Magnetar obecnie wyznacza nowy poziom odniesienia w badaniach, a nie gotowy zamiennik istniejącej infrastruktury dowodowej.
Istnieje także ograniczenie semantyczne wspólne dla wszystkich systemów dowodowych. Magnetar może dowieść, że określony kod wykonał się na zobowiązanych danych wejściowych. Nie potrafi ustalić, czy kod reprezentował właściwą politykę ani czy źródło danych wejściowych przekazało prawdę.
Rozważmy agenta AI, który dowodzi zgodności z regułą zatwierdzania. Dowód może wykazać, że reguła została wykonana. Nie może wykazać, że pominięta reguła powinna była zablokować działanie ani że zewnętrzny kanał danych był dokładny.
Ten sam problem dotyczy finansów. Dowód może ustalić, że program przetwarzający transakcje przestrzegał zakodowanych ograniczeń bez ujawniania szczegółów transakcji. Regulatorzy i kontrahenci nadal muszą ocenić reguły, pochodzenie danych wejściowych, zarządzanie i warunki wyjątkowe.
Ograniczenia te powinny kształtować wdrażanie. Obliczenia oparte na dowodach są najsilniejsze tam, gdzie stwierdzenie, program i zobowiązania dotyczące danych wejściowych można precyzyjnie zdefiniować. Są słabsze, gdy organizacje oczekują, że kryptografia rozwiąże niejednoznaczną politykę lub niewiarygodne dane.
Trzy sygnały pokażą, czy Magnetar wyjdzie poza badania
Kolejnym testem będzie to, czy niezależni deweloperzy potrafią odtworzyć korzyści Magnetar i przekształcić je w trwałe aplikacje.
Pierwszym sygnałem są dowody publicznej implementacji. Badacze i deweloperzy potrzebują wystarczającej ilości kodu, parametrów, danych wejściowych benchmarków i instrukcji kompilacji, aby odtworzyć zakres od 7,2 mln do 8,7 mln cykli na sekundę.
Odtworzenie wyników na innych procesorach wzmocniłoby argument Microsoftu dotyczący wydajności. Wyniki silnie zmieniające się w zależności od sprzętu lub konfiguracji pamięci zawęziłyby go. Porównania powinny także wykorzystywać równoważne poziomy bezpieczeństwa i definicje obciążeń.
Szczegół ten ma znaczenie, ponieważ benchmarki systemów dowodowych są wyjątkowo wrażliwe na wybory implementacyjne. Konfiguracja może wymieniać rozmiar dowodu, pamięć, bezpieczeństwo lub przetwarzanie wstępne na wyższą przepustowość. Porównywalne etykiety nie zawsze oznaczają porównywalne gwarancje.
Drugim sygnałem będzie rzeczywista aplikacja utrzymywana przez zespół spoza grupy badawczej. Wiarygodne wdrożenie powinno korzystać ze zwykłego kodu Rust, Go lub C i generować dowody w realistycznych ograniczeniach operacyjnych.
Interpreter EVM jest jednym z możliwych testów. Równie pouczający byłby regulowany przepływ przetwarzania danych lub silnik polityk agentów. Najmocniejszy przykład publikowałby dane o opóźnieniach, użyciu pamięci, rozmiarze dowodu i awariach operacyjnych.
Takie wdrożenie sprawdziłoby twierdzenie, że obliczenia ogólnego przeznaczenia oparte na dowodach z Magnetar zmniejszają nakład specjalistycznej pracy programistycznej. Kompatybilność kompilatora, debugowanie i procedury aktualizacji są równie istotne jak przepustowość benchmarków.
Trzecim sygnałem będzie odpowiedź konkurencyjnych projektów zkVM. Jolt, SP1, RISC Zero i inne zespoły mogą kwestionować wyniki Microsoftu poprzez nowe benchmarki, mniejsze dowody, akcelerację sprzętową lub alternatywne analizy bezpieczeństwa.
Odpowiedź skupiona wyłącznie na maksymalnej liczbie cykli na sekundę wzmacniałaby narrację Magnetar. Odpowiedź wskazująca niższy całkowity koszt lub lepszą niezawodność produkcyjną mogłaby ją osłabić. Rynek potrzebuje porównań obejmujących cały proces generowania dowodów.
Konkurenci mogą również przyjąć bardziej konserwatywne komponenty. Jeśli bezpieczeństwo oparte na standardowych funkcjach skrótu stanie się wymogiem zakupowym, projekty będą musiały oferować zgodne tryby działania albo wyjaśnić, dlaczego ich założenia stanowią akceptowalną alternatywę.
Prace Microsoftu mogą zatem wpłynąć na projektowanie zkVM, nawet jeśli nie staną się dominującą implementacją. Podnoszą oczekiwany standard jednoczesnego wyjaśniania założeń bezpieczeństwa, zgodności programistycznej i kosztów rekurencji.
Deweloperzy powinni obserwować pojawienie się użytecznej wersji, niezależnych zestawów benchmarków oraz zastosowań, które potwierdzają coś więcej niż transakcje kryptowalutowe. Takie wydarzenia pokażą, czy architektura sprawdza się poza starannie kontrolowanymi obciążeniami badawczymi.
Klienci korporacyjni powinni zadawać inny zestaw pytań. Co dokładnie potwierdza dowód? Które dane wejściowe pozostają prywatne? Jakie założenia chronią dowód i jak system zareaguje, jeśli te założenia się zmienią?
Zespoły oceniające tę technologię potrzebują również trwałego rejestru warunków benchmarków i decyzji dotyczących bezpieczeństwa. Przeszukiwalna baza wiedzy inżynierskiej może łączyć artykuły naukowe, wyniki testów, notatki implementacyjne i ustalenia z przeglądów bez sprowadzania decyzji do jednej nagłówkowej liczby.
Uniwersalne obliczenia oparte na dowodach z Magnetar już podważyły znane założenie: konserwatywne bezpieczeństwo postkwantowe nie musi wymagać powolnych, wyspecjalizowanych programów. Następnym krokiem jest weryfikacja samego Magnetar. Czy niezależne zespoły potrafią odtworzyć te wyniki, utrzymać zwykłe aplikacje i zachować deklarowany poziom bezpieczeństwa pod presją środowiska produkcyjnego?
