💻 computer science

SpexPay: A Privacy-Preserving Pay-As-You-Go System for Dynamic Spectrum Sharing

Este artículo presenta SpexPay, un marco de trabajo de pago por uso, auditable y que preserva la privacidad para el Uso Dinámico del Espectro que aprovecha credenciales BBS+, pseudónimos no vinculables y contratos inteligentes para permitir un uso del espectro de grano fino con identidad oculta, con baja latencia y costo en hardware de borde.

Autores originales: Mohaimin Al Barat, Hexuan Yu, Shaoyu Li, Yang Xiao, Yi Shi, Eric W. Burger, Y. Thomas Hou, Wenjing Lou

Publicado 2026-07-21

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Mohaimin Al Barat, Hexuan Yu, Shaoyu Li, Yang Xiao, Yi Shi, Eric W. Burger, Y. Thomas Hou, Wenjing Lou

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que el aire que nos rodea está lleno de ríos invisibles de ondas de radio, que transportan desde tus canciones favoritas hasta alertas de emergencia. Durante décadas, estos ríos fueron como canales privados propiedad de grandes empresas o del gobierno, cerrados con contratos de arrendamiento a largo plazo. Pero a medida que nuestro mundo se vuelve más conectado, estos canales se están congestionando, y algunas partes quedan vacías mientras otras están saturadas. Para solucionar esto, los reguladores están abriendo los canales para el "Intercambio Dinámico de Espectro" (Dynamic Spectrum Sharing), un sistema donde cualquiera puede tomar prestada una pequeña tajada del río durante unos minutos, siempre y cuando no choque con el bote de otra persona.

Sin embargo, hay un inconveniente. Para tomar prestada una tajada, normalmente tienes que decirle al gestor central exactamente quién eres, dónde estás y qué estás haciendo. Es como intentar alquilar una bicicleta de forma anónima pero tener que mostrar tu licencia de conducir, tu dirección particular y una lista de tus pasatiempos a la tienda de alquiler. Esto crea una pesadilla de privacidad, especialmente para usuarios sensibles como barcos militares o científicos que necesitan mantener sus movimientos en secreto. Además, la forma actual de pagar por estas pequeñas tajadas es torpe y a menudo depende de confiar en que el gestor no te cobre de más. La gran pregunta es: ¿Podemos construir un sistema donde pagues exactamente por la cantidad de agua que usas, sin revelar nunca tu nombre o tu ubicación a la persona que cuenta las ondas?

Este es el rompecabezas que los investigadores detrás de SpexPay se propusieron resolver. Proponen una nueva forma de gestionar estas ondas de radio de "pago por uso" que mantiene tu identidad oculta mientras asegura que todos reciban un pago justo. Piensa en ello como una máquina expendedora mágica para ondas de radio. En lugar de entregar tu tarjeta de identificación, presentas un boleto digital especial e inquebrantable que demuestra que tienes permiso para comprar una bebida, pero la máquina nunca ve tu rostro.

Así es como funciona SpexPay en el mundo real:

La Verificación de Identidad de Dos Pasos
Primero, imagina que necesitas dos tipos de llaves para entrar en un edificio seguro. La primera llave proviene del "Regulador" (como el gobierno), que demuestra que tienes una licencia para estar allí. La segunda llave proviene de un "Emisor Comercial" (como una empresa de redes móviles), que demuestra que tienes dinero en tu cuenta para pagar por el agua que usarás. SpexPay utiliza un truco criptográfico ingenioso llamado firmas BBS+. Esto te permite mostrar al "Gestor de la Banda" (la persona que alquila las ondas) que tienes ambas llaves sin mostrar realmente las llaves en sí. Es como mostrarle a un portero un holograma que demuestra que eres mayor de 21 años y tienes un pase VIP, sin revelar tu nombre o tu fecha de nacimiento.

