DLC( Дискретный лог-контракт) был предложен Таджем Дрижей из Массачусетского технологического института в 2018 году как рамки выполнения контрактов, основанные на оракулах. Он позволяет сторонам осуществлять условные платежи в соответствии с предопределенными условиями, выполняя платежи через предварительно подписанные и оракулом подписанные результаты. DLC реализует новые децентрализованные финансовые приложения, обеспечивая безопасность депозитов в биткойнах.
В предыдущем тексте были обобщены преимущества DLC и проблемы, с которыми он сталкивается, а также предложены некоторые оптимизационные решения. Однако из-за того, что DLC включает в себя участие нескольких сторон, стратегии защиты относительно сложны и лишены простоты.
В системе Биткойн все действия реализуются через UTXO. Если UTXO корректны, можно противостоять любым атакам. Аналогично, все действия в DLC реализуются через CET(Contract Execution Transaction). Таким образом, используя механизм оптимистичного оспаривания для обеспечения корректности CET, можно противостоять любым атакам.
В частности, оракул может подписать CET только после того, как он заложит 2 BTC. В CET добавлен механизм оптимистичного оспаривания. Если CET не оспаривается или успешно справляется с оспариванием, то CET считается правильным и завершается расчет, оракул снимает залог и получает комиссию. Если оракул пытается обмануть, любой может успешно оспорить, и этот CET не сможет быть рассчитан, оракул потеряет залог и больше не сможет подписывать тот же CET. Эта концепция проста и эффективна.
Принцип DLC
Рассмотрим принцип DLC на примере пари между Алисой и Бобом о четности хэш-значения ξ-го блока:
Инвестиционная сделка: Алиса и Боб блокируют по 10BTC в выходе с 2 из 2 подписей.
Создание CET: Создайте два CET для расходования инвестиционных транзакций.
Оракул вычисляет обязательства и генерирует подпись.
Расчет: Оракул подписывает соответствующий CET на основании хэша блока.
Вывод средств: победитель вычисляет новый приватный ключ и расходует заблокированные средства.
Исследования показывают, что просто использование механизма оптимистичных вызовов для обеспечения правильности CET может противостоять любым атакам. Неправильный CET будет оспорен и не будет выполнен, в то время как правильный CET будет выполнен. В то же время оракул должен понести цену за злонамеренные действия.
ОП-DLC 2
OP-DLC включает следующие положения:
Оракул состоит из альянса, любой участник может подписать CET. Для подписи необходимо заложить 2 BTC.
Если оракул ведет себя неправильно, любой может инициировать вызов.
Честно подписанный CET может быть урегулирован через 1 неделю, оракул получает вознаграждение.
Любой может бросить вызов Oracle_sign.
Вызов не требует разрешения, любой может контролировать выполнение контракта.
Преимущества:
Высокий уровень контроля активов, пользователи могут доверять только себе
Высокая эффективность использования средств
Область оракула может быть определена гибко
Недостатки:
Время вывода средств составляет 1 неделю
Количество предварительно подписанных документов имеет линейную зависимость от количества CET
Заключение
OP-DLC вводит механизм оптимистичного вызова в CET, гарантируя, что ошибочные CET не будут рассчитаны, а злонамеренные оракулы понесут наказание, в то время как правильные CET будут выполнены, а честные оракулы получат награду. Этот простой и эффективный дизайн способен противостоять различным атакам.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
OP-DLC 2: Оптимизация механизма оптимистичного вызова DLC контракта
OP-DLC 2: Истина всегда проста
DLC( Дискретный лог-контракт) был предложен Таджем Дрижей из Массачусетского технологического института в 2018 году как рамки выполнения контрактов, основанные на оракулах. Он позволяет сторонам осуществлять условные платежи в соответствии с предопределенными условиями, выполняя платежи через предварительно подписанные и оракулом подписанные результаты. DLC реализует новые децентрализованные финансовые приложения, обеспечивая безопасность депозитов в биткойнах.
В предыдущем тексте были обобщены преимущества DLC и проблемы, с которыми он сталкивается, а также предложены некоторые оптимизационные решения. Однако из-за того, что DLC включает в себя участие нескольких сторон, стратегии защиты относительно сложны и лишены простоты.
В системе Биткойн все действия реализуются через UTXO. Если UTXO корректны, можно противостоять любым атакам. Аналогично, все действия в DLC реализуются через CET(Contract Execution Transaction). Таким образом, используя механизм оптимистичного оспаривания для обеспечения корректности CET, можно противостоять любым атакам.
В частности, оракул может подписать CET только после того, как он заложит 2 BTC. В CET добавлен механизм оптимистичного оспаривания. Если CET не оспаривается или успешно справляется с оспариванием, то CET считается правильным и завершается расчет, оракул снимает залог и получает комиссию. Если оракул пытается обмануть, любой может успешно оспорить, и этот CET не сможет быть рассчитан, оракул потеряет залог и больше не сможет подписывать тот же CET. Эта концепция проста и эффективна.
Принцип DLC
Рассмотрим принцип DLC на примере пари между Алисой и Бобом о четности хэш-значения ξ-го блока:
Инвестиционная сделка: Алиса и Боб блокируют по 10BTC в выходе с 2 из 2 подписей.
Создание CET: Создайте два CET для расходования инвестиционных транзакций.
Оракул вычисляет обязательства и генерирует подпись.
Расчет: Оракул подписывает соответствующий CET на основании хэша блока.
Вывод средств: победитель вычисляет новый приватный ключ и расходует заблокированные средства.
Исследования показывают, что просто использование механизма оптимистичных вызовов для обеспечения правильности CET может противостоять любым атакам. Неправильный CET будет оспорен и не будет выполнен, в то время как правильный CET будет выполнен. В то же время оракул должен понести цену за злонамеренные действия.
ОП-DLC 2
OP-DLC включает следующие положения:
Оракул состоит из альянса, любой участник может подписать CET. Для подписи необходимо заложить 2 BTC.
Если оракул ведет себя неправильно, любой может инициировать вызов.
Честно подписанный CET может быть урегулирован через 1 неделю, оракул получает вознаграждение.
Любой может бросить вызов Oracle_sign.
Вызов не требует разрешения, любой может контролировать выполнение контракта.
Преимущества:
Недостатки:
Заключение
OP-DLC вводит механизм оптимистичного вызова в CET, гарантируя, что ошибочные CET не будут рассчитаны, а злонамеренные оракулы понесут наказание, в то время как правильные CET будут выполнены, а честные оракулы получат награду. Этот простой и эффективный дизайн способен противостоять различным атакам.
! Исследование битlayer: OP-DLC 2 путь к простоте