OP-DLC 2: Істина завжди проста

1. Вступ

У 2018 році Тадж Дріджа з Массачусетського технологічного інституту запропонував Discreet Log Contract (DLC), що є рамкою виконання контрактів на основі оракула. DLC дозволяє сторонам здійснювати умовні платежі на основі попередньо визначених умов, шляхом попереднього визначення можливих результатів та виконання підписання, коли оракул підписує результати. Цей підхід забезпечує безпеку депозитів у біткойнах, одночасно реалізуючи нові децентралізовані фінансові застосування.

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

У системі Bitcoin всі дії реалізуються через UTXO. Отже, забезпечення правильності UTXO може протистояти будь-яким атакам. Аналогічно, у DLC всі дії реалізуються через CET (Contract Execution Transaction). Використовуючи механізм оптимістичного оскарження, забезпечення правильності CET може протистояти будь-яким атакам. Конкретно, оракул може підписати CET лише після внесення застави в 2BTC і додавання механізму оптимістичного оскарження до CET. Якщо CET не оскаржується або успішно відповідає на оскарження, він вважається правильним і завершує розрахунок, оракул звільняє заставу і отримує комісію. Якщо оракул намагається вчинити неправомірні дії, будь-хто може успішно оскаржити, що призведе до неможливості розрахунку CET, оракул втрачає заставу і втрачає право на повторне підписання. Цей підхід відповідає принципу "просто і зрозуміло" і має просту красу.

! Дослідження бітового шару: OP-DLC 2 Шлях до простоти

2. Принципи DLC

Розглянемо просту угоду про парі: Аліса та Боб ставлять на те, чи буде хеш значення ξ-го блоку непарним чи парним. Якщо це непарне, виграє Аліса; якщо парне, виграє Боб. DLC передає інформацію про блоки через оракули, створюючи умовний підпис, що дозволяє виграшній стороні отримати всі активи.

Основні етапи DLC включають: інвестиційну угоду, побудову CET, розрахунок та виведення коштів. У цьому процесі всі дії повинні здійснюватися через CET. Тому потрібно просто використовувати механізм оптимістичного оскарження, щоб забезпечити правильність CET і протистояти будь-яким атакам. Неправильний CET буде оскаржено і не виконано, тоді як правильний CET буде виконано. Одночасно, оракул має заплатити ціну за зловмисні дії.

3. OP-DLC 2

OP-DLC містить п'ять основних положень:

1. Оракул складається з альянсу, будь-який учасник може підписати CET. Оракул має заблокувати 2BTC, щоб випустити підпис і заробити комісію. Зловмисні учасники втратять заблоковані кошти, інші учасники можуть продовжувати підписувати CET, щоб забезпечити виведення коштів користувачами. Користувачі також можуть стати оракулом, досягаючи мінімізації довіри.

2. Якщо оракул зловживає зміною результатів, будь-яка сторона може ініціювати виклик.

3. Коли оракул чесно підписує CET, ніхто не може розпочати дієвий виклик. Через тиждень CET може бути правильно розраховано, оракул отримує 0.05BTC винагороду.

4. Будь-хто може оскаржити Oracle_sign. Чесні підписи не можуть бути успішно оскаржені, розрахунок виконується через тиждень. Нечесні підписи призведуть до втрати застави оракула та втрати права на повторний підпис цього DLC контракту.

5. Виклики в OP-DLC полягають у тому, що вони не потребують дозволу, будь-яка сторона може контролювати виконання контракту. Це забезпечує мінімізацію довіри до оракула, а користувачі можуть працювати офлайн.

Переваги OP-DLC включають:

• Користувач має високий контроль над активами і може довіряти лише собі
• Висока ефективність використання коштів
• Оракул, що має право підпису, визначається під час внесення коштів, користувач може стати оракулом.

Недоліки включають:

• Час виводу коштів потребує тиждень
• Кількість попередньо підписаних і кількість CET мають лінійний зв'язок, зростають досить швидко

4. Висновок

OP-DLC вводить механізм оптимістичних викликів у CET, забезпечуючи, що неправильні CET не будуть розраховані, а злісні оракули понесуть покарання, водночас гарантуючи виконання правильних CET, а оракул отримає належну винагороду. Цей підхід здатний протистояти будь-яким атакам, демонструючи красу простоти.