Недавно созданная ассоциация ZeroSync внедряет доказательства с нулевым разглашением в Bitcoin

Три немецких специалиста по информатике создали швейцарскую некоммерческую организацию под названиемАссоциация ZeroSync помочь масштабировать Bitcoin , используя доказательства с нулевым разглашением (zk-proofs), криптографическую технику, которая популярность резко возросла на конкурирующей цепочке Ethereum.

Доказательства с нулевым разглашением используют криптографию для подтверждения достоверности информации без раскрытия самой информации. Использование zk-доказательства для проверки блокчейна Bitcoin означает, что узлы могут синхронизироваться практически мгновенно, а не тратить часы (а иногда и дни) на загрузку текущей цепочки 500 ГБданных.

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

Прототип может проверять правила консенсуса Bitcoin , но не подписи транзакций. Он также BIT неуклюж и все еще нуждается в оптимизации для скорости и безопасности, поэтому он пока не готов к PRIME тайму, но главное, что он работает.

«Это пока что на стадии прототипа», — рассказал CoinDesk соучредитель ZeroSync Робин Линус. «Но грандиозная идея заключается в том, что вы загружаете ONE мегабайт доказательства, и это так же хорошо, как если бы вы загрузили 500 гигабайт».

Легкие клиенты или узлы простой проверки платежей (SPV) всегда существовали в блокчейне Bitcoin . Фактически, Сатоши Накамото упомянул эту концепцию в Белая книга Bitcoin. Они имеют решающее значение для небольших устройств, таких как мобильные телефоны, которые T могут загрузить весь блокчейн.

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

ZeroSync идет еще дальше, проверяя транзакции с помощью криптографических доказательств, а не просто доверяя честным узлам, как предлагал Сатоши.

«Вам T обязательно доверять. В этом весь смысл», — сказал Линус. «Доказательство доказывает вам это. Это великое изобретение».

Полностью функционирующий механизм zk-proof может использоваться для включения широкого спектра приложений за пределами флагманского варианта синхронизации узлов. ZeroSync создал набор инструментов разработчика для включения таких приложений, как proof-of-reserves на биржах и компрессия истории транзакций на протоколах второго уровня, таких как Lightning Labs.Таро.

Линус и его коллега-соучредитель Лукас Джордж объединили усилия в июле для работы над реализацией полного доказательства цепочки блоков Bitcoin после того, как дипломная работа Джорджа о реализации доказательства заголовков биткойнов привлекла внимание Геометрические исследования.

Впоследствии к команде присоединился Тино Стеффенс; все три соучредителя имеют опыт работы в области компьютерных наук.

Линус жил в Санта-Терезе, отдаленном пляжном городке на полуострове Никоя в Коста-Рике, где есть ONE банкомат с комендантским часом в 22:00. Это сводило Линуса с ума и заставляло его искать альтернативные способы оплаты. Он наткнулся на Bitcoin, подружился с уважаемым «колдуном Bitcoin » Рубен Сомсен(который придумал термин «ZeroSync»), а остальное, как говорится, уже история.

«С этого момента я начал Словарь все больше и больше о криптографии», — сказал Линус. «Со временем я развил некоторые навыки, и затем Рубен порекомендовал меня Geometry Research. Они предложили мне возможность построить доказательства STARK для Bitcoin , и именно так я связался с Лукасом».