比推消息，据The Block报道，区块链开发商 ZeroSync 已经为比特币网络实现了第一个基于 Stark 证明的客户端系统。 该项目基于 Starkware 的 Cairo 编程语言构建，将使比特币用户能够验证网络状态，而无需下载区块链或信任利用 Starks（ StarkWare开发的一种 ZK 证明）的第三方。

ZeroSync 表示，通过发布比特币网络header链的验证器作为其网络 ZK 客户端的一部分，它已经实现了第一个重大里程碑。ZeroSync 的下一步是向节点提供整个区块链的验证，而不需要它们下载和处理数据，最终目标是在比特币主网上建立一个零知识证明验证器。