Services

Trois compétences, une seule discipline.

Tout ce qui suit est construit selon le même test : s’il s’arrête, qui s’en aperçoit ; s’il se trompe, qui paie ; s’il est audité, que montre la piste.

Architecture et réalisation de systèmes critiques

Un système se décide bien avant la première ligne de code. Nous couchons les décisions par écrit — puis nous les portons jusqu’en production.

Architecture de systèmes pour opérations critiques. Plateformes transactionnelles multi-niveaux : niveaux applicatif, de calcul, de reporting et d’interface, et les frontières entre eux. Des systèmes de registre et de contrôle où la base de données fait foi pour des obligations bien réelles — argent, capacités, droits.
Des processus nés numériques, sur fondations cryptographiques. Pas des circuits papier projetés sur écran : des processus conçus numériques dès la première étape, où signature, autorisation, transmission et archivage forment une seule chaîne mathématiquement protégée. Les délais tombent de plusieurs jours à quelques secondes, chaque étape laisse une trace vérifiable, et la conformité du processus peut être démontrée à des tiers — publiquement, sans divulguer les données sous-jacentes.
Comptabilité auxiliaire et conception de grand livre. Gestion des utilisateurs, instrument, compte, produit, transaction — le modèle objet de l’argent. Schémas d’écriture, conteneurs de soldes et de positions, logique loro/nostro, projection vers le grand livre. Pour les banques, les prestataires de services d’investissement, les fonds de pension — et pour les marchés qui règlent en mégawattheures plutôt qu’en forints.
Des spécifications qui survivent au contact du développement. Spécifications métier et fonctionnelles, plans logiques de système, cas d’utilisation, contrats d’interface. Écrites pour qu’on construise dessus — et qu’on en débatte avant d’engager l’argent.
Audit et due diligence. Due diligence opérationnelle et informatique de systèmes et de fournisseurs existants — ce qui existe réellement, ce que coûte le maintien, ce que coûte la sortie.
Conception de calculs. Échéanciers d’annuités à taux et durées variables, conventions de décompte des jours et d’arrondi qui résistent au rapprochement, algorithmes d’allocation pour la cotation et le règlement.
Discipline de réalisation. Normes de codage, revue de code, couverture de tests reliée à la spécification, gestion des livraisons. Agile quand cela aide, écrit noir sur blanc, toujours.

Preuve à l’appui

Pour une société d’affacturage, nous avons dérivé le calcul des contrats depuis les premiers principes — une récurrence sur des taux et des échéances mensuels variables, résolue pour n’importe quelle inconnue : échéance, taux, valeur actuelle ou durée. Le tableur validé par le métier repose sur les mêmes mathématiques que celles qu’exécute le moteur.

Algorithmes et systèmes distribués

L’exactitude à grande échelle est une propriété de conception, pas le résultat d’un test de charge.

Traitement transactionnel à haut débit. Des plateformes exploitées en régime six sigma sur des bases de données de classe téraoctet ; verrouillage, journalisation et idempotence traités comme des fonctionnalités de premier rang. Le core banking de nouvelle génération que nous avons conçu et construit comptabilise 10–15 000 transactions par seconde et par nœud et sert 100 000 comptes clients par nœud — sur 2 CPU et 4 Go de RAM, pas sur un cluster de la taille d’un centre de données.
Le commit en deux phases, sans gestionnaire central. Notre propre protocole de transactions distribuées se passe de serveur central de gestion des transactions — et c’est précisément ce qui rend la montée en charge linéaire honnête : ajoutez un nœud, obtenez le débit d’un nœud, sans coordinateur à saturer.
Des registres distribués sans gardien unique de la vérité. Des architectures où chaque institution tient ses propres enregistrements chaînés cryptographiquement, interconnectés de sorte que l’ensemble reste vérifiable sans qu’aucun participant ne détienne la totalité des données. Y compris notre conception décentralisée de tenue de positions — un P&L calculable sans passer d’écritures par les comptes clients.
Des machines à états pour l’argent. Offres, contrats, virements, cycles de règlement — modélisés en machines à états explicites, conçues pour le rejeu, le rapprochement et l’audit.
Pipelines orientés messages. NATS, Kafka, RabbitMQ ; des flux de l’ingestion à la publication, où la sortie est un événement de marché — évaluation d’appels d’offres, optimisation, publication de transparence.
Des algorithmes pour le 1 % difficile. Des schémas d’allocation et d’arrondi qui restent cohérents sous concurrence ; des modèles d’optimisation pour l’achat de capacités — y compris des fonctions objectif trop complexes pour être inversées, résolues numériquement ; les cas limites que tout le monde remet à plus tard.

Preuve à l’appui

Le système d’achat d’énergie d’équilibrage que nous avons conçu pour un gestionnaire national de réseau de transport ingère les offres quotidiennes, alimente un moteur d’optimisation et publie les résultats sur la plateforme de transparence européenne — un pipeline où un chiffre invraisemblable n’est pas une coquille, c’est un incident.

Cryptographie appliquée

Quinze ans d’ingénierie cryptographique — des protocoles que nous concevons, prouvons, publions et exploitons en production. Pas une cryptographie théorique qui vit dans les articles : des constructions qui passent les audits, portent des agréments et règlent des paiements. Dans l’UE, un ou deux groupes peut-être font cela de bout en bout. Nous en sommes.

Pourquoi le sur-mesure bat le ZK générique

