HazyLab

Laboratoire souverain de R&D logicielle : micro-optimisation, compilateurs SIMD, sécurité offensive et défensive, hébergement de services de pointe. Quatre axes, un socle commun.

Axes de recherche

Sécurité
Détection d'injection de prompt, banc de pentest contre agents, incident sur soi et déception, hébergement rouge instrumenté.
redhost
Moteur
Le socle partagé : harnais, observabilité noyau, confinement, puits de traces, indexation et recherche.
horos-system
Modèles
Trois espèces de modèles entraînées sur corpus artificiels générés et éprouvés sous confinement : encodeurs, appels d'outils, injection étagée.
modèles
Surfaces publiques
Fronts par niche, bancs publics, publications de modèles. Ce qui est mesuré est montré.
publication

CRIBL

Compression et chiffrement en une seule passe : la réduction d'entropie et le masquage cryptographique sont entrelacés dans un flux unique, l'intégrité est vérifiable sans décompression complète. Demande de brevet en cours de procédure. En savoir plus.

Vectorisation

horosvec est un index de plus proches voisins approché, embarqué dans votre processus, en Go pur, dont tout l'état tient dans un seul fichier SQLite. Graphe de proximité pour naviguer, quantification à un bit par dimension pour présélectionner, distance exacte pour trancher. Sur deux mille passages réels en dimension 1 024, il ne manque aucun voisin. Les bancs sont rejouables par quiconque, les limites sont écrites dans la documentation, et le code est public : horosvec, horosvec-bench.

Philosophie

Chaque axe produit du code utilisable, pas des papiers. La recherche alimente directement les produits et les offres. Une affirmation sans mesure n'est pas publiée.