💻 computer science

Efficient Pairing-Free Partially Blind Strong Designated-Verifier Signatures for Edge Environments

Este artigo apresenta um novo esquema de assinatura de verificador designado forte, parcialmente cego e sem emparelhamento, que garante privacidade granular e não transferibilidade com baixo custo computacional, tornando-o altamente adequado para ambientes de borda com recursos limitados, como IoT e redes veiculares.

Autores originais: Panayiotis Kalogeropoulos, Panayiotis Kotzanikolaou, Christos Pilichos

Publicado 2026-09-22

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Panayiotis Kalogeropoulos, Panayiotis Kotzanikolaou, Christos Pilichos

Artigo original sob licença CC BY 4.0 (https://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

No mundo digital, uma assinatura é geralmente um ato público. Quando você assina um documento online, qualquer pessoa que veja a assinatura e possua a chave correta pode verificar que ela veio de você. Essa transparência é útil para contratos e registros públicos, mas cria um problema para a privacidade. Imagine um médico enviando um relatório confidencial para um regulador de seguros específico. Se esse relatório for assinado de uma forma padrão, qualquer pessoa que o intercepte poderá verificar que foi enviado pelo médico. Isso transforma uma troca privada em evidência pública, potencialmente expondo detalhes sensíveis a estranhos ou permitindo que a mensagem seja compartilhada além de seu destinatário pretendido. Para resolver isso, os criptógrafos desenvolveram uma ferramenta chamada assinatura de verificador designado. Neste sistema, uma mensagem é assinada de tal forma que apenas uma pessoa específica — o verificador designado — pode confirmar que ela é real. Para todos os outros, a assinatura parece um ruído aleatório, não oferecendo prova de sua origem. Isso protege a privacidade da troca, garantindo que, mesmo que a mensagem seja roubada, ela não possa ser usada como evidência transferível contra o remetente.

No entanto, cenários do mundo real frequentemente exigem um pouco mais de nuance. Às vezes, a pessoa que assina uma mensagem precisa ver alguma informação pública, como uma data ou um código de localização, mas deve permanecer completamente cega ao conteúdo privado, como um diagnóstico médico específico ou um valor financeiro. Isso é conhecido como uma assinatura parcialmente cega. Combinar essas duas necessidades — uma assinatura que seja tanto parcialmente cega quanto restrita a um único verificador — é um desafio criptográfico difícil. As soluções existentes para isso baseavam-se em operações matemáticas complexas que são lentas e consomem muita energia, tornando-as impraticáveis para dispositivos pequenos e alimentados por bateria, como os encontrados em carros, drones ou sensores inteligentes. Esses dispositivos operam frequentemente em ambientes onde milissegundos importam e a energia é escassa.

Uma equipe de pesquisadores da Universidade de Piraeus introduziu um novo método para resolver este problema, criando um sistema que é simultaneamente preservador de privacidade e altamente eficiente. Eles desenvolveram um novo tipo de esquema de assinatura que permite ao remetente ocultar detalhes privados enquanto inclui contexto público, tudo isso garantindo que apenas o destinatário pretendido possa verificar a mensagem. A principal inovação é que o sistema deles evita os cálculos matemáticos pesados e lentos que assolaram tentativas anteriores. Em vez de usar operações de emparelhamento (pairing) complexas que drenam a bateria e retardam o processamento, o método deles baseia-se em matemática de curvas elípticas padrão, que é mais rápida. Isso torna possível executar essas proteções de privacidade em dispositivos pequenos e com recursos limitados sem sacrificar velocidade ou segurança.

Os pesquisadores testaram seu novo sistema em um Raspberry Pi 4, um pequeno computador frequentemente usado para representar as capacidades de dispositivos de borda modernos, como sensores de tráfego rodoviário ou centros de comunicação para enxames de drones. Eles descobriram que o sistema pode gerar uma assinatura em cerca de 1,5 milissegundo e verificá-la em aproximadamente 0,6 milissegundo. Esses tempos são rápidos o suficiente para lidar com as demandas de alta velocidade e tempo real de aplicações críticas de segurança, como veículos transmitindo sua localização para evitar colisões ou drones coordenando-se em um enxame. Em um teste onde o dispositivo usou todos os quatro núcleos de seu processador para lidar com múltiplas tarefas simultaneamente, o sistema pôde verificar quase 6.000 mensagens por segundo. Este nível de desempenho sugere que a tecnologia está pronta para implantação no mundo real em ambientes onde os dispositivos devem ser simultaneamente seguros e eficientes.

Além da velocidade, os pesquisadores também analisaram a segurança do sistema. Eles provaram matematicamente que o esquema funciona conforme pretendido: o signatário não pode aprender a mensagem privada oculta, e o verificador designado não pode criar uma assinatura falsa que pareça ter vindo do signatário, nem pode provar a terceiros que o signatário realmente enviou a mensagem. Este último ponto é crucial para a não-transferibilidade; significa que o verificador não pode pegar a assinatura e mostrá-la a um juiz ou a um veículo de notícias para provar o envolvimento do remetente, porque o próprio verificador poderia ter gerado uma assinatura de aparência idêntica. Os pesquisadores também identificaram falhas em um método anterior, popular para alcançar objetivos semelhantes, mostrando que as equações antigas não funcionavam de fato como alegado. Ao descartar essas abordagens falhas e construir um novo sistema livre de emparelhamento (pairing-free), eles forneceram uma base mais confiável para a privacidade.

As implicações práticas deste trabalho são significativas para a crescente rede de dispositivos conectados. Em um mundo onde carros falam com estradas, drones falam entre si e sensores médicos falam com hospitais, proteger a privacidade dessas trocas é essencial. Se um veículo transmite sua localização, ele deve ser capaz de fazê-lo de uma forma que apenas o centro de gestão de tráfego possa verificar, sem permitir que um hacker rastreie os movimentos do carro ou use a mensagem para incriminar o proprietário do veículo. O novo sistema permite esse tipo de verificação seletiva enquanto mantém o custo computacional baixo o suficiente para os pequenos chips dentro desses dispositivos. Os pesquisadores disponibilizaram seu código ao público, convidando outros a testar e construir sobre o seu trabalho. Ao remover o pesado fardo matemático dos sistemas anteriores, eles abriram as portas para que a autenticação preservadora de privacidade se torne um recurso padrão nos ambientes de borda que estão moldando cada vez mais nossas vidas diárias.

Resumo Técnico: PB–SDVSS Eficiente e Livre de Emparelhamento para Ambientes de Borda

Declaração do Problema
As assinaturas digitais tradicionais permitem que qualquer parte com a chave pública do signatário verifique a autenticidade, o que pode comprometer a privacidade em cenários sensíveis. Os Esquemas de Assinatura de Verificador Designado (DVSS) abordam isso ao restringir a verificação a um destinatário específico, garantindo a não-transferibilidade. No entanto, os atuais Esquemas de Assinatura de Verificador Designado Parcialmente Cegas (PB-DVSS) enfrentam limitações significativas em ambientes de borda com recursos limitados (ex: IoT, VANETs, UAVs). As construções atuais, como as de Xu et al. e Cao et al., dependem fortemente de emparelhamentos bilineares computacionalmente caros e frequentemente envolvem interações de múltiplas rodadas. Além disso, os autores identificam uma inconsistência algébrica fundamental no esquema base de Xu et al. [12] que impede que ele alcance a corretude conforme originalmente declarado. Essas ineficiências e problemas de corretude dificultam a implementação de autenticação preservadora de privacidade em sistemas de borda de tempo real, onde baixa latência e alto rendimento são críticos.

Metodologia
Os autores propõem um novo primitivo criptográfico: o Esquema de Assinatura de Verificador Designado Parcialmente Cega Forte (PB–SDVSS). A construção é projetada para operar inteiramente sobre grupos de curvas elípticas padrão de ordem prima, eliminando a necessidade de emparelhamentos bilineares.

Estrutura do Protocolo: O esquema envolve três entidades: um Signatário ( $S$ ), um Verificador Designado ( $V$ ) e um Usuário ( $U$ ). Ele suporta um par de mensagem $(m, \text{info})$ , onde $m$ é um componente de mensagem privada (cegado pelo usuário) e $\text{info}$ é uma informação pública visível para o signatário.
Núcleo Algébrico: O protocolo utiliza operações padrão de curvas elípticas (multiplicação de pontos, adição escalar) e funções de hash modeladas como Oráculos Aleatórios.
- Assinatura: O usuário cega a requisição usando valores aleatórios ( $u_1, u_2, d$ ) e interage com o signatário. O signatário computa as respostas baseadas em sua chave secreta e no desafio cegado. O usuário então descega a resposta para formar a assinatura final $\sigma = (x^\star, \alpha^\star, \text{sig}_1, \text{sig}_2)$ .
- Verificação: O verificador designado usa sua chave secreta para verificar duas condições: uma verificação de consistência de hash ( $\alpha^\star = H(m, \text{info}, x^\star)$ ) e uma equação de verificação algébrica envolvendo a chave pública do signatário, a chave pública do verificador e os componentes da assinatura.
- Simulação: Uma característica fundamental do Strong DVSS é que o verificador designado pode simular assinaturas válidas sem a interação do signatário. Os autores fornecem um algoritmo para o verificador gerar assinaturas indistinguíveis das reais, garantindo a não-transferibilidade.
Modelo de Segurança: O esquema é provado seguro no Modelo de Oráculo Aleatório (ROM) sob a suposição de Diffie–Hellman Computacional (CDH). As propriedades de segurança incluem:
- Cegueira Parcial Perfeita: O signatário não aprende nada sobre a mensagem privada $m$ além do $\text{info}$ acordado.
- One-More Unforgeability Forte: Um adversário não pode produzir mais assinaturas válidas do que o número de interações de assinatura que ele completou.
- Não-Transferibilidade de Verificador Designado: O verificador não pode convencer um terceiro da origem da assinatura porque ele mesmo pode gerar transcrições indistinguíveis.

Principais Contribuições

Eficiência Livre de Emparelhamento: Os autores apresentam a primeira construção de PB–SDVSS que elimina completamente os emparelhamentos bilineares, baseando-se apenas em operações padrão de curvas elípticas. Isso contrasta com esquemas existentes (como o de Xu et al. que exige 7 emparelhamentos, e Cao et al. que exige 4) que são computacionalmente pesados para dispositivos de borda.
Criptálise da Literatura Existente: O artigo fornece uma análise algébrica rigorosa revelando que o esquema proposto por Xu et al. [12] contém inconsistências fundamentais que impedem que ele alcance a corretude, justificando a exclusão deste esquema das avaliações de desempenho.
Estrutura de Segurança Formal: Uma definição formal unificada para PB–SDVSS é estabelecida, combinando cegueira parcial com propriedades de verificador designado forte. Provas formais são fornecidas para cegueidade parcial perfeita, one-more unforgeability forte (sob CDH) e não-transferibilidade.
Implementação Open-Source e Avaliação: Os autores fornecem uma implementação totalmente de código aberto e realizam extensas avaliações experimentais em um Raspberry Pi 4, representando um típico gateway de borda IoT.

Resultados Experimentais
A avaliação foi conduzida em um Raspberry Pi 4 (ARM Cortex-A72) usando NIST P-256 e outras curvas elípticas.

Desempenho: No NIST P-256, o esquema alcança um tempo de assinatura de aproximadamente 1,5 ms e um tempo de verificação de 0,6 ms.
Rendimento (Throughput): O sistema de núcleo único suporta cerca de 656 operações de assinatura por segundo e 1.544 operações de verificação por segundo. Com a execução paralela de quatro núcleos, o rendimento aumenta para cerca de 2.607 assinaturas/seg e 5.984 verificações/seg.
Comparação: Comparado às linhas de base baseadas em emparelhamento (Cao, Sharma, Zhang–Wen) implementadas no mesmo hardware, o esquema proposto demonstra ganhos de velocidade significativos. Por exemplo, no ambiente OpenSSL, o PB–SDVSS alcança até 7,5x mais rendimento de assinatura e 27,5x mais rendimento de verificação em comparação com a linha de base Zhang–Wen.
Robustez: O custo de verificação permanece estável mesmo ao processar assinaturas inválidas ou malformadas, indicando resistência a ataques de negação de serviço via entradas malformadas.
Sobrecarga (Overhead): O tamanho da assinatura é compacto, com 130 bytes (1040 bits) para NIST P-256, adequado para ambientes com restrição de largura de banda.

Significância e Alegações
O artigo afirma que o PB–SDVSS é um bloco de construção criptográfico altamente adequado para ambientes sensíveis à privacidade e com recursos limitados. Ao remover o gargalo computacional dos emparelhamentos bilineares, o esquema permite privacidade de mensagem granular e autenticação não-transferível em cenários como:

Enxames de UAVs (Drones): Onde líderes assinam agregados cegados de dados do enxame para Centros de Controle de Solo.
Redes Veiculares Ad Hoc (VANETs): Suportando privacidade de localização enquanto permite que Unidades de Estrada (RSUs) confiáveis verifiquem beacons de segurança.
Computação de Borda e IoT: Fornecendo autenticação leve para IoT médica, casas inteligentes e sistemas descentralizados.

Os autores enfatizam que o esquema se ajusta aos orçamentos estritos de latência (frequentemente < 50 ms) exigidos para aplicações críticas de segurança, como comunicação V2I. Eles concluem que a combinação de provas de segurança teórica e desempenho prático embarcado valida a utilidade do esquema para sistemas de autenticação de borda de próxima geração. O trabalho futuro identifica a integração do esquema em ambientes reais de VANET e enxames de UAV, além de explorar variantes de prova para não-delegabilidade.

Mais como este