💻 computer science

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

Este artigo apresenta o SpexPay, um framework de pagamento conforme o uso (pay-as-you-go), auditável e que preserva a privacidade, para Compartilhamento Dinâmico de Espectro que utiliza credenciais BBS+, pseudônimos não vinculáveis e contratos inteligentes para permitir o uso de espectro com identidade oculta e granularidade fina, com baixa latência e custo em hardware de borda.

Autores originais: 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 leitura🧠 Leitura aprofundada

CC BY 4.0

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

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que o ar ao nosso redor está repleto de rios invisíveis de ondas de rádio, transportando desde as suas músicas favoritas até alertas de emergência. Durante décadas, esses rios foram como canais privados pertencentes a grandes empresas ou ao governo, trancados com concessões de longo prazo. Mas, à medida que o nosso mundo se torna mais conectado, esses canais estão ficando congestionados, e algumas partes ficam vazias enquanto outras ficam entupidas. Para resolver isso, os reguladores estão abrindo os canais para o "Compartilhamento Dinâmico de Espectro" (Dynamic Spectrum Sharing), um sistema onde qualquer pessoa pode pegar emprestado uma pequena fatia do rio por alguns minutos, desde que não colida com o barco de outra pessoa.

No entanto, há uma pegadinha. Para pegar emprestada uma fatia, você geralmente tem que dizer ao gerente central exatamente quem você é, onde está e o que está fazendo. É como tentar alugar uma bicicleta anonimamente, mas ter que mostrar sua carteira de motorista, endereço residencial e uma lista de seus hobbies para a loja de aluguel. Isso cria um pesadelo de privacidade, especialmente para usuários sensíveis, como navios militares ou cientistas que precisam manter seus movimentos em segredo. Além disso, a forma atual de pagar por essas fatias minúsculas é desajeitada e muitas vezes depende de confiar que o gerente não vai cobrar caro demais de você. A grande questão é: Podemos construir um sistema onde você possa pagar exatamente pela quantidade de água que usa, sem nunca revelar seu nome ou sua localização para a pessoa que está contando as ondas?

Este é o enigma que os pesquisadores por trás do SpexPay se propuseram a resolver. Eles propõem uma nova maneira de lidar com essas ondas de rádio "pague conforme o uso" que mantém sua identidade oculta, ao mesmo tempo em que garante que todos sejam pagos de forma justa. Pense nisso como uma máquina de vendas mágica para ondas de rádio. Em vez de entregar seu cartão de identidade, você apresenta um bilhete digital especial e inquebrável que prova que você tem permissão para comprar uma bebida, mas a máquina nunca vê o seu rosto.

A Verificação de Identidade em Duas Etapas
Primeiro, imagine que você precisa de dois tipos de chaves para entrar em um edifício seguro. A primeira chave vem do "Regulador" (como o governo), provando que você tem uma licença para estar lá. A segunda chave vem de um "Emissor Comercial" (como uma empresa de rede móvel), provando que você tem dinheiro em sua conta para pagar pela água que usará. O SpexPay usa um truque criptográfico inteligente chamado assinaturas BBS+. Isso permite que você mostre ao "Gerente da Banda" (a pessoa que está alugando as ondas) que possui ambas as chaves sem, de fato, mostrar as chaves em si. É como mostrar a um segurança um holograma que prova que você é maior de 21 anos e possui um passe VIP, sem revelar seu nome ou sua data de nascimento.

A Corrente de "Batimento Cardíaco" Mágica
Uma vez dentro, você precisa pagar pelo tempo que passa usando as ondas. Nos velhos tempos, você talvez tivesse que assinar um recibo de papel a cada cinco minutos, o que é lento e revela demais. O SpexPay utiliza algo chamado Cadeia de Hash (Hash Chain), que é como uma corrente de contas mágicas.

Antes de começar, você cria uma longa sequência de contas onde cada conta está matematicamente ligada à anterior. Você entrega a primeira conta (a "raiz") para a pessoa que você está pagando, mas mantém o restante.
A cada poucos minutos, você envia a próxima conta da corrente para o Gerente da Banda.
O Gerente pode verificar instantaneamente se sua nova conta corresponde à anterior. Se sim, ele sabe que você ainda está lá e usando as ondas.
Crucialmente, o Gerente não pode falsificar uma conta. Se ele tentar pular etapas e alegar que você usou as ondas por uma hora quando você usou apenas cinco minutos, a matemática não baterá e o sistema o rejeitará. Isso garante que você pague exatamente pelo que usa e que o Gerente não possa trapacear você.

O Banco Automatizado
Para garantir que o Gerente seja realmente pago e que você não fique com uma conta que não pode pagar, o SpexPay utiliza um Contrato Inteligente (Smart Contract) em uma blockchain. Pense nisso como uma conta de custódia digital, como um árbitro segurando uma bolsa de dinheiro.

