Сценарист: Джалил, BlockBeats

Вчера вечером лидер проекта ZeroSync опубликовал официальный документ под названием «BitVM: вычислить что угодно на биткойнах», который вызвал бурную дискуссию.

Как видно из этого официального документа, рассмотренного Super Testnet и Сэмом Паркером, BitVM — это новая вычислительная парадигма, разработанная Робином Линусом из Zero Sync, которая сочетает в себе Optimistic Roll Up, Fraud Proof, Taproot Leaf и Bitcoin Script.

BitVM позволяет выражать Тьюринг-полные контракты Биткойн без изменения консенсусных правил сети Биткойн и может выполнять любую вычислимую функцию для автономных вычислений, не оставляя никаких следов в цепочке. В официальном документе также представлена ​​архитектура BitVM, ввод и вывод, ограничения и перспективы.

Белая книга получила 110 000 просмотров всего за один час после ее публикации, и на момент написания статьи она получила 1,82 миллиона просмотров. Обсуждения в англоязычном сообществе были чрезвычайно жаркими, и это стало одной из самых горячих тем в криптосообществе в последнее время. KOL @LeonidasNFT посчитал это захватывающим нововведением, поэтому он выгравировал статью BitVM на надписи Bitcoin, сделав ее вечной в более естественной форме.

Что думают разработчики Bitcoin?

Экосистема Bitcoin в этом году особенно оживлена. Рынок Ordinals породил множество расширенных историй о Bitcoin, и разработчики Bitcoin также очень заняты.

@BobBodily, генеральный директор BioniqMarket, который в настоящее время занимается торговой площадкой и стартовой площадкой Ordinals, занимается созданием инструментов, помогающих разработчикам создавать проекты на основе Bitcoin. Он написал в своих социальных сетях: «BitVM — это не постоянное решение. BitVM не так хорош, как EVM, он медленнее, дороже и сложнее. Основное преимущество BitVM в том, что теперь мы можем получить дополнительную надежность Bitcoin. Программируемость без обновлений. Не требуется новых op_codes. Не требуется soft fork. Работает сегодня.”

BobBodily также сказал: «Потенциальные варианты использования, которые BitVM может легко реализовать, включают децентрализацию частей различных приложений, которые в настоящее время полагаются на централизованные сервисы, включая оракулы DLC, агрегаторы управления перегрузкой/coinjoin и кворумы сайдчейнов. Кроме того, BitVM не решает проблема моста без доверия сайдчейнов, могут потребоваться контракты. BitVM строго превосходит пример условного платежа ZKP Грега Максвелла 2016 года. BitVM очень сложен и труден для понимания и реализации. Того же самого можно добиться, обновив Bitcoin с помощью op_code.

Биткоину не нужно ничего менять

Исследователь Сэм Паркер видит потенциал, который BitVM предлагает для расширения возможностей программирования без изменения протокола Bitcoin, а также то, как эта возможность может помочь в децентрализации и устранении необходимости в доверенных третьих сторонах. В то же время он также упомянул, что это необязательная функция, и сообщество и пользователи Bitcoin могут выбирать, использовать ли эту функцию и как именно.

В длинном твите Сэм Паркер написал: «Опять же, Bitcoin теперь является полным по Тьюрингу, как и любая другая цепочка, и это не требует никаких изменений в Bitcoin. В настоящее время некоторые максималисты Bitcoin находятся в той же части классического взгляда, в которой он был в « «Указывая на реку» было: полнота по Тьюрингу = плохо, что, по-моему, глупо. Во-первых, поскольку техническое определение полноты по Тьюрингу фактически требует бесконечного времени выполнения, ничто в нашей реальности не будет по-настоящему полным по Тьюрингу, поскольку у нас нет бесконечного пространства и времени, чтобы это обеспечить. "

