💻 computer science

Gyokuro: Source-assisted Private Membership Testing using Trusted Execution Environments

O artigo apresenta o Gyokuro, um protocolo de teste de pertencimento privado assistido por fonte que utiliza Ambientes de Execução Confiáveis (TEEs) para provar o progresso do servidor na adição de dados, garantindo privacidade, escalabilidade e alta eficiência em grandes bases de dados sem revelar as consultas dos clientes.

Autores originais: Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen, Srdjan Capkun

Publicado 2026-03-25

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen, Srdjan Capkun

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 você comprou um remédio na farmácia e quer ter certeza absoluta de que a informação sobre a origem desse remédio (quem fabricou, quem transportou, etc.) foi registrada corretamente em um "livro de registros" público e confiável. Você não quer que o dono do livro saiba qual remédio você comprou, pois isso poderia revelar seus hábitos de saúde ou preferências.

Esse é o problema que o Gyokuro resolve. O nome vem de um chá japonês muito caro e de alta qualidade, sugerindo que a solução é "premium" e refinada.

Aqui está a explicação do funcionamento do Gyokuro, usando analogias do dia a dia:

1. O Problema: O "Detetive" e o "Livro Secreto"

Normalmente, para verificar se algo está em um livro gigante (um banco de dados), você teria que perguntar ao dono do livro: "O nome 'Remédio X' está aqui?".

O problema: Ao fazer essa pergunta, você revela ao dono do livro que você está interessado especificamente no "Remédio X". Se o dono for mal-intencionado, ele pode saber o que você procura e esconder a verdade.
Soluções antigas: Tentativas anteriores eram como tentar ler o livro inteiro sem fazer barulho (muito lento) ou usar códigos matemáticos super complexos (muito pesado para computadores).

2. A Solução do Gyokuro: O "Carimbo de Tempo" e o "Guarda-Costas"

O Gyokuro muda as regras do jogo. Em vez de perguntar "O item X está aqui?", o cliente pergunta: "O livro já cresceu o suficiente para que o item X tenha entrado nele?".

Para isso, o sistema usa três personagens principais:

O Cliente (Você): O consumidor.
O Servidor (O Dono do Livro): Quem guarda os dados.
O Monitor (O Auditor): Um terceiro confiável que vigia o servidor.
O TEE (O "Cofre Inteligente"): Esta é a chave. É um hardware especial (como um cofre blindado dentro do computador do servidor) onde o código roda de forma segura. Ninguém, nem mesmo o dono do servidor, pode ver o que acontece dentro desse cofre.

3. Como Funciona (A Analogia da Fábrica de Carimbos)

Imagine que o servidor é uma fábrica que recebe encomendas (dados) e as coloca em um livro.

Passo 1: A Entrega (Upload)

Quando a fábrica recebe uma encomenda (ex: a informação do seu remédio), ela não a coloca no livro imediatamente. Ela a coloca em uma caixa de espera dentro do Cofre Inteligente (TEE).
O Cofre dá um carimbo de recebimento (POR) para a fábrica. Esse carimbo diz: "Recebemos a encomenda no momento T1".
A cada 100 encomendas, o Cofre pega a caixa de espera, coloca tudo no livro gigante e aperta um botão num contador que só ele pode ver. O contador aumenta de 100 para 101.
O Cofre também atualiza uma Lista de Verificação (Hash Chain) que prova que os itens foram processados.

Passo 2: A Verificação (Testing)

Você, o cliente, tem o seu "carimbo de recebimento" (o papel que a fábrica te deu quando comprou o remédio).
Você quer saber se o seu remédio já está no livro. Você não diz ao servidor qual é o remédio.
Você pergunta ao Cofre Inteligente: "Qual é o número atual do seu contador?". O Cofre responde com um novo carimbo (POP): "O contador agora é 105".
A Mágica: Você compara os números.
- Seu carimbo antigo tinha o número 100.
- O novo carimbo tem o número 105.
- Conclusão: Como 105 é maior que 100, significa que o Cofre processou mais itens depois que o seu foi recebido. Logo, seu item já deve estar no livro!

