Presentamos zk-SNARKs dinámicos: un avance del equipo de investigación de Lagrange Weijie Wang, @chbpap, @s_shravan y @dipapadopo Los zk-SNARKs dinámicos marcan un gran paso adelante en la realización de pruebas criptográficas actualizables en tiempo real Esto es lo que significa y por qué es importante 🧵

2/ Los zk-SNARKs tradicionales son limitados en su naturaleza estática: si tus datos cambian, tienes que reconstruir toda la prueba desde cero (es decir, lento, costoso e impráctico para aplicaciones intensivas en datos). Los zk-SNARKs dinámicos eliminan estas limitaciones.

3/ En resumen, los zk-SNARKs dinámicos te permiten actualizar una prueba cuando tus datos cambian—sin necesidad de empezar de nuevo. Imagina actualizar un recibo en lugar de imprimir uno nuevo cada vez que un cliente añade un artículo (más rápido, más barato y más inteligente—práctico para aplicaciones intensivas en datos).

4/ Esta investigación presenta enormes beneficios para casos de uso en el mundo real. p. ej.: – IA que sigue aprendiendo – Juegos con lógica en tiempo real – Blockchains que rastrean datos en vivo – Contratos inteligentes que se ajustan a medida que cambian las entradas Los zk-SNARKs dinámicos hacen que estos casos de uso sean verificables sin desperdiciar recursos de computación.

5/ Imagina esto… 💭 - Una IA te da una respuesta - Un zk-SNARK dinámico prueba que es correcta. - Le das a la IA una nueva entrada, construyendo sobre la anterior. - Con el zk-SNARK dinámico, una IA puede actualizar la prueba para la nueva respuesta en segundos (sin necesidad de recalcular todo).

6/ ¡Salud a nuestro equipo de investigación por redefinir lo que podemos lograr con la tecnología ZK! Un avance a la vez, estamos pioneros en IA que es segura, verificable y confiable. Asiste a la charla en SBC '25: Lee el documento completo aquí: