BitVM3 обещает более дешевые мосты для Bitcoin — но пока нет

В гонке за программированием Bitcoin без мягкого форка возникает одна из самых креативных конкурентных битв в мире криптовалют.

В центре внимания — BitVM, структура для доказательства вычислений вне цепочки на Bitcoin через мошеннические доказательства.

Первая версия, известная как BitVM1, использовала многократный интерактивный протокол, в то время как BitVM2 упростила это до одноко ROUNDного мошеннического доказательства с использованием разделенного SNARK-верификатора, который уже демонстрирует практическую полезность для ранних пользователей, таких как Build on Bitcoin (BOB), Citrea и Bitlayer. В настоящее время BitVM3 предлагает еще больше сократить затраты на мошеннические доказательства на ~1000 раз.

Но есть оговорка: проект все еще на стадии исследования с критическими вызовами по безопасности, сложности и доступности данных, которые нужно решить перед запуском в производство. "Общий дизайн моста BitVM между BitVM2 и BitVM3 остается неизменным", — отметил соучредитель BOB Алексей Закутний.

"Ключевое различие заключается в замене SNARK-верификатора (BitVM2) на запутанное кольцо (BitVM3)", — добавил он и отметил, что они исследуют возможность внедрения элементов нового дизайна BitVM в свой гибридный мост. Запутанные кольца — это криптографические устройства, которые позволяют одной стороне заранее обязаться к вычислению, которое другая может проверить, не узнавая приватных входных данных.

Теоретически это снижает нагрузку на цепочку Bitcoin до небольших обязательств на логический вентиль.

Хотя технология имеет большой потенциал, она пока не подтверждена на большом масштабе, и исследования продолжаются для устранения недостатков. Тем временем, существующие мосты продолжают работу над BitVM2.

BOB недавно запустила новую тестовую сеть на основе BitVM2 вместе с крупными партнерами в DeFi, чтобы обеспечить активы, обеспеченные Bitcoin, на других цепях.

BitVM2 проходит аудит и ожидается, что вскоре будет готова для основной сети. Актуальные затраты BitVM2 не являются тривиальными: Закутний оценивает, что худший случай мошеннического доказательства в цепочке стоит около $16,000.

Тем не менее, это дешевле, чем мошеннические доказательства OP Stack на Ethereum, которые требуют 14 ETH или больше (более $40,000 сегодня) на залоги и могут стоить сотни ETH для фактического доказательства мошенничества. Другие команды также экспериментируют с различными вариантами запутанных колец.

Как отметил Робин Линус в группе BitVM Builders в Telegram, Citrea исследует классический подход к запутыванию в стиле Яо, комбинируя его с методом выбора для проверки правильности колец.

Это обходится дороже, но является простым и базируется на проверенных идеях.

Вместо этого Alpen [Labs] исследует SNARK с определенным верификатором, что снижает затраты на связь, но требует более экзотической криптографии, которая еще не прошла больших стресс-тестов. Проще говоря, метод Citrea напоминает много запечатанных конвертов ("запутанные кольца"), которые скрывают каждый этап, с возможностью проверяющего случайным образом открывать некоторые из них для подтверждения честности.

Метод Alpen сводит все к одной маленькой открытке ("SNARK с определенным верификатором"), которую проверяющий может быстро прочитать, экономя пропускную способность и место.

Однако эта открытка основана на новой, экспериментальной "криптографической чернила", которая еще не выдержала многих реальных испытаний и не совместима с большинством стандартного оборудования.