表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于ZeroSync
ZeroSync 是注册在瑞士的非营利协会，专注比特币零知识证明公共品，主线包括链状态证明、BitVM 与 zkCoins。它用 Cairo 与 STARK 递归证明比特币的区块头链，配合 Utreexo 的 UTXO 承诺压缩链状态；zkCoins 采用客户端验证加 SNARK，隐藏金额与地址之间的对应关系。其针对的痛点是全节点需要下载数百 GB 数据、同步耗时漫长，轻客户端则不得不信任第三方。
协会以开源方式发布证明器与验证器，代码同时供 BitVM 桥等外部项目复用。2026 年 4 月的第三方技术评估确认 zkCoins 仍无生产版本，公开页面 History 最新条目停在 2025 年 3 月的 zkCoins 概念验证与首个 BitVM 桥实现；仓库 README 自述代码仍存在严重安全漏洞。
ZeroSync 于 2026 年 4 月通过 Zellic 对 BitVM2 实现方案的完整审计，SNARK 验证已具备比特币主网部署条件。项目同期上线首个基于 STARK 的 Bitcoin 区块头验证客户端，用户仅凭区块头链证明即可近乎即时验证交易包含性，无需下载全链或信任第三方。ZeroSync 持续主导 BitVM 联盟标准落地，并推进 zkCoins 协议研发，目标在比特币上实现每秒逾百笔、带强隐私保护的代币交易。
ZeroSync 的研究版图覆盖 BitVM2/3、Remote Staking、ShieldedCSV 与 Dark Skippy 等方向，并与 Blockstream、TU Vienna 等合作方推进比特币证明系统。zkCoins 概念验证已于 2025 年 3 月完成，2026 年围绕证明系统轻客户端、隐私 Rollup 的论文持续发布。
未来战略与路线图：路线图方面，ZeroSync 将把 SNARK 验证器正式部署至比特币主网，并完善 zkCoins 的生产级实现；同时推动 FHE/客户端验证与 BitVM 桥接方案，使 BTC 能免信任地跨至二层，进一步把比特币扩容为支持隐私与高频结算的结算层。
Robin Linus：联合创始人兼项目负责人，BitVM 白皮书作者，斯坦福大学电气工程博士研究生，2022 年 7 月加入。
Lukas George：联合创始人，柏林工业大学计算机专业，以比特币头链 STARK 证明的学士论文启动项目。
Giacomo Zucco 联合创立瑞士 ZeroSync 协会，RGB 协议共同作者。
Max Gillett 核心开发者，Giza 证明器作者，负责 Cairo 的 STARK 验证器。
Andrew Milson 核心开发者，miniSTARK 证明器作者。