Как MATT может добавить в Bitcoin контракты с состоянием

Что произошло

Cointelegraph Research опубликовал пятую часть технической серии о Bitcoin covenants. В материале рассматриваются MATT (Merkleize All The Things) и предлагаемая реализация через OP_CHECKCONTRACTVERIFY (OP_CCV).

MATT описывается как фреймворк для Bitcoin, который позволяет создавать контракты с состоянием: такие контракты переносят информацию через несколько транзакций и могут изменять ее по мере выполнения. В стандартных скриптах Bitcoin каждая транзакция проверяется независимо, без памяти о предыдущих выполнениях.

Как работает механизм

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

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

OP_CCV позволяет скрипту проверить, что ключ входа или выхода Taproot был изменен так, чтобы зафиксировать конкретные данные состояния. Сначала внутренний ключ изменяется с использованием хеша текущего состояния контракта, после чего применяется стандартное изменение Taproot для дерева скриптов.

Почему это важно

При объединении OP_CCV с OP_CAT скрипты могут строить и проверять доказательства Меркла непосредственно в блокчейне. В такой конструкции отдельно фиксируются дерево скриптов Taproot и дерево состояния, содержащие данные контракта.

Это открывает путь к системам доказательств мошенничества: длительное вычисление выполняется вне блокчейна, а в цепочку передается только оспариваемый шаг и путь к нему в бинарном дереве. OP_CCV и OP_CAT также могут использоваться для более полнофункциональных сейфов.

Контекст

MATT может реализовываться через разные комбинации опкодов. В материале OP_CCV назван наиболее прямой и хорошо описанной реализацией. В отличие от подходов, основанных на заранее подписанных транзакциях, конструкция позволяет динамически формировать новое состояние при каждом расходовании.

Для систем доказательств мошенничества вычисление должно быть представлено в виде двоичной схемы или последовательности отдельных шагов, которую можно зафиксировать в дереве Меркла. В материале также отмечается, что OP_CCV + OP_CAT позволяет обойти необходимость в одноразовых подписях Лэмпорта и графах заранее подписанных транзакций, на которые опирается BitVM.