ビッグニュース: 動的 zk-SNARK に関するラグランジュの中核研究 (Weijie Wang、 @chbpap、@s_shravan、@dipapadopo) は、8 月 4 日に開催される Science of Blockchain Conference (SBC) 2025 で発表されます。 AI、暗号通貨、そして検証可能なコンピューティングの将来にとって、それが重要な理由は次のとおりです。 🧵

2/ 既存の zk-SNARK の主な制限は、静的であることです。 データや計算がわずかに変更された場合は、証明全体を最初から再生成する必要があります。 非効率的で高価で、ライブシステムでは拡張できません。

3/ 動的な zk-SNARK により、証明がこれまで以上に効率的になります。 これにより、基になるデータがシフトしたときにプルーフを段階的に更新できます。 別名:すべてを最初から再計算する必要はありません。

4/ なぜこれが重要なのですか? 検証可能なコンピューティングは、次の方法で拡張できるようになりました。 – AIモデルの微調整 – ライブゲームで動くプレイヤー – リアルタイムオラクルにヒットする新しいデータポイント 保護するシステムとともに進化する証明。

5/ さらに、Dynamic zk-SNARK は、従来のシステムと同じゼロ知識と健全性の保証を維持します。 これらは q-DLOG などの標準的な仮定に基づいて構築されており、拡張可能な暗号化コミットメントを使用します。 言い換えれば、それらは従来の証明方法と同じくらい安全です(それ自体を証明するのが優れているだけです)。

6/ 動的な zk-SNARK は、新しいクラスの現実世界のユースケースのロックを解除します。 🔹 微調整された AI モデルをゼロから再証明せずに検証 🔹 ライブネットワークでの最新のオラクルの維持 🔹 オンチェーン証明による動的なゲームロジックの有効化 🔹 コンプライアンスのための進化するデータセットの監査

8/ラグランジュの zkML システムである DeepProven と組み合わせることで、動的 zk-SNARK は進化する AI システムのリアルタイム検証を可能にします。 精度からアライメントまで、AI が学習する特性を証明できるようになりました。

10/ 2025 年 8 月 4 日に開催される SBC 2025 でご紹介します 🔗 講演のライブはこちらからご覧ください。 🎓 論文を読む: 🔬 ラグランジュの研究チームによって構築されました:Wang、Papamanthou、Srinivasan、Papadopoulos

11/ 「Dynamic zk-SNARKs」は、SBC 2025に受理されたラグランジュの2番目の論文(3年ぶり)です 検証可能なコンピューティングと AI に関するラグランジュの新しい研究である Dynamic zk-SNARKs のスクープ全文を以下でお読みください。 👇

7/ ラグランジュのzkMLシステムであるDeepProveと組み合わせることで、動的なzk-SNARKは、進化するAIシステムのリアルタイム検証を可能にします。 精度からアライメントまで、AI が学習する特性を証明できるようになりました。

8/2025 年 8 月 4 日に開催される SBC 2025 でお会いしましょう 🔗 講演のライブはこちらからご覧ください。 🎓 論文を読む: 🔬 ラグランジュの研究チームによって構築されました:Wang、Papamanthou、Srinivasan、Papadopoulos

9/ 「Dynamic zk-SNARKs」は、SBC 2025 に採択されたラグランジュの 2 番目の論文 (3 年ぶり) です 検証可能なコンピューティングと AI に関するラグランジュの新しい研究である Dynamic zk-SNARKs のスクープ全文を以下でお読みください。 👇

9/ 「Dynamic zk-SNARKs」は、ブロックチェーン科学会議(SBC)に採択されたラグランジュの2番目の論文(3年ぶり)です 検証可能なコンピューティングと AI に関するラグランジュの新しい研究である Dynamic zk-SNARKs のスクープ全文を以下でお読みください。 👇