TensorYard
Un nombre réglementé que votre auditeur peut rejouer — bit à bit, hors ligne, sans rien croire sur parole.
Un moteur arithmétique pur — jamais un modèle de langage — scelle un reçu signé. Votre auditeur le rejoue hors ligne.
Parcourir un reçu avec l'ingénieur qui les scelle.
Apporter
Le calcul contesté — les entrées, l'époque, qui signe.
Soumission
Le G1 est gratuit. On parcourt, puis on soumissionne.
Vendu à
Le signataire qui porte la responsabilité. Production.
Ed25519
Chaque reçu signé cryptographiquement
Bit à bit
Rejoué par votre auditeur, hors ligne
0
Modèle de langage dans le chemin de calcul
WORM
Registre de preuves chaîné, en ajout seul
Une autorité, pas un tableur.
Un nombre réglementé ne vaut que par votre capacité à le reproduire sous contestation. TensorYard exécute le calcul sur un moteur arithmétique pur — déterministe par construction, sans probabilité, sans modèle — et émet un reçu signé qui lie les entrées, la version du moteur et le résultat en un seul enregistrement infalsifiable. Un auditeur emporte ce reçu sur sa propre machine, hors de votre réseau, et recalcule : une empreinte identique, ou un rejet mécanique. Il n'y a aucune étape « faites confiance à notre plateforme », parce qu'il n'y a rien à croire — seulement de l'arithmétique que n'importe qui peut réexécuter.
Calculer. Sceller. Rejouer.
Un calcul réglementé, trois gestes — et le dernier appartient à votre auditeur, pas à nous.
01 — Calculer
Un moteur arithmétique pur exécute le calcul réglementé — dérivation de provisions, RWA de crédit standardisé, chain-ladder — épinglé à une époque d'exécution fixe. Mêmes entrées, même sortie, sur n'importe quelle machine, n'importe quelle année.
02 — Sceller
Le résultat est encodé canoniquement, haché dans un arbre de Merkle RFC-6962, signé Ed25519, et ajouté à un registre WORM chaîné. Le reçu lie entrées, version du moteur et chiffre en un seul paquet infalsifiable.
03 — Rejouer
Votre auditeur emporte le reçu sur son propre matériel — hors ligne, en airgap s'il le souhaite — et recalcule. Une empreinte identique vérifie le nombre ; toute dérive est un REJET mécanique. Aucun accès à nous requis, jamais.
Ce qu'un reçu signé lie réellement.
Le reçu est le produit. Ce n'est pas un journal de ce qui s'est passé — c'est une preuve autonome qu'un tiers peut vérifier sans nous faire confiance et sans connexion à nos systèmes.
Les entrées, canoniquement
Chaque entrée est encodée canoniquement, donc les mêmes données produisent toujours la même empreinte — aucune ambiguïté de format, d'ordre ou de précision à débattre plus tard.
L'époque du moteur
La version exacte du moteur est épinglée à une époque d'exécution et liée au reçu. Un calcul de 2026 se rejoue sous le moteur de 2026, pas celui livré l'an prochain.
La signature Ed25519
Une signature Ed25519 sur la racine de Merkle rend le reçu infalsifiable : changez une entrée, un chiffre, un octet, et la vérification échoue — proprement, mécaniquement, hors ligne.
Chaque garantie tue une façon dont le nombre déraille.
Déterministe, scellé, souverain — et chaque propriété écarte une façon précise dont un chiffre audité cesse discrètement d'être défendable. La capacité et la défaillance qu'elle tue, au même endroit.
Moteurs purs, pas de modèles
Les chiffres réglementés sont calculés par des moteurs arithmétiques purs, déterministes par construction — aucune probabilité, aucun modèle à réentraîner. Un chiffre n'est donc jamais défendu par « le modèle l'a dit » : le réviseur refait le calcul, il ne le croit pas sur parole.
Reçus signés, rejouables
Chaque calcul émet un reçu autonome — entrées canoniques, époque du moteur, signature Ed25519 — qui se reproduit bit à bit sur n'importe quelle machine. Un résultat que personne ne peut recalculer, ou édité discrètement après coup, échoue : le reçu se rejoue, ou un seul octet déplacé brise la signature.
Registre de preuves WORM
Les reçus sont ajoutés à un registre chaîné, à écriture unique — la piste d'audit, c'est le registre lui-même. Un enregistrement glissé dans ou hors de l'historique est attrapé : l'ordre est prouvable, toute réécriture détectable.
Rejet mécanique
Pas de « c'est assez proche ». Un recalcul qui ne correspond pas est REJETÉ — y compris un rejeu sous un moteur périmé, car l'époque épinglée transforme la dérive du moteur en défaillance mécanique, pas en débat.
Vérification hors ligne, airgap
La vérification n'a besoin d'aucun réseau ni d'aucun fournisseur — l'auditeur recalcule sur son propre matériel, entièrement déconnecté. Une preuve que vous ne pourriez vérifier qu'en vous connectant chez nous serait un verrouillage ; ici la preuve survit à la relation.
Vos clés, votre périmètre
Exécutez les moteurs et détenez les clés de signature dans votre propre environnement. Les données réglementées — et l'autorité de signer le nombre — ne quittent jamais votre contrôle.
Hébergé, ou entièrement dans votre périmètre.
Démarrez hébergé pour un pilote ; rapatriez les moteurs et les clés de signature à l'interne quand le régulateur — ou votre règle de résidence des données — l'exige.
Infonuagique
Entièrement géré pour un pilote de partenaire de conception — la façon la plus rapide de mettre un reçu signé derrière un calcul réglementé, rien à provisionner.
Sur site
Exécutez les moteurs et détenez les clés de signature dans votre propre environnement. Votre infrastructure, votre plan de contrôle — les données réglementées ne quittent jamais votre réseau.
Airgap
Entièrement déconnecté pour le travail de provisionnement et de risque le plus sensible. Calculez et vérifiez là où vivent les données, parce que la preuve n'a pas besoin d'Internet.
La personne qui signe — et qui en porte la responsabilité.
Le signataire dont le nom figure sur l'opinion réglementaire, et les équipes qui lui remettent un nombre qui doit survivre à une contestation.
Une même philosophie déterministe, dans toute la suite.
TensorYard partage la posture Maxor : des calculs déterministes plutôt que des modèles boîte-noire, du vérifiable plutôt que du faites-nous-confiance, déployable en souveraineté par défaut. C'est l'autorité de calcul qui se tient aux côtés de Heisen et du tissu d'ancrage dans le substrat de preuves derrière chaque surface Maxor.
Explorer la suite MaxorDisponibilité
—
Statut
Production
Déploiement
Infonuagique · Sur site · Airgap
Propriétaire
Maxor Digital · PI détenue par Maxor Global LLC
Mettez un reçu signé derrière le nombre.
L'appel G1 est gratuit. Apportez le chiffre que vous signez. On parcourt le calcul, le reçu et la relecture hors ligne — puis on soumissionne. Production. Vendu au signataire qui porte la responsabilité.
TensorYard, en clair
TensorYard est une autorité de calcul déterministe pour les chiffres réglementés. Un calcul réglementé est exécuté par un moteur arithmétique pur — jamais un LLM — et scellé dans un reçu signé, afin que le chiffre puisse être défendu longtemps après avoir été produit.
Un auditeur indépendant ré-exécute le même calcul hors ligne. Si la ré-exécution produit un digest identique, le résultat est accepté ; s'il diffère de quelque façon que ce soit, il est rejeté mécaniquement. La vérification ne repose pas sur la confiance envers Maxor — elle repose sur la reproduction exacte du calcul.
Les modèles de langage sont non déterministes : une même requête peut donner des sorties différentes, et un résultat ne peut pas être re-dérivé vers un digest identique. Les chiffres réglementés exigent une arithmétique pure et reproductible qu'un auditeur peut recalculer de façon indépendante — c'est exactement ce que fournissent les moteurs de TensorYard.
Oui. TensorYard est en production. Le cœur calcul → reçu signé → vérification hors ligne est réel et fonctionnel, et son registre comprend un ensemble ciblé de moteurs réglementés. Il se vend au signataire qui porte la responsabilité — un appel G1 parcourt un reçu, puis une soumission.
Il s'adresse aux environnements réglementés où un chiffre doit être auditable et défendable — la valeur doit résister à une recomputation indépendante. Il est vendu au signataire qui porte la responsabilité de ce chiffre, via l'engagement logiciel et conseil de Maxor.