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

Пользователи биткойнов (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), который направлен на обеспечение выпуска цифровых активов в блокчейне Биткойн.

Источник: Сointеlеgrаph