ChainCatcher のメッセージ、ZK スタートアップ Lagrange によって提供される ZK Prover Network が EigenLayer にローンチされ、業界初の分散型証明ネットワークとなりました。Coinbase、OKX Staked、AltLayer、P2P.org、Ankr など、20 以上のトップオペレーターによってサポートされています。

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 は StoneProver のオープンソース化により、開発者が許可なしに独立して Stone Prover をレビューし、利用し、その上に構築できるようになると述べています。StarkWare はまた、オープンソースの Prover は Starknet の分散化にとって重要な一歩であると述べています。

ChainCatcher のメッセージによると、公式ツイッターで、Ola は最近その証明システムに Poseidon2 ハッシュをサポートしました。元の Poseidon ハッシュと比較して、40% 以上の prover 性能向上を達成しました。報告によると、Poseidon2 は Poseidon ハッシュと同等の安全性を維持しながら、より優れた zk-friendly 特性を持つ新しいハッシュアルゴリズムです。zk フレンドリーなハッシュアルゴリズムは、Ola の証明システム全体で広く使用されており、プライベートステートツリー、パブリックステートツリー、検証プロセス、plonky2 再帰プロセスなどが含まれています。Horizen Labs の論文における Poseidon2 ハッシュのアルゴリズムと実装を深く研究した後、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 は最初に 1 つの Prover を使用し、正確性を向上させるために多 Prover モデルに発展することを目的としています。FuelProver は、Risc Zero、zkSync、Powdr など、さまざまな証明メカニズムをサポートする予定です。以前の報道によると、2022 年 9 月に Fuel Labs は 8000 万ドルの資金調達を完了し、Blockchain Capital と Stratos Technologies が主導しました。

ChainCatcher のメッセージ、StarkWare は Apache 2.0 ライセンスの下で暗号証明生成エンジン STARK Prover をオープンソース化することを発表しました。STARK Prover は StarkNet と StarkEx をサポートし、イーサリアムの安全性を維持しながら大規模なスケーリングを実現します。これは StarkWare がオープンソースの Cairo 1.0、Papyrus フルノード、そして StarkNet の新しいシーケンサーに続く新たなオープンソースの取り組みです。報道によると、StarkWare はこのオープンソース計画の実施後、全体の StarkNet 技術スタックがオープンソースになることを強調しています。（出典リンク）