Glosario cripto
Prover (generador de pruebas)
Un prover es el software y hardware que genera pruebas de validez para zk-rollups y otros sistemas, demostrando que un cálculo se hizo correctamente.
En todo sistema de pruebas hay dos papeles: el prover, que hace el trabajo pesado de generar la prueba, y el verificador, que la comprueba con poco coste. En un zk-rollup, el prover vuelve a ejecutar un lote de transacciones y convierte la traza de ejecución en un SNARK o un STARK, con un consumo de cálculo enorme, normalmente en GPU y a veces en hardware dedicado.
El coste y la velocidad de las pruebas determinan lo barato y rápido que puede ser un zk-rollup. Las zkVM de propósito general permiten demostrar programas corrientes, y en 2025 varios equipos mostraron pruebas de bloques de Ethereum casi en tiempo real. Las redes y mercados descentralizados de provers permiten ya a rollups y aplicaciones comprar pruebas a operadores que compiten entre sí, sin mantener máquinas propias.
Un prover centralizado es un riesgo de disponibilidad: si se detiene, los retiros y la finalidad esperan, aunque no puede imponer un estado falso. El hardware de pruebas está concentrado en pocos especialistas y los costes varían mucho entre sistemas. El término se usa también en otros contextos, como las pruebas de almacenamiento, así que su sentido depende de la red de la que se hable.
Ejemplo
Un zk-rollup externaliza la generación de pruebas a un mercado de provers donde operadores con GPU pujan por cada lote y la prueba válida más barata se publica en Ethereum.