Рудик Е.Д.
BITVM: КАК РЕАЛИЗОВАТЬ СМАРТ–КОНТРАКТЫ В БИТКОИНЕ *
Аннотация:
расширенные возможности BTC повышают конкурентоспособность проекта и снижают востребованность технических решений альткоинов. С помощью BitVM предлагается новый подход для проверки любых более сложных вычислений через сеть. В статье рассматривается, что именно это такое, как выглядит техническая реализация и каковы преимущества и недостатки BitVM.
Ключевые слова:
криптовалюты, полнота по Тьюрингу, языки программирования
Опубликованный разработчиком биткоина Робином Линусом официальный документ под названием «BitVM: вычислить что угодно на биткоине» привлек много внимания не только в криптосообществе, но и за его пределами. За счет использования функций, доступных после обновления Taproot, должна быть обеспечена проверка любых сложных смарт–контрактов, то есть особых условий для выпуска определенного количества BTC.Особенностью является то, что нет необходимости менять правила консенсуса посредством хард– или софтфорка. Более сложные вычисления сами по себе не происходят непосредственно в сети биткоина. Только утверждение о результате этого сложного расчета может быть проверяемо оспорено в сети на основе заранее согласованных условий.Полнота по Тьюрингу.Концепция, которую часто широко используют, – это концепция «полноты Тьюринга» или «силы Тьюринга», которая делает заявление о мощности компьютерной системы или, в целом, язык. Современные «общие» языки программирования, такие как C++, Java или Python, считаются полными по Тьюрингу. Можно осуществить на этих языках все вычисления, которые может выполнить машина Тьюринга или любой компьютер. Насколько это на самом деле легко – другой вопрос, но по крайней мере теоретически эти языки достаточно мощны для этого.Однако это не относится к небольшому специальному языку: Bitcoin Script. Все выходы в сети криптовалюты обеспечиваются небольшой программой, выходные данные которой решают, можно ли потратить соответствующий BTC или нет. Здесь они намеренно полагаются на очень ограниченный набор команд и ограниченное пространство для хранения, чтобы участники сети не подвергались утопически сложным и трудоемким проверкам транзакций. BitVM ничего в этом не изменит, поскольку он будет использоваться где угодно, в первую очередь за пределами сети биткоина.Основной принцип.Почти сравнимая с моделью безопасности канала Lightning, BitVM не полагается на прямую проверку, а вместо этого предполагает, что фактическая попытка мошенничества всегда будет оспорена заинтересованным лицом. Если участник канала Lightning пытается обмануть своего коллегу, например, публикуя устаревшее состояние канала в сети биткоина, существует заранее определенный механизм, с помощью которого мошенник может быть наказан.Этот базовый принцип доведен до крайности в BitVM. В идеале все расчеты происходят за пределами сети биткоина, например, непосредственно между двумя участниками. Эти «расчеты» могут быть чем угодно. Например, в игре в шахматы, победитель может выиграть определенное количество BTC. Проблема: что будет делать победитель партии, если ему откажут в выигрыше?Эту фундаментальную проблему доверия в сложных соглашениях необходимо каким–то образом обойти, вовлекая сеть биткоина в качестве независимой стороны, не обременяя ее реальной сложностью, то есть игрой в шахматы. Хотя это совсем не просто, BitVM предлагает элегантный, хотя и сложный подход к этому.Техническая основа BitVM.Все, что происходит на компьютерах, можно разбить на два числа: ноль и единицу. Каждая функция, какой бы сложной она ни была, каждое представление на экранах и даже эта статья состоит в какой–то степени из последовательных нулей и единиц. Любая программа, которая, конечно, состоит только из нулей и единиц, также может быть представлена очень простыми логическими схемами, более или менее эффективно в зависимости от структуры схемы.После обновления Taproot стало возможным комбинировать в сценарии множество различных «путей», то есть различных условий и процессов. Это значительно сокращает объем памяти, необходимый для транзакций биткоина для сложного сценария, поскольку фактически публикуется только критический путь.Когда два участника договариваются о шахматной партии, они представляют логические процессы шаг за шагом в таком огромном дереве различных возможностей. Эти сложные расчеты и приготовления происходят заранее и за пределами сети биткоина.Скрипт, сведенный в выходные данные Taproot в одно значение хеш–функции, теперь готов к использованию. Если оба участника следуют правилам своей игры в шахматы, победитель может просто выплатить свое вознаграждение через простой путь вывода в скрипте. Обе стороны счастливы, и совершенно нормальная транзакция оказывается в блокчейне биткоина с точки зрения места для хранения.Но чтобы оценить реальную безопасность BitVM, конечно, следует предположить худший вариант: один из участников пытается обмануть другого. На этом этапе будет начата заранее определенная (и подписанная участниками) игра «вызов–ответ», в которой сделанное утверждение (о победе в шахматной партии) может быть поочередно подвергнуто сомнению или опровергнуто проверяющей стороной. Если утверждение на самом деле ложно, обманываемый человек всегда сможет опровергнуть или наказать своего контрагента, что, очевидно, чрезвычайно снижает стимул к совершению мошенничества – аналогично ситуации в Lightning Network.Даже в случае попытки мошенничества теоретически в сети биткоина окажется лишь несколько дополнительных транзакций, поэтому это не вызовет непропорционального потока транзакций.Любые расчеты на самом деле могут быть проверены через сеть биткоина при условии, что партнер или стороны всегда имеют возможность оспорить предполагаемые нарушения правил.Недостаток, вероятно, уже очевиден на этом этапе: сложные вычисления происходят не в сети биткоина, а за ее пределами. Миллиарды предварительно рассчитанных промежуточных шагов необходимы даже для довольно простых смарт–контрактов, не говоря уже о бесчисленных подписях, которые необходимы, по крайней мере, каждые несколько шагов, чтобы обеспечить максимально точное разрешение конфликтов в чрезвычайной ситуации.Предложение BitVM технически очень интересное и еще раз показывает, что все варианты использования, при условии достаточного спроса на них, могут быть реализованы с помощью биткоина. Хотя BitVM изначально является лишь доказательством концепции, вскоре первые более сложные решения будут реализованы на практике и предложены первые улучшения с точки зрения эффективности подхода.
Номер журнала Вестник науки №1 (70) том 2
Ссылка для цитирования:
Рудик Е.Д. BITVM: КАК РЕАЛИЗОВАТЬ СМАРТ–КОНТРАКТЫ В БИТКОИНЕ // Вестник науки №1 (70) том 2. С. 720 - 724. 2024 г. ISSN 2712-8849 // Электронный ресурс: https://www.вестник-науки.рф/article/12360 (дата обращения: 17.05.2024 г.)
Вестник науки СМИ ЭЛ № ФС 77 - 84401 © 2024. 16+