En el mundo de la cadena de bloques, uno de los mayores desafíos es la generación de pruebas (proof generation). Cada transacción, cada acción on-chain necesita ser probada como correcta y válida. Sin embargo, este proceso consume una gran cantidad de recursos computacionales, lo que lleva a que el sistema se ralentice y los costos aumenten.