Автор: Боб Бодили; Генеральный директор Bioniq Market; Перевод: Golden Finance Cryptonaitive
BitVM — это новая оптимистичная вычислительная парадигма + защита от мошенничества + Taproot Leaf + Bitcoin Script, разработанная Робином Линусом из ZeroSync. Утром 9 октября они опубликовали отличную белую книгу, которая прошла экспертную оценку Super Testnet и Сэма Паркера (сейчас статью просмотрели 1,5 миллиона раз).
Слишком долго, чтобы читать:
BitVM не является панацеей для решения проблем
BitVM не так хороша, как EVM, BitVM медленнее, дороже и сложнее
Основное преимущество BitVM заключается в том, что мы сразу же получаем дополнительную программируемость на Bitcoin без необходимости обновлений. Новые коды операций не требуются. Софтфорк не требуется. Теперь он готов к использованию.
Простые потенциальные варианты использования включают в себя части децентрализованных приложений, которые в настоящее время полагаются на централизованные сервисы (оракулы для DLC, агрегаторы контроля перегрузки/coinjoin, рейтинги сайдчейнов)
5, BitVM не решает проблему недоверительного моста сайдчейнов (может потребоваться контракт — Covenant)
Да, BitVM определенно лучше, чем пример условного платежа ZKP Грега Максвелла 2016 года
BitVM очень сложна и трудна для понимания и реализации. Обновление Биткойна с помощью одного кода операции может достичь того же эффекта.
Технические раскопки
Теперь давайте углубимся в техническую сторону дела. В своих обсуждениях я в основном цитирую других людей, потому что это самый безопасный способ оставаться верным тому, что они говорят, и избегать ложных цитат.
Цель BitVM заключается в том, что «любая вычислимая функция может быть проверена на Bitcoin». —Информационный документ BitVM
Это означает, что «Биткоин теперь полон по Тьюрингу, как и любая другая цепочка, и это не требует каких-либо изменений в Биткоине». Сэм Паркер
Есть некоторые ограничения (о которых мы поговорим позже), но в основном это означает, что если вы:
(1) Имеется достаточно средств для оплаты расчетов/доказательств вне сети,
(2) Имеется достаточная пропускная способность для получения и отправки необходимых данных (возможно, сотни мегабайт)
(3) может выполнить необходимое количество транзакций с биткойнами,
Тогда вы можете рассчитать все, что захотите.
«Единственное, что делает BitVM, это позволяет нам разделять определенные логические среды выполнения из области действия одной транзакции на несколько транзакций. Это всё. Сэм Паркер
Так что это может занять много времени. Это может быть очень дорого. Это может занять сотни транзакций. Но вы можете делать все, что захотите.
Сам Сэм повторил: «Таким образом, технически Биткойн не стал более полным по Тьюрингу, чем раньше, мы можем только разумно сказать, что он достаточно «полон по Тьюрингу» для любой программы, которую мы, возможно, действительно захотим выполнить». **"
Одним из ключевых преимуществ является то, что не требуется никаких обновлений. Все это вы можете сделать прямо сейчас.
А если вы не хотите его использовать, вы также можете отказаться от этого: «Это необязательно. Если вы не доверяете блокировке биткоинов какому-то Тьюринг-полному смарт-контракту (что вполне разумно), не блокируйте их к Тьюринг-полному смарт-контракту. ——Сэм Паркер
Поскольку вы можете быть подвержены некоторым вычислительным ограничениям, я думаю, что минимальный результат для BitVM, скорее всего, заменит централизованный сервис «Bitcoin Edge», которым в настоящее время пользуются многие люди.
Например, мы можем «избавиться от всех доверенных или полудоверенных услуг хостинга, которые нам нужны в данный момент». Агрегаторы контроля перегрузки/присоединения к монетам, кворумы сайдчейнов и определенные типы оракулов DLC могут перейти от доверенных/полудоверенных к 100% безнадежным. Недоверие к Биткойну настолько сильно, насколько сильно самое слабое звено в звене, с которым вы взаимодействуете. " - Сэм Паркер
Теперь давайте посмотрим, что говорит по этому поводу Эрик Уолл:
«Я только что прочитал белую книгу, и все концепции для меня верны. У меня есть естественное отвращение к сценариям, которые требуют очень больших предварительно подписанных транзакций на этапе создания. Я не знаю, какие проблемы могут возникнуть при таких сценариях. Накладные расходы и разрешения — две существенные проблемы.
На данный момент мне не терпится увидеть, какие результаты даст реальный эксперимент. Возможно, существуют элегантные, тонкие решения, которые устраняют как ограничения этой схемы, так и нет. Возможно, накладные расходы управляемы для определенного типа вычислений, таких как доказательства с нулевым разглашением.
Было бы интересно, если бы BitVM проверила, что слой zkwasm хорошо работает в ней — BitVM выполнял бы роль слоя zkwasm, о котором я говорил ранее. "
Затем он сказал, вероятно, самое краткое резюме BitVM:
«BitVM описывает только способ, с помощью которого валидатор может украсть маржу у прувера на основе результатов полных по Тьюрингу вычислений, но на самом деле не описывает архитектуру привязки/аута для внешних участников, что может быть правильным».
Да, BitVM — это именно то, что нужно.
Адам Бэк присоединяется к этому с более критическим комментарием (со многими пунктами): «Это круто для людей, которые становятся (чрезмерно) взволнованными, но на самом деле это просто обобщение двусторонней игры, явно упомянутой в аннотации, так что это немного похоже на пример Грега Максвелла 2016 года с реализацией условных платежей ZKP». "
Помимо того, что Адам не заметил часть белой книги, эта BitVM на самом деле лучше, чем пример ZKP Грега Максвелла 2016 года. Процитирую Робина: «В ZKCP он абсолютно превосходит [по сравнению с примером ZKP Грега Максвелла 2016 года], потому что в ZKCP доказывающий должен знать решение заранее». "
Super Testnet, один из рецензентов статьи, высказал свое мнение: «Это, вероятно, самое захватывающее открытие в истории Bitcoin Script. Кажется, что он решает почти все проблемы и дает нам доступ к ковенантам, сайдчейнам и функциям, таким как Liquid или EVM, без каких-либо форков. Я не могу дождаться, когда выйду свое демо. "
В ответ на вопрос Эрика Уолла о настройке схемы 1-to-N, Super Testnet опубликовал следующее: «Он также поддерживает схему 1-N, аналогичную роллапам. У вас может быть центральная сторона, получающая сборы для выполнения вычислений для группы. Все в группе знают, что центральная партия не может лгать, иначе группа может получить огромный отрыв и поделить его между своими членами. "
Основным недостатком BitVM является сложность. **Для того, чтобы BitVM работала, требуется много предварительной подписи.
Рейндаль прокомментировал: «Похоже, что CTV сократит количество предварительных подписей. Было бы отличным решением, если бы вы использовали текущий Биткойн, а затем выяснили, насколько интерактивность можно уменьшить с помощью CTV, и является ли это хорошей вещью или необходимостью. "
Если вы еще не знаете, CTV = BIP-119 = Simple Covenant. Поэтому, если мы обновим Биткоин, чтобы включить CTV, BitVM будет намного лучше и эффективнее. **
Пост Капоне добавил свою собственную точку зрения при обсуждении текущей позитивности в экосистеме Биткойна: «BitVM вызвала положительные комментарии от 8 различных фракций внутри Биткойна, которые, как правило, очерняют друг друга до степени разрушения. Большое дело, чувак. За короткий промежуток времени передается много анализа/обратной связи, что очень круто. Ординалы были волшебным моментом. Кажется, что он достаточно мотивирован, чтобы пройти лишнюю милю. Мы все собрались вместе, чтобы сделать его работоспособным. "
BitVM очень похожа на Lightning Network, но в документе есть по крайней мере одно требование к мультиподписи 2:2.
Дилан Леклер прокомментировал: «Поправьте меня, если я ошибаюсь: хотя технически это очень отличается, это похоже на LN в том, что это мультиподпись 2:2, где TX/приложения/контракты могут быть построены на биткойне, но проверка и расчеты происходят в блокчейне. Насколько я понимаю, это позволило бы привязать BTC без доверия (?) ）"。
Сэм ответил: «Он может делать все, что вы захотите, включая ненадежные привязки». В этом отношении она очень похожа на Lightning Network. Я думаю, что запуск этого протокола внутри Lightning Channel был бы реальным стратегическим шагом. Я подозреваю, что есть способ использовать транзакции Lightning's Justice очень синергетическим образом. "
Были сомнения в том, что BitVM сможет поддерживать глобальное состояние, так как описание в статье похоже на канал состояния, но Super Testnet ответил: «Он поддерживает глобальное состояние». Сторона А может доказать Стороне Б утверждения о глобальном реестре (например, Биткойн, сайдчейны или даже другие цепочки). "
В целом, BitVM «делает биткоин-контракты более выразительными». В частности, он делает возможными функции, которые, как мы изначально думали, нуждаются в софтфорке. Он может реализовать не требующие доверия сайдчейны, но это еще не совсем решено. ——Супер тестовая сеть
Рейндейл ответил, что нам все еще могут понадобиться ковенанты для внедрения ненадежных сайдчейнов: «BitVM позволяет вам тратить все суммы UTXO, которые содержат смарт-контракты. Для сайдчейнов без доверия нам нужно иметь возможность потратить часть UTXO, содержащую смарт-контракт. "
Мое мнение
Еще одна белая книга, еще один раунд подкастов. BitVM очень интересна, но она все еще находится на стадии исследования, и есть еще много вопросов, которые нужно изучить, поэтому сколько проблем BitVM сможет решить, еще предстоит определить.
Могут быть несколько простых ключевых вариантов использования, чтобы начать использовать BitVM прямо сейчас, чтобы снизить предположения о доверии (например, оракулы DLC).
Нам нужно множество различных способов, чтобы обеспечить большую программируемость для Биткойна, поэтому я аплодирую всем, кто работает в этой области (включая BitVM). Я надеюсь, что есть много разработчиков, использующих его для создания действительно крутых демонстраций, которые решают важные проблемы людей.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Все, что вам нужно знать о BitVM
Автор: Боб Бодили; Генеральный директор Bioniq Market; Перевод: Golden Finance Cryptonaitive
BitVM — это новая оптимистичная вычислительная парадигма + защита от мошенничества + Taproot Leaf + Bitcoin Script, разработанная Робином Линусом из ZeroSync. Утром 9 октября они опубликовали отличную белую книгу, которая прошла экспертную оценку Super Testnet и Сэма Паркера (сейчас статью просмотрели 1,5 миллиона раз).
Слишком долго, чтобы читать:
BitVM не является панацеей для решения проблем
BitVM не так хороша, как EVM, BitVM медленнее, дороже и сложнее
Основное преимущество BitVM заключается в том, что мы сразу же получаем дополнительную программируемость на Bitcoin без необходимости обновлений. Новые коды операций не требуются. Софтфорк не требуется. Теперь он готов к использованию.
Простые потенциальные варианты использования включают в себя части децентрализованных приложений, которые в настоящее время полагаются на централизованные сервисы (оракулы для DLC, агрегаторы контроля перегрузки/coinjoin, рейтинги сайдчейнов)
5, BitVM не решает проблему недоверительного моста сайдчейнов (может потребоваться контракт — Covenant)
Технические раскопки
Теперь давайте углубимся в техническую сторону дела. В своих обсуждениях я в основном цитирую других людей, потому что это самый безопасный способ оставаться верным тому, что они говорят, и избегать ложных цитат.
Цель BitVM заключается в том, что «любая вычислимая функция может быть проверена на Bitcoin». —Информационный документ BitVM
Это означает, что «Биткоин теперь полон по Тьюрингу, как и любая другая цепочка, и это не требует каких-либо изменений в Биткоине». Сэм Паркер
Есть некоторые ограничения (о которых мы поговорим позже), но в основном это означает, что если вы:
(1) Имеется достаточно средств для оплаты расчетов/доказательств вне сети,
(2) Имеется достаточная пропускная способность для получения и отправки необходимых данных (возможно, сотни мегабайт)
(3) может выполнить необходимое количество транзакций с биткойнами,
Тогда вы можете рассчитать все, что захотите.
«Единственное, что делает BitVM, это позволяет нам разделять определенные логические среды выполнения из области действия одной транзакции на несколько транзакций. Это всё. Сэм Паркер
Так что это может занять много времени. Это может быть очень дорого. Это может занять сотни транзакций. Но вы можете делать все, что захотите.
Сам Сэм повторил: «Таким образом, технически Биткойн не стал более полным по Тьюрингу, чем раньше, мы можем только разумно сказать, что он достаточно «полон по Тьюрингу» для любой программы, которую мы, возможно, действительно захотим выполнить». **"
Одним из ключевых преимуществ является то, что не требуется никаких обновлений. Все это вы можете сделать прямо сейчас.
А если вы не хотите его использовать, вы также можете отказаться от этого: «Это необязательно. Если вы не доверяете блокировке биткоинов какому-то Тьюринг-полному смарт-контракту (что вполне разумно), не блокируйте их к Тьюринг-полному смарт-контракту. ——Сэм Паркер
Поскольку вы можете быть подвержены некоторым вычислительным ограничениям, я думаю, что минимальный результат для BitVM, скорее всего, заменит централизованный сервис «Bitcoin Edge», которым в настоящее время пользуются многие люди.
Например, мы можем «избавиться от всех доверенных или полудоверенных услуг хостинга, которые нам нужны в данный момент». Агрегаторы контроля перегрузки/присоединения к монетам, кворумы сайдчейнов и определенные типы оракулов DLC могут перейти от доверенных/полудоверенных к 100% безнадежным. Недоверие к Биткойну настолько сильно, насколько сильно самое слабое звено в звене, с которым вы взаимодействуете. " - Сэм Паркер
Теперь давайте посмотрим, что говорит по этому поводу Эрик Уолл:
Затем он сказал, вероятно, самое краткое резюме BitVM:
«BitVM описывает только способ, с помощью которого валидатор может украсть маржу у прувера на основе результатов полных по Тьюрингу вычислений, но на самом деле не описывает архитектуру привязки/аута для внешних участников, что может быть правильным».
Да, BitVM — это именно то, что нужно.
Адам Бэк присоединяется к этому с более критическим комментарием (со многими пунктами): «Это круто для людей, которые становятся (чрезмерно) взволнованными, но на самом деле это просто обобщение двусторонней игры, явно упомянутой в аннотации, так что это немного похоже на пример Грега Максвелла 2016 года с реализацией условных платежей ZKP». "
Помимо того, что Адам не заметил часть белой книги, эта BitVM на самом деле лучше, чем пример ZKP Грега Максвелла 2016 года. Процитирую Робина: «В ZKCP он абсолютно превосходит [по сравнению с примером ZKP Грега Максвелла 2016 года], потому что в ZKCP доказывающий должен знать решение заранее». "
Super Testnet, один из рецензентов статьи, высказал свое мнение: «Это, вероятно, самое захватывающее открытие в истории Bitcoin Script. Кажется, что он решает почти все проблемы и дает нам доступ к ковенантам, сайдчейнам и функциям, таким как Liquid или EVM, без каких-либо форков. Я не могу дождаться, когда выйду свое демо. "
В ответ на вопрос Эрика Уолла о настройке схемы 1-to-N, Super Testnet опубликовал следующее: «Он также поддерживает схему 1-N, аналогичную роллапам. У вас может быть центральная сторона, получающая сборы для выполнения вычислений для группы. Все в группе знают, что центральная партия не может лгать, иначе группа может получить огромный отрыв и поделить его между своими членами. "
Основным недостатком BitVM является сложность. **Для того, чтобы BitVM работала, требуется много предварительной подписи.
Рейндаль прокомментировал: «Похоже, что CTV сократит количество предварительных подписей. Было бы отличным решением, если бы вы использовали текущий Биткойн, а затем выяснили, насколько интерактивность можно уменьшить с помощью CTV, и является ли это хорошей вещью или необходимостью. "
Если вы еще не знаете, CTV = BIP-119 = Simple Covenant. Поэтому, если мы обновим Биткоин, чтобы включить CTV, BitVM будет намного лучше и эффективнее. **
Пост Капоне добавил свою собственную точку зрения при обсуждении текущей позитивности в экосистеме Биткойна: «BitVM вызвала положительные комментарии от 8 различных фракций внутри Биткойна, которые, как правило, очерняют друг друга до степени разрушения. Большое дело, чувак. За короткий промежуток времени передается много анализа/обратной связи, что очень круто. Ординалы были волшебным моментом. Кажется, что он достаточно мотивирован, чтобы пройти лишнюю милю. Мы все собрались вместе, чтобы сделать его работоспособным. "
BitVM очень похожа на Lightning Network, но в документе есть по крайней мере одно требование к мультиподписи 2:2.
Дилан Леклер прокомментировал: «Поправьте меня, если я ошибаюсь: хотя технически это очень отличается, это похоже на LN в том, что это мультиподпись 2:2, где TX/приложения/контракты могут быть построены на биткойне, но проверка и расчеты происходят в блокчейне. Насколько я понимаю, это позволило бы привязать BTC без доверия (?) ）"。
Сэм ответил: «Он может делать все, что вы захотите, включая ненадежные привязки». В этом отношении она очень похожа на Lightning Network. Я думаю, что запуск этого протокола внутри Lightning Channel был бы реальным стратегическим шагом. Я подозреваю, что есть способ использовать транзакции Lightning's Justice очень синергетическим образом. "
Были сомнения в том, что BitVM сможет поддерживать глобальное состояние, так как описание в статье похоже на канал состояния, но Super Testnet ответил: «Он поддерживает глобальное состояние». Сторона А может доказать Стороне Б утверждения о глобальном реестре (например, Биткойн, сайдчейны или даже другие цепочки). "
В целом, BitVM «делает биткоин-контракты более выразительными». В частности, он делает возможными функции, которые, как мы изначально думали, нуждаются в софтфорке. Он может реализовать не требующие доверия сайдчейны, но это еще не совсем решено. ——Супер тестовая сеть
Рейндейл ответил, что нам все еще могут понадобиться ковенанты для внедрения ненадежных сайдчейнов: «BitVM позволяет вам тратить все суммы UTXO, которые содержат смарт-контракты. Для сайдчейнов без доверия нам нужно иметь возможность потратить часть UTXO, содержащую смарт-контракт. "
Мое мнение
Еще одна белая книга, еще один раунд подкастов. BitVM очень интересна, но она все еще находится на стадии исследования, и есть еще много вопросов, которые нужно изучить, поэтому сколько проблем BitVM сможет решить, еще предстоит определить.
Могут быть несколько простых ключевых вариантов использования, чтобы начать использовать BitVM прямо сейчас, чтобы снизить предположения о доверии (например, оракулы DLC).