OP-DLC 2: Дорога к простоте

В 2018 году Тадж Дрйя из Массачусетского технологического института предложил структуру выполнения контрактов на основе оракулов — Discreet Log Contract (DLC). DLC позволяет сторонам производить условные платежи в соответствии с предопределенными условиями, выполняя платежи через предподписанные документы и результаты, подписанные оракулом. Этот метод обеспечивает безопасность депозитов в биткойнах и реализует новые приложения децентрализованных финансов.

В предыдущем тексте были подведены итоги преимуществ и проблем, с которыми сталкивается DLC, и предложены некоторые варианты оптимизации. Однако, поскольку DLC включает участие нескольких сторон, стратегии защиты относительно сложны. В стремлении к красоте простоты нам необходимо вернуться к сути: в биткойне любое действие должно быть реализовано через UTXO. Аналогично, действия в DLC реализуются через CET(Contract Execution Transaction). Поэтому достаточно убедиться в правильности CET, чтобы защититься от различных атак.

В частности, мы можем ввести механизм оптимистичных вызовов для обеспечения правильности CET. Оракулы должны заложить 2 BTC для подписания CET. Если CET не был оспорен или успешно ответил на вызов, он считается правильным и может быть исполнен, оракул снимает залог и получает комиссию. Если оракул попытается совершить злоупотребление, любой может инициировать вызов, что приведет к невозможности расчетов по этому CET, оракул потеряет залог и утратит право подписи для этого CET. Этот механизм простой и эффективный, соответствует концепции "Простота в высшей степени".

! Исследование битlayer: OP-DLC 2 путь к простоте

Принципы DLC

Рассмотрим пример пари между Алисой и Бобом о четности или нечетности хэш-значения блока, чтобы объяснить основные принципы DLC:

1. Инвестиционная сделка: Алиса и Боб заблокировали по 10 BTC в многоподписном выходе.

2. Создание CET: обе стороны создают два CET, соответствующих различным результатам.

3. Расчет: Оракул подписывает соответствующий CET на основе фактических результатов.

4. Вывод средств: победившая сторона вычисляет новый приватный ключ и выводит все 20BTC.

Ключевым моментом является то, что все действия реализуются через CET. Поэтому достаточно обеспечить правильность CET, чтобы предотвратить различные атаки. Неправильный CET будет оспорен и не будет выполнен, правильный CET будет выполнен. В то же время оракулы должны понести наказание за злонамеренные действия.

ОП-DLC 2

OP-DLC включает в себя следующие положения:

1. Оракул состоит из альянса, любой член может подписать CET. Необходимо заложить 2 BTC, чтобы подписать и заработать комиссию.

2. Если оракул злонамеренно изменяет результаты, любой может инициировать вызов.

3. Если оракул честно подпишет, CET может быть рассчитан через неделю, оракул получает вознаграждение.

4. Любой может бросить вызов подписанию оракула:

   • Если честно, то CET нормальная расчет, оракул разблокирует залог и получает комиссию
   • Если не честно, то эта подпись недействительна, оракул теряет залог и утрачивает право на повторную подпись.

5. Механизм вызова не требует разрешения, любой может контролировать выполнение контракта, достигая минимального доверия к оракулам.

Основные преимущества OP-DLC:

• Высокий уровень контроля активов, пользователи могут доверять только себе
• Высокая эффективность использования средств, не требуется равнозначный аванс
• Оракул должен быть определён при внесении средств, но пользователь может стать оракулом.

Основные недостатки:

• Вывод средств требует ожидания недельного периода испытаний
• Количество предварительно подписанных документов увеличивается линейно с количеством CET

Заключение

OP-DLC, вводя механизм оптимистичного оспаривания в CET, гарантирует, что ошибочные CET не будут урегулированы, а злонамеренные оракулы будут наказаны, при этом обеспечивается выполнение правильных CET. Этот простой и эффективный метод может противостоять различным атакам, что отражает философию дизайна «простота - высшее искусство».