Resumo Técnico: Witnessd: Proof-of-Process via Adversarial Collapse

1. Definição do Problema

Os sistemas atuais de evidência digital sofrem de uma lacuna fundamental entre propriedade e processo. Embora assinaturas digitais comprovem a posse da chave e a atestação do conteúdo, elas não verificam se um humano criou fisicamente o conteúdo. Um adversário poderia gerar texto usando um modelo de linguagem, construir estados intermediários do documento a posteriori e assinar cada hash, criando uma cadeia de assinatura válida que não prova nada sobre a origem do conteúdo.

Abordagens existentes falham em abordar isso em cenários adversariais:

• Sistemas de detecção dependem de um "oráculo de verdade fundamental" que não existe em cenários contestados; um detector com 95% de precisão é inútil se o adversário controla os 5% dos casos que ele visa.
• Certificação depende de confiança social em terceiros, que podem ser comprometidos ou coagidos.
• Integridade criptográfica (assinaturas) prova que os bits não foram modificados após a assinatura, mas não que os bits foram produzidos por um processo físico específico.

O artigo argumenta que sistemas de evidência não devem ser avaliados pela precisão de detecção ou autoridade de certificação, mas pela sua capacidade de colapsar o espaço de explicações alternativas plausíveis.

2. Metodologia

O Princípio do Colapso Adversarial

A principal contribuição teórica é o Princípio do Colapso Adversarial. O artigo postula que um sistema de evidência robusto força qualquer desafiante a passar da dúvida vaga para Alegações Específicas.

• Critério de Alegação Específica: Para disputar uma evidência, um adversário deve nomear um mecanismo concreto, identificar uma janela de tempo delimitada, implicar um nível de capacidade específico e fazer alegações independentemente testáveis.
• Colapso Adversarial: A evidência atinge o "colapso" quando refutá-la exige uma conjunção de alegações específicas contra múltiplos componentes que possuem pressupostos de confiança independentes. Disputar um componente é insuficiente; disputar o todo requer alegar o comprometimento coordenado de distintas fronteiras de confiança (ex: kernel, hardware, âncoras de terceiros).

O Jitter Seal (Primitiva de Proof-of-Process)

O Jitter Seal é uma primitiva criptográfica projetada para provar que ocorreu interação física de teclado durante a criação do documento.

• Mecanismo: O sistema injeta atrasos de microssegundos imperceptíveis (500–3000 $\mu$s) no processo de geração do documento.
• Vinculação Criptográfica: Cada valor de jitter é derivado via HMAC-SHA256 de um segredo de sessão ($S$) e seis componentes de vinculação:
  1. Ordinal da tecla ($i$)
  2. Hash do documento ($H_i$)
  3. Timestamp ($t_i$)
  4. Transição de zona ($Z_i$): Codifica transições de regiões do teclado (8 zonas) sem revelar teclas específicas.
  5. Bucket de intervalo ($B_i$): Quantiza intervalos entre teclas em 10 bins.
  6. Jitter anterior ($J_{i-1}$): Garante a integridade da cadeia.
• Segurança: Sem o segredo da sessão, um adversário não pode forjar a sequência de valores de jitter. A probabilidade de adivinhar valores de jitter válidos para $n$ amostras é $(1/R)^n$, onde $R$ é o intervalo de jitter.

A Arquitetura Witnessd

O Witnessd integra o Jitter Seal com cinco checkpoints de verificação independentes para impor o Princípio do Colapso Adversarial:

1. Camada 0 (Jitter Seal): Prova o processo físico.
2. Camada 1 (Verifiable Delay Functions - VDF): Utiliza VDFs de Pietrzak para provar um tempo mínimo decorrido entre os checkpoints, prevenindo ataques de compressão de tempo.
3. Camada 2 (Âncoras Externas): Ancora timestamps a fontes públicas de terceiros (Bitcoin blockchain via OpenTimestamps ou RFC 3161 TSA) para prevenir manipulação de relógio local.
4. Camada 3 (Validação de Dupla Fonte): Valida teclas cruzando fluxos de nível de aplicação (ex: CGEventPost) com fluxos de nível de hardware (USB/Bluetooth HID). Uma tecla válida deve aparecer em ambos dentro de 50ms.
5. Camada 4 (TPM/Secure Enclave): Atestação de hardware opcional para estado da plataforma e contadores monotônicos para prevenir replay.
6. Camada 5 (Cadeia de Hash): Armazena a evidência em uma Merkle Mountain Range (MMR) para garantir integridade de append-only.

3. Principais Contribuições

1. Princípio do Colapso Adversarial: Um novo critério de avaliação para sistemas de evidência que prioriza forçar alegações específicas e testáveis em vez de dúvidas vagas.
2. Jitter Seal: Uma primitiva de proof-of-process formal que vincula criptograficamente a dinâmica de digitação física (tempo, transições de zona) aos estados do documento.
3. Arquitetura Witnessd: Um sistema multicamadas combinando jitter seals, VDFs, âncoras externas e validação de dupla fonte para criar fronteiras de confiança independentes.
4. Análise de Segurança: Uma formalização de ataques residuais, demonstrando que derrotar o sistema requer capacidades específicas e de alto nível (ex: comprometimento de kernel, colusão de terceiros) em vez de falsificações genéricas.
5. Avaliação Empírica: Implementação e teste do sistema através de milhares de tentativas.

4. Resultados e Avaliação

O artigo reporta resultados de 31.000 tentativas de jitter seal e mais de 700 testes de sistema:

• Sucesso de Verificação: 1.000 provas válidas verificadas com sucesso (taxa de sucesso de 100%).
• Falha de Falsificação: 30.000 tentativas de ataque (jitter fabricado, documentos incompatíveis, segredos incorretos) falharam na verificação (taxa de sucesso de 0%).
• Probabilidade de Falsificação: Calculada como aproximadamente $(1/2500)^{50} \approx 10^{-170}$ para uma sequência de 50 amostras.
• Desempenho:
  • Computação de jitter: ~286 ns por amostra.
  • Injeção de jitter: 500–3000 $\mu$s (imperceptível para humanos, 5–27× abaixo dos limiares de percepção).
  • Verificação de VDF: ~50 ms (processo de background).
  • Append em MMR: < 1 ms.

5. Significância e Alegações

O artigo alega modestamente que o Witnessd não impede a falsificação por um adversário suficientemente poderoso (especificamente um adversário de nível de kernel, $C_3$, presente antes da captura). Se um adversário controla o kernel, ele pode extrair o segredo da sessão e forjar a evidência.

No entanto, a significância do sistema reside em mudar o ônus da prova:

• Ele converte o ceticismo vago ("Isso poderia ter sido forjado") em alegações falsificáveis ("O kernel foi comprometido via CVE-XXXX durante a janela 14:00–14:47").
• Estabelece que a evidência válida exige que um humano digite fisicamente o conteúdo (mesmo que o conteúdo seja texto gerado por IA). O sistema atesta o processo de digitação, não a origem cognitiva das ideias.
• Ao exigir o comprometimento coordenado de fronteiras de confiança independentes (hardware, SO, âncoras de terceiros), o sistema torna o custo e a especificidade de um ataque bem-sucedido significativamente maiores do que a proveniência baseada em assinaturas atual.

Os autores concluem que, em contextos adversariais, a capacidade de forçar alegações específicas e testáveis é uma contribuição distinta e valiosa, mudando o paradigma de "detectar falsificações" para "colapsar a negação plausível".