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

Спецификация 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, способную привести к потере средств.

Вам также может понравиться

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *