StarkWare将于8月31日开源STARK Prover

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

8月22日消息，StarkWare宣布将于8月31日在Apache 2.0许可证下开源Stone Prover（原STARK Prover）。开发人员将能够独立审查、优化和使用Stone Prover代码并在其基础上进行构建。StarkWare表示，开源Prover是Starknet去中心化的重要一步。 目前StarkWare已经开源Cairo、Papyrus Full Node以及所有Starknet版本，正在构建的Starknet Sequencer也将开源。

9月1日消息，StarkWare在X平台发文表示，StoneProver已开源。此前消息，开发人员将能够独立审查、优化和使用StoneProver代码并在其基础上进行构建。StarkWare表示，开源Prover是Starknet去中心化的重要一步。

金色财经报道，StarkWare公布STARK Tank: USA获胜者信息，具体为： 1、第三名Marlon Edwards 的《Token Tycoon》，基于 Starknet 构建的类似大富翁的游戏； 2、第二名Zach Cook 的 Quasm，Quasm 提供 L3 和应用链基础设施，允许开发人员参与 Fractal Scaling，支持编排和服务 Katana 和 Madara 应用链； 3、第一名CairoOS，这是一个基于 GrapheneOS 的移动平台，嵌入轻量级客户端，实现对 Starknet 的无需信任和无需许可的访问。

金色财经报道，Polygon与StarkWare联手推出了“Circle STARKs”，这是对当前零知识证明（ZK）的重大技术升级。

1月12日消息，以太坊 Layer 2 开发公司 StarkWare 发布新的 StarkNet 开源全节点 Papyrus，它基于 Rust 实现，是第三个加入 StarkNet 生态系统的完整节点，将跟踪 StarkNet，允许用户和开发人员通过 StarkNet 的 JSON-RPC 查询状态，Papyrus 还将为新的 StarkNet 定序器提供基础，以提高 StarkNet 的吞吐量。