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

1. Вступ

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

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

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

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

2. Принцип DLC

Аліса та Боб підписали угоду про парі, ставлячи на парність або непарність хешу певного блоку. Через оракули передається інформація про блок для створення умовного підпису, що дозволяє правильному переможцю отримати всі активи.

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

3. OP-DLC 2

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

1. Оракул складається з альянсу, будь-який учасник може підписати CET. Після застави 2BTC можна випустити підпис для заробітку комісії.
2. Коли оракул чинить зло, будь-яка сторона може ініціювати виклик.
3. Коли оракул чесно підписує CET, через тиждень можна правильно здійснити розрахунок і отримати винагороду.
4. Будь-яка сторона може оскаржити Oracle_sign.
5. Виклики у OP-DLC полягають у тому, що вони не потребують дозволу, і будь-яка сторона може контролювати виконання контракту.

Переваги:

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

Недоліки:

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

4. Висновок

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

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