Sintesi Tecnica: Witnessd: Proof-of-Process tramite Collasso Avversario

1. Definizione del Problema

Gli attuali sistemi di prova digitale soffrono di una lacuna fondamentale tra proprietà e processo. Mentre le firme digitali provano il possesso di una chiave e l'attestazione del contenuto, esse non verificano se un essere umano abbia fisicamente creato il contenuto. Un avversario potrebbe generare un testo utilizzando un modello linguistico, costruire stati intermedi del documento post-hoc e firmare ogni hash, creando una catena di firme valide che però non prova nulla riguardo l'origine del contenuto.

Gli approcci esistenti non riescono ad affrontare questo problema in contesti avversari:

• I sistemi di rilevamento si affidano a un "oracolo di verità fondamentale" che non esiste in scenari contestati; un rilevatore accurato al 95% è inutile se l'avversario controlla il 5% dei casi che mira a colpire.
• La certificazione si basa sulla fiducia sociale in terze parti, che può essere compromessa o coercita.
• L'integrità crittografica (firme) prova che i bit non sono stati modificati dopo la firma, ma non che i bit siano stati prodotti da un processo fisico specifico.

Il documento sostiene che i sistemi di prova non dovrebbero essere valutati in base all'accuratezza del rilevamento o all'autorità di certificazione, ma dalla loro capacità di far collassare lo spazio delle spiegazioni alternative plausibili.

2. Metodologia

Il Principio di Collasso Avversario

Il contributo teorico centrale è il Principio di Collasso Avversario. Il documento postula che un sistema di prova robusto costringa un contestatore a passare da un vago dubbio a Allegazioni Specifiche.

• Criterio di Allegazione Specifica: Per contestare una prova, un avversario deve nominare un meccanismo concreto, identificare una finestra temporale delimitata, implicare un livello di capacità specifico e formulare affermazioni indipendentemente verificabili.
• Collasso Avversario: Una prova raggiunge il "collasso" quando confutarla richiede una congiunzione di allegazioni specifiche contro molteplici componenti che possiedono assunzioni di fiducia indipendenti. Contestare un singolo componente è insufficiente; contestare l'intero sistema richiede di allegare una compromissione coordinata attraverso distinti confini di fiducia (ad esempio, kernel, hardware, ancoraggi di terze parti).

Il Jitter Seal (Primitiva Proof-of-Process)

Il Jitter Seal è una primitiva crittografica progettata per provare che è avvenuta un'interazione fisica da tastiera durante la creazione del documento.

• Meccanismo: Il sistema inietta ritardi impercettibili nell'ordine dei microsecondi (500–3000 $\mu$s) nel processo di generazione del documento.
• Legame Crittografico: Ogni valore di jitter è derivato tramite HMAC-SHA256 da un segreto di sessione ($S$) e sei componenti di legame:
  1. Ordinale del tasto ($i$)
  2. Hash del documento ($H_i$)
  3. Timestamp ($t_i$)
  4. Transizione di zona ($Z_i$): Codifica le transizioni delle regioni della tastiera (8 zone) senza rivelare i tasti specifici.
  5. Bucket di intervallo ($B_i$): Quantizza gli intervalli tra i tasti in 10 bin.
  6. Jitter precedente ($J_{i-1}$): Garantisce l'integrità della catena.
• Sicurezza: Senza il segreto di sessione, un avversario non può falsificare la sequenza dei valori di jitter. La probabilità di indovinare i valori di jitter validi per $n$ campioni è $(1/R)^n$, dove $R$ è l'intervallo di jitter.

L'Architettura Witnessd

Witnessd integra il Jitter Seal con cinque checkpoint di verifica indipendenti per imporre il Principio di Collasso Avversario:

