Разработчик блокчейна ZeroSync развернул первую клиентскую систему ZK, основанную на доказательстве Старка, для сети Биткойн, позволяющую легким клиентам Биткойн (то есть кошелькам) использовать заголовки блоков и механизмы простой проверки платежей (SPV) для проверки транзакций. Цель проекта — помочь пользователям Биткойн проверить состояние сети без загрузки всей цепочки блоков. (Блок)