Характеристики мережі Bitcoin Lightning пройшли перший «формальний» тест безпеки

Пара дослідників оприлюднила результати офіційної перевірки блискавичної мережі біткойна.

Блискавка є новою, експериментальною та помилки які можуть призвести до втрати коштів користувачів, все ще виявляються. Але незважаючи на це, стаття, опублікована минулого місяця дослідниками Аггелосом Кіайасом і Орфеасом Літосом з Единбурзького університету. Кіайяс також є головним науковим співробітником блокчейн-фірми IOHK і приніс дозу хороших новин про безпеку, що лежить в основі нової платіжної мережі.

На сьогоднішній день блискавку T перевіряли математично за допомогою формальної безпеки, яка є засобом встановлення того, наскільки безпечною є ідея інформатики за допомогою математики. Папір - "Компонована система захисту мережі Lightning" -- описує відсутність офіційної перевірки специфікації коду блискавки "жахливим станом справ", оскільки сьогодні блискавка використовується для забезпечення реальних грошей - щонайменше 8,5 мільйонів доларів.

У статті пояснюється:

«Як результат, наше лікування визначає, як саме гарантії безпеки протоколу залежать від властивостей основної книги».

Процес, за допомогою якого вони це зробили, відомий як формальна перевірка. Хоча це популярне в Криптовалюта просторі та корисне для визначення безпеки коду, «формальна безпека» не виконується для кожної кодової програми. Через необхідні глибокі знання це досить дорого.

«Надійна» специфікація

Дослідники стверджують, що результати є позитивними і показують, що базова криптографія, зібрана разом для забезпечення роботи платіжної системи, є надійною.

«Усі критично важливі для безпеки частини системи надійні. Це був очікуваний результат – багато розумних людей співпрацювали, щоб об’єднатися з поточним втіленням блискавичної мережі», – сказав Літос CoinDesk.

Що це точно означає? Litos і Kiayias подивилися на мережі блискавок технічні характеристики, які є правилами, необхідні кожному програмному забезпеченню Lightning, щоб мати можливість надсилати платежі решті мережі.

Літос сказав CoinDesk:

«Основний результат полягає в тому, що мережа блискавки така ж безпечна, як Bitcoin».

Щоб визначити це, вони подивилися на криптографію, яка лежить в основі блискавки. Криптографія складається з математичних алгоритмів, які забезпечують Політика конфіденційності і безпеку в Інтернеті. У Lightning криптографія — це сполучна ланка, яка скріплює платіжну систему, кінцевим результатом якої є можливість надсилати Bitcoin іншій людині.

Таким чином, дослідники розглядають ці різні криптографічні технології, які лежать в основі блискавки, включаючи цифрові підписи, які у випадку Bitcoin можуть бути створені лише користувачем з правильним закритим ключем Bitcoin .

«Чесний учасник мережі Lightning може втратити свої гроші, лише якщо підписи або хеш-функція, що використовується Bitcoin, будуть зламані», — сказав Літос, додавши:

«Використання реалістичної основної книги дозволило нам визначити точні межі безпеки для робочих параметрів мережі блискавки. Зокрема, ми надаємо конкретну відповідь на питання «як часто користувач мережі блискавки повинен перевіряти блокчейн, особливо коли кілька - Хоп платіж триває?'"

Характеристики, а не програмне забезпечення

Хоча перевірка специфікації є важливим кроком, вона стосується лише схем коду Lightning, а не реалізації програмного забезпечення, створеного розробниками.

Хоча в документі стверджується, що мережа Lightning «так само безпечна, як Bitcoin», це T означає, що саме програмне забезпечення безпечне. Це може здатися тонкою відмінністю, але є велика різниця.

Існує три основні реалізації мережі блискавки, які Соціальні мережі специфікаціям: Eclair від Acinq, c-lightning від Blockstream і lnd від Lightning Lab.

«Наш аналіз базується на формальній специфікації, а не на реалізації. Як наслідок, наша робота не виключає помилок у різних реалізаціях, лише в специфікації», — сказав Літос.

Тим не менш, Літос зазначив, що майбутній формальний аналіз може бути використаний, щоб поглянути на фактичний код.

«В ідеалі формальна перевірка коду, яка б довела, що він відповідає специфікації, збільшила б нашу довіру до системи. Але перед цим потрібна була б машинозчитувана версія специфікації», — сказав він.

Ключі зображення через Shutterstock