Для Тьюринг-полных смарт-контрактов на биткоин пользователь Twitter @robin_linus предложил новое предложение — BitVM.
Он утверждает, что этого можно достичь без каких-либо изменений в коде биткоина.
Поскольку родной скриптовый язык Биткойна довольно ограничен, именно поэтому нам нужно расширить Биткойн с помощью различных уровней.
Эти различные слои действуют как различные строительные блоки, в конечном итоге принося больше функциональности в Биткойн. И сегодня у нас есть важный прорыв: смарт-контракты.
В этом году мы наблюдаем резкое увеличение количества обсуждений роллапов в Биткойне, причем наиболее распространенными темами являются суверенитет, доказательства с нулевым разглашением и оптимистичные роллапы.
Эти решения для масштабирования работают на L2, но в конечном итоге криптографически возвращаются в основную цепочку.
Что такое BitVM
BitVM использует технологию, аналогичную Optimistic Rollups.
Оптимистичные роллапы обычно предполагают, что транзакция действительна, но выделяют определенный период времени на разрешение спора.
В случае возникновения спора Rollup возвращается в предыдущее состояние.
Фактические вычисления смарт-контрактов BitVM происходят на отдельном уровне, и в случае возникновения спора эти споры «сохраняются» в основной цепочке Биткойна. Таким образом, вся активность BitVM происходит вне блокчейна.
** (Примечание переводчика: В основной цепочке хранится публичная, неизменяемая запись, которая может быть использована для разрешения споров.) Если спора нет, то вся активность BitVM будет происходить вне блокчейна, то есть вне основной цепочки Биткоина. Эта деятельность вне блокчейна может быть выполнена быстрее, а действительность транзакций обеспечивается за счет использования основной цепочки Биткойна в качестве основы безопасности и надежности. ）**
BitVM в основном зависит от четырех компонентов**
Хеш-блокировка
Временная блокировка
Дерево Меркла
Мультиподпись
Хэш-блокировка
Хеш-блокировка — это криптографический скрытый ключ, генерируемый лицом, инициирующим транзакцию, который гарантирует, что транзакция может быть завершена только после одобрения инициатором.
Блокировка времени
Транзакция, находящаяся под временной блокировкой, должна быть выполнена после определенной даты, времени или высоты блока.
Дерево Меркла
Ветвь дерева Меркла использует криптографию для записи результатов выполнения скрипта в блокчейн, а не записывает все возможные выполнения скрипта.
Это значительно сокращает пространство, занимаемое транзакциями, особенно для более сложных!
** В прошлом, чтобы проверить действительность транзакции, необходимо было записывать все возможные пути выполнения и результаты, что занимало много места в хранилище. При ветвлении дерева Меркла мы записываем только результаты фактического выполнения, и эта оптимизация делает обработку транзакций более эффективной, а также снижает требования к хранилищу блокчейна. ）**
Мультиподпись
Мультиподпись часто позволяет нескольким сторонам делить контроль над одним кошельком. В соответствии с дизайном BitVM, у вас будет двухкомпонентная мультиподпись, состоящая из прувера и верификатора.
**Так как же работает BitVM? **
Проверщики и валидаторы сначала компилируют смарт-контракт в карту операторов «если-то», которая содержит все возможные исходы.
Чтобы сэкономить место, мы используем формат Меркла для экономии в блокчейне.
Обе стороны также должны предварительно подписать ряд транзакций с вызовом и ответом, которые могут быть использованы в случае возникновения спора!
Выполнив эти предварительные условия, они могут внести биткойны на адрес Taproot, что активирует смарт-контракт и позволяет обеим сторонам начать обмен данными вне блокчейна или на отдельном уровне.
Валидаторы могут использовать временные блокировки, чтобы заставить проверяющего принять решение в течение определенного периода времени.
Если прувер делает ложное заявление, верификатор может оспорить это и получить свой депозит обратно.
Это гарантирует, что любой злоумышленник потеряет свой депозит и поощряет хорошее поведение.
Использование BitVM
Теперь, когда у нас есть базовое понимание структуры контракта BitVM, мы можем немного углубиться в то, для чего он используется.
*В настоящее время существует три : «Обязательства»
Обязательство по стоимости бита
Обязательство Logic Gate
Обязательство по бинарной схеме
Обязательство по битовому значению
Это позволяет утверждающим устанавливать битовое значение «0» или «1» в различных скриптах и неиспользуемых выходных данных транзакций (UTXO), что позволяет одному сценарию выполнять несколько транзакций, и эти двоичные 0 и 1 являются основой для всех вычислений
** (Примечание переводчика: Управляя значением бита, можно реализовать различные вычислительные операции, такие как условное суждение и логические операции.) Такая гибкость позволяет BitVM более надежно поддерживать сложные функции смарт-контрактов. ）**
Обещание логического вентиля
Это позволяет использовать элементы NAND и реализует функциональность таких операторов, как AND, NOT и OR.
Элемент И создает выходные данные на основе состояния двух входных данных (например, двух битовых значений).
** Механизм фиксации логических вентилей предоставляет BitVM более гибкие и мощные функции за счет введения элементов AND NOT, что позволяет смарт-контрактам поддерживать сложные вычисления, содержащие логические операции. ）**
Обещание бинарной схемы
После определения различных логических элементов можно использовать двоичные схемы для построения более сложных цифровых систем.
Думайте об этом как о полноценной структуре смарт-контракта, состоящей из нескольких строительных блоков NAND.
Точно так же в BitVM мы можем объединить несколько логических элементов для формирования полной структуры смарт-контракта, точно так же, как несколько элементов AND NOT образуют конкретную модульную реализацию. Такой модульный подход к построению делает дизайн смарт-контрактов более гибким и масштабируемым. ）**
Дополнительные справочные ресурсы
Это все, что мы можем рассказать о технических деталях на данный момент, и есть много дополнительных ресурсов, которые можно изучить, если вы хотите погрузиться глубже или узнать больше о BitVM.
Вот некоторые ресурсы, на которые стоит обратить внимание:**
Изменение отношения
Путем наблюдений мы обнаружили интересное явление:**
Произошел огромный сдвиг в отношении к созданию приложений на Биткойне через BitVM.
Многие люди холодно или даже открыто выступили против внедрения смарт-контрактов в Биткоин, но теперь они начали выражать поддержку, что обнадеживает!
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
BitVM: начало эры смарт-контрактов Биткойна
Для Тьюринг-полных смарт-контрактов на биткоин пользователь Twitter @robin_linus предложил новое предложение — BitVM.
Он утверждает, что этого можно достичь без каких-либо изменений в коде биткоина.
Поскольку родной скриптовый язык Биткойна довольно ограничен, именно поэтому нам нужно расширить Биткойн с помощью различных уровней.
Эти различные слои действуют как различные строительные блоки, в конечном итоге принося больше функциональности в Биткойн. И сегодня у нас есть важный прорыв: смарт-контракты.
В этом году мы наблюдаем резкое увеличение количества обсуждений роллапов в Биткойне, причем наиболее распространенными темами являются суверенитет, доказательства с нулевым разглашением и оптимистичные роллапы.
Эти решения для масштабирования работают на L2, но в конечном итоге криптографически возвращаются в основную цепочку.
Что такое BitVM
BitVM использует технологию, аналогичную Optimistic Rollups.
Оптимистичные роллапы обычно предполагают, что транзакция действительна, но выделяют определенный период времени на разрешение спора.
В случае возникновения спора Rollup возвращается в предыдущее состояние.
Фактические вычисления смарт-контрактов BitVM происходят на отдельном уровне, и в случае возникновения спора эти споры «сохраняются» в основной цепочке Биткойна. Таким образом, вся активность BitVM происходит вне блокчейна.
** (Примечание переводчика: В основной цепочке хранится публичная, неизменяемая запись, которая может быть использована для разрешения споров.) Если спора нет, то вся активность BitVM будет происходить вне блокчейна, то есть вне основной цепочки Биткоина. Эта деятельность вне блокчейна может быть выполнена быстрее, а действительность транзакций обеспечивается за счет использования основной цепочки Биткойна в качестве основы безопасности и надежности. ）**
BitVM в основном зависит от четырех компонентов**
Хэш-блокировка
Хеш-блокировка — это криптографический скрытый ключ, генерируемый лицом, инициирующим транзакцию, который гарантирует, что транзакция может быть завершена только после одобрения инициатором.
Блокировка времени
Транзакция, находящаяся под временной блокировкой, должна быть выполнена после определенной даты, времени или высоты блока.
Дерево Меркла
Ветвь дерева Меркла использует криптографию для записи результатов выполнения скрипта в блокчейн, а не записывает все возможные выполнения скрипта.
Это значительно сокращает пространство, занимаемое транзакциями, особенно для более сложных!
** В прошлом, чтобы проверить действительность транзакции, необходимо было записывать все возможные пути выполнения и результаты, что занимало много места в хранилище. При ветвлении дерева Меркла мы записываем только результаты фактического выполнения, и эта оптимизация делает обработку транзакций более эффективной, а также снижает требования к хранилищу блокчейна. ）**
Мультиподпись
Мультиподпись часто позволяет нескольким сторонам делить контроль над одним кошельком. В соответствии с дизайном BitVM, у вас будет двухкомпонентная мультиподпись, состоящая из прувера и верификатора.
**Так как же работает BitVM? **
Проверщики и валидаторы сначала компилируют смарт-контракт в карту операторов «если-то», которая содержит все возможные исходы.
Чтобы сэкономить место, мы используем формат Меркла для экономии в блокчейне.
Обе стороны также должны предварительно подписать ряд транзакций с вызовом и ответом, которые могут быть использованы в случае возникновения спора!
Выполнив эти предварительные условия, они могут внести биткойны на адрес Taproot, что активирует смарт-контракт и позволяет обеим сторонам начать обмен данными вне блокчейна или на отдельном уровне.
Валидаторы могут использовать временные блокировки, чтобы заставить проверяющего принять решение в течение определенного периода времени.
Если прувер делает ложное заявление, верификатор может оспорить это и получить свой депозит обратно.
Это гарантирует, что любой злоумышленник потеряет свой депозит и поощряет хорошее поведение.
Использование BitVM
Теперь, когда у нас есть базовое понимание структуры контракта BitVM, мы можем немного углубиться в то, для чего он используется.
*В настоящее время существует три : «Обязательства»
Обязательство по битовому значению
Это позволяет утверждающим устанавливать битовое значение «0» или «1» в различных скриптах и неиспользуемых выходных данных транзакций (UTXO), что позволяет одному сценарию выполнять несколько транзакций, и эти двоичные 0 и 1 являются основой для всех вычислений
** (Примечание переводчика: Управляя значением бита, можно реализовать различные вычислительные операции, такие как условное суждение и логические операции.) Такая гибкость позволяет BitVM более надежно поддерживать сложные функции смарт-контрактов. ）**
Обещание логического вентиля
Это позволяет использовать элементы NAND и реализует функциональность таких операторов, как AND, NOT и OR.
Элемент И создает выходные данные на основе состояния двух входных данных (например, двух битовых значений).
** Механизм фиксации логических вентилей предоставляет BitVM более гибкие и мощные функции за счет введения элементов AND NOT, что позволяет смарт-контрактам поддерживать сложные вычисления, содержащие логические операции. ）**
Обещание бинарной схемы
После определения различных логических элементов можно использовать двоичные схемы для построения более сложных цифровых систем.
Думайте об этом как о полноценной структуре смарт-контракта, состоящей из нескольких строительных блоков NAND.
Точно так же в BitVM мы можем объединить несколько логических элементов для формирования полной структуры смарт-контракта, точно так же, как несколько элементов AND NOT образуют конкретную модульную реализацию. Такой модульный подход к построению делает дизайн смарт-контрактов более гибким и масштабируемым. ）**
Дополнительные справочные ресурсы
Это все, что мы можем рассказать о технических деталях на данный момент, и есть много дополнительных ресурсов, которые можно изучить, если вы хотите погрузиться глубже или узнать больше о BitVM.
Вот некоторые ресурсы, на которые стоит обратить внимание:**
Изменение отношения
Путем наблюдений мы обнаружили интересное явление:**
Произошел огромный сдвиг в отношении к созданию приложений на Биткойне через BitVM.
Многие люди холодно или даже открыто выступили против внедрения смарт-контрактов в Биткоин, но теперь они начали выражать поддержку, что обнадеживает!