Спецификация Lightning Network прошла первый формальный тест на безопасность

Первая формальная проверка спецификации сети Lightning Network (LN) на безопасность дала положительные результаты, пишет CoinDesk.

В своей работе под названием A Composable Security Treatment of the Lightning Network, участие в которой также приняла компания IOHK, исследователи Эдинбургского университета Аггелос Кияиас и Орфеас Литос для оценки безопасности использовали математические методы. Они изучили основополагающую криптографию, созданную для обеспечения работы сети LN, и высоко оценили ее надежность.  

A Composable Security Treatment of the Lightning Network by ForkLog on Scribd

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

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

В то же время отсутствие формальной проверки кода спецификации сети до настоящего времени они назвали «ужасающим положением вещей», поскольку LN уже обеспечивает транзакции и хранение криптовалюты как минимум на $8,5 млн.

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

Напомним, ранее биткоин-разработчик Расти Рассел обнаружил уязвимость в имплементациях Lightning Network, способную привести к потере средств.

Подписывайтесь на канал Forklog в YouTube!