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

1. Введение

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

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

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

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

2. Принцип DLC

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

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

3. ОП-DLC 2

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

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

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

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

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

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

Преимущества:

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

Недостатки:

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

4. Вывод

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