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