Исправление Bitcoin Lightning блокирует исследование, связывающее частные каналы с финансированием

Lightning Development Kit (LDK), программное обеспечение, используемое для создания приложений Bitcoin Lightning, имеет исправление конфиденциальности, которое блокирует задокументированное исследование, связывающее неанонсированный канал с поддерживающим его выводом Bitcoin. Исследование использовало способ, которым LDK пересылал луковые сообщения, превращая угаданный идентификатор канала в подтверждение связи между двумя подозреваемыми узлами.

Bitcoin Optech выделил это изменение 30 октября. Неанонсированный канал остается вне публичной карты сети, но этого недостаточно, чтобы предотвратить подтверждение связи его финансирования через поиск пересылки сообщений LDK.

Настоящий короткий идентификатор канала, или SCID, работает как координаты блокчейна. Спецификация Lightning определяет его, используя высоту блока, позицию транзакции в этом блоке и позицию вывода в этой транзакции. Вместе они идентифицируют конкретный вывод Bitcoin, финансирующий канал.

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

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

Как угаданный идентификатор может раскрыть скрытую связь финансирования

Сравните задокументированное исследование лукового сообщения до и после исправления кода LDK 25 октября.
Настоящий идентификатор канала кодирует местоположение финансирующего вывода ИДЕНТИФИКАТОР - ЭТО НАБОР КООРДИНАТ БЛОКЧЕЙНАВысота блокаИндекс транзакцииИндекс выводаНастоящий SCIDМестоположение финансированияИсследование спрашивает: финансирует ли этот вывод канал между этими узлами?
Блок, транзакция и вывод идентифицируют настоящий SCID МЕСТОПОЛОЖЕНИЕ ФИНАНСИРОВАНИЯБлокТранзакцияВыводНастоящий короткий идентификатор каналаФинансирует ли этот вывод канал между подозреваемыми узлами?

Где останавливается исследование

Где останавливается исследованиеПеред исправлениемПосле исправления
Возвращенное сообщение подтверждает связь кандидатского финансирующего вывода в условиях задокументированного исследования.
Перед исправлением: возвращенное сообщение подтверждает связь финансирования УСЛОВИЕ: ЗЛОУМЫШЛЕННИК ПОДКЛЮЧАЕТСЯ К ОБЕИМ КОНЕЧНЫМ ТОЧКАМЗлоумышленникУзел AУзел BУгаданный настоящий SCIDНеанонсированный каналСообщение пересылаетсяЛуковое сообщение возвращается к злоумышленникуУспешное возвращение подтверждает кандидатскую связь финансирования.
Перед исправлением: сообщение проходит через A и B обратно к злоумышленнику Подключено к обеим конечным точкамЗлоумышленникУзел AУзел BУгаданный настоящий SCIDНеанонсированный канал: A к BВозврат подтверждает связь финансирования
LDK отклоняет настоящий SCID неанонсированного канала, если это не исходный псевдоним. Действительные псевдонимы остаются доступными.
После исправления: поиск настоящего идентификатора отклонен УСЛОВИЕ: ЗЛОУМЫШЛЕННИК ПОДКЛЮЧАЕТСЯ К ОБЕИМ КОНЕЧНЫМ ТОЧКАМЗлоумышленникУзел AУзел BУгаданный настоящий SCIDНеанонсированный каналУзел A отклоняет поиск настоящего идентификатораЕсли это значение не является исходным псевдонимомДействительные псевдонимы остаются доступными.
После исправления: поиск угаданного настоящего идентификатора останавливается на узле A Подключено к обеим конечным точкамЗлоумышленникУзел AУзел BУгаданный настоящий SCIDКаналA к BУзел A отклоняетпоиск настоящего идентификатораИсключение: значение является исходным псевдонимомДействительные псевдонимы все еще работают

LDK блокирует поиск настоящего идентификатора неанонсированного канала; действительные псевдонимы остаются доступными.

Требует подключения злоумышленника к обеим подозреваемым конечным точкам и кандидатскому настоящему SCID. Отклонение исключает значение, равное исходному псевдониму. Слияние не устанавливает включение выпуска или охват развернутого кошелька.
Источники и доказательства

Источники

1. LDK PR 5314: механизм и исправление
2. BOLT 7: определение настоящего короткого идентификатора канала
3. Bitcoin Optech: задокументированное исследование конфиденциальности
4. Официальный журнал изменений: контекст выпуска

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

• В документированном исследовании не связанный узел, подключенный к обоим подозреваемым конечным точкам канала, может использовать угаданный реальный короткий идентификатор канала в пути сообщения через эти узлы обратно к себе; успешное получение подтверждает связь выходного финансирования кандидата канала. [1] [3]
• Реальный короткий идентификатор канала кодирует местоположение выходного финансирования в блокчейне: высота блока, позиция транзакции внутри этого блока и позиция выхода внутри транзакции. [2]
• До исправления поиск ChannelManager в LDK мог разрешать реальные идентификаторы неанонсированных каналов после подтверждения их финансирования, поэтому исключение канала из публичного сплетни не предотвращало этот поиск сообщения от подтверждения его местоположения в цепочке. [1] [3]
• Исправление отклоняет реальный короткий идентификатор канала для неанонсированного канала во время поиска следующего узла сообщения, если это значение не является исходным псевдонимом канала, оставляя действительные псевдонимы доступными. [1] [3]
• Это исправление касается пересылки сообщений; PR явно делает поиск более строгим, чем путь платежа HTLC, который может разрешать реальные идентификаторы для некоторых частных каналов в зависимости от конфигурации. [1] [3]
• Рассмотренный PR и техническое резюме демонстрируют связь выходного финансирования с подозреваемыми конечными точками канала; они не предоставляют доказательства украденного биткойна, скомпрометированных приватных ключей, раскрытия несвязанных кошельков или раскрытия каждого канала Lightning. [1] [3]
• Слияние 25 октября устанавливает исправление исходного кода; рассмотренный официальный журнал изменений не устанавливает выпуск или версию развернутого кошелька, содержащую его. [1] [4]

Метод

Схема документированного поиска и пути сообщения. Стрелки представляют собой сообщения, а не переводы биткойнов. Панели до/после описывают поведение кода; позиции и длины не являются измерениями.

Объем

Требуются подключения атакующего к обеим подозреваемым конечным точкам и кандидату реального SCID. Отклонение исключает значение, равное исходному псевдониму. Слияние не устанавливает включение в выпуск или покрытие развернутого кошелька. Инфографика от CryptoSlate

Таким образом, продемонстрированная утечка соединяет две части информации: выход финансирования Bitcoin и узлы Lightning, использующие его.

Что изменяет исправление

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

Изменение описано в запросе на вытягивание. В соответствии с правилами маршрутизации BOLT 4, SCID сообщения должно соответствовать анонсированному идентификатору или локальному псевдониму.

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

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