Биткойн лишен настоящих ZK Rollup из-за архитектурных ограничений
Энтузиасты биткойна часто сталкиваются с терминами, такими как «zk rollups», но реальность сложна. Zk rollups на Ethereum используют нулевые доказательства для бездоверительной верификации, в то время как биткойн сталкивается с архитектурными ограничениями, которые мешают внедрению настоящих zk rollups.
Ошибочные утверждения о возможностях второго уровня биткойна и предположениях о доверии могут запутать пользователей. Сообщество разработчиков биткойна работает над решением этих проблем.
Zk rollups на Ethereum используют основную сеть Ethereum (уровень 1) для проверки криптографических доказательств в цепочке. Размер блока биткойна в 4 МБ и ограниченные возможности скриптов не могут поддерживать эти ресурсоемкие верификаторы. Алексей Замятин, ключевой участник BitVM, утверждает, что верификатор zk rollup «просто не поместится в блок».
Проекты, такие как BitVM, применяют другую стратегию, комбинируя сжатие на основе SNARK с оптимистичной верификацией. Вместо проверки доказательств в цепочке BitVM делит программу на более мелкие, последовательно проверяемые части, что больше похоже на оптимистичные rollups, такие как Arbitrum, чем на zk rollups Ethereum.
«Часть zk останавливается на этапе сжатия», отмечает Замятин. «Все остальное — это система оптимистичных мошеннических доказательств.»
Обсуждение о L2 биткойна выходит за рамки rollups. Януш Гжегорж, основатель Bitcoin Layers, говорил о развивающемся определении L2 биткойна. Изначально проекты оценивались только по их заявлению о том, что они являются «L2 биткойна», исключая значимые действия, такие как токены, обеспеченные BTC на L2 Ethereum.
Гжегорж выступает за сосредоточение на предположениях о доверии вместо семантики, предлагая оценивать мосты, лежащие в основе этих систем, независимо от их маркетинга как L2. Примеры включают протоколы, такие как Rootstock и tBTC на Arbitrum.
Гжегорж, известный как «Януш», также выделил проекты, такие как Merlin и BitcoinOS, как источники путаницы. Эти проекты часто позиционируют себя как zk rollups на биткойне без необходимой инфраструктуры для обеспечения безопасности, характерной для подлинных rollups. Он советует пользователям изучать проекты на предмет реального прогресса, такого как распределенные или оптимистичные мосты, вместо того чтобы полагаться на модные слова.
Замятин подчеркивает важность образования и прозрачности. Сосредоточившись на предположениях о доверии, четких определениях и тщательном анализе, сообщество биткойна сможет лучше понять возможные инновации. В настоящее время zk rollups на биткойне неправильно представлены, но такие инициативы, как BitVM, показывают потенциал для масштабирования в рамках специфических ограничений биткойна.
Для достижения настоящих zk rollups биткойну требуется мягкий форк для включения нативного zk верификатора. В свете недавнего стремления прояснить будущее дорожной карты биткойна рассматривается несколько новых опкодов.
Открытый форум в стиле Wiki позволяет заинтересованным сторонам выражать предпочтения и обосновывать свои взгляды. Команда Замятина в Build on Bitcoin (BOB) планирует внести свой вклад в ближайшее время.
«Это усилие собирает обоснования в одном месте — вместо дебатов в Twitter или разбросанных темах вы можете увидеть аргументацию для каждой позиции», сказал Замятин. «Это облегчает оценку предложений, подведение итогов плюсов и минусов и ведение содержательных дискуссий.»