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