Helius шифрует переводы Solana, не убирая доверие операторов

Helius запустил свой безразрешительный Privacy Ring в основной сети Solana 10 ноября с зашифрованными платежными активами и суммами, в то время как адреса кошельков отправителя и получателя остаются видимыми.

Его задокументированный стандартный провайдер, сервис, который создает нулевые доказательства, добавляет аппаратные требования, при которых секретные входные данные транзакции обрабатываются внутри аттестованного AWS Nitro enclave, изолированной вычислительной среды.

Solana может проверить, что перевод соответствует правилам протокола, но защита входных данных во время создания этого доказательства зависит от изоляции провайдера, кода и политик развертывания.

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

Что достигает провайдера Solana

Руководство по интеграции кошелька Helius говорит, что генерация доказательства требует открытых входных данных, охватывающих полные данные транзакции и ключи аннулирования. Оно определяет аттестованный AWS Nitro enclave как стандартный провайдер SDK.

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

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

Секрет аннулирования также выводит маркеры, используемые для предотвращения повторных трат. В интеграции с родным кошельком кошелек сохраняет ключ подписи, а SDK на TypeScript оставляет подписание завершенной транзакции Solana за подписывающим приложением.

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

AWS описывает Nitro Enclaves как изолированные среды, память которых не могут получить процессы или администраторы родительского экземпляра. Enclaves не имеют постоянного хранилища, интерактивного доступа или внешней сети.

Подписанный документ AWS содержит криптографические отпечатки его изображения и программного обеспечения. Задокументированные проверки Privacy Rings подтверждают цепочку сертификатов, ответ на вызов и свежесть, одобренные измерения и связывание ключа шифрования запроса.

Отмеченный SDK отказывает в запросе удаленного провайдера без него, прежде чем сделать HTTP-вызов. Кошелек может закрепить проверенную политику выпуска или использовать сетевую политику, аутентифицированную подписчиками, закрепленными в SDK. Подписанные политики обновляются во время аттестации и истекают после использования.

Секретные входные данные путешествуют. Полномочия на подписание остаются.

Задокументированный стандартный путь Helius отправляет зашифрованные входные данные доказательства в AWS Nitro enclave, а затем возвращает доказательство в кошелек перед подписанием транзакции.
Зашифрованные входные данные доказательства делают круговой путь; кошелек сохраняет полномочия на подписание ЗАДОКУМЕНТИРОВАННЫЙ СТАНДАРТНЫЙ ПУТЬ Кошелек AWS Nitro enclave Зашифрованные входные данные Данные транзакции + секреты аннулирования Доказательство возвращается в кошелек Полномочия на подписание остаются в кошельке Кошелек создает + подписывает Доказательство путешествует с транзакцией Solana проверяет Доказательство + авторизация владельца Открытые входные данные доказательства обрабатываются внутри Действительность доказательства не подтверждает конфиденциальность провайдера.
Кошелек шифрует входные данные для enclave, получает доказательство и подписывает транзакцию Solana ЗАДОКУМЕНТИРОВАННЫЙ СТАНДАРТНЫЙ ПУТЬ Кошелек Полномочия на подписание остаются в кошельке Зашифрованные данные транзакции + секрет аннулирования Доказательство возвращается AWS Nitro enclave Открытые входные данные доказательства обрабатываются внутри Кошелек создает + подписывает Транзакция несет доказательство Solana Доказательство + авторизация владельца проверены Действительность доказательства не подтверждает конфиденциальность провайдера.

Проверьте границу проверки

Проверка кошелька на соответствие утвержденной политике перед шифрованием удаленных запросов на доказательства.
Кошелек проверяет соответствие утвержденной политике: Сертификат + вызов, Проверка личности и актуальности, Измерения программного обеспечения, Соответствие утвержденному изображению, Связывание ключа шифрования. Входные данные поступают к аттестованному ключу. Утверждение кода остается выбором доверия.
Проверки аттестации на стороне кошелька:

1. Сертификат + вызов
2. Личность и актуальность
3. Измерения программного обеспечения
4. Соответствие утвержденному изображению
5. Связывание ключа шифрования
   Входные данные поступают к аттестованному ключу. Утверждение кода остается выбором доверия.
   Обзор кода, изоляция AWS и первоначальная политика связывания KMS оператора лежат в основе задокументированного дизайна конфиденциальности.
   Зависимости доверия за конфиденциальным доказательством:
   Обзор кода, Изоляция AWS, Связывание KMS оператора.
   Клиенты не могут проверить политику ключа KMS. Проверки аттестации не устраняют эту зависимость развертывания.
   Зависимости за конфиденциальным доказательством:
6. Обзор кода
7. Уверенность в реализации
8. Изоляция AWS
9. Аппаратные + платформенные гарантии
10. Связывание KMS оператора
    Клиент не может прочитать политику ключа. Эти зависимости остаются после аттестации.
    Кошельки проверяют утвержденный анклав и ключ; обзор кода и политика развертывания остаются отдельными зависимостями.
    Документированная конфигурация по умолчанию только, не независимая живая аттестация или аудит. Другие пути доказательства или авторизации могут отличаться. Подпись родного кошелька, удаленное доказательство и доступ к просмотру баланса имеют отдельные роли.
    Источники и доказательства

Источники

