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