В 2018 году Тадж Драйя из Массачусетского технологического института предложил рамки выполнения контрактов на основе оракулов — Discreet Log Contract (DLC). Эта система позволяет сторонам производить условные платежи в соответствии с предопределенными условиями, заранее определяя возможные результаты и производя предварительное подписание, а затем осуществляя платежи, когда оракул подтверждает результат. DLC обеспечивает безопасность депозитов в биткойнах и открывает новые возможности для децентрализованных финансовых приложений.
Предыдущие исследования обобщили преимущества DLC в области защиты конфиденциальности, сложных контрактов и риска активов, а также указали на проблемы, с которыми он сталкивается, такие как риск ключей, риск децентрализованного доверия и риск сговора. Для решения этих проблем исследователи пытались внедрить такие решения, как децентрализованные оракулы, подпись с пороговым значением и механизм оптимистичных вызовов. Однако, поскольку DLC предполагает участие нескольких сторон, стратегии защиты становятся сложными и не соответствуют принципу "простота - это высшая степень совершенства".
В системе Биткойн все действия участников реализуются через UTXO. Поэтому, обеспечив правильность UTXO, можно противостоять любым атакам. Аналогично, в DLC все действия выполняются через CET (Контрактные Исполнительные Транзакции). Введение механизма оптимистичного оспаривания для обеспечения правильности CET эффективно защищает от различных атак. Конкретно, оракул должен заложить 2BTC, чтобы подписать CET, и включить в CET механизм оптимистичного оспаривания. Если CET не оспаривается или успешно противостоит оспариванию, он считается правильным и завершает расчеты, оракул освобождает залог и получает комиссию. В противном случае, если оракул действует злонамеренно, любой может успешно оспорить, что приведет к невозможности расчета CET, оракул теряет залог и теряет право подписи на этот CET. Эта простая и эффективная механика отражает дизайнерскую концепцию "простота - это высшая форма совершенства".
Алиса и Боб подписали соглашение о пари: ставка на то, будет ли хэш ξ-го блока нечетным или четным. Если нечетным, Алиса выигрывает и извлекает активы; если четным, Боб выигрывает и извлекает активы. DLC передает информацию о ξ-м блоке через оракул, создавая условную подпись, чтобы гарантировать, что победитель получит все активы.
Основные этапы DLC включают:
Инвестиционная сделка: Алиса и Боб совместно создают инвестиционную сделку, каждый из которых блокирует 10BTC в мультиподписном выходе.
Построение CET: обе стороны создают CET1 и CET2 для проведения транзакций с вложениями.
Вычисление оракула: вычисление оракула обещает и связанные параметры.
Расчет: в соответствии с хэш-значением ξ-го блока, оракул подписывает соответствующий CET.
Вывод средств: Победитель вычисляет новый приватный ключ и извлекает заблокированные BTC.
Исследования показали, что все действия в DLC должны осуществляться через CET. Поэтому, достаточно использовать механизм оптимистичного оспаривания для обеспечения корректности CET, чтобы противостоять любым атакам. Неправильный CET будет оспорен и предотвращен от выполнения, в то время как правильный CET будет выполнен. Кроме того, оракулы должны понести ответственность за злонамеренные действия.
3. ОП-DLC 2
OP-DLC включает в себя следующие пять ключевых положений:
Оракулы состоят из альянса, любой член которого может подписывать CET. Оракул должен заложить 2 BTC, чтобы выпустить подпись и заработать комиссионные. Злоумышленники потеряют залог. Алиса и Боб также могут стать оракулами, чтобы минимизировать доверие.
Если оракул совершит злонамеренные действия и изменит результат, любая сторона может инициировать вызов.
Честно подписанный CET может быть правильно рассчитан через неделю. Оракул получает 0.05BTC в качестве компенсации.
Любой может оспорить подпись оракула. Честные подписи будут обработаны через неделю, оракул разблокирует залог и получит комиссионные. Нечестные подписи приведут к потере залога оракулом, и больше нельзя будет делать подписи с тем же результатом для этого DLC контракта.
В OP-DLC вызов заключается в том, что он не требует разрешения, и любая участвующая сторона может контролировать правильность выполнения контракта, минимизируя доверие к оракулам. В отличие от сети Lightning, Элис и Боб могут работать в оффлайне, так как честные подписи будут использоваться для расчета CET, в то время как злонамеренные оракулы будут наказаны.
Преимущества OP-DLC включают:
Высокий уровень контроля активов, пользователи могут доверять только себе.
Высокая степень использования средств, пользователю не нужно ожидать эквивалентное финансирование.
Оракул, который может подписывать, определяется при внесении средств, пользователь может стать оракулом.
Недостатки включают:
Время вывода средств составляет одну неделю.
Количество предварительно подписанных транзакций имеет линейную зависимость от количества CET и быстро растет.
4. Заключение
OP-DLC, вводя механизм оптимистичного оспаривания в CET, обеспечивает правильное выполнение CET и предотвращает ошибочные CET, одновременно наказывая злонамеренные оракулы. Этот дизайн эффективно противодействует различным атакам и демонстрирует простое и элегантное решение.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
6
Поделиться
комментарий
0/400
SerumSqueezer
· 07-20 04:01
Срок вывода средств за неделю слишком долгий.
Посмотреть ОригиналОтветить0
SnapshotDayLaborer
· 07-20 04:00
Недостаточная эффективность, за неделю у меня всё запустилось.
Посмотреть ОригиналОтветить0
NFTRegretDiary
· 07-20 03:59
Снова блестящий Блокчейн и ложная безопасность
Посмотреть ОригиналОтветить0
MidnightMEVeater
· 07-20 03:49
Неделя ожидания... Время для шведского стола для Майнеров пришло.
OP-DLC 2: Оптимистичный механизм вызова помогает безопасности и эффективности Биткойн смарт-контрактов
OP-DLC 2: Великая истина всегда проста
1. Введение
В 2018 году Тадж Драйя из Массачусетского технологического института предложил рамки выполнения контрактов на основе оракулов — Discreet Log Contract (DLC). Эта система позволяет сторонам производить условные платежи в соответствии с предопределенными условиями, заранее определяя возможные результаты и производя предварительное подписание, а затем осуществляя платежи, когда оракул подтверждает результат. DLC обеспечивает безопасность депозитов в биткойнах и открывает новые возможности для децентрализованных финансовых приложений.
Предыдущие исследования обобщили преимущества DLC в области защиты конфиденциальности, сложных контрактов и риска активов, а также указали на проблемы, с которыми он сталкивается, такие как риск ключей, риск децентрализованного доверия и риск сговора. Для решения этих проблем исследователи пытались внедрить такие решения, как децентрализованные оракулы, подпись с пороговым значением и механизм оптимистичных вызовов. Однако, поскольку DLC предполагает участие нескольких сторон, стратегии защиты становятся сложными и не соответствуют принципу "простота - это высшая степень совершенства".
В системе Биткойн все действия участников реализуются через UTXO. Поэтому, обеспечив правильность UTXO, можно противостоять любым атакам. Аналогично, в DLC все действия выполняются через CET (Контрактные Исполнительные Транзакции). Введение механизма оптимистичного оспаривания для обеспечения правильности CET эффективно защищает от различных атак. Конкретно, оракул должен заложить 2BTC, чтобы подписать CET, и включить в CET механизм оптимистичного оспаривания. Если CET не оспаривается или успешно противостоит оспариванию, он считается правильным и завершает расчеты, оракул освобождает залог и получает комиссию. В противном случае, если оракул действует злонамеренно, любой может успешно оспорить, что приведет к невозможности расчета CET, оракул теряет залог и теряет право подписи на этот CET. Эта простая и эффективная механика отражает дизайнерскую концепцию "простота - это высшая форма совершенства".
! Исследование битlayer: OP-DLC 2 путь к простоте
2. Принципы DLC
Алиса и Боб подписали соглашение о пари: ставка на то, будет ли хэш ξ-го блока нечетным или четным. Если нечетным, Алиса выигрывает и извлекает активы; если четным, Боб выигрывает и извлекает активы. DLC передает информацию о ξ-м блоке через оракул, создавая условную подпись, чтобы гарантировать, что победитель получит все активы.
Основные этапы DLC включают:
Инвестиционная сделка: Алиса и Боб совместно создают инвестиционную сделку, каждый из которых блокирует 10BTC в мультиподписном выходе.
Построение CET: обе стороны создают CET1 и CET2 для проведения транзакций с вложениями.
Вычисление оракула: вычисление оракула обещает и связанные параметры.
Расчет: в соответствии с хэш-значением ξ-го блока, оракул подписывает соответствующий CET.
Вывод средств: Победитель вычисляет новый приватный ключ и извлекает заблокированные BTC.
Исследования показали, что все действия в DLC должны осуществляться через CET. Поэтому, достаточно использовать механизм оптимистичного оспаривания для обеспечения корректности CET, чтобы противостоять любым атакам. Неправильный CET будет оспорен и предотвращен от выполнения, в то время как правильный CET будет выполнен. Кроме того, оракулы должны понести ответственность за злонамеренные действия.
3. ОП-DLC 2
OP-DLC включает в себя следующие пять ключевых положений:
Оракулы состоят из альянса, любой член которого может подписывать CET. Оракул должен заложить 2 BTC, чтобы выпустить подпись и заработать комиссионные. Злоумышленники потеряют залог. Алиса и Боб также могут стать оракулами, чтобы минимизировать доверие.
Если оракул совершит злонамеренные действия и изменит результат, любая сторона может инициировать вызов.
Честно подписанный CET может быть правильно рассчитан через неделю. Оракул получает 0.05BTC в качестве компенсации.
Любой может оспорить подпись оракула. Честные подписи будут обработаны через неделю, оракул разблокирует залог и получит комиссионные. Нечестные подписи приведут к потере залога оракулом, и больше нельзя будет делать подписи с тем же результатом для этого DLC контракта.
В OP-DLC вызов заключается в том, что он не требует разрешения, и любая участвующая сторона может контролировать правильность выполнения контракта, минимизируя доверие к оракулам. В отличие от сети Lightning, Элис и Боб могут работать в оффлайне, так как честные подписи будут использоваться для расчета CET, в то время как злонамеренные оракулы будут наказаны.
Преимущества OP-DLC включают:
Недостатки включают:
4. Заключение
OP-DLC, вводя механизм оптимистичного оспаривания в CET, обеспечивает правильное выполнение CET и предотвращает ошибочные CET, одновременно наказывая злонамеренные оракулы. Этот дизайн эффективно противодействует различным атакам и демонстрирует простое и элегантное решение.