Antes do início da sessão, o Emissor Comercial coloca o dinheiro na bolsa do árbitro.
À medida que você envia suas "contas" (batimentos cardíacos), o Gerente as coleta.
Quando o Gerremante deseja ser pago, ele mostra a última conta ao árbitro. O árbitro verifica a matemática, confirma que as contas são reais e libera automaticamente a quantia exata devida por aqueles minutos específicos.
Se o Gerente tentar reivindicar pagamento por contas que você nunca enviou, o árbitro verá que a matemática está quebrada e recusará o pagamento.

Isso realmente funciona?
Os pesquisadores não apenas sonharam com isso; eles construíram um protótipo funcional completo para testar. Eles rodaram o sistema em um computador padrão e até mesmo em um Raspberry Pi 5, um computador pequeno e barato frequentemente usado em projetos de entusiastas, para ver se ele poderia rodar nos pequenos dispositivos que realmente utilizam as ondas de rádio.

Velocidade: Todo o processo de verificar sua identidade e gerar a prova levou cerca de 150 milissegundos. Isso é mais rápido que um piscar de olhos, o que significa que você nem notaria o atraso.
Custo: O custo para executar a parte de pagamento na blockchain foi de cerca de 603.000 unidades de "gas", o que se traduz em aproximadamente US$ 0,90 por sessão. Isso é muito barato para um sistema que oferece esse nível de segurança e privacidade.
Privacidade: O sistema manteve com sucesso sua identidade real oculta do Gerente da Banda, permitindo ao mesmo tempo que um regulador audite o sistema posteriormente, caso um crime tenha sido cometido, consultando uma lista privada separada mantida pelo Emissor Comercial.

Em resumo, o SpexPay mostra que podemos ter um mercado justo e aberto para ondas de rádio onde você paga exatamente pelo que usa, sem sacrificar sua privacidade. Ele prova que, com a mistura certa de cadeados digitais, correntes matemáticas mágicas e árbitros automatizados, podemos compartilhar os rios invisíveis do ar de forma segura e secreta.

Resumo Técnico: SpexPay

Declaração do Problema

O Compartilhamento Dinâmico de Espectro (DSS) é essencial para acomodar o crescimento do 5G, Wi-Fi 6/7 e aplicações de satélite. As implementações atuais, como o Sistema de Acesso ao Espectro (SAS) usado no Citizens Broadband Radio Service (CBRS), dependem de administradores centralizados para gerenciar o acesso. Embora esses sistemas tenham começado a adotar modelos de pagamento conforme o uso (PAYG - pay-as-you-go) para melhorar a utilização do espectro, eles sofrem de déficits significativos de privacidade e responsabilidade.

Nos frameworks PAYG existentes, os usuários devem se registrar, autenticar e enviar solicitações de acesso detalhadas para Gerentes de Banda (BMs) comerciais. Esse processo expõe metadados operacionais sensíveis — incluindo identidade, localização precisa, tempo de transmissão, potência, largura de banda e perfis de missão — a terceiros. Para usuários críticos, como radares militares ou estações de radioastronomia, essa exposição cria riscos de ataques de inferência, permitindo que adversários ou entidades comerciais reconstruam trajetórias de mobilidade e ritmos operacionais. Além disso, os sistemas atuais carecem de accountability criptográfica de transação, baseando-se em assinaturas rígidas ou faturas em lote, em vez de pagamentos verificáveis e vinculados ao uso. Existe uma lacuna crítica no design de um sistema que cumpra as obrigações financeiras do consumo baseado em uso sem comprometer a privacidade operacional do usuário.

Metodologia

O SpexPay aborda esses desafios integrando primitivas criptográficas de preservação de privacidade com contratos inteligentes baseados em blockchain para criar um framework de pagamento auditável, desvinculável e medido por uso. O sistema opera em um modelo de credenciais de dois níveis sobre uma blockchain pública, envolvendo quatro atores principais: um Emissor Regulatório (Tipo-A), um Emissor Comercial (Tipo-B), um Gerente de Banda (BM) e o Dispositivo do Usuário.

Componentes Arquiteturais Principais

