ZeroSync

ZeroSync是一个专注于将零知识证明（ZK）应用于比特币的项目。其核心业务包括：1）为比特币区块链生成STARK证明，使全节点无需下载全部区块数据即可同步，仅需一个简洁证明即可确认链状态；2）开发BitVM，一种在比特币上实现任意计算的范式，允许构建无需信任的桥接和二层解决方案；3）推出zkCoins，利用零知识证明实现比特币的隐私交易和更高吞吐量。

核心竞争力在于利用递归STARK证明压缩区块链数据，将数百GB的区块数据压缩为几十字节的证明，同时保持安全性。BitVM通过优化比特币脚本的验证逻辑，使复杂计算可在比特币上验证，拓展了比特币的功能。

市场痛点包括：比特币全节点同步需下载约500GB数据，耗时且占用存储；交易缺乏隐私；基础层吞吐量有限。ZeroSync通过零知识证明解决这些问题：快速同步节点、保护交易隐私、通过二层方案提升扩展性。

近半年（2026年2月28日至8月29日）的发展状况：根据公开信息，暂无重大可验证进展。此前（2025年3月）完成了zkCoins的概念验证和BitVM桥的首次实现，但近半年内未发布新的里程碑。