OP-DLC 2:Істина часто проста

1. Вступ

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

У попередньому тексті були проаналізовані переваги DLC та проблеми, з якими він стикається, а також запропоновані деякі ідеї для оптимізації. Але оскільки DLC залучає кілька сторін, захисні стратегії є відносно складними, що позбавляє їх елегантності.

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

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

2. Принципи DLC

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

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

3. OP-DLC 2

OP-DLC включає в себе такі положення:

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

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

3. CET, підписаний Oracle з чесністю, може бути розрахований через тиждень і отримати винагороду.

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

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

Переваги:

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

Недоліки:

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

4. Висновок

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