💬 Недавно созданная ассоциация ZeroSync привносит доказательства нулевого разглашения в биткойн

Недавно созданная ассоциация ZeroSync привносит доказательства нулевого разглашения в биткойн

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

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

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

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

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

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

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

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

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

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

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

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

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

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