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