zkSync Era推出新证明系统升级Boojum，将协助网络过渡到STARK支持的证明系统

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

金色财经报道，Komodo是一个区块链互操作性和原子交换技术项目，计划将其区块链从工作量证明过渡到权益证明，这一变革性转变强调了Komodo对环境可持续性的坚定承诺，因为与PoW相比，PoS消耗的能源要少得多。

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

金色财经报道，区块链数据分析平台 Nansen 新增支持 zkSync Era 网络，并将添加 zkSync Era 上的 SyncSwap、Mute 和 SpaceFi 等协议。

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

5月7日消息，以太坊证明服务 EAS（Ethereum Attestation Service）发推称，已上线新功能，支持证明与验证任何类型的文件。创作者可以生成其内容的哈希值，证明它，并允许其他人根据哈希值进行验证。