Grandes noticias: la investigación central de Lagrange sobre zk-SNARK dinámicos (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) se presentarán en la Conferencia de Ciencia de Blockchain (SBC) 2025 el 4 de agosto. He aquí por qué es importante: para la IA, las criptomonedas y el futuro de la computación verificable: 🧵

2/ La principal limitación de los zk‑SNARKs existentes es que son estáticos. Si tus datos o cálculos cambian, incluso ligeramente, tienes que regenerar toda la prueba desde cero. Es ineficiente, costoso y no escalable para sistemas en vivo.

3/ Los zk‑SNARKs dinámicos hacen que las pruebas sean más eficientes que nunca. Te permiten actualizar una prueba de manera incremental cuando los datos subyacentes cambian. O sea: No es necesario recomputar todo desde cero.

4/ ¿Por qué es importante esto? Porque la computación verificable ahora puede escalar con: – Ajustar un modelo de IA – Un jugador moviéndose en un juego en vivo – Un nuevo punto de datos llegando a un oráculo en tiempo real Pruebas que evolucionan con el sistema que aseguran.

5/ Además, los zk‑SNARKs dinámicos preservan las mismas garantías de conocimiento cero y solidez que los sistemas tradicionales. Se basan en suposiciones estándar como q-DLOG y utilizan compromisos criptográficos que escalan. En otras palabras, son tan seguros como los métodos tradicionales de prueba (solo que son mejores para probarse a sí mismos).

6/ Los zk-SNARKs dinámicos desbloquean una nueva clase de casos de uso en el mundo real: 🔹 Verificar modelos de IA ajustados sin necesidad de volver a probar desde cero 🔹 Mantener oráculos actualizados en redes en vivo 🔹 Habilitar lógica de juego dinámica con pruebas en la cadena 🔹 Auditar conjuntos de datos en evolución para cumplir con la normativa

8/ Junto con DeepProve—el sistema zkML de Lagrange—los zk‑SNARKs dinámicos permiten la verificación en tiempo real de sistemas de IA en evolución. Desde la precisión hasta la alineación, ahora podemos probar propiedades de la IA a medida que aprende.

10/ Encuéntranos en SBC 2025 el 4 de agosto de 2025 🔗 Mira la charla en vivo aquí: 🎓 Lea el documento: 🔬 Construido por el equipo de investigación de Lagrange: Wang, Papamanthou, Srinivasan y Papadopoulos

11/ "Dynamic zk‑SNARKs" es el segundo artículo de Lagrange (en tres años) que ha sido aceptado en SBC 2025 Lee toda la información sobre Dynamic zk-SNARKs—la nueva investigación de Lagrange para computación verificable e IA—abajo: 👇

7/ Junto con DeepProve—el sistema zkML de Lagrange—los zk‑SNARKs dinámicos permiten la verificación en tiempo real de sistemas de IA en evolución. Desde la precisión hasta la alineación, ahora podemos probar propiedades de la IA a medida que aprende.

8/ Encuéntranos en SBC 2025 el 4 de agosto de 2025 🔗 Mira la charla en vivo aquí: 🎓 Lea el documento: 🔬 Construido por el equipo de investigación de Lagrange: Wang, Papamanthou, Srinivasan y Papadopoulos

9/ “Dynamic zk‑SNARKs” es el segundo artículo de Lagrange (en tres años) que ha sido aceptado en SBC 2025 Lee toda la información sobre Dynamic zk-SNARKs—la nueva investigación de Lagrange para computación verificable e IA—abajo: 👇

9/ "Dynamic zk‑SNARKs" es el segundo artículo de Lagrange (en tres años) que ha sido aceptado en la Conferencia de Ciencia de Blockchain (SBC) Lee toda la información sobre Dynamic zk-SNARKs—la nueva investigación de Lagrange para computación verificable e IA—más abajo: 👇