Resumo Técnico: Vinculando PQC ao Copyleft via QGPL e Avaliando a Integridade de Distribuição Segura contra Computação Quântica

1. Declaração do Problema

A transição para a criptografia pós-quântica (PQC) é tipicamente enquadrada como uma questão de confidencialidade ("colha agora, decifre depois"). No entanto, o artigo identifica uma ameaça estruturalmente idêntica, mas menos discutida, à integridade e autenticidade. Os esquemas clássicos de assinatura de chave pública (ex: RSA, ECDSA, EdDSA) dependem da fatoração de inteiros ou logaritmos discretos, que são vulneráveis ao algoritmo de Shor em um futuro computador quântico criptograficamente relevante (CRQC).

Para a ciência aberta e o arquivamento de longo prazo, isso cria um descompasso temporal crítico: artefatos de pesquisa são frequentemente preservados por décadas, excedendo o horizonte de segurança das assinaturas clássicas usadas para protegê-los no momento do lançamento. Se uma assinatura clássica se tornar falsificável, um adversário pode substituir um artefato e gerar uma assinatura válida, permitindo que os dados adulterados passem pela verificação mesmo após o ambiente de distribuição original ter deixado de existir. Os sistemas de cadeia de suprimentos existentes (Sigstore, in-toto, SLSA) fornecem controles técnicos, mas não vinculam esses requisitos de integridade às licenças de redistribuição. Por outro lado, licenças recíprocas (ex: GPLv3, CC BY-SA) regem a redistribuição, mas não prescrevem metadados criptográficos. Essa lacuna deixa artefatos científicos de longa duração vulneráveis à substituição não detectada em um futuro pós-quântico.

2. Metodologia e Design do Sistema

Os autores propõem a Quantum General Public License (QGPL) v3.0, uma especificação jurídico-técnica que torna a integridade de distribuição pós-quântica uma condição para a redistribuição. A metodologia combina uma estrutura jurídica com um kit de ferramentas de conformidade criptográfica específico.

2.1 Construção Jurídico-Técnica

• Camada de Licença: A QGPL exige que qualquer obra modificada coberta que seja redistribuída deve incluir Metadados de Distribuição Quantum-Safe (QSDM). Isso cria um mecanismo de propagação recíproca onde o requisito de integridade PQ acompanha o artefato através de seus derivados subsequentes.
• Camada de Conformidade Técnica: O QSDM consiste em um manifesto verificável por máquina contendo:
  1. Digestos criptográficos dos artefatos.
  2. Assinaturas geradas por esquemas PQ aprovados.
  3. Material de chave pública ou referências.
  4. Identificadores explícitos de algoritmo e parâmetros.
  5. Informações de emissor e estado da chave.

2.2 Arquitetura Criptográfica

O kit de ferramentas de conformidade emprega um modelo de confiança de raiz offline de dois níveis:

• Chave Raiz: Uma chave raiz offline, raramente utilizada, assina o documento keys.json. O artigo recomenda o uso de SLH-DSA-SHA2-256s (baseado em hash sem estado) para este papel, a fim de fornecer diversidade de suposições e minimizar a exposição.
• Chaves de Assinatura Operacional: Chaves online rotativas que assinam os manifestos de lançamento. O artigo recomenda ML-DSA-65 (Baseado em Lattice de Módulo) para assinaturas rotineiras devido ao desempenho.
• Assinaturas Híbridas: O sistema suporta assinaturas híbridas estritamente aditivas (ex: ML-DSA-65 + Ed25519). Sob a política padrão, cada componente deve ser verificado. Um componente clássico suplementa, mas não pode substituir o componente PQ obrigatório.
• Formato do Manifesto: Os manifestos são documentos JSON canonicalizados usando RFC 8785 (JCS) para garantir uma representação de bytes determinística, evitando a maleabilidade da assinatura.

2.3 Protocolo de Verificação

A verificação é projetada para ser capaz de operar offline. Um verificador requer apenas:

1. Uma impressão digital (fingerprint) da raiz fixada (obtida via um canal fora de banda).
2. O documento keys.json (assinado pela raiz).
3. O manifesto de lançamento e os artefatos.
   Nenhuma conexão contínua com uma Autoridade de Certificação (CA), log de transparência ou provedor de identidade é necessária no momento da verificação. O verificador checa a assinatura da raiz, valida a autorização e o status de revogação da chave de assinatura dentro do keys.json e verifica a assinatura PQ contra o manifesto.

