ZeroSync为比特币网络部署基于零知识证明的系统

3月28日消息，Robin Linus、Tino Steffens、Lukas George 等成立一个名为ZeroSync协会（ZeroSync Association）的瑞士非营利组织，将带头开发比特币证明系统，构建具有比特币隐私、互操作性和可扩展性的未来。ZeroSync基于STARK证明，为了实现比特币证明，使用由StarkWare创建的Cairo语言。 ZeroSync将分三个连续阶段推出，分别为标头链证明、假设有效链证明和全链证明，目前已经完成了前两个原型。ZeroSync Toolkit还将为比特币开发人员提供强大工具，以将零知识证明应用于他们自己的产品和服务。

金色财经报道，比特币基础设施平台ZeroSync计划为比特币网络构建基于zk证明的轻客户端。项目负责人Robin Linus表示，路线图包括比特币之上的layer 2协议，该协议可以将代币（例如稳定币）引入比特币网络，并将吞吐量提高20至50倍，而无需任何类型的分叉。 据悉，ZeroSync于2022年获得了Geometry Research的资助，今年早些时候也获得了StarkWare的资助，该小组的工作是在以太坊生态系统之外使用StarkWare的Cairo编程语言进行首次尝试。

金色财经报道，瑞士非营利组织ZeroSync协会和比特币基础设施公司Blockstream表示，他们计划从Blockstream的卫星广播比特币零知识证明。使用zk-proofs来验证比特币区块链意味着节点不必下载比特币链的当前500GB数据，因此可以在几分之一秒而不是几小时或几天内同步。Blockstream的卫星网络通过将区块链广播到整个星球，包括互联网覆盖不可靠的地区，提供对比特币的免费全球访问。ZeroSync预计第一次实验广播将在今年年底进行。 新成立的ZeroSync协会于周二成立，计划通过使用零知识证明(zk-proofs)来帮助扩展比特币，零知识证明是一种密码技术，可以在不泄露信息本身的情况下证明信息的有效性。

11月12日消息，旨在将零知识证明引入比特币的ZeroSync项目负责人、BitVM开发者Robin Linus发布《BitStream：通过比特币支付激励的去中心化文件托管》文档，提出一种去中心化文件托管激励系统，无需依赖信任或重量级密码学。客户端和服务器使用optimistic协议执行文件的coin原子交换。服务器响应一个据称已正确加密的文件。客户端通过闪电网络支付购买解密密钥，如果文件不能正确解密，客户端可以对作弊的服务器进行经济惩罚，这对服务器诚实行事有很强的激励作用。

金色财经报道，Uniswap Labs 在 X 平台称，基于意图的系统越来越受欢迎，但需要协议来构建自己的填充网络，ERC-7683 可以解决这个问题，所有跨链意图都遵循相同的顺序结构，通过通用填充网络解决分片问题，ERC-7683 为基于意图的系统建立了标准，改善了应用程序、填充程序和用户的用户体验。

3月7日消息，为以太坊基础设施项目提供资金支持的去中心化自治组织MolochDAO推出基于零知识证明的“隐私池”加密混合服务，旨在保护链上交易时的隐私，同时还允许用户证明他们遵守当地法规。 据悉，MolochDAO的隐私池（Privacy Pools）将利用零知识证明这一隐私保护技术，使用户能够证明他们正在将受制裁的钱包列入黑名单，同时无需透露他们是谁，也无需披露全部交易历史。（The Defiant）