Проект ZeroSync развернул первую клиентскую систему для цепочки заголовков биткоина на базе механизма доказательств с нулевым разглашением ZK-STARK. Об этом сообщает The Block.
Решение построено на языке программирования Cairo от StarkWare и использует созданную компанией ZKP-технологию. Система позволяет проверять состояние сети без необходимости скачивать блокчейн или доверять третьей стороне.
ZeroSync занимается разработкой инструментов, которые с помощью ZKP помогут решить проблемы масштабирования биткоина вроде скорости транзакций и перегрузки.
Созданный верификатор представляет собой легкий клиент, который дает возможность проверять включение транзакций в блокчейн, сохраняя только доказательства для цепочки заголовков.
«Это на порядки снижает барьеры входа для участия в качестве полноправного гражданина сети биткоина», — заявил соучредитель ZeroSync Робин Лайнус.
По его словам, проект рассчитывает в долгосрочной перспективе привнести широкую масштабируемость в блокчейн первой криптовалюты с помощью ZK-STARK.
ZeroSync разработал и в настоящее время реализует протокол второго уровня, который позволит обрабатывать более 100 биткоин-транзакций в секунду, добавил он.
Верификатор заголовков в проекте назвали первой важной вехой на пути к полному ZK-клиенту. Планируется, что следующим шагом станет инструмент для проверки нодами всей цепочки блоков без необходимости загрузки и обработки данных.
«Конечная цель — создать верификатор с нулевым разглашением в основной сети биткоина», — подчеркнул Лайнус.
Напомним, ForkLog рассказал о технологии ZK-STARK и построенной на ее базе сети StarkNet в образовательных карточках.
