Un acumulador criptográfico es un algoritmo criptográfico que tiene como una entrada un conjunto amplio de elementos, X, y devuelve un solo valor, Acc, de tamaño constante y normalmente reducido.
Este valor, junto con otro valor llamado testigo, T, permite probar eficientemente, a través de un algoritmo de verificación si un elemento, x, pertenece al conjunto de partida X.
[1][2] Es decir, el elemento x ha sido acumulado (o no) en Acc.
Por tanto se encarga por ejemplo de hacer que se calcule valor del acumulador, gestionar los valores testigos o, si se trata de un acumulador dinámico, de borrar o insertar elementos en el conjunto.
[4] Podemos clasificar los acumuladores criptográficos en función a varios criterios[5][4] Podemos clasificar los acumuladores criptográficos en función de la variabilidad de los conjuntos iniciales en: Según la confianza que hay que tener en el Gestor del acumulador en podemos clasificar a los acumuladores criptográficos dinámicos en: Podemos decir que un acumulador criptográfico es Universal si se puede demostrar eficientemente que cierto elemento no pertenece al conjunto inicial.