IT ▾
DE EN ES FR
Home › Prova

Ogni passaggio lascia una prova

Nove anelli. Un terzo, DPO, giudice o avvocato, li verifica senza LexLabs, senza rete, tra dieci anni. E pubblichiamo ciò che la prova non prova ancora.

La catena della prova in nove anelli

Che cosa viene prodotto, che cosa prova, e come lo verifica qualcuno diverso da noi.

AnelloChe cosa viene prodottoChe cosa provaCome lo verifica un terzo
1 · Zero rete, attestatodal sistema operativoUn indicatore permanente «Rete: 0 connessioni», una lettura del sistema operativo (lsof su macOS, Get-NetTCPConnection su Windows), un kill-switch: qualsiasi richiesta non locale viene annullata, il motore rifiuta ogni connessione in uscita e registra ogni rifiuto nel giornale sigillato.Che nulla lascia il computer durante l'uso.Copiare il comando esatto mostrato dall'indicatore ed eseguirlo; varianti: Wi-Fi spento, firewall impostato su «nega tutto».
2 · Sigillicassaforte di corrispondenzaTabella cifrata con Argon2id + XChaCha20-Poly1305, una password dedicata per tabella, secondo fattore hardware FIDO2 opzionale (due strati, due chiavi).La separazione delle informazioni aggiuntive richiesta dall'EDPB; una password rubata, da sola, non apre nulla.Descrittori del secondo fattore sotto dati autenticati: qualsiasi rimozione o declassamento è rilevabile.
3 · Audit firmatoEd25519Un file .audit.json per esportazione: identità dell'operatore, versione, entità, k-anonimato, natura dell'output («pseudonimizzato»), avvertenza sugli pseudonimi.Attribuzione: chi ha fatto cosa, con quale versione, senza alterazione possibile.Verificatore autonomo; impronta della chiave confermata fuori banda, come con PGP o SSH.
4 · Giornale sigillatoconcatenato SHA-256JSONL canonico, hash concatenati, numerazione strettamente crescente, firmato per operatore, marcature temporali UTC, ciclo ancorato affinché un reset sia rilevabile.L'ordine e l'integrità di ogni azione sensibile; un punteggio di conformità non può essere falsificato a posteriori.Verifica della catena in un solo comando; qualsiasi lacuna o riordino è visibile.
5 · Co-firmaprincipio dei quattro occhiUn secondo operatore aggiunge una firma a un audit esistente; l'originale non viene mai riscritto.Doppia convalida in uno studio o in un reparto medico; il furto di una sola chiave non basta.Il verificatore mostra un pannello per firmatario; una firma non valida invalida l'insieme.
6 · Marcatura temporale qualificataeIDAS art. 42Richiesta RFC 3161 sull'ancora del giornale, token di un prestatore qualificato, modalità fuori banda per impostazione predefinita, modalità connessa opt-in limitata a un solo host e registrata.La presunzione legale di esattezza della data: il giornale esisteva in questo stato al tempo T.Impronta del token e presenza dell'ancora controllate dal verificatore; firma CMS verificabile con gli strumenti del prestatore.
7 · Verificatore di terziofflineUn unico file HTML fornito con ogni esportazione; nessuna richiesta, nessuna dipendenza da lexlabs.fr, nulla di persistente.Firma valida, documento ricevuto conforme, identità del firmatario, dettagli dell'operazione, marcatura temporale.Doppio clic, trascinare l'audit e il documento finale, in qualsiasi browser, «tra dieci anni anche se LexLabs non esistesse più».
8 · Rischio misuratonon dichiaratok calcolato sulla popolazione reale INSEE (tabella firmata), registro dei quasi-identificatori a livello di fascicolo, generalizzazione retroattiva, conteggio degli attributi art. 9.Il criterio di individuazione dell'EDPB, con onestà su ciò che k non copre.Valori di k e perimetro di composizione nell'audit firmato; avvertenza esplicita «pseudonimizzato».
9 · Giornale dei passaggi IAsessioni di doganaDocumenti consegnati sotto nomi neutri, scambi registrati, elaborati ripristinati sotto supervisione; due livelli: osservato dalla dogana / dichiarato dall'IA; esportazione PDF firmata.Che cosa ha davvero varcato la frontiera, in quale direzione, quando.Giornale sigillato + audit; un badge «Dichiarato dall'IA» su ciò che la dogana non ha potuto osservare.

