Спецификации Lightning Network успешно прошли первую проверку безопасности

Прокол Lightning Network (LN) является экспериментальной технологией и ошибки, которые могут привести к потере средств пользователей, всё ещё обнаруживаются.

На сегодняшний день LN не прошла полноценный аудит безопасности. В статье, опубликованной исследователями Аггелосом Киайасом, главным научным сотрудником блокчейн-компании IOHK, и Орфеасом Литосом из Эдинбургского университета, отсутствие такой проверки описывается как «ужасное положение дел», поскольку LN используется для реальных платежей.

Но вместе с этим в статье положительно оцениваются спецификации LN, которые определяют ​​базовый уровень безопасности платежной сети. Исследователи провели формальную проверку, согласно которой базовая криптография, которая обеспечивает работу платежной системы, является надежной. «Все критически важные части системы надежны. Это ожидаемый результат — много умных людей объединились для создания Lightning Network», — сказал Литос, добавив, что основной вывод заключается в том, что LN так же безопасна, как и сеть биткоина.

Однако важно подчеркнуть то, что, хотя проверка спецификаций является важным шагом, она применяется только к коду LN, а не к её программным реализациям (существуют три реализации LN: Eclair от Acinq, c-lightning от Blockstream и lnd от Lightning Labs). Если спецификации LN «безопасны, как биткоин», то это ещё не означает, что безопасно программное обеспечение для работы с LN. «Наш анализ основан на спецификациях, а не на реализациях. В результате наша работа не исключает ошибок в различных реализациях», — заключил Литос.