Доказ шахрайства
Доказ шахрайства - це технологічний метод, який функціонує як зв'язок у децентралізованому середовищі, яке використовує Optimistic Rollups (OR).
Що таке доказ шахрайства?
Термін "шахрайство" (fraud) визначається як неправомірна поведінка, вчинена з метою отримання неправомірної вигоди шляхом позбавлення жертви права. Податкове шахрайство, шахрайство з кредитними картками, шахрайство з банківськими переказами та багато інших - ось лише деякі приклади. Шахрайські дії можуть бути вчинені однією особою, групою осіб або компанією в цілому.
У світі
блокчейну,
термін "докази шахрайства" означає технічний метод, який є критично важливим для забезпечення масштабованості блокчейнів (наприклад, за допомогою шардингу або більших блоків), гарантуючи при цьому, що дані у ланцюгу доступні та правильні. Докази шахрайства використовують Optimistic Rollups (OR), які виконують дві функції: зменшують витрати та знижують рівень затримок для децентралізованих додатків у мережі блокчейн.
Щоб отримати винагороду за хорошу роботу, секвенсер, який повинен обробляти ORs, повинен забезпечити доказ шахрайства своєю роботою. Секвенсери отримують фінансову винагороду за виконання rollup відповідно до правил консенсусу, а за їх порушення - грошовий штраф у вигляді втрати доказів шахрайства.
Докази шахрайства при переході стану працюють добре, але вони спираються на важливе припущення, що всі дані
блоку є доступними.
Неможливо встановити, що майнер блоку є некоректним, якщо він просто публікує заголовок блоку без коректного вмісту.
Крім того,
навіть якщо 99% даних доступні, решта 1% може знадобитися для встановлення дійсності блоку, оскільки ми вимагаємо повної доступності даних. Це сувора необхідність перевірки блоків, оскільки дані можуть бути недоступні з різних причин, а не тільки через зловмисні вузли.
Вузол є правильним рішенням для ускладнення недоступності даних для зловмисника.
Масштабування публічних блокчейнів вимагає використання доказів шахрайства та кодів стирання. Вони дозволяють легким вузлам приймати власні рішення про те, які блоки відхиляти, без необхідності покладатися на безліч надійних повних вузлів.
Навіть якщо короткі доведення з нульовим розголошенням можуть бути використані для підтвердження правильності,
зловмисникові/шахраю не вдасться уникнути публікації недоступних блоків та включення їх до ланцюга, це все одно залишається великою проблемою, оскільки це заважає всім іншим валідаторам повністю обчислити стан або створити блоки, які зв'язуються з частиною стану, яка більше не є доступною.
Докази шахрайства свідчать про те, що перехід стану був здійснений неправильно. Фундаментальна перевага доказів шахрайства полягає в тому, що вони не потрібні для кожного переходу стану, а лише тоді, коли щось йде не так. Як наслідок, вони використовують менше обчислювальних ресурсів і більше підходять для умов з обмеженою масштабованістю. Взаємодія цих протоколів є їхнім найбільшим недоліком: вони встановлюють "діалог" між численними учасниками. Діалог/взаємодія/комунікація вимагає присутності сторін, особливо сторони, яка заявляє про шахрайство, і дозволяє іншим сторонам у різний спосіб перешкоджати розмові.