区块链开发商 ZeroSync 已为比特币网络部署了第一个基于 Stark 证明的 ZK 客户端系统，实现比特币轻客户端（即钱包）使用区块头和简单支付验证（SPV）的机制来验证交易。该项目旨在帮助比特币用户验证网络状态，而无需下载整个区块链。（TheBlock）