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