En los sistemas digitales contemporáneos, la verificación eficiente y segura de extensos conjuntos de datos se ha convertido en un requisito crítico.

Ahora, imagina que pudieras probar tu membresía en un club o sociedad particular sin tener que revelar tu identidad o exponer la lista completa de miembros.

Este es un desafío común entre los sistemas blockchain, donde los miembros deben probar su membresía sin compartir datos sensibles. Y aquí es donde surge la necesidad de los acumuladores criptográficos.

¿Qué son los Acumuladores Criptográficos?

Un acumulador criptográfico es una primitiva que genera un compromiso vinculante y corto para una colección de elementos, así como pruebas cortas de membresía/no membresía para cada elemento del conjunto.

En otras palabras, los acumuladores criptográficos permiten la compresión de un gran grupo de valores en un único valor pequeño, manteniendo verificaciones de membresía rápidas y privadas. En lugar de compartir grandes conjuntos de datos, las blockchains pueden usar pruebas concisas para verificar si un elemento pertenece a una colección.

Un usuario puede crear una prueba corta, conocida como testigo, que confirma la membresía sin revelar nada más del conjunto. Esto hace que los acumuladores sean esenciales en sistemas donde los datos crecen rápidamente o donde la privacidad es crucial.

A medida que las redes buscan una mayor privacidad y escalabilidad en la verificación, los acumuladores se han convertido en una herramienta valiosa. Ayudan a soportar clientes ligeros, salvaguardar los datos del usuario y minimizar la carga sobre los nodos que ya no necesitan almacenar todo, mejorando la experiencia del usuario al interactuar a través de una billetera digital u otras interfaces ligeras.

Tipos de Acumuladores Criptográficos

Existen varios tipos de acumuladores criptográficos. Los más conocidos incluyen los acumuladores RSA, los acumuladores polinomiales y los acumuladores basados en árboles de Merkle. Cada diseño equilibra la eficiencia, los supuestos de seguridad y los tamaños de las pruebas de manera diferente.

Acumuladores RSA: Estos acumuladores utilizan criptografía de estilo RSA y ofrecen sólidas garantías de seguridad. Permiten muy poca prueba y son eficientes para validar la membresía. Su principal desventaja es el requisito de una configuración de confianza en la inicialización. Si la configuración es comprometida, el acumulador pierde su seguridad.

Acumuladores Polinomiales: Los acumuladores polinomiales se basan en compromisos polinomiales. Soportan pruebas de conocimiento cero y se ven comúnmente en sistemas que emplean ZK rollups y pruebas recursivas.

Acumuladores Basados en Árboles de Merkle: Los árboles de Merkle son la estructura de datos autenticada más utilizada en blockchain y funcionan como acumuladores basados en hash. No requieren una configuración de confianza y son fáciles de implementar. Cada prueba de membresía es una ruta de hashes desde una hoja hasta la raíz. Estos árboles se utilizan en la mayoría de las blockchains para verificar transacciones o datos sin descargar todo.

Cómo Funcionan los Acumuladores Criptográficos

Construcción del Acumulador: Para crear un acumulador, el sistema comienza con un valor inicial y luego combina cada elemento del conjunto utilizando operaciones matemáticas como la multiplicación o el hashing. Cuando se añade un nuevo elemento, el acumulador se actualiza para mostrar el nuevo estado del conjunto.

Creación de la Prueba: Para probar que un elemento está en el conjunto, se crea un testigo. Este testigo es una pequeña pieza de información que muestra cómo encaja el elemento en el acumulador. El testigo no dice nada sobre los otros elementos. Un testigo actúa como un componente de emparejamiento, solo alineándose si el elemento es miembro del conjunto.

Verificación de la Membresía: Un verificador recibe tanto el valor del acumulador como el testigo. Luego puede determinar si el testigo corresponde con precisión al elemento afirmado. Si es así, sabe que el elemento está en el conjunto. Si no, entiende que la afirmación es falsa.

Actualización de Elementos: Algunos acumuladores permiten añadir y eliminar elementos después de que el acumulador se haya creado. Eliminar elementos es más difícil porque requiere actualizar las pruebas y testigos asociados.

Conclusión

A medida que los sistemas blockchain evolucionan, ciertas funcionalidades se vuelven necesarias en lugar de opcionales. Los acumuladores funcionan silenciosamente en segundo plano, pero habilitan muchas funciones de próxima generación. Comprenderlos proporciona una imagen más clara de cómo la criptografía sofisticada promueve el crecimiento, la seguridad y la privacidad del usuario en todo el ecosistema criptográfico.