Nhà phát triển chuỗi khối ZeroSync đã triển khai hệ thống máy khách ZK đầu tiên dựa trên bằng chứng Stark cho mạng Bitcoin, cho phép các máy khách Bitcoin nhẹ (tức là ví) sử dụng tiêu đề khối và cơ chế Xác minh thanh toán đơn giản (SPV) để xác minh giao dịch. Dự án nhằm mục đích giúp người dùng Bitcoin xác minh trạng thái của mạng mà không cần tải xuống toàn bộ chuỗi khối. (Khối)