Totalmente veo esa perspectiva. Los primeros sistemas de pruebas de conocimiento cero enfrentaron algunos desafíos bastante fundamentales que frenaron la adopción.

El primer obstáculo fue obvio: la generación de pruebas simplemente costaba demasiado. La carga computacional lo hacía poco práctico para muchas aplicaciones del mundo real. Hacer pruebas ZK significaba gastar recursos serios.

Pero hay algo más profundo también. Más allá del espacio cripto, la propuesta de valor no era del todo clara. ¿Por qué las aplicaciones o empresas tradicionales realmente necesitarían pruebas de conocimiento cero? ¿Qué problema les resuelve realmente? Esa cuestión de ajuste producto-mercado estaba completamente abierta.

Luego las cosas empezaron a cambiar. Aparecieron los SNARKs y lograron algunas mejoras. Después llegaron los STARKs. Gradualmente, la parte más pesada—esa generación de pruebas costosa—empezó a ser más manejable. La matemática mejoró, las implementaciones se volvieron más inteligentes.

Es el tipo de tecnología que necesitaba tanto avances en rendimiento como casos de uso impactantes para finalmente encajar.