Doolta

Prooflog

Continuité d'évidence cryptographique pour les événements de sécurité critiques : preuve que rien ne manque, pas seulement que rien n'a été modifié.

Détails du projet

Problème réelProuver qu’une chronologie d’événements critiques (déploiements, changements d’accès, tests de sauvegarde, rotations de secrets) a bien été observée, ordonnée et conservée sans réécriture silencieuse : un stockage WORM prouve que rien n’a été supprimé, un ledger prouve que rien n’a été modifié, aucun des deux ne prouve que rien ne manque.
Choix structurantsSéparation stricte en trois rôles (Agent, Store, Verifier), le Verifier opérant sous une autorité indépendante du Store et rejetant tout checkpoint signé incohérent. Le Store ne détient jamais les clés de déchiffrement et ne peut pas lire les événements qu’il stocke. Construit sur des standards ouverts : chaînes SHA-256, arbres de Merkle, checkpoints compatibles avec l’écosystème Go (sumdb, sigsum, Rekor).
Preuve aujourd'huiStatut pre-alpha assumé, mais base solide : suite de tests avec détecteur de race conditions, démonstration adversariale qui détecte 4 attaques simulées sur 4, décisions d’architecture documentées et tracées jusqu’au code.
Offre associéeAudit d’intégrité et systèmes de preuve, sur mesure. Nous contacter.

Ni un WORM, ni un ledger ne suffisent : l’un prouve l’absence de suppression, l’autre l’absence de modification, aucun ne prouve l’absence d’omission. Prooflog ferme cet écart pour les événements de sécurité qui doivent rester vérifiables dans le temps, avec un Verifier volontairement indépendant du système qui stocke les preuves.

Ce projet démontre une capacité rare : concevoir des systèmes de preuve où chaque garantie de sécurité est explicite, testée contre des scénarios adverses, et honnête sur ses propres limites.