Credenciais Verificáveis de Dois Níveis:
- Credencial Regulatória ( $V_{CA}$ ): Emitida pelo Emissor Tipo-A (ex: FCC), certificando a elegibilidade regulatória (ex: status de Licença de Acesso Prioritário) sem revelar a identidade real do usuário.
- Credencial Comercial ( $V_{CB}$ ): Emitida pelo Emissor Tipo-B (ex: um MNO), vinculando o usuário a parâmetros de sessão específicos (preço, limites, ID de sessão) e depositando fundos em um contrato inteligente de custódia (escrow).
- Mecanismo de Privacidade: Ambas as credenciais utilizam assinaturas BBS+ para suportar a divulgação seletiva. Os usuários geram Provas de Conhecimento Zero (ZKPs) para provar a posse de assinaturas válidas e a consistência de um identificador de dispositivo oculto entre ambas as credenciais, sem revelar o identificador propriamente dito ao BM.
Heartbeats de Cadeia de Hash para Medição de Uso:
- Para permitir a cobrança contínua e granular sem assinaturas custosas por intervalo, os dispositivos geram uma cadeia de hash de segurança direta (forward-secure) de comprimento $L$ (o limite da sessão).
- O dispositivo computa a cadeia a partir de uma folha aleatória $y_L$ até uma raiz $y_0$ , que é comprometida ao Emissor Tipo-B antes do início da sessão.
- Durante a operação, o dispositivo transmite heartbeats ( $HB_i$ ) contendo o ID da sessão, o índice $i$ e o valor do hash $y_i$ .
- O BM verifica estes através da reconstrução da cadeia retroativamente a partir do valor recebido até o último estado verificado. Isso garante resistência a ataques de repetição (replay resistance) e permite que o BM reivindique o pagamento para qualquer número cumulativo de heartbeats sem precisar armazenar cada transmissão individualmente.
Liquidação por Contrato Inteligente:
- Um contrato de custódia (implantado pelo Tipo-A) retém os fundos depositados pelo Emissor Tipo-B.
- O BM envia reivindicações ao contrato contendo o ID da sessão e o último hash de heartbeat válido.
- O contrato verifica deterministicamente a lacuna da cadeia de hash entre o último índice reivindicado e o novo índice, calcula o pagamento proporcional e transfere os tokens para o BM.
- Este mecanismo garante a liquidação não repudiável: o BM é pago exatamente pelo uso verificado, e o excesso de cobrança ou ataques de repetição são matematicamente impossíveis devido à resistência de preimagem da função de hash.
Auditoria e Revogação:
- Embora o BM e a blockchain vejam apenas pseudônimos e IDs de sessão, o Emissor Tipo-B mantém um registro off-chain que mapeia IDs de sessão para identidades reais de dispositivos. Isso permite que reguladores auditem usuários específicos ou resolvam disputas sem que a blockchain ou o BM conheçam a identidade real.
- Uma lista de revogação compartilhada permite que os BMs rejeitem sessões de usuários maliciosos.

Contribuições Principais

O artigo apresenta o SpexPay como o primeiro sistema PAYG para as economias de espectro de próxima geração que alcança simultaneamente:

Micro-pagamentos Finos Baseados em Uso: Forçando pagamentos atrelados à utilização real do espectro, em vez de assinaturas em lote.
Controle de Acesso com Preservação de Privacidade: Utilizando um sistema de credenciais de dois níveis com assinaturas BBS+ e ZKPs para autenticar usuários sem revelar suas identidades reais aos Gerentes de Banda.
Accountability Verificável: Alcançando autenticação de acesso desvinculável, medição de uso verificável via cadeias de hash e liquidação on-chain não repudiável.
Integração Específica de Domínio: Abordando os requisitos únicos do DSS regulado (provas de uso contínuo, vínculo de elegibilidade-pagamento e supervisão regulatória), que os sistemas de pagamento ou credenciais anônimas existentes não suportam.

Resultados Experimentais

Os autores implementaram um protótipo completo e avaliaram seu desempenho em hardware padrão e dispositivos de classe edge (Raspberry Pi 5).

Latência: O sistema demonstra baixa latência de ponta a ponta. Em uma máquina Linux padrão, o tempo total de computação para emissão de credencial, geração de prova e verificação é de aproximadamente 150 ms. Em um Raspberry Pi 5, a geração de prova leva 189 ms, confirmando a adequação para hardware de classe edge.
Custos On-Chain: A liquidação do contrato inteligente é eficiente. Uma sessão completa (com 300 heartbeats) incorre em um custo médio de aproximadamente 603K de gas, traduzindo-se em cerca de $0,90 (baseado na média de 60 dias dos preços de gas do Ethereum). A função Claim escala linearmente com o número de heartbeats reivindicados por transação ( $\Delta$ ), enquanto as operações de configuração e fechamento permanecem constantes.
Escalabilidade: As operações criptográficas são otimizadas off-chain, com operações on-chain limitadas a atualizações de estado de tamanho constante e verificação de hash, garantindo que o sistema possa lidar com a medição de alta frequência.

Significância e Alegações

O artigo afirma que o SpexPay fornece uma solução prática para o crescente mercado de DSS, particularmente para cenários envolvendo usuários do setor público (ex: militares, radioastronomia) onde a privacidade é legalmente mandatada. Ao desacoplar a identidade da liquidação e aproveitar compromissos de cadeia de hash, o sistema alcança forte desvinculação enquanto preserva a capacidade de os reguladores auditarem o uso e resolverem disputas.

Os autores enfatizam que seu design não é meramente uma ferramenta de privacidade de propósito geral, mas uma integração de domínio específico de credenciais anônimas, provas de uso criptográficas e imposição de pagamento programável. Esta integração é apresentada como essencial para a escalabilidade da economia de compartilhamento baseada em PAYG, permitindo que operadores extraiam maior valor de espectros escassos enquanto aceleram a inovação em aplicações de celular, IoT e sensoriamento sem comprometer a segurança operacional. O sistema mostra-se viável para implantação no mundo real, equilibrando as demandas conflitantes de privacidade, auditabilidade e execução em tempo real.