Разделение секрета снижает затраты на мониторинг конфиденциальности

Конфиденциальный мониторинг является вычислительно затратным, поскольку традиционные криптографические методы, такие как запутанные схемы (garbled circuits) и конфиденциальное вычисление функций (private function evaluation), создают огромные накладные расходы, обрабатывая сотни тысяч логических вентилей для каждого наблюдения. Исследование под руководством Thomas A. Henzinger решает эту проблему путем замены монолитного тяжелого шифрования распределенной архитектурой с разделением секрета, которая обеспечивает производительность в реальном времени без ущерба для конфиденциальности данных.

Верификация во время выполнения (Runtime verification) служит критически важным защитным механизмом в современных вычислениях, обеспечивая непрерывную проверку того, соответствует ли выполнение системы ее формальным спецификациям. Традиционно этот процесс опирается на монолитный монитор — единую сущность, которая наблюдает за всеми системными событиями. Хотя эта централизованная модель эффективна с точки зрения безопасности, она создает значительный риск для конфиденциальности, так как монитору часто требуется доступ к потокам конфиденциальных данных. Защита этих данных с помощью стандартных методов шифрования исторически оказывалась слишком медленной для живых сред, создавая «налог на конфиденциальность», который многие разработчики не могут себе позволить.

Почему мониторинг с сохранением конфиденциальности требует больших вычислительных ресурсов?

Конфиденциальный мониторинг является вычислительно затратным из-за накладных расходов, вносимых такими криптографическими методами, как многосторонние вычисления (MPC) и запутанные схемы, которые требуют обработки схем огромных размеров. Эти методы влекут за собой значительные вычислительные затраты, что приводит к проблемам с масштабируемостью, при этом замедление производительности может достигать от 100 до 100 000 раз по сравнению с неконфиденциальными вычислениями.

Thomas A. Henzinger и его коллеги, K. S. Thejaswini и Mahyar Karimi, подчеркивают, что основное «узкое место» проистекает из сложности «вентилей» внутри этих криптографических схем. В традиционной конфигурации с сохранением конфиденциальности каждое наблюдение, которое делает система, должно быть преобразовано в серию математических операций, скрывающих входные данные. Для систем с большими пространствами состояний количество необходимых вентилей может превышать 10^5, что делает практически невозможным соблюдение требований к низкой задержке в распределенных системах или киберфизической инфраструктуре реального времени.

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

В чем преимущества распределения мониторов между несколькими сторонами?

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

Основная инновация в работе Thomas A. Henzinger заключается в протоколе «Sharing The Secret» (Разделение секрета), который распределяет задачу мониторинга между несколькими различными объектами. Гарантируя, что по крайней мере одна из этих сторон является «честной» — то есть не вступает в сговор с другими для кражи данных, — система может использовать эффективное разделение секрета вместо интенсивного шифрования. Это предположение о честном большинстве является краеугольным камнем новой архитектуры, позволяя системе сохранять строгие гарантии конфиденциальности при значительном снижении накладных расходов, связанных с традиционными многосторонними вычислениями.

Благодаря использованию схем разделения секрета процесс мониторинга становится гораздо более рациональным. Вместо того чтобы один монитор владел ключами ко всем данным, информация фрагментируется на части, которые сами по себе бесполезны. Распределенные мониторы выполняют локальные вычисления на этих фрагментах и объединяют результаты только для вынесения вердикта (например, «система безопасна» или «произошло нарушение»). Такое минимизированное взаимодействие — часто всего одно сообщение на одно наблюдение — радикально повышает эффективность протоколов конфиденциальности данных в высокоскоростных средах.

Преодоление проблемы сохранения состояния

Сохранение внутреннего состояния является серьезным препятствием в конфиденциальном мониторинге, поскольку большинство протоколов разделения секрета предназначены для «одноразового» выполнения, которое не переносит информацию с одного шага на другой. При верификации во время выполнения монитор должен помнить прошлые события, чтобы определить текущий статус системы. Данное исследование представляет протокол, специально адаптированный для непрерывного мониторинга, позволяющий проводить многократные оценки изменяющегося внутреннего состояния, которое остается скрытым как от системы, так и от мониторящих структур.

