Сегодня проверка корректности выполнения программы часто требует доверия к оператору или вендору. Microsoft Research представила Magnetar — новую систему, которая позволяет получить криптографическое доказательство корректности работы любой программы, написанной на Rust, Go или C, без необходимости доверять исполнителю.
Magnetar обеспечивает скорость для доказательных вычислений общего назначения (zkVM). Система работает в 10–39 раз быстрее, чем самые быстрые аналогичные решения, такие как SP1 Hypercube, Jolt-Dory и Jolt. Это делает производство доказательств достаточно быстрым для широкого применения, решая одну из главных проблем ZKP — высокую вычислительную стоимость.
Система основана на стандартных хеш-функциях, например SHA-256 или SHA-3. Такой подход обеспечивает постквантовую безопасность и не зависит от эллиптических кривых или решёточных предположений, которые могут быть уязвимы для будущих квантовых компьютеров. Magnetar предлагает 120 бит доказуемой безопасности.
Magnetar позволяет доказывать выполнение программ, скомпилированных для архитектуры RV64I, написанных на Rust, Go или C, без необходимости переписывать их в криптографические схемы. Это упрощает внедрение ZKP для разработчиков, поскольку не требует специальных криптографических знаний или изменения существующего кода.
Технология открывает новые возможности для обеспечения доверия: от проверки соответствия действий ИИ-агентов заданным политикам до подтверждения корректности финансовых транзакций или смарт-контрактов Ethereum Virtual Machine (EVM) без раскрытия конфиденциальных данных.
Magnetar решает три ключевые проблемы, мешавшие широкому распространению доказательств с нулевым разглашением: скорость, универсальность и криптографическая устойчивость, делая верифицируемые вычисления реальностью для мейнстримных языков. Однако Microsoft не сообщила, когда и в каком виде Magnetar станет доступен для коммерческого использования или будет интегрирован в продукты компании.