Исправление конфиденциальности в Bitcoin Lightning: блокировка проверки связи частных каналов с финансированием в блокчейне

Lightning Development Kit (LDK)

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

Изменения и их последствия

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

Неанонсированный канал остается вне публичной карты сети, однако это само по себе не предотвращало возможность подтверждения его связи с финансированием через поиск пересылки сообщений LDK. Реальный идентификатор короткого канала (SCID) функционирует как координаты в блокчейне.

Спецификация Lightning

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

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

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

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

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

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

Заключение

Это изменение закрывает этот маршрут поиска, сохраняя при этом возможность пересылки с использованием разрешенного псевдонима. Изменение описано в запросе на извлечение.

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