La Cadena de "Latido" Mágica
Una vez dentro, necesitas pagar por el tiempo que pases usando las ondas. En los viejos tiempos, podrías haber tenido que firmar un recibo de papel cada cinco minutos, lo cual es lento y revela demasiado. SpexPay utiliza algo llamado Cadena de Hash (Hash Chain), que es como una cadena de cuentas mágicas.

Antes de comenzar, creas una larga cadena de cuentas donde cada cuenta está matemáticamente vinculada a la anterior. Le entregas la primera cuenta (la "raíz") a la persona a la que le vas a pagar, pero te quedas con el resto.
Cada pocos minutos, envías la siguiente cuenta de la cadena al Gestor de la Banda.
El Gestor puede verificar instantáneamente si tu nueva cuenta coincide con la anterior. Si lo hace, saben que sigues ahí y usando las ondas.
Crucialmente, el Gestor no puede falsificar una cuenta. Si intentan saltarse pasos y reclamar que usaste las ondas durante una hora cuando solo las usaste durante cinco minutos, las matemáticas no cuadrarán y el sistema los rechazará. Esto asegura que solo pagues exactamente por lo que usas y que el Gestor no pueda engañarte.

El Banco Automatizado
Para asegurar que el Gestor realmente reciba el pago y que tú no te quedes con una cuenta que no puedes pagar, SpexPay utiliza un Contrato Inteligente (Smart Contract) en una cadena de bloques (blockchain). Piensa en esto como una cuenta de depósito en garantía digital, como un árbitro que sostiene una bolsa de dinero.

Antes de que comience la sesión, el Emisor Comercial pone el dinero en la bolsa del árbitro.
A medida que envías tus "cuentas" (latidos), el Gestor las recolecta.
Cuando el Gestor quiere recibir el pago, le muestra la última cuenta al árbitro. El árbitro verifica las matemáticas, confirma que las cuentas son reales y libera automáticamente la cantidad exacta de dinero adeudada por esos minutos específicos.
Si el Gestor intenta reclamar el pago por cuentas que nunca enviaste, el árbitro verá que las matemáticas están rotas y se negará a pagar.

¿Realmente funciona?
Los investigadores no solo soñaron con esto; construyeron un prototipo completo y funcional para probarlo. Ejecutaron el sistema en una computadora estándar e incluso en una Raspberry Pi 5, una computadora pequeña y económica que se usa a menudo en proyectos de aficionados, para ver si podía ejecutarse en los dispositivos pequeños que realmente usan las ondas de radio.

Velocidad: Todo el proceso de verificar tu ID y generar la prueba tomó unos 150 milisegios. Eso es más rápido que un parpadeo, lo que significa que ni siquiera notarías el retraso.
Costo: El costo de ejecutar la parte del pago en la cadena de bloques fue de aproximadamente 603,000 unidades de "gas", lo que se traduce en unos $0.90 por sesión. Esto es muy barato para un sistema que ofrece un nivel tan alto de seguridad y privacidad.
Privacidad: El sistema mantuvo con éxito oculta la identidad real del usuario ante el Gestor de la Banda, permitiendo al mismo tiempo que un regulador audite el sistema más tarde si se cometiera un delito, consultando una lista privada separada mantenida por el Emisor Comercial.

En resumen, SpexPay demuestra que podemos tener un mercado justo y abierto para las ondas de radio donde pagas exactamente por lo que usas, sin sacrificar tu privacidad. Demuestra que con la mezcla adecuada de cerraduras digitales, cadenas de matemáticas mágicas y árbitros automatizados, podemos compartir los ríos invisibles del aire de forma segura y secreta.

Resumen Técnico: SpexPay

Declaración del Problema

El Reparto Dinámico de Espectro (DSS, por sus siglas en inglés) es esencial para dar cabida al crecimiento de las aplicaciones 5G, Wi-Fi 6/7 y satelitales. Las implementaciones actuales, como el Sistema de Acceso al Espectro (SAS) utilizado en el Servicio de Radio de Banda Ancha de Ciudadanos (CBRS), dependen de administradores centralizados para gestionar el acceso. Aunque estos sistemas han comenzado a adoptar modelos de pago por uso (PAYG) para mejorar la utilización del espectro, sufren de déficits significativos en materia de privacidad y rendición de cuentas.

