Ключевые моменты:
ZeroSync уже создала функциональный прототип, который позволяет пользователям аутентифицировать текущее состояние и историю транзакций блокчейна Bitcoin без необходимости загружать всю цепочку или полагаться на третью сторону.
Хотя прототип может проверять правила консенсуса Bitcoin, он не может проверять подписи транзакций.
ZeroSync развивает предложение Сатоши на шаг дальше, подтверждая транзакции с помощью криптографических доказательств, а не просто доверяя честным узлам.
Доказательства с нулевым разглашением (ZKP) обсуждаются в криптосообществе уже более десятилетия. Даже Сатоши Накамото знал о них как о примитиве, который может быть использован, и концепция их включения в Bitcoin была исследована еще в 2010 году, когда они еще функционировали.
Что бы произошло, если бы Bitcoin внедрил доказательства с нулевым разглашением? Как бы сеть Bitcoin взаимодействовала с пользователями, если бы статус цепочки можно было быстро проверить без загрузки данных блока или зависимости от третьих лиц?
ZeroSync, недавно анонсированная инициатива, возглавляет создание системы проверки концепции Bitcoin.
Швейцарская некоммерческая ассоциация ZeroSync и инфраструктурная компания Bitcoin Blockstream объявили о планах транслировать доказательства с нулевым разглашением Bitcoin — тип криптографии, который стал одним из самых популярных трендов в сфере блокчейн-технологий в этом году — со спутника Blockstream, способствуя разработке будущего Bitcoin с такими свойствами, как конфиденциальность, совместимость и масштабируемость.
Что такое ZeroSync?
Три немецких ученых-компьютерщика основали в Швейцарии Ассоциацию ZeroSync, чтобы помочь в масштабировании Bitcoin с помощью доказательств с нулевым разглашением (zk-proofs), криптографического подхода, который получил распространение в конкурирующей цепочке Ethereum.
Криптография используется в доказательствах с нулевым разглашением, чтобы показать достоверность информации, не раскрывая саму информацию. Использование zk-доказательства для проверки блокчейна Bitcoin позволяет узлам синхронизироваться очень быстро, а не тратить часы (или даже дни) на загрузку текущих 500 ГБ данных цепочки.
В феврале этого года компания ZeroSync создала функциональный прототип, который позволяет пользователям подтверждать статус (кто чем владеет в данный момент) и историю транзакций блокчейна Bitcoin, не загружая всю цепочку и не прибегая к услугам третьей стороны.
Прототип способен проверять правила консенсуса Bitcoin, но не подписи транзакций. Он также немного неуклюж и должен быть настроен на скорость и безопасность, так что он пока не совсем готов к прайм-тайму, но главное, что он работает.
Geometry и StarkWare, две компании, тесно связанные с технологиями конфиденциальности с нулевым разглашением, финансируют разработку ZeroSync. Том Уолтон-Покок, бывший генеральный директор Aztec Network, является главой Geometry. Ранняя разработка ZeroSync финансировалась исследовательским грантом. OnlyDust, проект StarkWare с открытым исходным кодом, также предлагает средства на разработку.
В блокчейне Bitcoin всегда существовали легкие клиенты, также известные как узлы простой проверки платежей (SPV). Сатоши Накамото, по сути, описал эту концепцию в своем первоначальном документе. Они имеют решающее значение для небольших устройств, которые не могут загрузить полный блокчейн, например, для мобильных телефонов.
Системы проверки ZeroSync
Сжатые доказательства с нулевым разглашением обещают открыть новую эру масштабируемости и конфиденциальности блокчейна. Хотя в сообщество Ethereum вкладывают значительные технические усилия для развертывания этой технологии, для сети Bitcoin такие инвестиции пока не сделаны. В результате была основана компания ZeroSync, чтобы впервые внедрить эти механизмы доказательства в Bitcoin.
Доказательство сотен терабайт истории блокчейна требует больших вычислительных затрат, однако наше сокращение приводит к очень компактному доказательству. После создания доказательства любое количество узлов в сети может использовать его для быстрой синхронизации с сетью. Доказательства являются краткими, независимо от длины цепочки. Каждый доказывающий может постепенно расширять предыдущее доказательство цепочки, когда добывается новый блок.
ZeroSync стремится реализовать краткие доказательства ZK в блокчейне Bitcoin, создавая доказательства ZK для сети Bitcoin, используя фирменное доказательство валидности с нулевым разглашением (zk-STARK) от StarkWare, и иметь возможность мгновенно проверять последнее состояние блокчейна без загрузки данных блока или обращения к третьим лицам. ZeroSync также использует язык Cairo от StarkWare для создания доказательств Bitcoin.
Системы доказательств эффективно дополняют неизменяемость Bitcoin. Они позволяют сжимать цепочку и дополнять ее новыми структурами данных, такими как UTXO set commitment, без необходимости каких-либо изменений консенсуса. Пользователи могут выбирать, использовать ли доказательство или традиционную самозагрузку. В дополнение к строгому базовому слою Bitcoin, системы ZKP обеспечивают значительную гибкость и представляют множество уникальных приложений для исследований.
Как ZeroSync реализован в Bitcoin?
ZeroSync обеспечивает проверку цепочек в три этапа: проверка цепочек заголовков, теоретически допустимая проверка цепочек и полная проверка цепочек, для первых двух из которых ZeroSync имеет готовые прототипы.
Первое доказательство, над которым работает команда ZeroSync, и которое должно быть доступно к настоящему моменту, касается валидности заголовка блока. Оно проверяет, что каждый блок в цепочке должным образом удовлетворяет критерию сложности на данный момент, и отслеживает каждую корректировку сложности, чтобы гарантировать, что каждый блок соответствует правильной цели. Это также существенно повлияет на архитектуру кошелька Simple Payment Verification (SPV).
Proof-of-headchain проверяет только заголовки блоков, proof-of-work и изменения сложности, дополненные деревом Меркла для всех заголовков блоков, чтобы предложить краткие доказательства включения для всех блоков и транзакций. Он отличается малым весом и низкой вычислительной стоимостью.
Второе доказательство фокусируется на фактической действительности содержимого блока, однако, как и функция Assume Valid в Bitcoin Core, оно не проверяет действительность данных свидетеля.
Он будет проверять и проверять ограничения по размеру транзакций, правила валютной инфляции и другие данные свидетелей, но не будет гарантировать, что подписи, хэш-блокировки и другие данные свидетелей верны. Наоборот, это доказательство будет использовать Utreexo для включения UTXO, установленного на каждой высоте блока, в общую процедуру ZKP для цепочки.
Наконец, окончательное доказательство будет использовать как ZKP для заголовков блоков, так и ZKP для Assume Valid, чтобы доказать действительность каждой части данных свидетеля в исторической цепочке. Технически, узел, использующий окончательную систему доказательств ZeroSync, сможет выполнить начальную загрузку с одним доказательством и набором UTXO с лучшей моделью проверки, чем Bitcoin Core по умолчанию.
Все правила консенсуса Bitcoin, включая информацию о подписи, проверяются с помощью Full Chain Proof. В результате доказательства будут довольно дорогими.
Более того, ZeroSync выпустит набор инструментов для разработчиков, чтобы помочь разработчикам в интеграции доказательств с нулевым разглашением в их бизнес или услуги. Конкретные сценарии применения включают, помимо прочего, раскрытие криптовалютными биржами платежных возможностей своим клиентам без раскрытия конкретной информации о балансе или истории транзакций; доказательства могут преобразовывать или фильтровать данные блокчейна и создавать индексы для эффективных запросов; доказательства могут быть более легко расширены и настроены благодаря их компоновке; отсутствие или меньшее доверие кросс-чейн-взаимодействию и многое другое; продажа данных доказательств с условными платежами с нулевым разглашением.
Подводя итог, можно сказать, что ZeroSync не только позволит быстро проверить состояние цепочки, но и, в идеале, возвестит об изменении парадигмы в масштабируемости, совместимости и конфиденциальности Bitcoin. Конечно, остаются препятствия в плане улучшения безопасности и производительности доказательства для разработки доказательства Bitcoin промышленного уровня.
Заключение
ZeroSync ускоряет процесс интеграции технологий ZKP в основной слой Bitcoin. В Bitcoin верификатор доказательств предоставляет ряд важных новых функций, таких как свертки валидности, двусторонние привязки без доверия и полная конфиденциальность транзакций. ZKP имеют потенциал стать очень мощным инструментом для Bitcoin, даже если они не включены в уровень консенсуса или не используются для блокировки и траты Bitcoin.
ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ: Информация на этом сайте предоставляется как общий комментарий по рынку и не является инвестиционным советом. Мы призываем вас провести собственное исследование перед инвестированием.
Присоединяйтесь к нам, чтобы следить за новостями: https://linktr.ee/coincu
Гарольд
Новости Коинку