1. Livello 0 (Jitter Seal): Prova il processo fisico.
2. Livello 1 (Verifiable Delay Functions - VDF): Utilizza le VDF di Pietrzak per provare un tempo minimo trascorso tra i checkpoint, prevenendo attacchi di compressione temporale.
3. Livello 2 (Ancoraggi Esterni): Ancora i timestamp a fonti pubbliche di terze parti (Bitcoin blockchain tramite OpenTimestamps o RFC 3161 TSA) per prevenire la manipolazione dell'orologio locale.
4. Livello 3 (Validazione a Doppia Sorgente): Valida i tasti incrociando gli stream a livello di applicazione (es. CGEventPost) con gli stream a livello hardware (USB/Bluetooth HID). Un tasto valido deve apparire in entrambi entro 50 ms.
5. Livello 4 (TPM/Secure Enclave): Attestazione hardware opzionale per lo stato della piattaforma e contatori monotonici per prevenire il replay.
6. Livello 5 (Catena di Hash): Memorizza le prove in una Merkle Mountain Range (MMR) per garantire l'integrità append-only.

3. Contributi Chiave

1. Principio di Collasso Avversario: Un nuovo criterio di valutazione per i sistemi di prova che privilegia l'imposizione di allegazioni specifiche e testabili rispetto al dubbio vago.
2. Jitter Seal: Una primitiva di prova del processo che lega crittograficamente la dinamica di digitazione fisica (tempistiche, transizioni di zona) agli stati del documento.
3. Architettura Witnessd: Un sistema multistrato che combina jitter seal, VDF, ancoraggi esterni e validazione a doppia sorgente per creare confini di fiducia indipendenti.
4. Analisi di Sicurezza: Una formalizzazione degli attacchi residui, dimostrando che sconfiggere il sistema richiede capacità specifiche di alto livello (ad esempio, compromissione del kernel, collusione di terze parti) piuttosto che una contraffazione generica.
5. Valutazione Empirica: Implementazione e test del sistema attraverso migliaia di prove.

4. Risultati e Valutazione

Il documento riporta i risultati di 31.000 trial di jitter seal e oltre 700 test di sistema:

• Successo della Verifica: 1.000 prove valide verificate con successo (tasso di successo del 100%).
• Fallimento della Contraffazione: 30.000 tentativi di attacco (jitter fabbricato, documenti discordanti, segreti errati) hanno fallito la verifica (tasso di successo dello 0%).
• Probabilità di Contraffazione: Calcolata come circa $(1/2500)^{50} \approx 10^{-170}$ per una sequenza di 50 campioni.
• Performance:
  • Computazione del jitter: ~286 ns per campione.
  • Iniezione del jitter: 500–3000 $\mu$s (impercettibile per gli umani, 5–27× al di sotto delle soglie di percezione).
  • Verifica VDF: ~50 ms (processo in background).
  • Append MMR: < 1 ms.

5. Significato e Rivendicazioni

Il documento rivendica con modestia che Witnessd non impedisce la contraffazione da parte di un avversario sufficientemente potente (specificamente un avversario a livello di kernel, $C_3$, presente prima della cattura). Se un avversario controlla il kernel, può estrarre il segreto di sessione e falsificare le prove.

Tuttari, la significatività del sistema risiede nel cambiare l'onere della prova:

• Esso converte lo scetticismo vago ("Questo potrebbe essere falso") in allegazioni falsificabili ("Il kernel è stato compromesso tramite CVE-XXXX durante la finestra 14:00–14:47").
• Stabilisce che le prove valide richiedono che un essere umano digiti fisicamente il contenuto (anche se il contenuto è testo generato da un'IA). Il sistema attesta il processo di digitazione, non l'origine cognitiva delle idee.
• Richiedendo una compromissione coordinata tra confini di fiducia indipendenti (hardware, OS, ancoraggi di terze parti), il sistema rende il costo e la specificità di un attacco riuscito significativamente più elevati rispetto alla provenienza basata su firme attuale.

Gli autori concludono che, in contesti avversari, la capacità di imporre allegazioni specifiche e testabili è un contributo distinto e prezioso, che sposta il paradigma dalla "rilevazione dei falsi" al "collasso della negabilità plausibile".