rover

ChainCatcher 消息，据 The Block 报道，比特币流动性质押协议 Rover 宣布完成 410 万美元种子轮融资，Bloccelerate、Animoca Ventures、CMS Holdings、UTXO、Maelstrom 等参投。 Rover 正在 Botanix 上为比特币持有者开发旗舰级流动性质押解决方案，Botanix 是首个完全去中心化的比特币区块链。Rover 还获得了早期比特币风险投资基金 UTXO 的战略投资。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发文称，”强烈鼓励研究人员参与 Poseidon 密码分析计划。我们正在认真考虑将以太坊迁移到 Poseidon 哈希以优化 zk - prover 的友好性，因此拥有有关其安全属性的更多信息具有极高的价值。“ Poseidon 资助计划申请截止日期已延长至 2025 年 3 月 15 日。

ChainCatcher 消息，Succinct 在 X 宣布 Succinct Prover Network 测试网现已上线。 据 RootData 显示，Succinct 正在构建一个去中心化的证明者网络，以便任何人都可以构建由加密事实（而不是信任）保护的区块链应用程序和基础设施。 Succinct 统一了证明供应链，为使用零知识证明的 rollup、协处理器和其他应用程序提供了高度可用的证明生成基础设施和一流的定价。

ChainCatcher 消息，由 ZK 初创公司 Lagrange 推出的 ZK Prover Network 已经在 EigenLayer 上线，成为业内第一个去中心化证明网络，由 20 多个顶级运营商提供支持，包括 Coinbase 、OKX Staked、AltLayer、P2P.org、Ankr 等。

ChainCatcher 消息，链游公司 Immutable 在社交平台表示，Immutable zkEVM 正在分阶段推出，Immutable zkEVM 主网的下一个发布阶段是 Prover 集成。

ChainCatcher 消息，Web3 安全公司 Certora 宣布与智能合约语言 Vyper 团队合作，为所有用户开放其 Prover 工具，以帮助加强 Vyper 代码的安全性。 作为 Vyper 社区的密钥持有者，用户将能够直至 2023 年 12 月 31 日使用 Certora Prover 来验证 Vyper 代码。

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

ChainCatcher 消息，据官方推特，Ola 于近日在其证明系统中支持了 Poseidon2 hash。相比原始的 Poseidon hash，得到了40%+ 的 prover 性能提升。 据悉，Poseidon2 是一个和 Poseidon hash 保持同级别安全，同时又具备更好的 zk-friendly 特性的新 hash 算法。由于 zk 友好的 hash 算法广泛应用于Ola的证明系统中，包括 private state tree, public state tree， 验签过程，plonky2 递归过程等，在对Horizen Labs论文中Poseidon2 hash的算法和实现进行深入研究后，Ola 将其正式集成到了证明系统中。 据官方透露，Ola ZKVM 内测网将于今年 Q4 初上线，将于近期公布更多开发细节。

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

ChainCatcher 消息，以太坊模块化执行层 Fuel 开发商 Fuel Labs 宣布即将推出混合证明（Hybrid Proving）解决方案 FuelProver。FuelProver 是一个 Optimistic 和 ZK 的融合，可以支持所有最新的通用 Prover，还可以减少提款窗口并实现高吞吐量FuelProver 最初将使用一个 Prover，目的是发展为多 Prover 模型以增强正确性。FuelProver 打算支持多种证明机制，包括 Risc Zero、zkSync、Powdr 等。 此前报道，2022 年 9 月份，Fuel Labs 宣布完成 8000 万美元融资，Blockchain Capital 和 Stratos Technologies 领投。 

ChainCatcher 消息，以太坊上土地交易 NFT 策略游戏 Metroverse 宣布终止开发并关闭游戏，不过社区将继续有权使用 Metropverse NFT 构建任何产品。Metroverse 解释称过去 8 个月用户参与度显著下降，与去年同期相比网站访问量下降了约 96%，由于人气低迷因此开发无法继续。另外，除了允许开放访问使用 Metroverse NFT 进行创作外，所有收藏的创作者版税将设置为 0%。（来源链接）

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