Новый план для контрактов с биткойнами: эффективность вне цепи, гарантии на цепь

Новый план для контрактов с биткойнами: эффективность вне цепи, гарантии на цепь

8 июля 2025 г.

Авторы:

(1) Дарио Маддалони, Università Degli Studi Di Trento (Dariomaddaloni.6@gmail.com);

(2) Riccardo Marchesin, Università Degli Studi di Trento (riccardo.marchesin@unitn.it);

(3) Роберто Зунино, Università Degli Studi Di Trento (roberto.zunino@unitn.it).

Аннотация и 1. Введение

  1. В цепочке контракты
  2. Контракты вне цепи
  3. Выводы и ссылки

Абстрактный

Мы рассматриваем выполнение умных контрактов на биткойнах. Там каждый шаг контракта соответствует добавлению к блокчейну новой транзакции, которая тратит выход, представляющий старое состояние контракта, создавая новое для обновленного состояния. Эта стандартная процедура требует, чтобы участники контракта оплачивали плату за транзакцию за каждый шаг выполнения.

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

1. Введение

Перемещение вычислений вне цепочки для сэкономить на сборе стало популярным средством масштабирования возможностей обработки смарт-контрактов блокчейна, что делает их более практичными. Для этой цели были рассмотрены различные методы, в частности, по сравнению с блокчейном на основе учетных записей, таких как Ethereum [1, 2, 3]. В этой работе мы вместо этого сосредоточимся на биткойнских интеллектуальных контрактах.

Несмотря на то, что Биткойн все еще ограничен языком сценариев, неполного, не позволяет реализовать широкий класс интеллектуальных контрактов [4, 5]. Некоторые простые контракты могут быть выражены с использованием одной транзакции Payto-script-hash, которая кодирует подходящее условие расходов. Тем не менее, используя несколько транзакций, можно реализовать более сложные контракты с биткойнами, позволяя многочисленным раундам взаимодействия между участниками [7, 6].

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

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

Наш протокол, не являющийся цепью, имеет механизм сбоя, который может быть вызван всякий раз, когда кто-то обнаруживает злонамеренное поведение. Этот механизм перемещает казнь контракта обратно в цепочку, защищая поведение контракта от злонамеренных актеров. Даже в этом негативном сценарии сохраняются шаги, которые были выполнены вне цепочки, уменьшив количество шагов в цепочке, необходимых для завершения контракта. Когда сборы сбоя запускаются, участникам необходимо оплатить сборы, связанные с оставшимися шагами контракта, и подождать несколько дополнительных задержек. Сборы, которые сохраняются за счет выполнения не цепь, могут быть распределены участникам, когда договор завершится: это служит стимулом для участников для правильного выполнения протокола вне цепи.

Несмотря на то, что наша техника предназначена для выполнения на биткойнах как есть, она опирается только на основы модели UTXO, а также TimeLocks, широко принятый примитив в блокчанах UTXO, что делает наш подход легко адаптируемым к другим платформам UTXO.

ВкладМы суммируем наш вклад следующим образом:

• Мы описываем общую технику для преобразования контракта на биткойн в цепочке в контракт с нецелесообразным.

• Мы демонстрируем нашу технику через простой пример.

• Мы обсуждаем безопасность и эффективность нашего протокола.

Эта статья естьДоступно на ArxivПод CC по лицензии 4.0.


Оригинал
PREVIOUS ARTICLE
NEXT ARTICLE