Доверие к результатам вычислений сегодня часто требует веры в оператора или вендора. Microsoft Research представила Magnetar — систему, которая позволяет любой программе на Rust, Go или C генерировать криптографическое доказательство своей корректности, которое можно проверить за миллисекунды.
Magnetar решает три ключевые проблемы доказательств с нулевым разглашением (ZKP): скорость, универсальность и безопасность. Система работает в 10-39 раз быстрее предыдущих аналогов, позволяет доказывать выполнение программ, написанных на Rust, Go или C, без переписывания в криптографические схемы, и основывает свою безопасность на стандартных хеш-функциях, устойчивых к квантовым атакам.
Это открывает путь к новому типу вычислений, где каждый результат сопровождается проверяемым криптографическим сертификатом. Такой подход критичен для сценариев, требующих высокой степени доверия и конфиденциальности, таких как верифицируемые действия ИИ-агентов или подтверждение корректности финансовых транзакций без раскрытия их деталей.
Разработка Magnetar — результат более чем десятилетних исследований Microsoft в области практических доказательств с нулевым разглашением, направленных на то, чтобы сделать их рутинной частью разработки ПО.
Magnetar превращает сложную криптографическую концепцию в доступный инструмент для разработчиков, обещая фундаментально изменить подход к доверию в цифровом мире. Однако пока неясно, когда и в каком виде эта исследовательская разработка станет доступна для широкого использования.