Journal de transparence

CLOISON tient un registre public de ce qu'elle fait de vos données. Ce que vous lisez ici est une description de ce registre — des preuves, jamais vos données. Chaque entrée répond à une seule question : comment vérifier que ça s'est réellement passé.

01Ce que contient le journal

Le registre est découpé en fenêtres d'audit. Chaque fenêtre est un bloc immuable : il porte un horodatage de début et de fin, des compteurs agrégés, le hachage du bloc précédent et une signature Ed25519. Ajouter, retirer ou réécrire une requête après coup casserait la chaîne depuis sa racine — c'est cette propriété qui rend le journal vérifiable plutôt que simplement affirmé.

Les compteurs sont k-anonymes. Le registre dit combien, jamais qui. Les identifiants sont regroupés en ensembles d'au moins k individus ; en dessous de ce seuil, aucune personne ne se distingue des autres. C'est une agrégation, pas une liste.

Un contrat simple tient la page : jamais de texte, jamais de clair. Le registre contient des fenêtres, des compteurs, des hachages et des signatures — pas un mot de vos données.

⟦ N0-AUDIT ⟧
fenêtre      2024-11-26T14:00:00Z → 2024-11-26T15:00:00Z
compteur     { "k": 371, "villes": 12, "prestations": 4 }
hash_prev    9a1f7c…c34e
signature    Ed25519 · 4f9b2a…0a2c

02Vérification dans le navigateur

Cette page embarque un binaire WASM, cloison-verify, qui rejoue le journal. Il recalcule la chaîne, contrôle chaque signature Ed25519 et vérifie l'inclusion de chaque bloc dans la fenêtre. Tout le calcul s'exécute dans votre navigateur : aucune donnée ne quitte la page, aucune confiance n'est demandée.

$ curl -s https://journal.wonkom.ai/2024-11.json > journal-2024-11.json
$ wasmtime run cloison-verify.wasm --journal journal-2024-11.json
128 blocs vérifiés · 0 divergence

import { verify } from "./cloison-verify.wasm";

const res = await fetch("/journal/2024-11.json");
const journal = await res.arrayBuffer();
const result = await verify(journal);

if (result.divergences.length === 0) {
  console.log(`${result.blocks.length} blocs vérifiés · 0 divergence`);
} else {
  console.error(result.divergences);
}

03Pourquoi c'est crédible

La crédibilité est une propriété, pas un ton. Trois choses la rendent concrète : le code de cloison-verify est public et auditable ; le journal est public et se télécharge sans inscription ; et la chaîne se recalcule à l'identique à partir des mêmes entrées.

1. Le code est public. Auditez la logique de vérification ligne par ligne, sur n'importe quelle machine.
2. Le journal est public. Aucun mur, aucune inscription — le registre se télécharge comme n'importe quel fichier.
3. La chaîne est vérifiable. Toute divergence est signalée, pas tue. Une entrée qui diffère casse la chaîne, et ça se voit.

04Limites honnêtes

La transparence vaut aussi pour ce que le journal ne peut pas faire. Les compteurs sont agrégés : ils disent combien, pas qui, et ne permettent pas de reconstituer une requête individuelle. Un registre public prouve ce qui s'est passé, jamais ce qui n'a pas eu lieu — il ne démontre pas qu'une fuite n'existe pas ailleurs.