1. Частный кошелек
2. Спецификация протокола Solana Privacy Rings
3. README TypeScript SDK на ts-sdk-v0.8.0-alpha
4. Гарантии шифрования и конфиденциальности
5. README TEE prover на ts-sdk-v0.8.0-alpha
6. Руководство по развертыванию Nitro Enclave prover
7. Что такое Nitro Enclaves?
8. Криптографическая аттестация

Поддерживающие факты

• Руководство по интеграции кошелька Helius говорит, что для генерации доказательства требуется ввод в открытом виде, охватывающий полные данные о транзакции и ключи аннулирования, и определяет аттестованную AWS Nitro enclave как стандартный провайдер SDK.
• Приватные входные данные протокола включают активы потраченной заметки, сумму, ослепление, секрет аннулирования и путь Меркла, а также выходные активы, сумму и ослепление; это секретные входные данные, используемые для построения доказательства, а не данные, раскрываемые доказательством в цепочке блоков.
• В документированной интеграции нативного кошелька кошелек сохраняет свой ключ подписи Solana; отмеченный SDK TypeScript говорит, что завершенная транзакция Solana подписывается подписантом приложения.
• Секреты аннулирования помогают вывести маркеры, которые предотвращают повторные траты; они отличаются от подписи владельца, которая авторизует обычную трату по умолчанию.
• Отмеченный SDK требует предоставленной приложением политики TEE перед выполнением удаленного запроса провайдера и шифрует вызовы к аттестованному ключу; отсутствующая удаленная политика приводит к сбою до HTTP.
• Документированные проверки аттестации охватывают цепочку сертификатов, nonce, свежесть, одобренные измерения enclave и связывание ключа шифрования HPKE; доверительные пины должны поступать из одобренной политики, а не из ответа провайдера.
• AWS утверждает, что Nitro изолирует память enclave от родительского экземпляра, включая пользователей root или администраторов, и не предоставляет постоянное хранилище, интерактивный доступ или внешнюю сеть внутри enclave.
• Руководство по развертыванию Nitro говорит, что измеренное изображение включает бинарный файл провайдера, скрипт запуска, пакет сертификатов, разрешенные внешние хосты, URL-адрес индексатора и идентификатор ключа KMS; PCR0 до PCR2 связывают эти байты.
• Дизайн Nitro выпускает общий зашифрованный семя через AWS KMS только для соответствующих аттестованных enclave; его руководство явно говорит, что клиент не может прочитать политику ключа KMS и полагается на развертывание оператора для этой гарантии.
• SDK поддерживает либо проверенную политику JSON, закрепленную приложением, либо сетевые политики, аутентифицированные закрепленными подписантами через SignedTeePolicy; подписанные политики обновляются во время аттестации и не используются после истечения срока действия.
• Руководство Nitro говорит, что родитель не может прочитать правильно зашифрованные запросы на доказательства или ответы, но может видеть пути, запросы, время и размеры; путь раскрывает форму схемы.
• Для обычных переводов, авторизованных владельцем, проверки доказательства протокола включают включение заметки, не включение аннулирования, авторизацию владельца и сохранение баланса; успешная проверка доказательства сама по себе не подтверждает конфиденциальность машины, которая сгенерировала доказательство.

Метод

Качественная диаграмма потока данных документированного стандартного провайдера нативного кошелька. Без числовой шкалы или вычисленных значений. Выборная панель различает проверки аттестации клиента от кода, аппаратного обеспечения и зависимостей доверия развертывания.

Объем

Документированная стандартная конфигурация только, не независимая живая аттестация или аудит. Другие пути доказательства или авторизации могут отличаться. Подписание нативного кошелька, удаленное доказательство и доступ к просмотру баланса имеют отдельные роли. Инфографика от CryptoSlate

Где остается доверие к развертыванию Solana

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

Руководство по развертыванию Nitro говорит, что измеренное изображение включает провайдера, скрипт запуска, пакет сертификатов, разрешенные внешние хосты, URL-адрес индексатора и идентификатор ключа KMS. Его дизайн использует AWS Key Management Service для выпуска общего зашифрованного семени только для соответствующих аттестованных enclave.

Руководство говорит, что клиенты не могут читать политику ключей KMS и полагаются на развертывание оператора для этой гарантии. Оно определяет AWS KMS, AWS Support, аппаратное обеспечение Nitro и оператора как корни доверия во время первоначальной привязки политики.

Даже правильно зашифрованные запросы оставляют метаданные видимыми для родительского узла, такие как пути, запросы, время и размеры. Путь раскрывает форму схемы доказательства.

Руководство по версионированным TEE фиксирует сборку основной сети на основе v0.6.0-alpha, с измеренной историей сборки, отличной от тега документации ts-sdk-v0.8.0-alpha.

Спецификация допускает доказательства на стороне клиента, а репозиторий предоставляет инструменты для локальной сети и загружаемые бинарные файлы доказателей.

Объявление о запуске Helius говорит, что программы и схемы были проверены Certora, zkSecurity и OtterSec. Его страница безопасности перечисляет Certora в октябре и zkSecurity в августе, в то время как OtterSec отмечен как ожидающий отчет.

Запуск дает разработчикам кошельков решение о доверии к тому, какой код и политику развертывания они одобряют для обработки входных данных доказательства.