ZeroSync реализовал первый легкий ZK-клиент для биткоина

Проект ZeroSync развернул первую клиентскую систему для цепочки заголовков биткоина на базе механизма доказательств с нулевым разглашением ZK-STARK. Об этом сообщает The Block.

Решение построено на языке программирования Cairo от StarkWare и использует созданную компанией ZKP-технологию. Система позволяет проверять состояние сети без необходимости скачивать блокчейн или доверять третьей стороне.

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

Созданный верификатор представляет собой легкий клиент, который дает возможность проверять включение транзакций в блокчейн, сохраняя только доказательства для цепочки заголовков.

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

По его словам, проект рассчитывает в долгосрочной перспективе привнести широкую масштабируемость в блокчейн первой криптовалюты с помощью ZK-STARK. 

ZeroSync разработал и в настоящее время реализует протокол второго уровня, который позволит обрабатывать более 100 биткоин-транзакций в секунду, добавил он.  

Верификатор заголовков в проекте назвали первой важной вехой на пути к полному ZK-клиенту. Планируется, что следующим шагом станет инструмент для проверки нодами всей цепочки блоков без необходимости загрузки и обработки данных.

«Конечная цель — создать верификатор с нулевым разглашением в основной сети биткоина», — подчеркнул Лайнус.

Напомним, ForkLog рассказал о технологии ZK-STARK и построенной на ее базе сети StarkNet в образовательных карточках.