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

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

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

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

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

Принцип DLC

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

Основний процес DLC включає:

1. Інвестиційна угода: Аліса і Боб кожен вносять по 10BTC на 2-of-2 мультипідпис адресу.

2. Побудова CET: створення CET з двома можливими результатами.

3. Оркестр обчислює зобов'язання та генерує новий публічний ключ для Аліси та Боба.

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

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

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

OP-DLC 2

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

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

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

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

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

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

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

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

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

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

Висновок

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