- BitVM, инновационная разработка Робина Линуса в области биткойна, позволяет создавать контракты, завершенные по Тьюрингу, без изменения правил сети.
- Сообщество обсуждает потенциал BitVM: одни видят в нем «переломный момент», другие проявляют осторожность.
Разработчик биткойна Робин Линус, лидер ZeroSync, предложил новый подход к внедрению в биткойн более универсальных внецепочечных смарт-контрактов, не требующих «мягкого форка». Об этом говорится в опубликованном 9 октября техническом документе под названием «BitVM: Вычисляйте все, что угодно, на Bitcoin» Эта инновация, известная как BitVM, позволяет реализовывать контракты Bitcoin с Тьюринговой полнотой, сохраняя при этом фундаментальные правила консенсуса Bitcoin нетронутыми.
"Any computable function can be verified on Bitcoin"https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— 😸 яobin linus (@robin_linus) October 9, 2023
Ключевой прорыв BitVM заключается в возможности выражать полные по Тьюрингу контракты Bitcoin, что обеспечивает расширенные возможности программирования в сети Bitcoin. В отличие от традиционных смарт-контрактов, выполняющих вычисления непосредственно на блокчейне, BitVM фокусируется на верификации, проводя параллели с оптимистичными роллапами. Это нововведение может потенциально изменить роль биткойна в криптовалютном ландшафте.
Криптовалютное сообщество, особенно на таких платформах, как Reddit и Twitter, оживленно обсуждает выход BitVM. Одни энтузиасты приветствуют его как потенциальную перемену в игре, другие выражают осторожный оптимизм. Предложение даже вызвало споры о том, сможет ли BitVM сделать альткоины устаревшими.
BitVM против альткоинов: Сравнительная перспектива
Боб Бодили, генеральный директор компании Bioniq Market, рассказывает о возможностях BitVM. Признавая его преимущества, Бодили отмечает, что BitVM медленнее, дороже и сложнее, чем виртуальная машина Ethereum (EVM). Это говорит о том, что, хотя Bitcoin может стать более полным по Тьюрингу благодаря BitVM, она не сможет полностью заменить EVM для всех случаев использования.
Сэм Паркер, руководитель технологического отдела и соучредитель компании Blockchain Transition, подчеркивает, что BitVM повышает полноту Биткойна по Тьюрингу, не требуя изменений в основных правилах консенсуса. Он отмечает, что Bitcoin не уступает ни одному другому блокчейну, что делает его «достаточно полным по Тьюрингу» для практического применения.
Одним из существенных преимуществ BitVM является его необязательный характер. Пользователи, предпочитающие не доверять свои монеты контракту с Тьюринговой полнотой, могут отказаться от этого. Кроме того, BitVM может устранить зависимость от централизованных сервисов «биткойн-границы», способствуя полностью бездоверительному взаимодействию в криптовалютной экосистеме.
Оптимистичный прогноз с осторожным оптимизмом
Ознакомившись с техническим описанием BitVM, мастер Taproot Эрик Уолл выражает осторожный оптимизм. Он подчеркивает опасения, связанные с этапом настройки, особенно в отношении обмена крупными транзакциями с предварительной подписью. Однако он с нетерпением ожидает реальных экспериментов по проверке функциональности BitVM.
Уолл предполагает, что если BitVM будет эффективно верифицировать доказательства с нулевым знанием (zk-доказательства) внутри себя, то она сможет взять на себя роль слоя zkwasm. Эта роль заключается в том, что верификатор присваивает себе связь от доказателя на основе результата полного вычисления по Тьюрингу.
Криптовалютное сообщество отреагировало на BitVM по-разному. Одни, как, например, Super Testnet, называют его «самым захватывающим открытием в истории криптовалюты Bitcoin», другие, как, например, генеральный директор Blockstream Адам Бэк, настроены более критично. Бэк сравнивает BitVM с примером условных платежей Грега Максвелла (Greg Maxwell), разработанным в 2016 г. на основе доказательства нулевого знания (ZKP).
for people getting (over) excited, this is cool but effectively a generalization of a two-party game — it says right in the abstract — so it's a bit like Greg Maxwell's 2016 ZKP contingent payments implemented example https://t.co/OeHRsbFjud
— Adam Back (@adam3us) October 9, 2023
Однако Робин Линус опровергает мнение Бэка, подчеркивая, что в условных платежах ZKP доказывающий должен знать решение заранее. Из этого следует превосходство BitVM над примером ZKP Максвелла 2016 года.
Проблемы и сложности
Несмотря на свой потенциал, BitVM создает сложности и проблемы. Разработчик Rijndael предполагает, что CTV (BIP-119 = Simple Covenants) может повысить эффективность BitVM. По общему мнению сообщества, потенциал BitVM огромен, но его реальное применение и влияние на существующие системы еще предстоит выяснить.
Question about the challenge-response protocol: as i read it, vicky and paul would have to presign a challenge/response trace for each branch of the commitment tree at setup time?
— Rijndael (@rot13maxi) October 9, 2023
Максим Орловский из Ассоциации стандартов LNP/BP высоко оценивает нововведение, но высказывает опасения. Он отмечает, что реальные программы, в том числе и zk-STARKS, требуют выполнения таких операций, как умножение и деление по модулю, которые отсутствуют в криптовалюте Bitcoin. Эти ограничения обусловлены ограничениями, накладываемыми правилами консенсуса BTC. Для получения практических результатов могут потребоваться годы разработки или даже «мягкий форк».