En los marcos de trabajo PAYG existentes, los usuarios deben registrarse, autenticarse y enviar solicitudes de acceso detalladas a Gestores de Banda (BM) comerciales. Este proceso expone metadatos operativos sensibles —incluyendo identidad, ubicación precisa, tiempo de transmisión, potencia, ancho de banda y perfiles de misión— a terceros. Para usuarios críticos, como radares militares o estaciones de radioastronomía, esta exposición crea riesgos de ataques de inferencia, permitiendo que adversarios o entidades comerciales reconstruyan trayectorias de movilidad y ritmos operativos. Además, los sistemas actuales carecen de una rendición de cuentas criptográfica de las transacciones, apoyándose en suscripciones rígidas o facturación por lotes en lugar de pagos verificables vinculados al uso. Existe una brecha crítica en el diseño de un sistema que cumpla con las obligaciones financieras del consumo basado en el uso sin comprometer la privacidad operativa del usuario.

Metodología

SpexPay aborda estos desafíos integrando primitivas criptográficas que preservan la privacidad con contratos inteligentes basados en blockchain para crear un marco de pago auditable, desvinculable y medido por uso. El sistema opera sobre un modelo de credenciales de dos niveles sobre una blockchain pública, involucrando a cuatro actores principales: un Emisor Regulatorio (Tipo-A), un Emisor Comercial (Tipo-B), un Gestor de Banda (BM) y el Dispositivo de Usuario.

Componentes Arquitectónicos Principales

Credenciales Verificables de Dos Niveles:
- Credencial Regulatoria ( $V_{CA}$ ): Emitida por el Emisor de Tipo-A (por ejemplo, la FCC), certificando la elegibilidad regulatoria (por ejemplo, el estatus de Licencia de Acceso Prioritario) sin revelar la identidad real del usuario.
- Credencial Comercial ( $V_{CB}$ ): Emitida por el Emisor de Tipo-B (por ejemplo, un MNO), vinculando al usuario a parámetros de sesión específicos (precio, límites, ID de sesión) y depositando fondos en un contrato inteligente de depósito en garantía (escrow).
- Mecanismo de Privacidad: Ambas credenciales utilizan firmas BBS+ para admitir la divulgación selectiva. Los usuarios generan Pruebas de Conocimiento Cero (ZKP) para demostrar la posesión de firmas válidas y la consistencia de un identificador de dispositivo oculto en ambas credenciales, sin revelar dicho identificador al BM.
Latidos (Heartbeats) con Cadena de Hash para la Medición del Uso:
- Para permitir una facturación fina y continua sin el costo de las firmas por intervalo, los dispositivos generan una cadena de hash de seguridad hacia adelante (forward-secure) de longitud $L$ (el límite de la sesión).
- El dispositivo computa la cadena desde una hoja aleatoria $y_L$ hasta una raíz $y_0$ , la cual se compromete ante el Emisor de Tipo-B antes de iniciar la sesión.
- Durante la operación, el dispositivo transmite latidos ( $HB_i$ ) que contienen el ID de la sesión, el índice $i$ y el valor de hash $y_i$ .
- El BM verifica estos mediante la reconstrucción de la cadena hacia atrás desde el último valor verificado. Esto garantiza la resistencia al replay y permite al BM reclamar el pago por cualquier número acumulado de latidos sin necesidad de almacenar cada transmisión individual.
Liquidación mediante Contrato Inteligente:
- Un contrato inteligente de depósito en garantía (desplegado por el Tipo-A) retiene los fondos depositados por el Tipo-B.
- El BM envía reclamos al contrato que contienen el ID de la sesión y el último hash de latido válido.
- El contrato verifica de forma determinista la brecha de la cadena de hash entre el último índice reclamado y el nuevo índice, calcula el pago proporcional y transfiere los tokens al BM.
  im Esto asegura una liquidación no repudiable: el BM recibe el pago exactamente por el uso verificado, y los ataques de sobre-reclamo o de replay son matemáticamente imposibles debido a la resistencia a la preimagen de la función hash.