3. Principais Contribuições

O artigo apresenta quatro contribuições primárias:

1. Especificação Jurídica: Uma definição de metadados de distribuição PQ como uma condição obrigatória de redistribuição, aplicável a obras derivadas subsequentes.
2. Modelo de Confiança Offline: Uma hierarquia de chaves que suporta a rotação e revogação de chaves de assinatura sem exigir um serviço de confiança de terceiros continuamente alcançável, baseando-se em uma impressão digital de raiz fixada e no keys.json em cache.
3. Assinaturas Híbridas Estritamente Aditivas: Uma construção onde um componente clássico pode suplementar, mas nunca substituir o componente PQ exigido, garantindo que, mesmo que os esquemas clássicos sejam quebrados, o componente PQ permaneça como a âncora de segurança.
4. Avaliação Empírica: Uma implementação reproduzível (qgpl_ref) avaliando latência, overhead de metadados, conformidade e recuperação de arquivamento em hardware comum.

4. Resultados Experimentais

Os autores avaliaram o sistema em uma plataforma Apple Silicon (ARM64) utilizando algoritmos padronizados pelo NIST.

• Latência Criptográfica:
  • ML-DSA-65: Assina em 0,72 ms e verifica em 0,37 ms.
  • SLH-DSA-SHA2-256s (Raiz): Assina em 889,2 ms (justificando seu uso apenas para operações de raiz infrequentes) e verifica em 1,50 ms.
  • Híbrido (ML-DSA-65 + Ed25519): Adiciona 64 bytes ao tamanho da assinatura e aumenta o caminho de assinatura-verificação em <0,3 ms.
• Overhead de Metadados:
  • Para um único artefato, o overhead fixo de metadados (manifesto + assinatura + chaves) é de aproximadamente 10,8 KiB para ML-DSA-65.
  • O overhead relativo cai abaixo de 1% para artefatos maiores que 1,06 MiB.
  • Manifestos Agregados: Para 1.000 arquivos, o custo amortizado de metadados por artefato é de 148 bytes, demonstrando escalabilidade para grandes conjuntos de dados.
• Conformância e Recuperação:
  • O verificador classificou corretamente todos os casos de teste, incluindo lançamentos válidos, discrepâncias de digestos, assinaturas corrompidas, chaves revogadas e estados de chave expirados.
  • Recuperação Apenas-PQ: Em um cenário onde o componente clássico de uma assinatura híbrida foi corrompido, o modo de verificação "Apenas-PQ" recuperou com sucesso a validade do componente PQ, permitindo que o artefato fosse verificado como seguro pós-quântica, apesar da perda da assinatura clássica.

5. Significância e Alegações

O artigo afirma que a integridade de distribuição pós-quântica propagada por licença é prática para a distribuição de artefatos científicos de longo prazo sem infraestrutura centralizada.

• Praticidade: As latências medidas e os tamanhos de metadados indicam que as assinaturas PQ podem ser integradas em pipelines de lançamento padrão com impacto mínimo de desempenho, especialmente quando se utilizam manifestos agregados.
• Viabilidade de Arquivamento: O modelo de confiança capaz de operar offline garante que os artefatos possam ser verificados décadas depois, mesmo que a infraestrutura de assinatura original, as CAs ou os logs de transparência deixem de existir, desde que a impressão digital da raiz seja preservada.
• Complementaridade: Os autores posicionam a QGPL como complementar a sistemas existentes como Sigstore e SLSA. Enquanto esses sistemas lidam com identidade e proveniência de build, a QGPL aborda especificamente o requisito de autenticidade de longo horizonte ao vincular uma assinatura resistente ao quantum à própria licença de redistribuição.

Limitações e Escopo:
Os autores declaram explicitamente que o trabalho avalia o design técnico e o overhead de conformidade, não a aplicabilidade jurídica. O artigo não pretende provar a validade jurídica das condições da licença em todas as jurisdições, nem estabelece que a chave raiz foi gerada offline (isso permanece uma suposição procedimental). Além disso, o kit de ferramentas atual não pode atestar criptograficamente a natureza offline da geração da chave raiz. A solução é apresentada como um design para a ciência aberta, onde o descompasso entre os tempos de vida do arquivamento e da criptografia é mais pronunciado.