Sicurezza verificabile

Verificare, invece di chiedere fiducia. Chi riceve un pacchetto di evidenze può controllarne integrità, firma e contesto con un verificatore che funziona nel proprio browser. Il verificatore stesso è distribuito dal sito di R-TITAN: per questo la sua impronta attesa e la fiducia residua sono dichiarate.

Su pacchetti di prova, il verificatore controlla nel browser firma, impronte, fiducia nella chiave e copertura come esiti separati. Il controllo avviene in un Worker, un contesto isolato del browser. Durante la verifica locale, il pacchetto selezionato non viene caricato su un server.

Evidenza: Qualifica su Linux con ricevuta. Prova nel browser Edge, motore Chromium, nell'anteprima di sviluppo, 24 settembre 2026: 11 casi su 11.

Un pacchetto autentico può essere quello sbagliato. Il protocollo di prova lega il pacchetto al contesto di organizzazione, missione e run, e respinge le discrepanze esercitate dal banco: archivio diverso, snapshot delle chiavi superato, contesto scaduto anche durante la verifica, orologio che torna indietro.

Evidenza: Qualifica su Linux con ricevuta, 24 settembre 2026. Prova nel browser Edge nell'anteprima di sviluppo, 25 settembre 2026: 33 casi su 33, insieme alle evidenze firmate.

Nel percorso qualificato, i byte del verificatore scaricati sono controllati sull'impronta attesa prima dell'esecuzione, e il browser esegue quegli stessi byte. Ogni risorsa aperta durante la verifica viene chiusa.

Evidenza: Qualifica su Linux con ricevuta, 25 settembre 2026. Prova nel browser Edge nell'anteprima di sviluppo: 42 casi su 42, con chiusura completa delle risorse. Confronto byte per byte con i file serviti in produzione eseguito il 27 settembre 2026; la verifica nel browser in produzione non è ancora stata eseguita.

Esportazione dell'audit minimizzata e versionata, decisione di revisione registrata insieme alla traccia che la documenta, un solo elenco di domini ammessi per le fonti esterne. In produzione dal 27 settembre 2026.

Evidenza: Aggiornamento della base dati applicato e ispezione dei privilegi superata il 27 settembre 2026; la decisione di revisione non è ancora stata esercitata in produzione.

La console presenta il risultato di una missione e ne produce una copia PDF non certificata, dopo aver verificato gli elaborati della missione sull'inventario del risultato. La copia non è una prova di firma né di correttezza del contenuto.

Evidenza: In produzione dal 27 settembre 2026: lettura autenticata di una missione reale e della sua copia PDF verificata sugli elaborati originali.

Le modifiche ai controlli sono accompagnate da prove automatiche e, nei casi documentati, da controprove per mutazione: i difetti vengono reintrodotti apposta per accertare che le prove li rilevino. I componenti di verifica sono qualificati su Linux con ricevute e provati in un browser reale.

Evidenza: Candidato v34: 311 prove su 311, typecheck e build riusciti in locale, 26 settembre 2026. Browser provato: Edge, motore Chromium; Firefox e Safari non ancora.

Il produttore è qualificato offline; il runtime I2 è stato distribuito con la configurazione della chiave KMS. La prima emissione firmata di una missione reale e la sua verifica autenticata sul sito sono ancora da verificare. Le prove di verifica descritte in questa pagina riguardano pacchetti e chiavi di prova.