Magnetar: новый стандарт доверенных вычислений на базе стандартных хэш-функций

# Proof-based general-purpose computing with Magnetar

В мире современных вычислений каждый результат, производимый компьютером, поднимает неочевидный, но критический вопрос: насколько мы можем доверять этому результату? Традиционно ответ лежит в плоскости доверия к оператору, вендорчику или контрагенту, подкрепляемого аудитом и контрактами. Однако технологии доказательств с нулевым разглашением (Zero-Knowledge Proofs, ZKPs) предлагают радикально иной подход.

Новая система под названием Magnetar, разработанная Microsoft Research, демонстрирует зрелость этой технологии. Она позволяет запускать рабочие нагрузки, получая на выходе не только результат, но и короткий криптографический сертификат, подтверждающий его точность. Проверка такого доказательства занимает миллисекунды и не требует повторного выполнения вычислений или доверия к тому, кто их выполнял. При этом сама суть доказательства не раскрывает чувствительные данные, входные параметры или логику программы.

*Уминэ Наги:* Как тихий маяк в шторм цифровых данных, Magnetar не кричит о новизне ради внимания, а спокойно указывает на фундаментальный сдвиг в том, как мы определяем «правду» в распределенных системах.

Три грандиозные задачи и их решение

Идеи доказательств с нулевым разглашением появились еще в 1980-х годах, но их применение к общему целевому вычислению (general-purpose computing) тормозилось тремя взаимосвязанными вызовами, которые десятилетиями оставались нерешенными одновременно.

1. Эффективность (Speed): Исторически генерация доказательства требовала миллионов операций вычислений больше, чем само выполнение программы. Ранние прорывы снижали эту нагрузку, но часто ценились компромиссами в безопасности или универсальности. 2. Универсальность и удобство (Generality and usability): Многие системы требовали от разработчиков ручного переписывания кода в специальные криптографические схемы. Каждый изменения в приложении означало необходимость пересоздания всей схемы, что было не только трудоемким, но и источником новых уязвимостей. Magnetar доказывает выполнение обычных программ на архитектуре RISC-V, что позволяет использовать готовые компиляторы для языков Rust, Go и C. 3. Безопасность (Security): Большинство систем базировались на эллиптических кривых или новых, малоизученных криптографических примитивах. Это делало их потенциально уязвимыми для будущих квантовых компьютеров и лишало десятилетней проверки сообщества.

Magnetar делает прорыв во всех трех направлениях. Она работает на 10–39 раз быстрее предыдущих аналогов, поддерживает стандартные языки программирования и опирается исключительно на стандартные хэш-функции.

Как это работает: от теории к практике

Суть технологии проста в концепции, но сложна в реализации. Программа запускается, и вместе с результатом вычислений она генерирует доказательство корректности. Это короткое доказательство может быть проверено кем угодно — от пользователя до регулятора — за считанные миллисекунды.

Важнейшим аспектом является конфиденциальность. Из-за свойства нулевого разглашения само доказательство не раскрывает никаких входных данных. Это открывает двери для сценариев, ранее считавшихся невозможными:

* Регулируемые финансовые институты: Могут доказать корректность транзакций без публикации самих данных о движении средств. * AI-агенты: Могут подтверждать, что каждое их действие соответствовало заданной политике, не демонстрируя логику принятия решений.

Механизм Magnetar базируется на последовательности исследований Microsoft Research, начатых более десяти лет назад. Ключевыми были работы над оптимизацией повторения инструкций процессора, ранняя остановка протоколов доказательства (folding) и использование стандартных схем привязки (commitment schemes), таких как Brakedown. Финальным штрихом стало объединение этих элементов с бинарными полями, что позволило эффективно доказывать выполнение всей архитектуры процессора.

Техническая безопасность и скорость

Скорость — главный показатель успеха в этой области. Magnetar способна доказывать выполнение 7,2 до 8,7 миллионов инструкций процессора в секунду на обычном ноутбуке. В тестах на 15 бенчмарках средняя скорость составила 10–39 раз выше, чем у лучших существующих zkVM на том же оборудовании. Проверка одного доказательства занимает около 12 миллисекунд.

Уникальность подхода к безопасности заключается в отказе от эллиптических кривых и специализированных математических предположений. Вместо этого Magnetar использует стандартные хэш-функции, такие как SHA-256 или SHA-3. Это решает проблему квантового будущего: такие функции уже признаны консервативным вариантом постквантовой криптографии Национальным институтом стандартов и технологий (NIST). Опора на них устраняет необходимость миграции на новые алгоритмы в будущем, так как эти примитивы уже защищены десятилетним анализом сообщества.

Интересно, что проверка доказательства в Magnetar является обычной вычислительной задачей для самой системы. Она состоит из оценки тех же стандартных хэш-функций и арифметики в бинарных полях, которые система эффективно доказывает. Это позволяет ей масштабировать доказательство на любые размеры задач, включая работу с блокчейнами и долгосрочными реестрами.

Итог: рутина вместо элитарности

Мagnetar переносит технологии доказательств с нулевым разглашением из ниши экспериментальных исследований в плоскость инженерной практики. Инженерам больше не нужно быть криптографами; достаточно писать код на Rust, Go или C.

Мы ожидаем, что технологические лидеры перестанут спрашивать, практично ли использовать доказательства выполнения, и сосредоточатся на выборе конкретных результатов, которые они хотели бы верифицировать, вместо того чтобы полагаться на слепое доверие.

Это шаг от эпохи доверия к эпохе проверки, где факт подкрепляется не авторитетом источника, а математической неопровержимостью доказательства.