Les systèmes génériques à divulgation nulle de connaissance sont une merveille — et, le plus souvent, le mauvais outil. Ils imposent des cérémonies de confiance, des temps de preuve lourds et une dépendance impossible à remplacer. Nous concevons plutôt des protocoles sur mesure : des preuves épousant exactement la propriété métier à démontrer. Résultat : la vitesse (moins de 100 ms là où les circuits génériques prennent des secondes), aucune initialisation de confiance (trusted setup) à expliquer à un auditeur, et des primitives cryptographiques interchangeables — quand une courbe ou un schéma vieillit, la construction survit. C’est ce qui fait passer la cryptographie d’une ligne de coût à un avantage métier.

Cryptographie à seuil. Génération et gestion de clés distribuées où la clé privée complète n’existe jamais — nulle part, à aucun instant. Notre schéma publié NPVDKGRS (DKG et repartage non interactifs, publiquement vérifiables, sur BLS12-381) tourne aujourd’hui sous une plateforme agréée MiCA, et a été relu par des cryptographes universitaires.
github.com/natrixofficial/npvdkgrs
Autorisation cryptographique. Notre propre protocole d’habilitation, bâti sur NPVDKGRS : des droits d’accès comme faits cryptographiques, pas comme lignes de base de données. Qui peut agir, qui a agi, et quand — prouvable ; la délégation sans jamais remettre de clé ; des droits révocables instantanément. Des signatures à seuil institutionnelles où la décision est imputable sans que les individus soient exposés à la pression.
Commandement et contrôle à seuil. La règle des deux personnes, généralisée : tout schéma d’approbation k parmi n imposé par les mathématiques plutôt que par la procédure — un sceau qui n’existe jamais d’un seul tenant, utilisable en quelques secondes, sans HSM ni cérémonie de confiance. La signature tient en un seul message (non interactive) : elle fonctionne donc sur des liaisons lentes, dégradées ou unidirectionnelles ; et les signatures gardent une taille constante, quel que soit le nombre de participants. Quand un porteur de clé change — réaffectation, perte, compromission suspectée — les parts sont redistribuées en une fraction de seconde, tandis que le sceau public de l’organisation reste inchangé.
Intégrité de processus prouvable. Des soumissions scellées qu’aucun opérateur ne peut ouvrir avant l’heure — de façon prouvable ; des pistes procédurales chaînées, où toute altération se voit ; une conformité démontrée à des tiers par des preuves de type divulgation nulle, sans livrer les données sous-jacentes. Conçu pour les marchés publics, les appels d’offres, le contrôle en contexte classifié et toute procédure où « faites-nous confiance » n’est plus une réponse acceptable.
Préparation post-quantique. Travaux sur les algorithmes résistants au quantique et conception de migrations PQC face à l’échéance 2030 de l’UE pour les infrastructures critiques : inventaires cryptographiques, schémas de transition hybrides — et une variante post-quantique à base de réseaux euclidiens de notre propre schéma à seuil, conçue et en attente d’implémentation.
L’argent numérique, fait proprement. Nous sommes les auteurs du Pactena Protocol — des paiements privés, instantanés, capables de fonctionner hors ligne, où la double dépense révèle mathématiquement le fraudeur — et de Qashmore, la solution de paiement construite dessus.
pactena.com · qashmore.com
Des systèmes de preuve dimensionnés au problème. Divulgation sélective, engagements, accumulateurs, constructions de preuve de réserves — des preuves légères, sur mesure, là où un SNARK complet dépasse le besoin.
Revue de protocoles. Un second avis sur les conceptions cryptographiques avant qu’elles ne deviennent des engagements — cérémonies de clés, schémas de conservation, circuits de signature, chemins de récupération.

Preuve à l’appui

Sans tiers de confiance, mais sous supervision : dans notre schéma de génération de clés, des parties indépendantes créent et repartagent une clé à seuil, chaque étape étant publiquement vérifiable — et quand un porteur de clé change, les parts sont redistribuées en quelques secondes, sans cérémonie et sans HSM. La propriété qu’attend un régulateur, livrée en mathématiques plutôt qu’en procédure.

Là où nos systèmes tournent

Systèmes financiers centraux

Core banking, règlement-livraison de titres, affacturage, comptabilité de fonds de pension et de fonds d’investissement. Deux décennies de registres en production.

Énergie et matières premières

Systèmes de registre, de règlement et d’approvisionnement pour les marchés de l’énergie — éprouvés côté électricité (compensation de bourse, appels d’offres d’équilibrage pour GRT, publication de transparence européenne), conçus pour porter le gaz, le pétrole et d’autres matières premières avec la même discipline.

Actifs numériques régulés

Ingénierie de plateformes agréées MiCA, tokenisation adossée à une vraie comptabilité auxiliaire, exploitation pensée pour DORA.

Secteur public et défense

Là où l’intégrité des processus est la mission. Une administration née numérique plutôt que du papier numérisé ; des chaînes de commandement et d’habilitation garanties par les mathématiques k parmi n ; des procédures scellées, aux pistes où toute altération se voit ; un contrôle satisfait par des preuves, pas par la remise des données. Les briques ci-dessus — gestion de clés à seuil, autorisation cryptographique, intégrité de processus prouvable — s’y transposent directement ; la même discipline qui a passé l’examen d’un superviseur financier s’applique à des procédures où l’enjeu est plus élevé encore. Nous parlons la langue de ce domaine : souveraineté, pas de boîtes noires étrangères, des algorithmes ouverts et auditables de manière indépendante.

Comment démarre une mission

01
Une conversation. Vous décrivez le système, nous posons tôt les questions qui dérangent.
02
Un périmètre écrit. Court, chiffré, honnête sur les inconnues.
03
Un travail à livre ouvert. Spécifications, décisions et avancement restent visibles pour vous, du début à la fin.

Engager la conversation