VÉRIFIEZ VOUS-MÊME
Ne nous croyez pas. Vérifiez.
La vérification ci-dessous tourne entièrement dans cet onglet. La chaîne SHA3-512, la signature Ed25519 et la signature post-quantique ML-DSA-65 sont toutes contrôlées en JavaScript pur, sans une seule requête vers un serveur et sans compte chez qui que ce soit. Deux des dossiers d’exemple ont été altérés exprès : vous voyez un faux se faire rejeter au lieu de nous croire sur parole. C’est une vérification d’intégrité : elle montre qu’une trace n’a pas changé après le scellement, pas qu’une propriété est prouvée.
Les octets exacts sur lesquels un dossier s’engage sont publiés dans la spécification du format, donc un vérificateur indépendant peut être écrit dans n’importe quel langage, par n’importe qui, sans notre code.
Voir un dossier de vérification complet : six décisions de la barrière, scellées →NE NOUS CROYEZ PAS SUR PAROLE
Vérifiez vous-même une trace scellée
Chargez un exemple scellé et vérifiez-le ici même — signatures Ed25519 + ML-DSA-65, chaîne SHA3-512 et, quand la trace en porte un, l’ancrage temporel qui fixe le quand, entièrement dans votre navigateur. Chargez ensuite un dossier altéré et regardez-le se faire rejeter. On vérifie que rien n’a changé après le scellement. On ne vérifie pas si une décision était la bonne : cela se recalcule à part, à partir de ses entrées.
Tourne entièrement dans votre navigateur — Ed25519 + ML-DSA-65 (FIPS 204) + SHA3-512 en JavaScript pur, sans serveur et sans code partagé avec le logiciel qui scelle. Le format est publié, donc n’importe qui peut écrire un second vérificateur : lire la spécification →