Что касается содержания технического документа BitVM, Сэм Паркер сказал: «В ходе этого процесса небольшая группа хакеров-скриптологов, таких как @robin_linus и @super_testnet, выяснила, как запрограммировать все функции, которые нам нужны от компьютера общего назначения. в Биткойн и его Единственное, что мешает виртуальной машине (ВМ) Биткойна быть полной по Тьюрингу, как Эфириум, — это не вопрос выразительности, а просто вопрос времени выполнения, где наиболее строгими ограничениями являются ограничение размера стека.

Единственное, что делает BitVM, — это позволяет нам распределить время выполнения определенной логики, выходящей за рамки одной транзакции, между несколькими транзакциями. вот и все. Мы не добавили никаких новых семантических функций, мы просто экспоненциально увеличили длину программ, которые мы можем запустить. Таким образом, по техническому определению, Биткоин на самом деле не стал более полным по Тьюрингу, чем был раньше, он просто стал полным по Тьюрингу в том смысле, что мы можем обоснованно сказать, что он достаточно полный по Тьюрингу для любой программы, которую мы действительно хотим выполнить. Работающий время.

Это добровольно, если вы не доверяете тому, что ваши монеты будут заперты в каком-то Тьюринг-полном контракте (что вполне разумно), то не запирайте их в Тьюринг-полном смарт-контракте. Одним из преимуществ системы UTXO является безопасная «песочница». Если люди действительно убеждены, что в Bitcoin не должно быть этой функции, возможно, из-за проблем со стимулированием или чего-то еще, то это должно быть достойно обсуждения, но по сути это потребует избавления от Taproot, что на данный момент кажется действительно глупым. . » — написал Сэм Паркер.

«BitVM вызывает у меня осторожное чувство волнения»

Как большой сторонник Drivechains, другого протокола расширения Bitcoin, Эрик Уолл, основатель Simp DAO и старший исследователь криптовалют, был приглашен членами сообщества, чтобы высказать свои взгляды на BitVM. Эрик Уолл сказал: «Я только что закончил читать этот white paper, все Концепции меня вполне устраивают. Естественно, меня не интересуют схемы, требующие очень большого обмена предварительно подписанными транзакциями на этапе настройки — я не знаю, какие проблемы могут возникнуть в таких схемах. Накладные расходы и разрешения.

На данный момент он с осторожным энтузиазмом относится к BitVM, ожидая, что покажут реальные эксперименты. Возможно, существует элегантное и тривиальное решение двухстороннего ограничения этой схемы, а может и нет. Возможно, для некоторых типов вычислений, таких как доказательства zk, накладные расходы являются управляемыми. Было бы интересно, если бы BitVM работал там достаточно хорошо для проверки доказательств zk — BitVM выполнял бы роль слоя zkwasm, о котором он говорил ранее.

«В качестве примечания, мне любопытно, что произойдет, когда люди поймут, что модель атаки довольно похожа на Drivechains. Майнеры могут украсть весь баланс BitVM, вступив в сговор с доказывающим и цензурируя вызов, что, вероятно, на более короткое время, чем в приводной цепи», — написал Эрик Уолл.

Позволяя реализовывать Тьюринг-полные контракты в сети Bitcoin, не оставляя следов в цепочке, BitVM предоставляет совершенно новый способ исследования сложных вычислений блокчейна, сохраняя при этом принципы и безопасность сети Bitcoin. Это также позволяет Биткоину охватывать более широкий спектр вариантов использования и инновационных возможностей без прямого изменения его основного протокола.

Нельзя игнорировать тот факт, что BitVM вызвал множество глубоких дискуссий о дизайне и развитии Bitcoin. То, как он будет реализован и сыграет свою роль в сети Bitcoin в будущем, станет чрезвычайно привлекательным технологическим исследованием. Это также поднимает важный вопрос: готовы ли мы превратить Биткоин из цифровой валюты, используемой в первую очередь для хранения ценностей и транзакций, в глобальную платформу, способную выполнять более масштабные и сложные вычисления? Это также заставляет нас глубже задуматься о будущей форме Bitcoin, которую мы хотим. Должен ли Bitcoin добавить больше «родной» программируемости или он должен продолжать оставаться простым, безопасным и неизменным?

Ссылки

1. Белая книга BitVM