Presentamos los 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 para hacer realidad las pruebas criptográficas actualizables en tiempo real Esto es lo que significa y por qué es importante 🧵

2/ Los zk-SNARK tradicionales están limitados en su naturaleza estática: si sus datos cambian, debe reconstruir toda la prueba desde cero (también conocido como lento, costoso y poco práctico para aplicaciones con uso intensivo de datos). Los zk-SNARKs dinámicos eliminan estas limitaciones.

3/ En resumen, los zk-SNARKs dinámicos le permiten actualizar una prueba cuando sus datos cambian, sin necesidad de empezar de nuevo. Imagínese actualizar un recibo en lugar de imprimir uno nuevo cada vez que un cliente agrega un artículo (más rápido, más barato y más inteligente, práctico para aplicaciones con uso intensivo de datos).

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

5/ Imagínate esto... 💭 - Una IA te da una respuesta - Un zk-SNARK dinámico demuestra que es correcto. - Le das a la IA una nueva entrada, basada en la anterior. - Con el Dynamic zk-SNARK, una IA puede actualizar la prueba de la nueva respuesta en segundos (sin necesidad de volver a calcular todo).

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