Un nombre réglementé que votre auditeur peut rejouer — bit à bit, hors ligne, sans rien croire sur parole.
TensorYard est l'autorité de calcul déterministe pour les domaines réglementés. Un calcul réglementé est exécuté par un moteur arithmétique pur — jamais un modèle de langage — scellé dans un reçu signé, et un auditeur indépendant le ré-exécute hors ligne pour obtenir une empreinte identique. Même entrée, même sortie, ou le reçu est mécaniquement rejeté. Risque de modèle, preuve de réserves, provisionnement en assurance : le nombre que la personne qui signe — et qui en porte la responsabilité — peut défendre, des années plus tard, sans nous.
Disponibilité — Accès anticipé
TensorYard n'est pas un produit en libre-service. Il tourne aujourd'hui en v0.1 — le cœur calcul → reçu signé → vérification hors ligne est réel et fonctionne — en tant qu'engagement de partenaire de conception réglementé. Vous l'obtenez par la conversation, vendu au signataire qui porte la responsabilité, jamais comme une ligne sur une soumission. Cette page le documente parce que la personne qui signe a le droit de savoir exactement comment le nombre est prouvé.
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
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.
Un calcul réglementé, trois gestes — et le dernier appartient à votre auditeur, pas à nous.
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.
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.
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.
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.
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.
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.
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.
Conçu pour que le nombre survive à un audit des années plus tard — aux conditions de l'auditeur, pas aux vôtres.
Les chiffres réglementés sont calculés par des moteurs arithmétiques purs — déterministes par construction. Aucune distribution de probabilités, aucun modèle à réentraîner, rien qui dérive entre le calcul et la revue.
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, sans aucune connexion vers nous.
Les reçus sont ajoutés à un registre chaîné, à écriture unique. L'ordre est prouvable et l'historique ne peut être réécrit en silence — la piste d'audit, c'est le registre lui-même.
La vérification n'a besoin d'aucun réseau ni d'aucun fournisseur. Un auditeur recalcule sur son propre matériel, entièrement déconnecté — parce que la preuve est de l'arithmétique, pas un appel de service.
Pas de « c'est assez proche ». Un reçu dont le recalcul ne correspond pas est REJETÉ — un verdict binaire et défendable, pas un jugement humain.
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.
Chacune de ces situations est la façon dont un chiffre audité cesse discrètement d'être défendable. TensorYard transforme chacune en une défaillance mécanique qu'un réviseur peut pointer du doigt.
Un chiffre que personne ne peut recalculer — le nombre du rapport qui ne correspond plus quand on relance le modèle. Rejeté : le reçu se rejoue, ou pas.
Une entrée, un paramètre ou un résultat édité discrètement après coup. La signature Ed25519 sur la racine de Merkle échoue dès qu'un seul octet bouge.
Le moteur de cette année donnant une réponse différente au calcul de l'an dernier. L'époque d'exécution épinglée fait rejouer le calcul original sous son propre moteur, pas l'actuel.
Un enregistrement glissé dans — ou hors de — la piste d'audit. Le registre WORM chaîné rend l'ordre prouvable et toute réécriture détectable.
Un chiffre défendu seulement par « le modèle l'a dit ». Les moteurs de TensorYard sont de l'arithmétique pure — le réviseur refait le calcul, il ne le croit pas sur parole.
Une preuve que vous ne pouvez vérifier qu'en vous connectant au fournisseur. Le reçu se vérifie hors ligne, sur le matériel de l'auditeur — la preuve survit à la relation.
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.
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.
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.
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.
Le signataire dont le nom figure sur l'opinion réglementaire, et les équipes qui lui remettent un nombre qui doit survivre à une contestation.
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é
Accès anticipé
Statut
🟡 Foundation
Déploiement
Infonuagique · Sur site · Airgap
Propriétaire
Maxor Global LLC
TensorYard tourne aujourd'hui en v0.1 en tant qu'engagement de partenaire de conception réglementé — le calcul, le reçu, la vérification hors ligne sont réels. Si vous signez un nombre réglementé et voulez qu'il survive à une contestation dans des années, demandez : on vous explique exactement comment la preuve est bâtie et rejouée. Cette conversation est technique, et on la gardera ainsi.
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.
TensorYard est au statut Foundation (v0.1). 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 est offert en engagement pilote avec partenaire de conception — pas en libre-service — et il n'y a pas encore de client payant.
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.