DLC(Discreet Log Contract) є контрактним виконувальним каркасом на основі оракула, запропонованим Таджем Дріджею з Массачусетського технологічного інституту в 2018 році. Він дозволяє сторонам здійснювати умовні платежі відповідно до попередньо визначених умов, виконуючи платежі через попередньо підписані угоди та підписуючи результати оракулом. DLC реалізує нові децентралізовані фінансові застосування, забезпечуючи при цьому безпеку депозитів у біткоїнах.
У попередньому тексті були підсумовані переваги DLC та проблеми, з якими він стикається, а також були запропоновані деякі оптимізаційні рішення. Але оскільки DLC передбачає участь кількох сторін, стратегії захисту є відносно складними і не мають простоти.
У системі біткоїну всі дії реалізуються через UTXO. Досить переконатися, що UTXO правильний, щоб протистояти будь-яким атакам. Аналогічно, у DLC всі дії реалізуються через CET(Contract Execution Transaction). Тому, використовуючи механізм оптимістичного виклику для забезпечення правильності CET, можна протистояти будь-яким атакам.
Конкретно, оракул може підписати CET лише після застави 2 BTC. Додати механізм оптимістичних викликів у CET. Якщо CET не піддається виклику або успішно відповідає на виклик, CET вважається правильним і завершує розрахунок, оракул знімає заставу та отримує комісійні. Якщо оракул намагається вчинити зло, будь-хто може успішно кинути виклик, і цей CET не зможе бути розрахований, оракул втрачає заставу і більше не зможе підписати той же CET. Цей дизайн є простим і ефективним.
Принципи DLC
Розглянемо принципи DLC на прикладі ставки між Алісою та Бобом на парність хешу ξ-го блоку:
Інвестиційна угода: Аліса та Боб кожен заблокували по 10BTC у 2-of-2 мультипідпису.
Побудова CET: створення двох CET для витрат на інвестиційні транзакції.
Оркестр обчислює зобов'язання та генерує підпис.
Розрахунок: оракул підписує відповідний CET на основі хешу блоку.
Виведення: виграшна сторона розраховує новий приватний ключ і витрачає заблоковані кошти.
Дослідження показали, що достатньо використовувати механізм оптимістичного виклику для забезпечення правильності CET, щоб протистояти будь-яким атакам. Неправильний CET буде оскаржено, не буде виконано, а правильний CET буде виконано. Одночасно оракул повинен заплатити ціну за злочинні дії.
OP-DLC 2
OP-DLC включає в себе такі положення:
Оракули складаються з альянсу, будь-який учасник може підписати CET. Потрібно заблокувати 2BTC для підпису.
Якщо оракул чинить зло, будь-хто може ініціювати виклик.
Чесно підписаний CET може бути розрахований через 1 тиждень, оркул отримує винагороду.
Будь-хто може оскаржити Oracle_sign.
Виклики не потребують дозволу, будь-хто може контролювати виконання контракту.
Переваги:
Високий рівень контролю активів, користувач може довіряти лише собі
Високий рівень використання капіталу
Діапазон оракула може бути гнучко визначений
Недоліки:
Час виведення коштів займає 1 тиждень
Кількість попередньо підписаних угод має лінійний зв'язок з кількістю CET
Висновок
OP-DLC впроваджує оптимістичний механізм викликів у CET, гарантуючи, що помилкові CET не будуть розраховані, а зловмисні оракули понесуть покарання, в той час як правильні CET будуть виконані, а чесні оракули отримають винагороду. Цей простий і ефективний дизайн може протистояти різним атакам.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
OP-DLC 2: Оптимізація механізму оптимістичних викликів DLC контракту
OP-DLC 2: Істина завжди проста
DLC(Discreet Log Contract) є контрактним виконувальним каркасом на основі оракула, запропонованим Таджем Дріджею з Массачусетського технологічного інституту в 2018 році. Він дозволяє сторонам здійснювати умовні платежі відповідно до попередньо визначених умов, виконуючи платежі через попередньо підписані угоди та підписуючи результати оракулом. DLC реалізує нові децентралізовані фінансові застосування, забезпечуючи при цьому безпеку депозитів у біткоїнах.
У попередньому тексті були підсумовані переваги DLC та проблеми, з якими він стикається, а також були запропоновані деякі оптимізаційні рішення. Але оскільки DLC передбачає участь кількох сторін, стратегії захисту є відносно складними і не мають простоти.
У системі біткоїну всі дії реалізуються через UTXO. Досить переконатися, що UTXO правильний, щоб протистояти будь-яким атакам. Аналогічно, у DLC всі дії реалізуються через CET(Contract Execution Transaction). Тому, використовуючи механізм оптимістичного виклику для забезпечення правильності CET, можна протистояти будь-яким атакам.
Конкретно, оракул може підписати CET лише після застави 2 BTC. Додати механізм оптимістичних викликів у CET. Якщо CET не піддається виклику або успішно відповідає на виклик, CET вважається правильним і завершує розрахунок, оракул знімає заставу та отримує комісійні. Якщо оракул намагається вчинити зло, будь-хто може успішно кинути виклик, і цей CET не зможе бути розрахований, оракул втрачає заставу і більше не зможе підписати той же CET. Цей дизайн є простим і ефективним.
Принципи DLC
Розглянемо принципи DLC на прикладі ставки між Алісою та Бобом на парність хешу ξ-го блоку:
Інвестиційна угода: Аліса та Боб кожен заблокували по 10BTC у 2-of-2 мультипідпису.
Побудова CET: створення двох CET для витрат на інвестиційні транзакції.
Оркестр обчислює зобов'язання та генерує підпис.
Розрахунок: оракул підписує відповідний CET на основі хешу блоку.
Виведення: виграшна сторона розраховує новий приватний ключ і витрачає заблоковані кошти.
Дослідження показали, що достатньо використовувати механізм оптимістичного виклику для забезпечення правильності CET, щоб протистояти будь-яким атакам. Неправильний CET буде оскаржено, не буде виконано, а правильний CET буде виконано. Одночасно оракул повинен заплатити ціну за злочинні дії.
OP-DLC 2
OP-DLC включає в себе такі положення:
Оракули складаються з альянсу, будь-який учасник може підписати CET. Потрібно заблокувати 2BTC для підпису.
Якщо оракул чинить зло, будь-хто може ініціювати виклик.
Чесно підписаний CET може бути розрахований через 1 тиждень, оркул отримує винагороду.
Будь-хто може оскаржити Oracle_sign.
Виклики не потребують дозволу, будь-хто може контролювати виконання контракту.
Переваги:
Недоліки:
Висновок
OP-DLC впроваджує оптимістичний механізм викликів у CET, гарантуючи, що помилкові CET не будуть розраховані, а зловмисні оракули понесуть покарання, в той час як правильні CET будуть виконані, а чесні оракули отримають винагороду. Цей простий і ефективний дизайн може протистояти різним атакам.
! Дослідження бітового шару: OP-DLC 2 Шлях до простоти