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 limitación clave de los zk-SNARK existentes es que son estáticos. Si sus datos o cálculos cambian, aunque sea ligeramente, debe regenerar toda la prueba desde cero. Es ineficiente, costoso y no escalable para sistemas en vivo.

3/ Los zk-SNARK dinámicos hacen que las pruebas sean más eficientes que nunca. Le permiten actualizar una prueba de forma incremental cuando los datos subyacentes cambian. AKA: No es necesario volver a calcular todo desde cero.

4/ ¿Por qué importa esto? Porque el proceso verificable ahora se puede escalar con: – Ajuste fino de un modelo de IA – Un jugador que se mueve en un juego en vivo – Un nuevo punto de datos que golpea un oráculo en tiempo real Pruebas que evolucionan con el sistema que protegen.

5/ Además, los zk-SNARK dinámicos conservan las mismas garantías de solidez y conocimiento cero que los sistemas tradicionales. Se basan en supuestos 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 mejores para probarse a sí mismos).

6/ Los zk-SNARK dinámicos desbloquean una nueva clase de casos de uso en el mundo real: 🔹 Verificación de modelos de IA ajustados sin volver a probar desde cero 🔹 Mantenimiento de oráculos actualizados en redes activas 🔹 Habilitación de la lógica dinámica del juego con pruebas en cadena 🔹 Auditoría de conjuntos de datos en evolución para el cumplimiento

8/ Junto con DeepProve, el sistema zkML de Lagrange, los zk-SNARK dinámicos permiten la verificación en tiempo real de los sistemas de IA en evolución. Desde la precisión hasta la alineación, ahora podemos probar las 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) en ser aceptado en SBC 2025 Lea la primicia completa sobre Dynamic zk-SNARKs, la nueva investigación de Lagrange para computación verificable e IA, a continuación: 👇

7/ Junto con DeepProve, el sistema zkML de Lagrange, los zk-SNARK dinámicos permiten la verificación en tiempo real de los sistemas de IA en evolución. Desde la precisión hasta la alineación, ahora podemos probar las 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) en ser aceptado en SBC 2025 Lea la primicia completa sobre Dynamic zk-SNARKs, la nueva investigación de Lagrange para computación verificable e IA, a continuación: 👇

9/ "Dynamic zk-SNARKs" es el segundo artículo de Lagrange (en tres años) en ser aceptado en la Conferencia de Ciencia de Blockchain (SBC) Lea la primicia completa sobre Dynamic zk-SNARKs, la nueva investigación de Lagrange para computación verificable e IA, a continuación: 👇