Решение трех главных проблем ZK-вычислений
Zero-knowledge proofs (ZKP) долгое время страдали от трех критических недостатков: низкой скорости генерации доказательств, необходимости переписывать код в криптографические схемы и уязвимости к квантовым компьютерам. Magnetar решает все три задачи одновременно. Это не просто оптимизация, а архитектурный сдвиг: теперь разработчики могут писать обычные программы на популярных языках, а система сама генерирует криптографическое доказательство их корректности.
Производительность и совместимость
Magnetar работает с архитектурой RISC-V, что позволяет использовать зрелые компиляторы для Rust, Go и C. Ключевая метрика эффективности — Magnetar генерирует доказательства в 10–39 раз быстрее, чем самые быстрые существующие аналоги. Это достигается за счет использования идей из предыдущих проектов Microsoft Research, таких как Phalanx (оптимизация повторяющихся инструкций процессора) и BinarySpartan (работа с бинарными полями).
Постквантовая безопасность без компромиссов
В отличие от многих систем, использующих эллиптические кривые (уязвимые для квантовых атак) или сложные решеточные структуры, Magnetar опирается исключительно на стандартные хэш-функции. Это обеспечивает долгосрочную безопасность, соответствующую целям Microsoft Quantum Safe Program (переход к постквантовой криптографии к 2029 году). Безопасность не зависит от новых, непроверенных десятилетиями математических предположений.
Сравнение с предыдущими решениями Microsoft Research
Magnetar является логическим завершением более чем десятилетней эволюции ZK-систем от Microsoft. Ниже приведена эволюция ключевых технологий, приведших к созданию Magnetar:
| Система/Проект | Ключевое достижение | Роль в создании Magnetar |
|---|---|---|
| Spartan (2019) | Обобщенные доказательства без доверенной настройки (trusted setup) | Базовая архитектура и гибкость криптографических блоков |
| Phalanx (2021) | Ускорение за счет использования повторяющихся инструкций процессора | Основа для описания процессора в Magnetar |
| Brakedown (2021) | Быстрая схема коммитментов на основе хэш-функций | Обеспечение безопасности на стандартных хэшах |
| BinarySpartan | Работа с бинарными полями и эффективное выражение логики процессора | Позволила эффективно доказывать выполнение RISC-V |
| Magnetar | zkVM нового поколения: 10-39x быстрее, постквантовая безопасность, поддержка Rust/Go/C | Интеграция всех предыдущих прорывов в единое решение |
Практическое применение
Технология открывает путь к доверенным автономным агентам и регулируемым финансовым операциям. Например, AI-агент может прикрепить доказательство того, что каждое его действие соответствовало заданной политике, не раскрывая при этом конфиденциальные данные. Финансовые институты смогут доказывать корректность обработки транзакций без публикации самих операций. Magnetar делает ZKP рутинным инструментом, а не нишевым криптографическим экспериментом.
Источник: Microsoft Research ↗