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