В среду команда, в которую вошли соавтор протокола Signal Тревор Перрин, а также исследователи из Гарварда и Microsoft Research, представила предварительную версию Encrypted Spaces — открытой библиотеки фреймворков, которая даёт разработчикам криптографические «кирпичики» для создания приложений, где сервер никогда не видит незашифрованный контент .

Архитектура: как работает зашифрованное пространство

Вместо того чтобы «навешивать» шифрование на устаревшую систему, Encrypted Spaces переосмысливает модель совместной работы на уровне инфраструктуры. Ключевая концепция — зашифрованное пространство (encrypted space): общее, постоянное хранилище данных, которое могут читать и записывать несколько пользователей, но содержимое которого остаётся непрозрачным для любого обрабатывающего его сервера. Ключи шифрования хранятся на устройствах пользователей, и все изменения состояния выполняются локально; задача сервера — передавать зашифрованные «куски» данных и вести журнал изменений, в который можно только добавлять новые записи (append-only changelog) .

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

Zero-knowledge proofs: доверяй, но проверяй

Сервер никогда не может расшифровать журнал изменений, но ему всё равно нужно убедить каждое подключённое устройство в своей честности. Encrypted Spaces решает эту проблему с помощью доказательств с нулевым разглашением (zero-knowledge proofs), которые математически подтверждают два факта: ни одно легитимное изменение не было пропущено из журнала, и никакая несанкционированная правка не была добавлена. Свойство «свёртки» (roll-up) позволяет серверу генерировать одно компактное доказательство того, что текущее состояние рабочего пространства точно отражает всю историю изменений, без передачи каждой отдельной записи . Результат — пространство для совместной работы, которое остаётся проверяемо консистентным, при этом сервер никогда не видит перемещаемые данные.

С чем работают разработчики

Encrypted Spaces — не продукт, а открытая инфраструктура. Никакого нового мессенджера для скачивания не существует. Вместо этого фреймворк предоставляет привычные абстракции структур данных — таблицы, списки, текстовые области — так что разработчики могут добавить сквозное шифрование, не становясь криптографами. Управление ключами, контроль доступа, ротация участников, шифрование и разрешение конфликтов — всё это обрабатывается библиотеками «под капотом» .

Цель — дать стартапам, open-source-сообществам и корпоративным командам те же строительные блоки, которые Signal использовал для обеспечения безопасности обмена сообщениями, но расширенные на более сложные сценарии взаимодействия в рабочем ПО .

Почему это происходит сейчас

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

• Слежка и дебаты о «чёрных ходах»: Правительства по всему миру расширяют программы наблюдения, а продолжающиеся попытки законодательно обязать компании внедрять «бэкдоры» в шифрование заставляют предприятия нервничать из-за любой архитектуры, которую можно принудительно заставить раскрыть открытый текст. Encrypted Spaces снимает этот риск, делая доступ на стороне сервера математически невозможным .
• Растущий ущерб от утечек: Платформы для совместной работы стали привлекательными целями для программ-вымогателей и кражи данных. Регулируемые сектора — здравоохранение, финансы, юриспруденция — оказались перед выбором между функциональностью и безопасностью, способной пережить взлом сервера .
• Регуляторные попутные ветры: Ужесточение правоприменения в рамках европейских законов о защите данных (GDPR) вывело приватность данных на уровень совета директоров. IT-директора всё чаще рассматривают сквозное шифрование как обязательное требование, а не как компромисс, убивающий юзабилити .

Encrypted Spaces позиционирует себя как «сантехнику» для нового поколения рабочих приложений, приватных по умолчанию. Станет ли эта технология стандартом для более широкого сообщества разработчиков — остаётся открытым вопросом, но техническая база наконец-то заложена теми же людьми, которые подарили миру протокол Signal .

В среду команда, в которую вошли соавтор протокола Signal Тревор Перрин, а также исследователи из Гарварда и Microsoft Research, представила предварительную версию Encrypted Spaces — открытой библиотеки фреймворков, которая даёт разработчикам криптографические «кирпичики» для создания приложений, где сервер никогда не видит незашифрованный контент .

Архитектура: как работает зашифрованное пространство

Вместо того чтобы «навешивать» шифрование на устаревшую систему, Encrypted Spaces переосмысливает модель совместной работы на уровне инфраструктуры. Ключевая концепция — зашифрованное пространство (encrypted space): общее, постоянное хранилище данных, которое могут читать и записывать несколько пользователей, но содержимое которого остаётся непрозрачным для любого обрабатывающего его сервера. Ключи шифрования хранятся на устройствах пользователей, и все изменения состояния выполняются локально; задача сервера — передавать зашифрованные «куски» данных и вести журнал изменений, в который можно только добавлять новые записи (append-only changelog) .

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

Zero-knowledge proofs: доверяй, но проверяй

Сервер никогда не может расшифровать журнал изменений, но ему всё равно нужно убедить каждое подключённое устройство в своей честности. Encrypted Spaces решает эту проблему с помощью доказательств с нулевым разглашением (zero-knowledge proofs), которые математически подтверждают два факта: ни одно легитимное изменение не было пропущено из журнала, и никакая несанкционированная правка не была добавлена. Свойство «свёртки» (roll-up) позволяет серверу генерировать одно компактное доказательство того, что текущее состояние рабочего пространства точно отражает всю историю изменений, без передачи каждой отдельной записи . Результат — пространство для совместной работы, которое остаётся проверяемо консистентным, при этом сервер никогда не видит перемещаемые данные.

С чем работают разработчики

Encrypted Spaces — не продукт, а открытая инфраструктура. Никакого нового мессенджера для скачивания не существует. Вместо этого фреймворк предоставляет привычные абстракции структур данных — таблицы, списки, текстовые области — так что разработчики могут добавить сквозное шифрование, не становясь криптографами. Управление ключами, контроль доступа, ротация участников, шифрование и разрешение конфликтов — всё это обрабатывается библиотеками «под капотом» .

Цель — дать стартапам, open-source-сообществам и корпоративным командам те же строительные блоки, которые Signal использовал для обеспечения безопасности обмена сообщениями, но расширенные на более сложные сценарии взаимодействия в рабочем ПО .

Почему это происходит сейчас

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

• Слежка и дебаты о «чёрных ходах»: Правительства по всему миру расширяют программы наблюдения, а продолжающиеся попытки законодательно обязать компании внедрять «бэкдоры» в шифрование заставляют предприятия нервничать из-за любой архитектуры, которую можно принудительно заставить раскрыть открытый текст. Encrypted Spaces снимает этот риск, делая доступ на стороне сервера математически невозможным .
• Растущий ущерб от утечек: Платформы для совместной работы стали привлекательными целями для программ-вымогателей и кражи данных. Регулируемые сектора — здравоохранение, финансы, юриспруденция — оказались перед выбором между функциональностью и безопасностью, способной пережить взлом сервера .
• Регуляторные попутные ветры: Ужесточение правоприменения в рамках европейских законов о защите данных (GDPR) вывело приватность данных на уровень совета директоров. IT-директора всё чаще рассматривают сквозное шифрование как обязательное требование, а не как компромисс, убивающий юзабилити .

Encrypted Spaces позиционирует себя как «сантехнику» для нового поколения рабочих приложений, приватных по умолчанию. Станет ли эта технология стандартом для более широкого сообщества разработчиков — остаётся открытым вопросом, но техническая база наконец-то заложена теми же людьми, которые подарили миру протокол Signal .