Grande nouvelle : La recherche fondamentale de Lagrange sur les zk‑SNARKs dynamiques (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) sera présentée à la Science of Blockchain Conference (SBC) 2025 le 4 août. Voici pourquoi cela compte—pour l'IA, la crypto et l'avenir du calcul vérifiable : 🧵

2/ La principale limitation des zk‑SNARKs existants est qu'ils sont statiques. Si vos données ou votre calcul changent, même légèrement, vous devez régénérer l'intégralité de la preuve depuis le début. C'est inefficace, coûteux et non évolutif pour les systèmes en direct.

3/ Les zk‑SNARKs dynamiques rendent les preuves plus efficaces que jamais. Ils vous permettent de mettre à jour une preuve de manière incrémentale lorsque les données sous-jacentes changent. C'est-à-dire : Pas besoin de tout recalculer depuis le début.

4/ Pourquoi cela importe-t-il ? Parce que le calcul vérifiable peut désormais évoluer avec : – L'ajustement d'un modèle d'IA – Un joueur se déplaçant dans un jeu en direct – Un nouveau point de données atteignant un oracle en temps réel Des preuves qui évoluent avec le système qu'elles sécurisent.

5/ De plus, les zk‑SNARKs dynamiques préservent les mêmes garanties de connaissance nulle et de solidité que les systèmes traditionnels. Ils sont basés sur des hypothèses standard comme le q-DLOG et utilisent des engagements cryptographiques qui évoluent. En d'autres termes, ils sont tout aussi sécurisés que les méthodes traditionnelles de preuve (juste meilleurs pour prouver elles-mêmes).

6/ Les zk-SNARKs dynamiques débloquent une nouvelle classe de cas d'utilisation dans le monde réel : 🔹 Vérification de modèles d'IA ajustés sans avoir à prouver à nouveau depuis le début 🔹 Maintien d'oracles à jour dans des réseaux en direct 🔹 Activation de la logique de jeu dynamique avec des preuves sur la chaîne 🔹 Audit de jeux de données évolutifs pour la conformité

8/ Avec DeepProve—le système zkML de Lagrange—les zk‑SNARKs dynamiques permettent la vérification en temps réel des systèmes d'IA en évolution. De l'exactitude à l'alignement, nous pouvons désormais prouver les propriétés de l'IA au fur et à mesure qu'elle apprend.

10/ Retrouvez-nous à SBC 2025 le 4 août 2025 🔗 Regardez la conférence en direct ici : 🎓 Lisez le document : 🔬 Construit par l'équipe de recherche de Lagrange : Wang, Papamanthou, Srinivasan & Papadopoulos

11/ "Dynamic zk‑SNARKs" est le deuxième article de Lagrange (en trois ans) accepté à SBC 2025 Lisez l'intégralité de l'article sur les Dynamic zk-SNARKs—la nouvelle recherche de Lagrange pour le calcul vérifiable et l'IA—ci-dessous : 👇

7/ Avec DeepProve—le système zkML de Lagrange—les zk‑SNARKs dynamiques permettent la vérification en temps réel des systèmes d'IA en évolution. De l'exactitude à l'alignement, nous pouvons désormais prouver les propriétés de l'IA au fur et à mesure qu'elle apprend.

8/ Retrouvez-nous à SBC 2025 le 4 août 2025 🔗 Regardez la conférence en direct ici : 🎓 Lisez le document : 🔬 Construit par l'équipe de recherche de Lagrange : Wang, Papamanthou, Srinivasan & Papadopoulos

9/ "Dynamic zk‑SNARKs" est le deuxième article de Lagrange (en trois ans) accepté à SBC 2025 Lisez l'intégralité de l'article sur les Dynamic zk-SNARKs—la nouvelle recherche de Lagrange pour le calcul vérifiable et l'IA—ci-dessous : 👇

9/ "Dynamic zk‑SNARKs" est le deuxième article de Lagrange (en trois ans) à être accepté à la Science of Blockchain Conference (SBC) Lisez l'intégralité de l'article sur Dynamic zk-SNARKs—la nouvelle recherche de Lagrange pour le calcul vérifiable et l'IA—ci-dessous : 👇