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

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

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

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

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

На данный момент существует несколько вариантов ПО на базе официальной спецификации: Eclair, c-lightning и LND. Для проведения их формального анализа потребуется рабочая версия спецификации, которую смогут прочитать машинные алгоритмы.