OP-DLC 2: Путь к простоте

Введение

Discreet Log Contract (DLC) является контрактной исполняемой рамкой на основе оракулов, которая позволяет сторонам выполнять условные платежи в соответствии с заранее определенными условиями. DLC реализует новые децентрализованные финансовые приложения, обеспечивая при этом безопасность депозитов в биткойнах.

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

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

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

Принцип DLC

Рассмотрим простой пример сделки на основе пари: Алиса и Боб делают ставки на четность хеш-значения определенного блока. С помощью DLC оракул передает информацию о блоке для создания условной подписи, обеспечивая получение всех активов стороной, которая оказалась правой.

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

ОП-DLC 2

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

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

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

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

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

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

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

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

Недостатки:

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

Вывод

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