Исследователи разработали метод сохранения этого внутреннего состояния в секрете с помощью механизма рекурсивного разделения секрета. По мере развития системы распределенные мониторы обновляют свои локальные «доли» состояния, никогда не видя полной картины. Это гарантирует, что даже если одна из сторон мониторинга будет скомпрометирована, она не сможет восстановить историю поведения системы или предсказать ее будущие состояния. Это достижение превращает разделение секрета из статического инструмента в динамический движок, способный обрабатывать сложные, длительные процессы.

Поддержание конфиденциальности состояния мониторинга особенно важно для проприетарных систем. Часто логика самого монитора — «спецификация» — является коммерческой тайной. Если бы внутреннее состояние утекло, конкурент мог бы потенциально восстановить операционную логику системы. Сохраняя состояние развивающимся и скрытым, протокол Хенцингера обеспечивает двойной уровень защиты: один для мониторящихся пользовательских данных, а другой для интеллектуальной собственности самой службы мониторинга.

Может ли распределенный мониторинг работать в приложениях реального времени?

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

Чтобы протестировать жизнеспособность своего протокола в реальных условиях, команда реализовала систему с использованием фреймворка MP-SPDZ — универсального инструмента для тестирования многосторонних вычислений. Их результаты продемонстрировали, что распределенный подход значительно более масштабируем, чем любая существующая монолитная альтернатива. Хотя по сравнению с неконфиденциальным мониторингом все еще существует разрыв в производительности, накладные расходы снижены до уровня, при котором буферизация событий позволяет скрыть задержку, обеспечивая своевременные вердикты даже в критически важных для безопасности контекстах.

Последствия этого исследования обширны, особенно для диагностики систем с соблюдением конфиденциальности. По мере ужесточения таких правил, как GDPR и CCPA, компаниям требуются способы проверки работоспособности своих систем без раскрытия конфиденциальной пользовательской информации инструментам диагностики. Возможность мониторинга системы распределенным способом означает, что медицинские устройства, финансовые сети и системы умного дома могут проверяться на безопасность и корректность при сохранении строгой конфиденциальности пользовательских данных.

Часто задаваемые вопросы

Почему мониторинг с сохранением конфиденциальности требует больших вычислительных ресурсов?

• Высокая сложность схем: Требуется обработка сотен тысяч вентилей для сокрытия данных.
• Криптографические накладные расходы: Стандартные методы, такие как запутанные схемы, приводят к замедлению в 100–100 000 раз.
• Большие пространства состояний: Системы реального времени генерируют огромные объемы данных, которые трудно зашифровать мгновенно.

В чем преимущества распределения мониторов между несколькими сторонами?

• Улучшенная масштабируемость: Производительность привязана к размеру спецификации, а не к размеру системы.
• Минимизация взаимодействия: Протоколы часто требуют обмена всего одним сообщением на каждом шаге.
• Защита проприетарных данных: Позволяет проводить верификацию систем без раскрытия базового исходного кода.

Может ли распределенный мониторинг работать в приложениях реального времени?

• Обмен одним сообщением: Протокол гарантирует, что мониторинг не блокирует выполнение.
• Возможности буферизации: Небольшие задержки можно устранить путем буферизации событий для получения вердиктов почти в реальном времени.
• Экспериментальное подтверждение: Тесты с фреймворком MP-SPDZ показывают, что он значительно быстрее традиционных криптографических методов.

Будущее верификации во время выполнения за этими распределенными моделями. Разрушая монолит, такие исследователи, как Thomas A. Henzinger, прокладывают путь к миру, где безопасность системы и конфиденциальность пользователей больше не исключают друг друга. Дальнейшие направления этой работы включают дополнительную оптимизацию схем разделения секрета для схем еще больших размеров и изучение использования аппаратного ускорения, чтобы еще больше расширить границы сохранения конфиденциальности в реальном времени.