Доказательства с нулевым разглашением приходят в Биткоин, перестраивая проверку состояния сети

Пользователи Биткоин (BTC) скоро смогут использовать доказательства с нулевым разглашением (ZKP), чтобы ускорить процесс проверки отдельных блоков и, в конечном итоге, всей цепочки блоков.

Швейцарская некоммерческая ассоциация ZeroSync разрабатывает инструменты, которые позволяют пользователям проверять состояние сети Биткоин без необходимости загружать блокчейн или доверять проверку третьей стороне.

ZeroSync Association — это организация, которая была создана для разработки и поддержки программного обеспечения с открытым исходным кодом, которое обеспечивает краткие доказательства с нулевым разглашением (ZKP) в блокчейне Биткоин. Группа использует запатентованные StarkWare доказательства достоверности Scalable Transparent Argument of Knowledge (zk-STARK) с нулевым разглашением для создания ZKP для сети Биткоин.

Инструмент обещает пересмотреть процесс проверки блокчейна Биткоин, который по-прежнему требует от операторов узлов загрузки большого объема данных для синхронизации правильного состояния сети Биткоин.

ZeroSync использует ZKP как средство для создания действительного доказательства для почти мгновенной проверки последнего состояния блокчейна.

ZKP стали открытием для экосистемы Ethereum благодаря множеству различных методов проверки, поддерживающих ряд платформ масштабирования уровня 2, включая такие, как Polygon, Arbitrum, Optimism и StarkNet.

Связанный: «Святой Грааль» Polygon, масштабирующий Ethereum, бета-версия zkEVM попадает в основную сеть

Объявление от ZeroSync Association подчеркивает обещание ZKP для масштабируемости и конфиденциальности блокчейна, предоставляя доказательства «почти фиксированного размера», подтверждающие большие вычисления.

Работа проекта является пионером в применении ZKP для сети Биткоин, при этом организация описывает относительную простоту Биткоина и модель UTXO как уникальное ценностное предложение для применения рекурсивных доказательств.

Ассоциация ZeroSync также отмечает, что инструменты ZKP не требуют изменения консенсуса или дополнительных предположений о доверии для сети Биткоин и ее пользователей. Организация создает комплект для разработки программного обеспечения (SDK), который позволит разработчикам создавать собственные доказательства достоверности для конкретных случаев использования без необходимости глубокого знания предметной области.

ZeroSync находится в процессе создания клиента для быстрой начальной загрузки блоков (IBD), а также реализации первого полного доказательства консенсуса Биткоин. Клиент позволит пользователям синхронизировать полный узел без внесения каких-либо изменений в код Bitcoin Core.

ZeroSync использует язык программирования Cairo, разработанный StarkWare для создания программ для вычислений, доказуемых по STARK.

Инструмент ZeroSync в настоящее время находится в состоянии прототипа, но имеет возможность подтверждать правильность отдельных предполагаемых действительных блоков, которые проверяют все правила Биткоин, кроме сценариев. У команды также есть рабочий демонстрационный верификатор в браузере для STARK-доказательств биткоин-блоков.

Ассоциация ZeroSync первоначально финансировалась Geometry и StarkWare, но теперь она создает некоммерческую организацию, чтобы обеспечить постоянную разработку и обслуживание заинтересованными сторонами в сообществе Биткоин.

В заявлении президента и соучредителя StarkWare Эли Бен-Сассона, который является соавтором zk-STARKS, резюмируется масштаб ZKP, приходящих в экосистему Биткоин:

«После многих лет разочарований по поводу медленной синхронизации пользователи смогут синхронизироваться с сетью намного быстрее и с меньшими затратами. Это технологический скачок, аналогичный переходу от медленного коммутируемого интернета к высокоскоростному широкополосному доступу».

Lightning Labs, команда разработчиков платежной системы Lightning Network второго уровня Биткоин, является партнером проекта ZeroSync.

Фирма намерена использовать ZeroSync для доказательства сжатой истории транзакций для своего протокола Taproot Asset Representation Overlay (Taro), который направлен на обеспечение выпуска цифровых активов в блокчейне Биткоин.