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

1. Вступ

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

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

У біткоїні будь-яка дія реалізується через UTXO. Точно так само всі дії в DLC реалізуються через CET (транзакцію виконання контракту). Отже, використання механізму оптимістичного оскарження для забезпечення коректності CET дозволяє протистояти будь-яким атакам. Конкретно кажучи, oracle може підписати CET тільки після того, як він заблокує кошти, а в CET додається механізм оптимістичного оскарження. Коректний CET може бути завершений, oracle знімає заставу і отримує комісію; помилковий CET буде оскаржений, не зможе бути завершений, і oracle втратить заставні кошти. Цей підхід простий і елегантний, відповідає принципу «простота — це шлях до істини».

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

2. Принципи DLC

На прикладі ставок Alice та Bob на парність блок-хешу пояснімо принцип DLC. Основні етапи включають угоду про внесення коштів, побудову CET, розрахунок та виведення коштів.

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

3. OP-DLC 2

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

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

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

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

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

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

Переваги:

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

Недоліки:

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

4. Висновок

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