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

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

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

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

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

Источник

[ ОБСУДИТЬ НА ФОРУМЕ ]