Нове дослідження спрямоване на серйозне занепокоєння щодо деяких блокчейнів: подвійно витрачені транзакції

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

«(Віртуальна) золота лихоманка триває, і, як і на Дикому Заході минулого, розбійники завжди присутні», — йдеться в газеті під назвою Поліграф: відповідальна візантійська угода.

Автори — Вінсент Грамолі та П’єр Сівіт із Сіднейського університету та Сет Гілберт із Національного університету Сінгапуру — розробили протокол Polygraph, який автоматизує підзвітність у блокчейнах, щоб притягнути учасників до відповідальності за подвійні витрати, сумнозвісно заплутану проблему в криптографії.

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

Наводять випадок із зомбі:

"Вузли Byzantine можуть перевизначати Загальний протокол поліграфа, пропонуючи безпосередньо два конфліктуючі погляди двом різним клієнтам, щоб потім виконати атаку подвійного витрачання. Коаліція не бере участі в консенсусі, щоб порушити властивість живучості... Зауважте, що також порушується безпека: коли клієнт викликає примітив read(), коаліція може відповідати на довільні значення, незважаючи на те, що законний консенсус не припиняється. Передбачається, що клієнт довіряє коаліції, як і всі інші клієнти, які можуть назавжди отримувати інший вихід для примітиву read(). Отже, для T ≥ n − t0 порушується можлива властивість префікса.

Фокус на реальному світі

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

Група розглядає зростаючу загрозу централізації блокчейнів, спричинену колективізацією хешування. Згідно з традиційними візантійськими протокольними угодами, якщо ONE сторона накопичує більше однієї третини загального видобутку, вона отримує повноваження приймати рішення. Крім того, автори зазначають, що найбільший пул майнінгу Bitcoin сьогодні контролює приблизно 19 відсотків загальної потужності хешування.

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

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

«Протоколи візантійської угоди діють як замки на дверях банку, не даючи бандам втекти зі здобиччю», — написали вони.

Однак, коли ці гарантії не спрацьовують — а автори припускають, що вони можуть і роблять — протокол Polygraph перехопить зловмисну ​​поведінку.

Базовий алгоритм Поліграфа заснований на Візантійський протокол угоди, але йде далі, оскільки відбувається через асинхронні раунди або голосування, яке отримує демократичний внесок.

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

Коли місто T велике...

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

«Підзвітність ігнорується в блокчейнах, але насправді вона є ключем до безпеки», — сказав Грамолі, який також є генеральним директором Red Belly Blockchain. «Індустрія не може прийняти блокчейн як просту розподілену систему, де цінні активи зникають, як тільки третина учасників формує коаліцію».

Red Belly Blockchain фінансується Австралійська дослідницька рада і розроблено дослідниками групи дослідження паралельних систем Сіднейського університету та Data61-CSIRO.

Автор фото Сян Гао на Unsplash