poseidon2

ChainCatcher のメッセージ、Vitalik Buterin の最新の執筆、GKR（Goldreich--Kahan--Rothblum）プロトコルが ZK 証明を加速するために使用され、"バッチ × 多層" 計算構造に適応し、中間層のコミットメントを大幅に削減し、入力と出力にのみコミットメントを行うことを詳しく解説しています。この記事では、Poseidon2 ハッシュを例に、sumcheck を中心とした再帰証明プロセスを詳しく解説し、最適化（Gruen のトリック、線形バッチ処理、一部ラウンドの立方体の最初の要素）を示し、多項式コミットメントのシナリオでは BaseFold または FRI と組み合わせることができます。著者は、実際のコストが従来の STARK の約 100 倍の理論値を下回ると述べており、単一の数字レベルのコストが期待できるとしています。また、Fiat--Shamir の挑戦に対して回路内の予測可能性リスクに注意するよう警告しています。

ChainCatcher のメッセージによると、公式ツイッターで、Ola は最近その証明システムに Poseidon2 ハッシュをサポートしました。元の Poseidon ハッシュと比較して、40% 以上の prover 性能向上を達成しました。報告によると、Poseidon2 は Poseidon ハッシュと同等の安全性を維持しながら、より優れた zk-friendly 特性を持つ新しいハッシュアルゴリズムです。zk フレンドリーなハッシュアルゴリズムは、Ola の証明システム全体で広く使用されており、プライベートステートツリー、パブリックステートツリー、検証プロセス、plonky2 再帰プロセスなどが含まれています。Horizen Labs の論文における Poseidon2 ハッシュのアルゴリズムと実装を深く研究した後、Ola はそれを正式に証明システムに統合しました。公式によると、Ola ZKVM の内部テストネットは今年の Q4 初めに立ち上がる予定で、近日中にさらなる開発の詳細が発表されるとのことです。