OP-DLC 2: Шлях до простоти

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

У попередньому тексті підсумовано переваги та проблеми, з якими стикається DLC, а також запропоновано деякі варіанти оптимізації. Однак, оскільки DLC передбачає участь кількох сторін, стратегії захисту є відносно складними. Для досягнення естетики простоти нам слід повернутися до суті: у біткоїні будь-яка дія повинна бути реалізована через UTXO. Аналогічно, дії в DLC реалізуються через CET(Contract Execution Transaction). Тому достатньо лише забезпечити правильність CET, щоб протистояти різним атакам.

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

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

Принцип DLC

Розглянемо приклад парі між Алісою та Бобом щодо парності хешу блоку, щоб пояснити основний принцип DLC:

1. Інвестиційна угода: Аліса та Боб кожен заблокують по 10BTC у мультипідписному виході.

2. Створення CET: обидві сторони створюють два CET, які відповідають різним результатам.

3. Розрахунок: оракул підписує відповідний CET на основі фактичного результату.

4. Виведення: Виграшна сторона обчислює новий приватний ключ і виводить всі 20BTC.

Ключ в тому, що всі дії здійснюються через CET. Таким чином, досить забезпечити правильність CET, щоб запобігти різним атакам. Неправильний CET буде оскаржений і не буде виконаний, в той час як правильний CET буде виконаний. Одночасно, oracle повинні платити ціну за злочинні дії.

OP-DLC 2

OP-DLC містить такі положення:

1. Оракул складається з альянсу, будь-який учасник може підписати CET. Необхідно заморозити 2BTC, щоб підписати і заробити комісію.

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

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

4. Будь-хто може оскаржити підпис на оракулах:

   • Якщо чесно, то CET нормальні розрахунки, oracle розблокує заставу та отримує комісійні
   • Якщо нечесно, підпис недійсний, оракул втрачає заставу і втрачає право на повторний підпис

5. Механізм викликів не потребує дозволу, будь-хто може контролювати виконання контракту, забезпечуючи мінімальну довіру до оракула.

Основні переваги OP-DLC:

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

Основні недоліки:

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

Висновок

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