比特币用户很快将能够使用零知识证明（ZK-proofs）来加快验证单个块并最终验证整个区块链的过程。 

总部位于瑞士的非营利组织 ZeroSync Association 正在开发一种工具，允许用户验证比特币网络的状态，而无需下载区块链或信任第三方进行验证。

ZeroSync 的成立是为了开发和维护开源软件，以在比特币区块链上实现简洁的 ZK 证明。该小组使用 StarkWare 专有的零知识可扩展透明知识论证 (zk-STARK)有效性证明来为比特币网络生成 ZK 证明。

该工具承诺彻底改革验证比特币区块链的过程，这仍然需要节点运营商下载大量数据以同步比特币网络的正确状态。

ZeroSync 使用 ZK-proofs 来最终生成有效证明并几乎在瞬间验证区块链的最新状态。

ZK 证明一直是以太坊生态系统的一个启示，各种证明方法为多个第 2 层扩展平台提供支持，包括 Polygon、Arbitrum、Optimism 和 StarkNet。

ZeroSync Association 的一项声明通过提供“几乎固定大小”的证明来验证大型计算，强调了 ZK 证明对区块链可扩展性和隐私的承诺。

该项目的工作开创了比特币网络 ZK 证明的应用，该组织将比特币的相对简单性和未花费的交易输出 (UTXO) 模型描述为应用递归证明的独特价值主张。

ZeroSync 指出，ZK-Proof 工具不需要比特币网络及其用户的共识更改或额外的信任假设。该组织正在构建一个软件开发工具包，允许开发人员为特定用例生成自定义有效性证明，而无需深入的领域专业知识。

ZeroSync 正在构建用于快速初始块下载的客户端，以及实施第一个完整的比特币共识证明。客户端将允许用户在不对比特币核心代码进行更改的情况下同步完整节点。

ZeroSync 使用由 StarkWare 开创的Cairo编程语言来创建 STARK 可证明的计算程序。

ZeroSync 的工具目前处于原型状态，但能够证明单个假定有效块的有效性，验证除脚本之外的所有比特币规则。该团队还有一个可用的浏览器内演示验证器，用于比特币块的 STARK 证明。

ZeroSync 协会最初由 Geometry 和 StarkWare 资助，但正在建立一个非营利实体，以支持比特币社区内利益相关者的持续开发和维护。

共同发明了 zk-STARKS 的 StarkWare 总裁兼联合创始人 Eli Ben-Sasson 在一份声明中总结了 ZK 证明进入比特币生态系统的重要性：

“在对同步缓慢感到沮丧之后，用户将能够更快地与网络同步，并且计算量更少。这是一种技术飞跃，类似于从慢速拨号互联网到高速宽带的转变。”

Lightning Labs，比特币第 2 层背后的团队闪电网络支付系统，是 ZeroSync 项目的贡献合作伙伴。

该公司打算使用 ZeroSync 为其 Taproot 资产表示覆盖 (Taro) 协议提供压缩交易历史证明，该协议旨在为比特币区块链上的数字资产发行提供支持。