Lagrangeの研究チームWeijie Wang、@chbpap、@s_shravan、@dipapadopoによるブレークスルーであるDynamic zk-SNARKsの紹介 ダイナミックzk-SNARKは、リアルタイムで更新可能な暗号証明を実現するための大きな一歩を踏み出しました これが何を意味し、なぜそれが重要な🧵のかを説明します

2/ 従来のzk-SNARKは、データが変更された場合、プルーフ全体を一から再構築する必要があります(これは遅く、高価で、データ集約型のアプリには非現実的です)。 ダイナミック zk-SNARK は、これらの制限を取り除きます。

3/ つまり、Dynamic zk-SNARKsは、データが変更されたときにプルーフを更新することができ、最初からやり直す必要はありません。 顧客がアイテムを追加するたびに新しいレシートを印刷するのではなく、レシートを更新することを想像してみてください (より速く、より安く、よりスマートで、データ集約型のアプリにとって実用的です)。

4/ この研究は、実際のユースケースに計り知れないメリットをもたらします。例えば。： – 学習を続けるAI –リアルタイムロジックを備えたゲーム – ライブデータを追跡するブロックチェーン – 入力シフトに応じて調整するスマートコントラクト ダイナミックzk-SNARKは、コンピューティングを無駄にすることなく、これらのユースケースを検証可能にします。

5/ 想像してみてください...💭 - AIが答えをくれる - ダイナミックzk-SNARKはそれが正しいことを証明しています。 - 以前の入力に基づいて、AIに新しい入力を与えます。 - Dynamic zk-SNARKを使用すると、AIは新しい答えの証明を数秒で更新できます(すべてを再計算する必要はありません)。

6/ ZKテクノロジーで何を達成できるかを再定義してくれた研究チームに乾杯 私たちは、安全で検証可能で信頼できるAIを次々と開発しています SBC '25での講演をご覧ください。 ここで全文を読む: