OP-DLC 2: Простота в высшей степени

Введение

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

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

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

Принцип DLC

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

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

ОП-DLC 2

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

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

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

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

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

5. Проблема OP-DLC заключается в том, что он не требует разрешения, и любая сторона может контролировать исполнение контракта. Это обеспечивает минимизацию доверия к оракулам.

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

• Высокий уровень контроля активов, пользователи доверяют только себе
• Высокая эффективность использования средств
• Подписывающий оракул определяется при внесении средств, пользователь может стать оракулом

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

• Время вывода средств составляет 1 неделю
• Количество подписей, требующих предварительной подписи, быстро растет

Заключение

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