OP-DLC 2: Дорога к простоте

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

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

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

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

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

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

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

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

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

5. Механизм вызова открыт для всех, что позволяет минимизировать доверие к оракулу.

Преимущества OP-DLC включают:

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

Недостатки включают:

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

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

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