Auditabilidad y Revocación:
- Aunque el BM y la blockchain solo ven seudónimos e IDs de sesión, el Emisor de Tipo-B mantiene un registro fuera de la cadena (off-chain) que mapea los IDs de sesión con las identidades reales de los dispositivos. Esto permite que los reguladores auditen a usuarios específicos o resuelvan disputas sin que la blockchain o el BM lleguen a conocer la identidad real.
- Una lista de revocación compartida permite a los BM rechazar sesiones de usuarios maliciosos.

Contribuciones Clave

El artículo presenta a SpexPay como el primer sistema PAYG para las economías de espectro de próxima generación que logra simultáneamente:

Micropagos Finos Basados en el Uso: Forzando pagos vinculados a la utilización real del espectro en lugar de suscripciones por lotes.
Control de Acceso que Preserva la Privacidad: Utilizando un sistema de credenciales de dos niveles con firmas BBS+ y ZKPs para autenticar a los usuarios sin revelar sus identidades reales a los Gestores de Banda.
Rendición de Cuentas Verificable: Logrando una autenticación de acceso desvinculable, medición de uso verificable mediante cadenas de hash y liquidación en cadena no repudiable.
Integración de Dominio Específico: Abordando los requisitos únicos del DSS regulado (pruebas de uso continuo, vinculación de elegibilidad-pago, supervisión regulatoria) que los sistemas existentes de pagos y credenciales anónimas no logran soportar.

Resultados Experimentales

Los autores implementaron un prototipo completo y evaluaron su rendimiento en hardware estándar y dispositivos de clase edge (Raspberry Pi 5).

Latencia: El sistema demuestra una baja latencia de extremo a extremo. En una máquina Linux estándar, el tiempo total de computación para la emisión de credenciales, generación de pruebas y verificación es de aproximadamente 150 ms. En una Raspberry Pi 5, la generación de la prueba toma 189 ms, confirmando su idoneidad para hardware de clase edge.
Costos On-Chain: La liquidación del contrato inteligente es eficiente. Una sesión completa (con 300 latidos) incurre en un costo de gas promedio de aproximadamente 603K gas, lo que se traduce en unos $0.90 (basado en el precio promedio de gas de Ethereum de 60 días). La función Claim escala linealmente con el número de latidos reclamados por transacción ( $\Delta$ ), mientras que las operaciones de configuración y cierre permanecen constantes.
Escalabilidad: Las operaciones criptográficas están optimizadas fuera de la cadena, y las operaciones en cadena se limitan a actualizaciones de estado de tamaño constante y verificación de hash, asegurando que el sistema pueda manejar una medición de alta frecuencia.

Significación y Reivindicaciones

El artículo afirma que SpexPay proporciona una solución práctica para el evolucionante mercado de DSS, particularmente para escenarios que involucran usuarios del sector público (por ejemplo, militares, radioastronomía) donde la privacidad es legalmente obligatoria. Al desacoplar la identidad de la liquidación y aprovechar los compromisos de cadena de hash, el sistema logra una fuerte desvinculación mientras preserva la capacidad de los reguladores para auditar el uso y resolver disputas.

Los autores enfatizan que su diseño no es simplemente una herramienta de privacidad de propósito general, sino una integración de dominio específico de credenciales anónimas, pruezas de uso criptográficas y ejecución de pagos programable. Esta integración se presenta como esencial para la escalabilidad de la economía de uso compartido basada en PAYG, permitiendo a los operadores extraer un mayor valor de un espectro escaso mientras aceleran la innovación en aplicaciones celulares, IoT y de detección sin comprometer la seguridad operativa. Se demuestra que el sistema es viable para el despliegue en el mundo real, equilibrando las demandas contrapuestas de privacidad, auditabilidad y ejecución en tiempo real.