Пользователи биткойнов вскоре смогут использовать доказательства с нулевым разглашением (ZK-доказательства), чтобы ускорить процесс проверки отдельных блоков и, в конечном итоге, всей цепочки блоков.
Швейцарская некоммерческая ассоциация ZeroSync Association разрабатывает инструмент, который позволит пользователям проверять состояние сети Биткойн без необходимости загружать блокчейн или доверять проверку третьей стороне.
Компания ZeroSync была основана для разработки и поддержки программного обеспечения с открытым исходным кодом, позволяющего осуществлять краткие доказательства ZK в блокчейне Биткойн. Команда использовала запатентованное доказательство достоверности масштабируемого прозрачного аргумента знания с нулевым разглашением (zk-STARK) от StarkWare для создания доказательств ZK для сети Биткойн.
Инструмент обещает революционизировать процесс проверки блокчейна Биткойн, который по-прежнему требует от операторов узлов загружать большие объемы данных для синхронизации правильного состояния сети Биткойн.
ZeroSync использует ZK-доказательства, чтобы в конечном итоге генерировать действительные доказательства и практически мгновенно проверять последнее состояние блокчейна.
Доказательства ZK стали открытием для экосистемы Ethereum: различные методы доказательства используются на нескольких платформах масштабирования второго уровня, включая Polygon, Arbitrum, Optimism и StarkNet.
Объявление Ассоциации ZeroSync подчеркивает приверженность доказательств ZK масштабируемости и конфиденциальности блокчейна, предоставляя доказательства «почти фиксированного размера» для проверки больших вычислений.
Работа проекта стала пионером в использовании доказательств ZK в сети Биткойн, и группа описывает относительную простоту Биткойна и модель вывода неизрасходованных транзакций (UTXO) как уникальные ценные предложения для применения рекурсивных доказательств.
ZeroSync отметил, что инструмент ZK-Proof не требует изменений консенсуса или дополнительных предположений о доверии к сети Биткойн и ее пользователям. Организация создает комплект разработки программного обеспечения, который позволяет разработчикам создавать собственные доказательства достоверности для конкретных случаев использования, не требуя глубоких знаний в предметной области.
ZeroSync создает клиент для быстрой начальной загрузки блоков, а также реализует первое полное доказательство консенсуса Биткойн. Клиент позволит пользователям синхронизировать полные узлы без внесения изменений в код Bitcoin Core.
ZeroSync использует язык программирования Cairo, впервые разработанный StarkWare, для создания доказуемых вычислительных программ STARK.
Инструмент ZeroSync в настоящее время находится в состоянии прототипа, но способен доказать достоверность одного предположительно допустимого блока, проверяя все правила Биткойна, кроме скриптов. У команды также есть демо-валидатор в браузере, доступный для проверки блоков биткойнов STARK.
Ассоциация ZeroSync изначально финансируется Geometry и StarkWare, но создается как некоммерческая организация для поддержки постоянного развития и обслуживания заинтересованными сторонами в сообществе Биткойн.
Президент и соучредитель StarkWare Эли Бен-Сассон, соавтор zk-STARKS, в своем заявлении подвел итог важности доказательств ZK, входящих в экосистему Биткойн:
«После разочарования в медленной синхронизации пользователи смогут синхронизироваться с сетью быстрее и с меньшими затратами вычислений. Это технологический скачок, аналогичный переходу от медленного коммутируемого доступа к Интернету к высокоскоростному широкополосному доступу».
Lightning Labs, команда разработчиков платежной системы Bitcoin Layer 2 Lightning Network, является партнером проекта ZeroSync.
Компания намерена использовать ZeroSync для предоставления сжатого доказательства истории транзакций для своего протокола Taproot Asset Representation Overlay (Taro), который предназначен для обеспечения выпуска цифровых активов в блокчейне Биткойн.