Passo 3: A Confirmação (O Auditor)

Para ter certeza de que o Cofre não está mentindo e que o livro não teve páginas arrancadas, você também pergunta ao Monitor (o auditor) qual é o número do contador dele.
Se o número do Monitor bate com o do Cofre, você tem a garantia de que o livro está íntegro e seu item está lá.

4. Por que isso é genial?

Privacidade Total: O servidor nunca sabe qual item você está verificando. Ele só vê você pedindo o número do contador. É como perguntar a um relojoeiro "Que horas são?" sem revelar que você está esperando um trem específico.
Velocidade Extrema: Como você não precisa ler o livro inteiro nem fazer cálculos matemáticos pesados, a verificação leva apenas 7 milissegundos (mais rápido que um piscar de olhos).
Escala: O sistema funciona tão bem com 10 itens quanto com 1 bilhão de itens. O tamanho do livro não importa, apenas o número do contador.
Segurança: O uso do "Cofre Inteligente" (TEE) garante que o servidor não possa trapacear com o contador ou esconder o que está acontecendo lá dentro.

Resumo em uma frase

O Gyokuro é como um sistema de verificação onde, em vez de perguntar "está aqui?", você pergunta "o relógio avançou o suficiente para que isso já tenha sido guardado?", garantindo que ninguém saiba o que você está procurando, mas que você saiba com certeza que está seguro.

É uma solução rápida, privada e escalável para garantir que informações importantes (como certificados digitais ou dados de remédios) não sejam apagadas ou escondidas de nós.

Resumo Técnico: Gyokuro

1. O Problema: Teste de Pertencimento Privado Assistido por Fonte (SPMT)

O artigo aborda o desafio de realizar Teste de Pertencimento Privado (PMT), onde um cliente deseja verificar se um determinado item de dados existe em um banco de dados sem revelar a identidade desse item ao operador do banco de dados ou a terceiros.

O foco específico é uma variante chamada SPMT (Source-assisted PMT). Neste cenário, o cliente possui informações auxiliares fornecidas pela fonte de dados no momento em que o dado foi submetido (ex: um QR code em um medicamento ou um carimbo de tempo assinado em um certificado digital).

Aplicações: Auditoria de logs de Transparência de Certificados (CT), auditoria de cadeia de suprimentos, verificação de proveniência de dados e auditoria de documentos públicos.
Desafios Atuais: Soluções existentes (como PIR, PSI, ORAM ou criptografia homomórfica) muitas vezes sofrem com alto custo computacional, baixa escalabilidade ou dependem de armazenamento local no cliente. Soluções baseadas em TEEs (Trusted Execution Environments) anteriores frequentemente exigem que o cliente envie a consulta ao TEE, tornando-a vulnerável a ataques de canal lateral que podem vazar a privacidade do item consultado.

2. Metodologia: A Abordagem do Gyokuro

O Gyokuro propõe uma mudança de paradigma: em vez de pedir ao servidor que prove que um item existe no banco de dados, o sistema verifica se o servidor (executando dentro de um TEE) fez progresso suficiente para ter processado e armazenado o item.

Componentes Principais:

Entidades: Fonte de Dados, Cliente, Servidor (com TEE), Banco de Dados e Monitor (terceiro confiável).
Mecanismo de Confiança: Utiliza TEEs (como Intel SGX ou AMD SEV) para garantir a integridade da execução (o código segue o protocolo), mas reconhece que não pode garantir estritamente a pontualidade (o servidor malicioso pode atrasar pacotes).
Solução de Progresso: Em vez de garantir o tempo, o sistema verifica se o TEE processou um número suficiente de itens.

Fluxo do Protocolo:

