ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 在社交媒体上发文表示，其认为链下 ZK 应用程序确实低估了使用 STARK 的潜力，包括对隐私要求高的用例。目前，STARK 小于 100 kB，对于链下用例而言，与使用 STARK 节省的客户端证明时间相比，这种带宽量简直微不足道。

ChainCatcher 消息，StarkWare 宣布 StoneProver （ 原为 STARK Prover）已开源，其团队在 Starknet 峰会上对 Stone Prover 进行了实时代码审查。 此前消息，StarkWare 称 StoneProve 开源后开发人员将能够在未经许可的情况下独立地审查、利用 Stone Prover 并在其基础上进行构建。StarkWare 还表示，开源 Prover 是 Starknet 去中心化的重要一步。

ChainCatcher 消息，StarkWare 宣布将于 8 月 31 日在 Apache 2.0 许可证下开源 STARK Prover（更名为 Stone Prover），开发人员将能够在未经许可的情况下独立地审查、利用 Stone Prover 并在其基础上进行构建。StarkWare 表示，开源 Prover 是 Starknet 去中心化的重要一步。 当前，StarkWare 已经开源了 Cairo、Papyrus Full Node 以及所有 Starknet 版本，正在构建的新 Starknet 定序器也将开源。

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

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

ChainCatcher 消息，StarkWare 宣布将在 Apache 2.0 许可下开源加密证明生成引擎 STARK Prover，STARK Prover 为 StarkNet 和 StarkEx 提供支持，用于在保持以太坊安全性的同时实现大规模扩瞳。这是 StarkWare 在开源 Cairo 1.0、Papyrus Full Node 和 StarkNet 新 Sequencer 之后的又一开源举措。 据悉，StarkWare 强调在该开源计划实施后，整个 StarkNet 技术堆栈将是开源的。（来源链接）

ChainCatcher 消息，零知识证明技术开发公司 StarkWare 在推特上宣布，已使用 STARK 证明系统语言编程语言 Cairo 写出编写完成 ZK-EVM，将于明天邀请以太坊联合创始人 Vitalik Buterin、ZK-STARK 合作发明者 Eli Ben-Sasson、StarkWare 成员 Shahar Papini 等人进行 Twitter Space。据悉，Cairo 为图灵完备的零知识证明系统语言，尚处在早期开发阶段。（来源链接）

链捕手消息，基于以太坊 Layer2 ZK Rollup 的 NFT 市场 Mint Square 宣布，上线由 Starknet.id 提供支持的 .stark 域名。.stark 个人资料 URL 现已支持 Mint Square 测试网，主网即将推出，目前可按长度过滤或按类别进行搜索浏览。 链捕手此前报道，今年 8 月 3 日，Mint Square 已在 StarkNet 主网上线，用户可通过 Argent X 或 Braavos 钱包连接、通过 LayerSwap 或 Banxa 添加资金，在 Mint Square 上铸造 StarkNet 主网 NFT，以及从购买和出售。（来源链接）

链捕手消息，Polygon 宣布已将零知识证明系统 Plonky2 和 Starky 开源，两者获得 MIT 和 Apache2 双重许可。 据悉，Plonky2 和 Starky 可在以太坊（和其他区块链）上用作 STARK 证明器，Plonky2 提供快速证明和递归证明的功能。（来源链接）