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