Protocolo de Upload (U1 e U2):
- A fonte de dados envia um item $d$ para o TEE.
- O TEE gera um "Proof Of Reception" (POR): uma assinatura digital sobre o item $d$ e um valor de contador atual ( $cnt_{POR}$ ).
- O TEE armazena o item em um buffer e, periodicamente, envia o lote para o banco de dados externo, atualizando uma estrutura de acumulador (ex: cadeia de hash) e incrementando o contador.
Protocolo de Teste (T3 e T4):
- O cliente recebe o item $d'$ e seu POR da fonte.
- O cliente solicita ao TEE um "Proof Of Processing" (POP): uma assinatura do contador atual ( $cnt_{POP}$ ).
- Verificação de Pertencimento: O cliente verifica se $cnt_{POP} > cnt_{POR}$ . Se verdadeiro, isso prova que o TEE processou o item após a sua submissão.
- Verificação de Consistência: O cliente compara o valor do acumulador (hash chain) do TEE com o de um Monitor externo que baixou o banco de dados. Se coincidirem, garante-se que o item não foi removido e que o banco de dados é consistente.

Vantagens Críticas:

Privacidade Absoluta: O cliente nunca envia o item de dados (ou derivados dele) para o TEE ou servidor durante o teste. A consulta é baseada apenas na comparação de contadores e assinaturas. Isso elimina o risco de ataques de canal lateral revelando qual item está sendo consultado.
Independência do Tamanho do Banco de Dados: A comunicação e computação são constantes ( $O(1)$ ), independentemente de o banco de dados ter 1.000 ou 1 bilhão de registros.

3. Principais Contribuições

Identificação do Problema SPMT: O artigo formaliza e analisa o problema de PMT assistido por fonte, que é comum em aplicações críticas mas pouco estudado.
Novo Esquema Baseado em TEE: Propõe o Gyokuro, que evita a necessidade de o cliente revelar sua consulta ao TEE, superando as limitações de privacidade de soluções anteriores baseadas em TEE.
Análise de Segurança: Demonstra que o sistema garante a correção do teste (se o teste passar, o item está lá) e a privacidade do cliente (o servidor não sabe o que foi consultado), mesmo sob um modelo de ameaça onde o servidor é malicioso.
Implementação de Código Aberto: Disponibiliza uma implementação funcional e avaliada.

4. Resultados de Desempenho

Os autores avaliaram o sistema em um ambiente de nuvem (Azure) utilizando AMD-SEV como TEE.

Latência:
- Upload (Submissão de dados): ~6,5 ms.
- Teste de Pertencimento: ~7 ms (incluindo verificações criptográficas e de atestação).
Throughput (Vazão):
- Upload: ~1.021 solicitações/segundo/núcleo.
- Teste de Pertencimento: ~1.432 solicitações/segundo/núcleo.
Escalabilidade: O desempenho permanece constante mesmo com o aumento do tamanho do banco de dados, permitindo suportar sistemas em larga escala (ex: logs de CT com bilhões de certificados).

5. Significado e Impacto

O Gyokuro representa um avanço significativo na privacidade de dados em sistemas distribuídos.

Viabilidade Prática: Demonstra que é possível construir sistemas de auditoria privada altamente eficientes e escaláveis, resolvendo o dilema entre privacidade e desempenho.
Aplicabilidade Imediata: Oferece uma solução prática para problemas reais como a auditoria de certificados digitais (onde navegadores podem verificar logs CT sem revelar quais sites o usuário visitou) e auditoria de cadeias de suprimentos farmacêuticas (consumidores verificando a autenticidade de medicamentos sem revelar quais remédios compraram).
Limitação: A solução depende da confiança na integridade do TEE. Se um TEE for comprometido no futuro, a garantia de integridade seria quebrada, embora isso seja uma limitação comum a todas as soluções baseadas em hardware confiável.

Em resumo, o Gyokuro oferece um mecanismo robusto para verificar a existência de dados em bancos de dados públicos sem expor a intenção do usuário, utilizando a integridade de execução de TEEs e a verificação externa de monitores para garantir a consistência e a privacidade.