Badania Magnetar Microsoftu poprawiają efektywność dowodów w blockchainie

System Magnetar firmy Microsoft Research przyspiesza dowody wykonania programów, wykorzystując standardową kryptografię opartą na haszach. Ogłoszony 15 października, Magnetar rozwiązuje wysokie koszty generowania dowodów zerowej wiedzy, które weryfikują obliczenia bez zaufania do maszyny wykonawczej. System obsługuje kod skompilowany z Rust, Go i C, osiągając prędkości od 10 do 39 razy szybsze niż niektóre istniejące systemy dowodowe. Weryfikacja zajmuje około 12 milisekund na podstawie testów Microsoftu. Projekt Magnetara, oparty na standardowych funkcjach haszujących, ma na celu minimalizację zależności od kryptografii, która może być podatna na przyszłe ataki kwantowe. Niższe koszty dowodzenia mogą ułatwić weryfikowalne obliczenia offchain oraz złożoną logikę aplikacji w środowiskach blockchain. Jednak wyniki benchmarków nie gwarantują podobnych ulepszeń w produkcyjnych rollupach ani w przypadku wszystkich obciążeń smart kontraktów, ponieważ integracja, warunki sprzętowe i rozmiary dowodów są kluczowymi czynnikami. Dodatkowo technologia ta może umożliwić instytucjom i agentom AI produkcję weryfikowalnych dowodów zgodności oprogramowania z określonymi instrukcjami, jednocześnie chroniąc dane prywatne. Badania wskazują na potencjalną przyszłość, w której dowody kryptograficzne będą powiązane z bardziej rutynowymi zadaniami obliczeniowymi, uzależnioną od udanej implementacji poza warunkami laboratoryjnymi.