Трое немецких ученых-компьютерщиков создали швейцарскую некоммерческую организацию под названием ZeroSync Association, чтобы помочь масштабировать Биткойн с помощью доказательств с нулевым разглашением (zk-proofs) — криптографического метода, популярность которого резко возросла в конкурирующей цепочке Ethereum.
Доказательства с нулевым разглашением используют криптографию для доказательства достоверности информации без раскрытия самой информации. Использование zk-proof для проверки блокчейна Биткойна означает, что узлы могут синхронизироваться практически мгновенно, вместо того чтобы тратить часы (а иногда и дни) на загрузку текущих 500 ГБ данных цепочки.
ZeroSync уже создал рабочий прототип, который позволяет пользователям проверять состояние (кому чем сейчас принадлежит) и историю транзакций блокчейна Биткойн, не загружая всю цепочку и не доверяя третьей стороне.
Прототип может проверять правила консенсуса Биткойна, но не подписи транзакций. Кроме того, он немного неуклюж, и его все еще необходимо оптимизировать по скорости и безопасности, поэтому он еще не готов к использованию в прайм-тайм, но важно то, что он работает.
«Это в значительной степени находится на стадии прототипа», — сказал CoinDesk соучредитель ZeroSync Робин Лайнус. «Но главная идея состоит в том, что вы загружаете этот один мегабайт доказательства, и это так же хорошо, как если бы вы загрузили 500 гигабайт».
Легкие клиенты или узлы простой проверки платежей (SPV) всегда существовали в блокчейне Биткойна. Фактически, Сатоши Накамото упомянул эту концепцию в своем оригинальном документе. Они имеют решающее значение для небольших устройств, таких как мобильные телефоны, которые не могут загрузить весь блокчейн.
«Можно проверять платежи, не запуская полный узел сети», — написал Сатоши. «Верификация надежна, пока честные узлы контролируют сеть, но она более уязвима, если сеть взломана злоумышленником».
ZeroSync идет на шаг дальше, проверяя транзакции с помощью криптографического доказательства, а не просто доверяя честным узлам, как предлагает Сатоши.
«Вам не обязательно доверять, вот в чем вся суть», — сказал Лайнус. «Доказательство докажет вам, что это великое изобретение».
Полностью функционирующий механизм zk-proof может использоваться для включения широкого спектра приложений за пределами флагманского сценария использования синхронизации узлов. ZeroSync создала набор инструментов для разработчиков, позволяющий использовать такие приложения, как подтверждение резервов на биржах и сжатие истории транзакций по протоколам второго уровня, таким как Taro от Lightning Labs.
Линус и его коллега-соучредитель Лукас Джордж объединили свои усилия в июле прошлого года для работы над реализацией полного доказательства блокчейна Биткойна после того, как студенческая диссертация Джорджа по реализации доказательства заголовков Биткойна привлекла внимание Geometry Research.
Впоследствии к команде присоединился Тино Стеффенс; все трое соучредителей имеют опыт работы в области компьютерных наук.
Линус жил в Санта-Терезе, отдаленном пляжном городке на полуострове Никойя в Коста-Рике, где есть один банкомат с комендантским часом в 22:00. Это сводило Линуса с ума и заставило его искать альтернативные способы оплаты. Он наткнулся на Биткойн, подружился с уважаемым «колдуном Биткойна» Рубеном Сомсеном (который придумал термин «ZeroSync»), а остальное, как говорится, уже история.
«С этого момента я начал узнавать все больше и больше о криптографии», — сказал Линус. «Со временем я приобрел некоторые навыки, а затем Рубен порекомендовал меня в Geometry Research. Они предложили мне возможность создать доказательства STARK для Биткойна, и именно так я связался с Лукасом».