Спецификация Lightning Network прошла первый формальный тест на безопасность
Хорошая новость для приверженцев технологии LN: как стало известно совсем недавно, была успешно проведена первая формальная проверка спецификации сети на безопасность.   Исследование, о котором идет речь, называется «A Composable Security Treatment of the Lightning Network». Его проводили ученые из Эдинбургского университета Аггелос Кияиас и Орфеас Литос (Aggelos Kiayias and Orfeas Litos), при поддержке компании IOHK. Они изучили основополагающую криптографию, созданную для обеспечения работы сети LN, и высоко оценили ее надежность. По мнению исследователей, честный участник сети может потерять свои средства только в случае, если будут повреждены подписи или хеш-функция, используемые биткоином. «Все критически важные для системы части надежны. Это был ожидаемый результат — множество умных людей объединилось, чтобы приблизиться к существующей реализации Lightning Network», — заявил Орфеас Литос. Результаты проверки касаются только спецификации Lightning Network, то есть правил, которые обязаны соблюдать разработчики. Это не исключает наличия ошибок в различных имплементациях, созданных разработчиками, подчеркнули исследователи.