OP-DLC 2: Истина часто проста

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

В предыдущей статье «Анализ принципа DLC и его оптимизация» были подведены итоги преимуществ DLC и существующих проблем, а также предложены некоторые идеи для оптимизации. Однако, поскольку DLC включает в себя участие нескольких сторон, сговоры между различными сторонами достаточно сложны, что делает стратегии предотвращения относительно сложными. Сложные защитные стратегии не являются идеальными и лишены простоты.

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

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

Принципы DLC

В качестве примера соглашения о пари между Элис и Бобом: ставка на четность или нечетность хэш-значения ξ-го блока. Если это нечетное число, выигрывает Элис, если четное — Боб. DLC передает информацию о блоке через оракула, создавая условную подпись, чтобы правильная сторона выиграла.

Основной процесс DLC включает в себя:

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

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

3. Оракул вычисляет обязательства и генерирует новые открытые ключи для Алисы и Боба.

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

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

Исследование показало, что любые действия в DLC должны осуществляться через CET. Если использовать оптимистичный механизм вызова, чтобы гарантировать правильность CET, можно противостоять любым атакам. Неправильный CET будет оспорен и не выполнен, тогда как правильный CET будет выполнен. Оракулы должны платить за злонамеренные действия.

ОП-DLC 2

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

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

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

3. Оракул честно подписывает CET, и через неделю может произойти правильный расчет. Оракул получает вознаграждение в размере 0.05BTC.

4. Любой может бросить вызов подписанному оракулу. Честная подпись выполняется через неделю, оракул разблокирует залог и получает комиссию. Нечестная подпись становится недействительной после успешного вызова, оракул теряет залог и не может снова подписать тот же контракт с таким же результатом.

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

Преимущества OP-DLC включают:

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

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

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

Вывод

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