ZeroSync协会正在基于STARK证明开发比特币证明系统

金色财经报道，区块链开发商ZeroSync已成功在比特币网络上实施Starkware的零知识 (ZK) 证明。 该项目基于 Starkware 的 Cairo 编程语言构建，将使比特币用户能够验证网络状态，而无需下载区块链或信任利用 Starks（ StarkWare开发的一种 ZK 证明）的第三方。 ZK 证明是一种承诺增强隐私性和可扩展性的加密方法。ZeroSync 表示，通过使一方能够在不透露任何额外信息的情况下验证声明的真实性，ZK 证明可以基本上解决比特币在交易速度和网络拥塞方面的挑战。

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

7月17日消息，zkSync Era宣布推出新证明系统升级Boojum，将协助网络过渡到STARK支持的证明系统。由于Boojum证明者仅需要16GBRAM，团队表示Boojum是证明者实现去中心化的重要步骤。此外，Boojum还将对zkSyncEra定序器提供性能补充。

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

金色财经报道，StarkWare 宣布将在 Apache 2.0 许可下开源加密证明生成引擎 STARK Prover，STARK Prover 为 StarkNet 和 StarkEx 提供支持，用于在保持以太坊安全性的同时实现大规模扩瞳。这是 StarkWare 在开源 Cairo 1.0、Papyrus Full Node 和 StarkNet 新 Sequencer 之后的又一开源举措。

金色财经报道，总部位于新加坡的去中心化金融 (DeFi) 服务公司 Cake DeFi 宣布使用加密审计的 Merkle 树方法发布其储备证明。根据这家 DeFi 服务公司的说法，用户现在可以在一项新推出的功能中验证他们的资产以及公司的负债，该功能允许公众访问其网站上提供的 Merkle 树储量证明。该工具旨在使用户能够在 Merkle 树数据结构下对自己的资金进行自我审计。Cake DeFi 表示，它还将使用户能够通过有关客户资金的实时链上数据了解收益是如何产生的。