ローカルファーストが終盤を証明しているのでしょうか? House of ZK Radio #60 で、@lagrangedev 研究者の Franklin Delehelle 氏は、高価で特殊なマシンや集中型証明サービスに頼るのではなく、誰もが日常のハードウェア上で自分で ZK 証明を生成できるべきだと主張しています。今日の証明コストとレイテンシーにより、チームは依然としてネットワークをアウトソーシングする方向に進んでいます。彼はその依存性がなくなることを望んでいます。 フランクリン氏によると、進歩は 1 つの特効薬からではなく、スタック全体の複利利益からもたらされます。 •数学:制約を縮小する無駄のない算術化、ルックアップ、再帰戦略。 • ソフトウェア:より優れたコンパイラ/VM、RAM 対応設計、厳格なテストと検証により、システムの強化と標準化が可能になります。 • ハードウェア: GPU をよりスマートに使用し、時間の経過とともに専用アクセラレータを活用します。 一方、モジュール式で証明システムに依存しない証明者ネットワークは、今日のワークロードを拡張しながら、コア技術が真のローカル証明に十分な速度になる実用的な架け橋となります。 ZK の現在の状態と理想的な状態についての説明については、エピソード全体をご覧ください。