Написал: Хаотянь
Технический документ под названием «BitVM: вычислить что-либо на биткойне» вызвал бурные дискуссии среди разработчиков. Кажется, это означает, что сеть биткойн реализовала полный по Тьюрингу контракт и может выполнять любую вычислимую функцию?
Означает ли это, что сеть Биткойн может воспроизводить все повествования таких экосистем, как Эфириум? И нет необходимости изменять существующий консенсус Биткойн или даже какое-либо обновление. Простое использование текущего базового кода операции Биткойна может дать сети Биткойн «сложную» программируемость, чтобы сеть Биткойн могла рассчитывать все с полнотой по Тьюрингу?
Подождите, не начинайте сейчас мечтать, давайте сначала обсудим путь идеи BitVM. Как пространство сценариев выполняет сложное программирование? Что означает мышление «Скопление оптимизма»? Доказательство мошенничества Каков принцип доказательства мошенничества? Каковы препятствия на пути внедрения BitVM? Далее я проведу вас через пошаговый анализ ее общей логической структуры, чтобы облегчить ваше понимание. (Однако мы не будем обсуждать более конкретные детали технической реализации.
Как реализовать сложные программируемые функции?
Поскольку возможности программирования Биткойна очень ограничены и поддерживают только простую логику и ограниченные коды операций в сценариях, в сети Биткойн невозможно разрабатывать сложные смарт-контракты. Основная идея предложения BitVM заключается в том, что оно реализует различные программные инструкции, подобные двоичным схемам, через матрицу адресов стержневого корня или ветвевое дерево, и эта комбинация эквивалентна полному выполнению контракта.
В частности, мы можем рассматривать условную инструкцию расходования UTXO в каждом скрипте как наименьшую единицу программы. Выполнение скрипта имеет два результата: true и false. Если вы введете определенный код в адрес Taproot, вы можете получить детерминированный результат. Результат 0 или 1, если большое количество адресов стержня сформировано в матрицу, может быть сформировано упорядоченное дерево ветвлений, и результат выполнения будет иметь большое количество текстовых эффектов двоичной схемы, таких как 011001, которые можно рассматривать как результат. исполняемая двоичная программа. Сложность программы зависит от количества объединенных адресов Taproot, тем богаче предустановленные инструкции каждого сценария в рамках платформы Биткойн и тем сложнее программа, которую может выполнить все Taptree. Maker Sense, верно?
Эта идея действительно достаточно велика. Однако, согласно этой логике, наименьшая единичная инструкция действительно завершается полным узлом Биткойна, а стержневой адрес бесконечно накладывается. Возможность бесконечных комбинаций может накладывать друг на друга множество сложных вычислений. В определенной степени не будет преувеличением сказать, что это полная по Тьюрингу машина. Однако бесконечное наложение адресов Taproot только увеличит потребление затрат. Теоретически все можно реализовать с полнотой по Тьюрингу, но это нереально.
Таким образом, полнота по Тьюрингу, упомянутая в официальном документе, — это всего лишь крайняя идеальная ситуация, которая немного «крадет концепцию». Даже так называемый суперкомпьютер Эфириума не может полностью реализовать полноту по Тьюрингу, не говоря уже о сети Биткойн, которая полагается только на скрипты. ?
Краткий анализ некоторых сложных понятий
Основываясь на приведенном выше понимании базовой структуры, давайте посмотрим на обязательства Optimism Rollup, Fraud Proof и Bit, упомянутые в официальном документе. Что такое Logic Gate? Поскольку единое корневое пространство и логика исполняемого кода ограничены, выполнение сложных программ вне цепочки и размещение в цепочке только ключевых звеньев проверки — это идея Rollup, верно?
Доказательство мошенничества можно понимать таким образом: проверяющий и верификатор сначала компилируют огромную двоичную схему. Когда сеть Биткойн выполняет схему, существует предпосылка, что проверяющий должен предварительно подписать и заложить определенное количество биткойн-активов, если проверяющий проверяет эту схему. has Если вас подозревают в злодеяниях, вы можете отправить транзакцию в цепочку, чтобы активировать условие разблокировки UTXO «программы» Taptree в цепочке. В случае успеха верификатор может конфисковать ипотечные активы проверяющего, что эквивалентно транзакционному транзакцию. процесс доказательства мошенничества.
В этой логике нам нетрудно понять, почему BitVM применим только к двум сторонам с согласованным консенсусом, то есть общая принципиальная схема должна быть передана перед выполнением, программа сертификации мошенников должна быть выполнена в течение срока действия, и некоторые активы должны быть заложены и предварительно подписаны. Если обе стороны не будут сотрудничать в достижении согласованного консенсуса вне сети, будет трудно добиться истинного исполнения «контракта», исключительно полагаясь на ограниченную среду исполнения в сети Биткойн.
Каковы препятствия на пути внедрения BitVM?
1) BitVM в настоящее время подходит только для операций в цепочке между двумя сторонами, которые пришли к консенсусу. Среда в цепочке представляет собой только открытый и прозрачный процесс исполнения контракта. В настоящее время его можно реализовать только между двумя согласованными субъектами. Если реализован N-N, потребуется более сложная техническая логика.
2) Как BitVM использует один сценарий главного адреса для реализации минимальной единицы программирования, которая не может превышать структуру логики выполнения Биткойна, такую как хэш-блокировка и временная блокировка, и не может превышать ограниченные условия хранения. При оптимистических обстоятельствах один главный адрес может запрограммировать сотни логических элементов. Больше потребует объединения большого количества адресов для построения Taptree. Проблема в том, что выполнение предустановленных условий разблокировки стержневого адреса требует оплаты комиссий за майнинг. Чем больше комбинаций адресов, тем выше стоимость. В будущем технология двустороннего канала сети Lightning, возможно, сможет снизить затраты, но в целом сеть Биткойн должна быть уверена в выполнении схем логических вентилей, что не только медленно, но и дорого, если подумать. об этом.
3) BitVM в идеале поддерживает очень ограниченные сценарии и больше подходит для тяжелых вычислений вне цепочки. Только некоторый консенсус и передача активов должны полагаться на сценарии внутри цепочки, такие как канал утилизации активов в играх;
В целом BitVM — это открытая и очень творческая идея. Однако, согласно технической структуре ее реализации, известно, что в краткосрочной перспективе она, скорее всего, ограничится стадией концептуального документа. и реализация по-прежнему сталкиваются с огромными трудностями. Для иллюстрации давайте воспользуемся очень популярным примером: BitVM — это все равно, что построить гигантский компьютер размером больше комнаты в эпоху, когда каждый может использовать мобильный терминал.
