TgWitnessDocumentazione / 08
Scoprite come funziona la raccolta delle prove
Un messaggio può cambiare. La registrazione di ciò che avete osservato deve rimanere verificabile.
Scoprite qui di seguito due piccoli esperimenti. Utilizzano messaggi fittizi, rimangono all’interno del vostro browser e non si connettono mai a Telegram.
Un messaggio, tre osservazioni
Quando Telegram invia un nuovo messaggio, una modifica o una notifica di cancellazione, il sistema di raccolta aggiunge tre osservazioni distinte. La modifica non sostituisce la prima registrazione. Una notifica di cancellazione non la cancella.
Il messaggio è scomparso dalla schermata della chat.
- 01✓
message.newAppuntamento alle ore 10:00
- 02✓
message.editedAppuntamento alle ore 11:00
- 03✓
message.deletedAvviso di cancellazione per il n. 42
Tutte e tre le osservazioni ricevute rimangono nel registro.
Una notifica di cancellazione non fornisce né un’ora di cancellazione attendibile né l’identità della persona che ha cancellato il messaggio. Mantenere sconosciuti tali valori preserva la distinzione tra un’osservazione e una supposizione.
Modificare un record. Seguire l’hash.
Ogni registrazione contiene l’hash della registrazione precedente. Il proprio hash copre i campi relativi all’evento, compreso tale collegamento. Un punto di controllo conservato esternamente fissa una lunghezza specifica del registro e l’hash iniziale.
h₁ = SHA-256(e₁)Link a 64 zerih₂ = SHA-256(e₂)Include h₁h₃ = SHA-256(e₃)Include h₂h₃Si confronti questo confine definito con il registro fornito.La modifica di un evento ne altera l’hash. La ricostruzione della catena ne modifica l’intestazione. La rimozione della coda la rende più breve del punto di controllo conservato.
Esaminare il record 2 e gli hash completi
Questo è l’esatto JSON in formato UTF-8 sottoposto a hash in questo esempio. I valori sono fittizi; i nove campi e la serializzazione corrispondono al formato del registro.
- Hash della registrazione salvata n. 2
- Hash del record 2 ricalcolato
Le regole effettive, in poche righe
hi = hex(SHA-256(C(ei)))
σi = Ed25519.Sign(sk, unhex(hi))
C serializza i nove campi dell’evento come JSON in formato UTF-8: chiavi ordinate, senza spazi bianchi aggiuntivi, senza escape ASCII e senza valori NaN/infinito. Il valore previous_hash dell’evento è hi−1. Il valore h0 visualizzato indica 64 caratteri zero; le firme coprono i 32 byte grezzi del digest.
I nove campi sono seq, observed_at, source_at, kind, chat_id, message_id, actor_id, payload e previous_hash. Si tratta della codifica JSON documentata di TgWitness; l’hash e la firma in sé non sono campi di immissione dell’hash.
hexport[Ncheckpoint] = Hcheckpoint
Verifichi la firma del checkpoint sotto la chiave del collettore fissata in primo piano, quindi confronti i suoi confini con quelli del registro verificato. Un’esportazione successiva potrebbe contenere più record; deve comunque corrispondere al checkpoint precedente.
Tre domande, tre diversi controlli
Verificare gli hash e le firme rispetto a una chiave affidabile separata.
02 / CONTINUITÀCosa era stato conservato in precedenza?Si confronti un’esportazione firmata con i punti di controllo conservati da un testimone indipendente.
03 / CONSEGNASono pervenuti questi eventi di prova?Confrontare le azioni controllate di invio, modifica ed eliminazione con il registro di ciascun account.
Una catena di hash corrispondente risponde a una domanda relativa all’integrità. Essa non attesta la completa consegna del messaggio su Telegram, la veridicità di un messaggio né un momento di osservazione considerato attendibile in modo indipendente.
Segua l’intero processo investigativo, dall’acquisizione fino alla compilazione del fascicolo.