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