Il protocollo «modalità aereo»

Zero rete non è una promessa: è un fatto che lei stesso constata, in sala riunioni, in tre varianti.

Variante 1

L'indicatore e il suo comando

L'indicatore «Rete: 0 connessioni» mostra il comando di sistema esatto che esegue. Lo copi, lo esegua in un terminale, confronti.

lsof -i -a -p <pid> · Get-NetTCPConnection -OwningProcess <pid> Perché locale, l'indicatore in dettaglio (in francese) →
Variante 2

Wi-Fi spento prima di iniziare

Stacchi la rete, apra il fascicolo, pseudonimizzi, esporti, verifichi l'audit. Tutto funziona: nulla dipende da un server.

IA: istruzioni per l'uso (in francese) →
Variante 3

Firewall impostato su «nega tutto»

Blocchi ogni connessione in uscita dell'applicazione: nessun avviso, nessun degrado. Qualsiasi tentativo rifiutato dal motore verrebbe registrato nel giornale sigillato.

Pagina del protocollo con cattura di rete e impronte degli installer: in arrivo

Verificare una prova

Il verificatore è fornito con ogni esportazione. Sta in un solo file e non ha bisogno di nient'altro.

Passo 1

Aprire il verificatore

Doppio clic su lexlabs-verifier.html. Si apre in qualsiasi browser, senza connessione.

Passo 2

Trascinare l'audit e il documento

Il file .audit.json e il documento finale ricevuto. Nulla lascia il suo browser.

Passo 3

Leggere il verdetto

Firma valida o no, documento conforme o no, firmatari, operazione, marcatura temporale, k misurato.

Verificatore online (download per la modalità aereo dalla pagina) · audit di esempio e guida per il DPO: in arrivo

L'efficacia, misurata e pubblicata

Il motore JUNAO è messo al banco ogni notte in sei paesi dai nostri banchi automatici. Ecco l'indice di copertura per lingua e per livello.

Lingua · regimeLivello generalistaLivello quasi-identificatoriLivello sanitario
Francese0,9540,9550,936
Tedesco0,9840,9900,990
Italiano0,9830,9900,990
Spagnolo0,9770,9830,983
Inglese · Stati Uniti0,9650,9600,960
Inglese · Regno Unito0,9610,9320,932
Nota metodologica. Indice di copertura: la quota di entità attese completamente mascherate dal rilevamento. Uno 0,954 significa che il 95,4 % delle identità, dei recapiti e degli identificativi annotati nei nostri corpus è totalmente neutralizzato, senza frammenti residui. Misurato ogni notte dai nostri banchi automatici su corpus di documenti professionali annotati (atti, perizie, corrispondenza), per livello di sensibilità. Le baseline sono versionate e contraddittorie: qualsiasi regressione blocca la pubblicazione. Valori arrotondati al millesimo, ricalcolati a ogni aggiornamento del sito. Una terna precisione / richiamo su un corpus autorizzato è un progetto pianificato.

Ciò che la prova non prova ancora

Una prova è credibile solo quanto i suoi limiti pubblicati. Eccoli, prima che un potenziale cliente li scopra.

Procedimenti brevettati

FR2607944

Il fascicolo coerente nel tempo

Gli stessi pseudonimi su tutti i documenti di un fascicolo, ruoli professionali, k misurato a livello di fascicolo: Modalità 3.

I brevetti (in francese) →
FR2609690

Il corridoio express

Pseudonimizzare un estratto in un secondo con un flash di controllo, senza che nulla lasci il computer: PseudoExpress.

I brevetti (in francese) →

Per andare oltre

I giornali

Giornale leggibile, giornale sigillato, giornale dei passaggi IA: che cosa viene registrato, e come leggerlo.

Giornali (in francese) →

Il punteggio di conformità

Un punteggio EDPB continuo e firmato, che non può essere falsificato a posteriori.

Punteggio di conformità (in francese) →

k-anonimato

Il rischio di reidentificazione misurato sulla popolazione reale, a livello di fascicolo.

k-anonimato (in francese) →

Il diritto

GDPR, EDPB 01/2025, AI Act, segreto professionale: conformità fin dalla progettazione.

Conformità →

Una prova da produrre, un fascicolo di conformità da costruire?

Accesso previa validazione, risposta entro 48 ore lavorative.

Richiedi l'accesso