Plateforme de preuve souveraine

Rendez vos données
et votre code prouvables.

Notarisez, scellez sous politique, signez en post-quantique, certifiez un logiciel sans en révéler le code. Chaque preuve produite ici se vérifie toute seule — par n'importe qui, sans compte, sans nous faire confiance, sans dépendance externe.

GL-DDBS · enregistrement
namespaceusers
keyalice
value_hash8e2336cd…a4564d6e5b72
✓  sha256(donnée) == empreinte enregistrée
si un octet change → 409 · donnée rejetée
Ce qui la rend différente
01

Un moteur de preuve, pas qu'une base

Notariser, sceller sous politique CP-ABE, signer en ML-DSA post-quantique, certifier sous SAL, prouver en divulgation nulle — des actes cryptographiques réels, exécutés par le moteur, pas des promesses.

02

Certifier sans révéler

Prouvez qu'un binaire vient de votre source, qu'un secret existe, qu'un document est authentique — sans jamais exposer le contenu. Les empreintes sont calculées chez vous ; votre code reste secret.

03

Vérifiable sans confiance

Personne n'a à nous croire. Certificats, preuves et signatures se vérifient publiquement, sans compte. Index Merkle, checkpoints post-quantiques, zéro service tiers. Ce site tourne dessus, en production.

L'intégrité imposée, pas supposée
Stockage classique  sert la donnée corrompue, sans rien remarquer. GL-DDBS     détecte l'écart de hash et rejette la lecture.
0
comptes en base
0
objets vérifiés
SHA-256
par enregistrement
0
dépendance externe
Le moteur, en action — pas une promesse
Racine Merkle de l'état complet de ce site — 0 enregistrements actifs, recalculée en direct par le moteur :
Certification SAL
Certifier un logiciel ou un document sans livrer le code — comme une licence open-source, mais votre source reste secrète.
Essayer →
Moteur de politiques
Compiler une politique lisible en artefact canonique à empreinte vérifiable, fail-closed.
Essayer →
Coffre gouverné
Sceller un secret sous une politique ; l'accès est imposé par le CP-ABE, pas par un drapeau.
Essayer →
Preuve à divulgation nulle
Prouver qu'on connaît un secret sans jamais le révéler (STARK SAL-8).
Essayer →
Preuve d'inclusion Merkle
Prouver qu'une donnée est scellée dans la racine du moteur, à la demande.
Essayer →
Notaire public
Horodater un hash ou un fichier sans compte et obtenir un reçu vérifiable publiquement.
Créer →
Signature post-quantique
Signer un document avec une clé ML-DSA résistante au quantique ; l'auteur et l'intégrité deviennent prouvables.
Essayer →
Réseau live
Voir les 4 seeds live, le seuil NQFC-PQ et la limite exacte avant toute revendication de décentralisation externe.
Voir →
Runtime public
Voir les reçus verts 4 serveurs : NQFC, LiveNet, DA custody, admission, mesh O1/HPSL et compte test-token.
Inspecter →
GLAP/UDP-1 public
Créer un reçu de preflight GLAP sans compte, avec Accept/Need/Reject et sans prétendre que le navigateur parle UDP natif.
Prévoler →
Finalisation
Voir le chemin exact vers GuardLatice fini : preuves prêtes, preuves manquantes, actions publiques et claims bloqués.
Piloter →
P3 strict-PQ
Voir le contre-exemple compact post-quantique, la famille de recherche admissible et les 6 obligations qui restent ouvertes.
Inspecter →
Audit local P6
Inspecter les registres P6 frais : gap matrix, preuves primaires, unsafe, scope, replay et raisons restantes de blocage.
Auditer →
Workpack P6
Exécuter la file publique des 198 exigences restantes par priorité, lane et classe de remédiation.
Travailler →
Ingest preuves publiques
Voir les paquets et présences déjà reçus, puis la raison exacte pour laquelle ils ne ferment pas encore la preuve externe.
Inspecter →
Join kit validateur
Télécharger le kit public pour lancer un validateur externe candidat, sans admission automatique de claim souverain.
Rejoindre →
Fondation GuardLatice
Inspecter les PDF de fondation, les gates GLAP/GVM et ce qui reste bloqué avant un vrai claim souverain.
Voir l'état →
Ancre produit publique
Point stable pour les prochaines sessions : partir du site public et transformer les capacités internes en parcours utilisables.
Voir l'ancre →
Vérifier sans compte — la confiance, pas requise
Portail de vérification unifié →

Le principe de GuardLatice : personne n'a à nous faire confiance. Un certificat, une preuve ou une signature produits ici se vérifient tout seuls, par n'importe qui, sans créer de compte. C'est ce qu'aucune base classique ne permet.

Certificat de notarisation
Confirmez l'empreinte SHA-256 et l'horodatage d'un contenu notarisé.
Vérifier →
Notaire sans compte
Créez un reçu de hash, relisez-le par identifiant, puis vérifiez le JSON du reçu.
Ouvrir →
Preuve à divulgation nulle
Confirmez qu'un détenteur connaît un secret — sans jamais le voir (SAL-8).
Vérifier →
Signature de document
Confirmez l'auteur et l'intégrité d'un document signé (post-quantique).
Vérifier →
Statut fondation
Voir publiquement ce que les PDF fondation prouvent, et ce qu'ils ne prouvent pas encore.
Inspecter →
GLAP/UDP-1
Prévoler une action GLAP et obtenir le JSON de capacité transport sans finalité ni admission de claim.
Ouvrir →
Tableau finalisation
Reliez fondation, runtime, preuves externes et gates restants en un plan d'exécution public.
Ouvrir →
Statut P3 strict-PQ
Contrôlez pourquoi le compact single-header reste bloqué et quelle preuve primitive doit être construite.
Inspecter →
Audit local P6
Contrôlez les preuves internes courantes sans les confondre avec un audit tiers ou une garantie légale.
Inspecter →
File P6
Voir les exigences critiques et les lanes de fermeture à travailler avant toute attestation P6 externe.
Ouvrir →
Preuves externes
Vérifiez la forme d'un paquet externe avant audit officiel, sans l'admettre comme claim souverain.
Tester →
Statut ingest
Contrôlez les archives reçues, présences externes et compteurs du collecteur officiel.
Voir →
Kit validateur externe
Récupérez l'archive de jonction, les manifests et la frontière qui empêche toute promotion sans preuve externe acceptée.
Télécharger →
Quorum réseau live
Contrôlez l'état public 4 seeds / seuil 3-of-4 et les drapeaux qui restent false.
Inspecter →
Évidence opérateur
Vérifiez un quorum de signatures ML-DSA d'opérateurs et voyez exactement ce qui compte comme preuve.
Vérifier →