Подробный разбор · Около 4 мин чтения
Microsoft Research представила Magnetar для доказуемого выполнения программ
В публикации от 15 октября описаны zkVM для RISC-V и результаты строго определённых сравнительных тестов.
- Дата источника
- Опубликовано здесь
- Источник проверен
Microsoft Research представила Magnetar как способ сопровождать вычисление проверяемым криптографическим доказательством. Получателю результата не требуется полагаться только на исполнителя: он может проверить, соответствовало ли выполнение заданной программе и её входным данным. Свойство нулевого разглашения также позволяет защищать входные данные, которые нельзя раскрывать.
Слушать новости
Прослушайте эту статью или включите новости подряд.
Подготовка чтения…
Голос устройства
Речь обрабатывает браузер или устройство. AISubHub не отправляет текст в аудио-API. Доступные голоса и работа при заблокированном экране зависят от устройства.
При продолжении короткая фраза может повториться.
Кратко
- Magnetar доказывает выполнение RISC-V, используя существующие компиляторы Rust, Go или C. Криптографическая основа использует стандартные хеш-функции без доверенной начальной настройки.
- Для 15 тестовых программ Microsoft сообщает о среднем ускорении в 10–39 раз относительно сопоставимых систем на той же машине. Это измерения исследовательской команды, а не обещание ускорить любое приложение.
Что удостоверяет доказательство исполнения
Microsoft Research представила Magnetar15 октября как универсальную виртуальную машину с нулевым разглашением. Вычисление дает результат и компактное доказательство. Получатель проверяет, что заданная программа на согласованных входах дала этот выход, не повторяя всю работу. Нулевое разглашение защищает закрытые входные данные.
Это отличается от доверия оператору, договору или журналу, но не доказывает разумность политики или истинность реальных данных. Агенты, подтверждающие соблюдение правил, и проверка финансовых операций — возможные применения, не развертывания, проверенные AISubHub.
Зачем доказывать процессор
Статья выделяет стоимость доказательства, специальное программирование и долговечное доверие криптографии. Ручной перевод приложения в арифметическую схему требует поддержки и создает ошибки. Magnetar доказывает исполнение RISC-V, открытой архитектуры с существующими компиляторами.
Microsoft описывает обычные Rust, Go и C, политики, конвейеры данных и интерпретатор EVM. Анализ: доказательства ближе к команде приложения, но публичные/закрытые входы и принимаемые версии программы все еще надо определить. Компиляция обычного кода не сертифицирует целый ИИ-продукт.
Какие механизмы объединены
Spartan в 2019 году сделал sum-check пригодным для общих программ без доверенной настройки. Phalanx использует повторения, например циклы процессора. Семейство Nova развивает folding, объединяя частичные результаты вместо одной неделимой задачи доказательства.
Spice, Lasso, Nebula, Twist and Shout и Jolt развивают доказательства памяти. BinarySpartan переносит логику и стандартные хеши в бинарные поля; Ligerito дает хеш-обязательства с короткими доказательствами, ring switching помогает с битовыми векторами. Это архитектурное описание блога; реализацию и формальную безопасность технической статьи мы не аудировали.
Стандартные хеши и композиция
Microsoft называет SHA-256 или SHA-3 основой без эллиптических кривых, решеток, специальных хешей, доверенной настройки и упомянутых недоказанных гипотез кодирования. Это консервативный выбор, не гарантия против ошибок реализации, будущих атак или неверных параметров.
Проверка главным образом состоит из хешей и бинарной арифметики, которые Magnetar эффективно доказывает. Поэтому проверяющий сам становится доказываемой нагрузкой, позволяя соединять части для долговременных реестров. Анализ: накопленная проверяемость все равно требует правил идентификации программ, переходов состояния и допустимых версий доказательства.
Единицы и границы бенчмарков
Команда сообщает 7.2–8.7 миллиона доказанных инструкций в секунду на ноутбуке. На 15 программах среднее ускорение10–39 раз против самых быстрых сопоставимых zkVM на той же машине. Более 300 раз относится к тесту перевода токенов против двух других систем, не к любым нагрузкам.
Оптимизированная конфигурация достигает 9.5–12.8 миллиона циклов в секунду, примерно1.3 раза указанных ускорений; проверка занимает около 12 миллисекунд. Инструкции и циклы нельзя смешивать. Это производство и проверка доказательств, не ускорение обычной программы или инференса 10–39 раз. Мы не воспроизводили измерения; подробные условия содержатся в технической статье.
Анализ: выбрать проверяемое утверждение
Пилот может начать с небольшой явной политики или детерминированной обработки, заранее определив код, входы и результат. Сравнение затрат доказательства, проверки и раскрытия данных с текущим аудитом — наше предложение, не производственная инструкция или измеренная окупаемость Microsoft.
Доказанная платежная проверка не подтверждает все контекстные решения. Нужны права инструментов, происхождение данных и поведение при отказе доказательства. Блог описывает исследование и возможности без общей подписки, цены или сервиса для каждого. Доказательства исполнения могут усилиться; качество спецификации и эксплуатационная безопасность остаются отдельными задачами.
Почему это важно
Для ИИ-агентов возможна проверяемая фиксация выполнения явных политик или этапов обработки данных. Такие доказательства могут дополнять журналы, когда другой стороне нужно проверить происхождение результата.
Ограничения и доступность
Доказанное выполнение не означает истинности ответа модели или разумности политики. AISubHub не воспроизводил тесты и не проверял промышленное развёртывание; переносить эти преимущества на другие нагрузки нельзя.
Источники и подтверждения
Дата источника: 15 окт. 2026 г. · Источник проверен: 20 окт. 2026 г.
Материалы подготовлены с помощью ИИ и сверены с указанными первоисточниками. Заявления поставщиков атрибутированы; публикация не означает рекомендацию.