OP-DLC 2: Великі істини завжди прості

1. Вступ

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

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

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

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

2. Принцип DLC

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

Основні етапи DLC включають:

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

2. Побудова CET: обидві сторони створюють CET1 та CET2 для витрачання інвестиційних транзакцій.

3. Обчислення oracle: обчислення oracle обіцянок та відповідних параметрів.

4. Розрахунок: відповідно до хеш-значення ξ-го блоку, оракул підписує відповідний CET.

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

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

3. OP-DLC 2

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

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

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

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

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

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

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

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

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

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

4. Висновок

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