Технический документ под названием «BitVM: Compute Anything On Bitcoin» вызвал бурную дискуссию среди разработчиков, что, по-видимому, означает, что в сети Bitcoin реализованы полные по Тьюрингу контракты, которые могут выполнять любую вычислимую функцию?
Это означает, что сеть Биткоин может повторить все нарративы Эфириума и других экосистем? И нет необходимости менять существующий консенсус Биткойна или даже какие-либо обновления, просто полагаясь на текущую базовую операцию Биткойна, _code может дать сети Биткойн «сложную» программируемость, чтобы сеть Биткойн могла вычислять все по Тьюрингу?
Подождите, давайте перестанем мечтать и исследуем путь идей BitVM. Как пространство сценариев выполняет сложное программирование? К чему относится идея Optimism Rollup? Защита от мошенничестваЧто такое метод доказательства? Какие существуют препятствия на пути внедрения BitVM? Далее давайте шаг за шагом разберем его общую логическую структуру, чтобы каждый мог разобраться в ней в целом. (Но давайте углубимся в специфику технической реализации.)
Как реализовать сложные программируемые функции?
Поскольку возможности программирования Биткоина очень ограничены, поддерживая только простую логику и ограниченные коды операций на скриптах скриптов, разработать сложные смарт-контракты в сети Биткоин невозможно. Суть предложения BitVM заключается в том, что **** реализует различные программные инструкции, похожие на двоичные схемы, через матрицу адресов taproot или taptree, что эквивалентно полному исполнению контракта. **
В частности, мы можем рассматривать условную инструкцию UTXO cost в каждом скрипте как наименьшую единицу программы, выполнение скрипта есть не что иное, как истина и ложь двух результатов, если ввести определенный код в адрес taproot можно получить детерминированный 0 или 1, если большое количество адресов ответвления в матрицу может сформировать упорядоченное дерево ответвления, а результат выполнения имеет большое количество текстовых эффектов бинарной схемы, таких как 011001. Его можно считать исполняемой бинарной программой. Сложность программы зависит от количества объединенных адресов taproot, чем больше адресов, чем богаче инструкции, предустановленные для каждого скрипта в рамках фреймворка Bitcoin, тем сложнее программа, которую может выполнить все taptree. Логично, не так ли?
Это достаточно много. Однако, согласно этой логике, инструкция наименьшей единицы действительно завершается полным узлом Биткоина, а адрес taproot накладывается бесконечно, и возможность бесконечной комбинации может наложить множество сложных вычислений. В каком-то смысле не будет преувеличением сказать, что это полная по Тьюрингу машина. Но неограниченное наложение taproot адресов только увеличит расход средств, теоретически можно добиться всего в Тьюринге, но это непрактично.
Таким образом, полнота Тьюринга, упомянутая в белой книге, является лишь крайне идеальным утверждением, чем-то вроде «концепции воровства», даже так называемый суперкомпьютер Ethereum не может полностью достичь полноты по Тьюрингу, не говоря уже о сети Bitcoin, которая полагается только на скрипт?
Анализ некоторых сложных понятий
Основываясь на приведенном выше понимании основ фреймворка, взгляните на обязательства Optimism Rollup и Fraud Proof and Bit, упомянутые в техническом документе, что такое Logic Gate? Поскольку единое пространство taproot и логика исполняемого кода ограничены, разве это не идея Rollup — выполнять сложные программы вне блокчейна и помещать в цепочку только ссылки для проверки ключей?
Доказательство мошенничества можно понимать следующим образом, Прувер и верификатор сначала компилируют огромную двоичную схему, сеть Биткойн выполняет схему, существует предпосылка, что Прувер должен предварительно подписать и заложить определенный актив Биткойна, если Проверяющий подтвердит, что Прувер является злом, он может отправить транзакции в цепочку таким же образом, чтобы активировать условие разблокировки UTXO «программы» ончейн-таптри, в случае успеха. Верификатор может лишиться залога Prover, что является процессом защиты от мошенничества.
В этой логике нетрудно понять, почему BitVM подходит только для двух сторон с согласованным консенсусом, то есть общая электрическая схема должна быть передана перед исполнением, процедура защиты от мошенничества должна быть выполнена в течение срока действия, а определенные активы должны быть заложены и предварительно подписаны. ** Если две стороны не сотрудничают в рамках согласованного консенсуса вне блокчейна, трудно продвигать реальное исполнение «контракта», полагаясь только на ограниченную среду исполнения в сети Биткойн. **
Какие существуют препятствия для внедрения BitVM?
В настоящее время BitVM подходит только для реализации ончейн-операций между двумя сторонами, которые договариваются о консенсусе, а ончейн-среда **** — это только открытый и прозрачный процесс исполнения контрактов. ** В настоящее время он может быть реализован только между двумя подрядными организациями, а реализация N-N требует более сложного проектирования технической логики.
**BitVM как применить один скрипт адреса taproot для реализации минимального блока программирования, не может превышать рамки логики выполнения Bitcoin, ** такие как hashlock, timelock, не могут превышать ограниченные условия хранения, оптимистичный случай Адрес taproot может программировать сотни логических вентилей, больше приходится объединять большое количество адресов для построения taptree. Проблема в том, что выполнение предустановленных условий разблокировки адреса taproot требует комиссии майнера, и чем больше комбинаций адресов, тем больше стоимость. В будущем технология двустороннего канала Lightning Network может снизить затраты, но в целом полагаться на сеть Биткойн для выполнения схем логических вентилей не только медленно, но и дорого.
BitVM в идеале поддерживает ограниченные сценарии, что больше подходит для тяжелых вычислений вне сети, только некоторые консенсус и передача активов должны полагаться на ончейн-сценарии, такие как утилизация активов игр;
В целом, BitVM — это умопомрачительная и очень творческая идея, но в соответствии с технической структурой ее реализации, известно, что в краткосрочной перспективе она будет ограничена стадией концепции white paper, а долгосрочное исследование сценария приложения и посадка приложения по-прежнему сталкиваются с большими проблемами. Проиллюстрируем это очень популярным примером: BitVM похожа на создание суперкомпьютера размером больше комнаты в эпоху, когда каждый может пользоваться мобильными терминалами.
Примечание: Приведенная выше интерпретация применима только к пониманию общей технической структуры BitVM, так что каждый может понять техническую логику, стоящую за ней, конкретная практика может быть предвзятой, если есть технический босс имеет очень глубокое исследование технических деталей, вы можете исправить и дополнить в комментариях.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Идеальная копия экосистемы Ethereum в сети Bitcoin? В этой статье рассматриваются сценарии применения и верхние пределы BitVM
Автор: Haotian
Технический документ под названием «BitVM: Compute Anything On Bitcoin» вызвал бурную дискуссию среди разработчиков, что, по-видимому, означает, что в сети Bitcoin реализованы полные по Тьюрингу контракты, которые могут выполнять любую вычислимую функцию?
Это означает, что сеть Биткоин может повторить все нарративы Эфириума и других экосистем? И нет необходимости менять существующий консенсус Биткойна или даже какие-либо обновления, просто полагаясь на текущую базовую операцию Биткойна, _code может дать сети Биткойн «сложную» программируемость, чтобы сеть Биткойн могла вычислять все по Тьюрингу?
Подождите, давайте перестанем мечтать и исследуем путь идей BitVM. Как пространство сценариев выполняет сложное программирование? К чему относится идея Optimism Rollup? Защита от мошенничестваЧто такое метод доказательства? Какие существуют препятствия на пути внедрения BitVM? Далее давайте шаг за шагом разберем его общую логическую структуру, чтобы каждый мог разобраться в ней в целом. (Но давайте углубимся в специфику технической реализации.)
Как реализовать сложные программируемые функции?
Поскольку возможности программирования Биткоина очень ограничены, поддерживая только простую логику и ограниченные коды операций на скриптах скриптов, разработать сложные смарт-контракты в сети Биткоин невозможно. Суть предложения BitVM заключается в том, что **** реализует различные программные инструкции, похожие на двоичные схемы, через матрицу адресов taproot или taptree, что эквивалентно полному исполнению контракта. **
В частности, мы можем рассматривать условную инструкцию UTXO cost в каждом скрипте как наименьшую единицу программы, выполнение скрипта есть не что иное, как истина и ложь двух результатов, если ввести определенный код в адрес taproot можно получить детерминированный 0 или 1, если большое количество адресов ответвления в матрицу может сформировать упорядоченное дерево ответвления, а результат выполнения имеет большое количество текстовых эффектов бинарной схемы, таких как 011001. Его можно считать исполняемой бинарной программой. Сложность программы зависит от количества объединенных адресов taproot, чем больше адресов, чем богаче инструкции, предустановленные для каждого скрипта в рамках фреймворка Bitcoin, тем сложнее программа, которую может выполнить все taptree. Логично, не так ли?
Это достаточно много. Однако, согласно этой логике, инструкция наименьшей единицы действительно завершается полным узлом Биткоина, а адрес taproot накладывается бесконечно, и возможность бесконечной комбинации может наложить множество сложных вычислений. В каком-то смысле не будет преувеличением сказать, что это полная по Тьюрингу машина. Но неограниченное наложение taproot адресов только увеличит расход средств, теоретически можно добиться всего в Тьюринге, но это непрактично.
Таким образом, полнота Тьюринга, упомянутая в белой книге, является лишь крайне идеальным утверждением, чем-то вроде «концепции воровства», даже так называемый суперкомпьютер Ethereum не может полностью достичь полноты по Тьюрингу, не говоря уже о сети Bitcoin, которая полагается только на скрипт?
Анализ некоторых сложных понятий
Основываясь на приведенном выше понимании основ фреймворка, взгляните на обязательства Optimism Rollup и Fraud Proof and Bit, упомянутые в техническом документе, что такое Logic Gate? Поскольку единое пространство taproot и логика исполняемого кода ограничены, разве это не идея Rollup — выполнять сложные программы вне блокчейна и помещать в цепочку только ссылки для проверки ключей?
Доказательство мошенничества можно понимать следующим образом, Прувер и верификатор сначала компилируют огромную двоичную схему, сеть Биткойн выполняет схему, существует предпосылка, что Прувер должен предварительно подписать и заложить определенный актив Биткойна, если Проверяющий подтвердит, что Прувер является злом, он может отправить транзакции в цепочку таким же образом, чтобы активировать условие разблокировки UTXO «программы» ончейн-таптри, в случае успеха. Верификатор может лишиться залога Prover, что является процессом защиты от мошенничества.
В этой логике нетрудно понять, почему BitVM подходит только для двух сторон с согласованным консенсусом, то есть общая электрическая схема должна быть передана перед исполнением, процедура защиты от мошенничества должна быть выполнена в течение срока действия, а определенные активы должны быть заложены и предварительно подписаны. ** Если две стороны не сотрудничают в рамках согласованного консенсуса вне блокчейна, трудно продвигать реальное исполнение «контракта», полагаясь только на ограниченную среду исполнения в сети Биткойн. **
Какие существуют препятствия для внедрения BitVM?
В настоящее время BitVM подходит только для реализации ончейн-операций между двумя сторонами, которые договариваются о консенсусе, а ончейн-среда **** — это только открытый и прозрачный процесс исполнения контрактов. ** В настоящее время он может быть реализован только между двумя подрядными организациями, а реализация N-N требует более сложного проектирования технической логики.
**BitVM как применить один скрипт адреса taproot для реализации минимального блока программирования, не может превышать рамки логики выполнения Bitcoin, ** такие как hashlock, timelock, не могут превышать ограниченные условия хранения, оптимистичный случай Адрес taproot может программировать сотни логических вентилей, больше приходится объединять большое количество адресов для построения taptree. Проблема в том, что выполнение предустановленных условий разблокировки адреса taproot требует комиссии майнера, и чем больше комбинаций адресов, тем больше стоимость. В будущем технология двустороннего канала Lightning Network может снизить затраты, но в целом полагаться на сеть Биткойн для выполнения схем логических вентилей не только медленно, но и дорого.
BitVM в идеале поддерживает ограниченные сценарии, что больше подходит для тяжелых вычислений вне сети, только некоторые консенсус и передача активов должны полагаться на ончейн-сценарии, такие как утилизация активов игр;
В целом, BitVM — это умопомрачительная и очень творческая идея, но в соответствии с технической структурой ее реализации, известно, что в краткосрочной перспективе она будет ограничена стадией концепции white paper, а долгосрочное исследование сценария приложения и посадка приложения по-прежнему сталкиваются с большими проблемами. Проиллюстрируем это очень популярным примером: BitVM похожа на создание суперкомпьютера размером больше комнаты в эпоху, когда каждый может пользоваться мобильными терминалами.
Примечание: Приведенная выше интерпретация применима только к пониманию общей технической структуры BitVM, так что каждый может понять техническую логику, стоящую за ней, конкретная практика может быть предвзятой, если есть технический босс имеет очень глубокое исследование технических деталей, вы можете исправить и дополнить в комментариях.