Glosario cripto
Agregación de pruebas (pruebas recursivas)
La agregación de pruebas combina muchas pruebas de conocimiento cero en una sola, a menudo por recursión, para que la cadena verifique una en vez de muchas.
Verificar una prueba de conocimiento cero en Ethereum cuesta gas, y ese coste es más o menos fijo por prueba. La agregación comprime muchas pruebas en una. Con la recursión, el prover genera una prueba de que ha verificado correctamente otras pruebas; al repetir el paso, miles de transacciones, bloques o incluso rollups distintos quedan respaldados por una única prueba compacta publicada en la cadena.
Así es como los ZK rollups mantienen comisiones bajas a medida que crecen: el coste de la verificación final se reparte entre todas las transacciones que cubre. Las capas de agregación van un paso más allá y agrupan pruebas de varias cadenas, lo que abarata la operación de rollups pequeños y puede acelerar los mensajes entre ellos. Los mercados de prueba y las zkVM usan la misma técnica para dividir cálculos grandes en partes que se prueban en paralelo y luego se pliegan en una.
La agregación añade latencia, porque hay que esperar a reunir pruebas antes de comprimirlas, y complica la infraestructura del prover. Un fallo en el circuito recursivo puede invalidar todo lo que envuelve, y si un solo actor opera el agregador, se convierte en cuello de botella o en posible punto de censura.
Ejemplo
Un ZK rollup prueba cada lote por separado y después envuelve unos cientos de esas pruebas en una sola prueba recursiva que Ethereum verifica en una única transacción.