Un protocole pour rendre l'AI vérifiée et vérifiable.

Le reçu est un résumé compact de la manière dont le modèle est parvenu à sa réponse. N'importe quel autre opérateur peut le rejouer face à la copie publique du modèle et juger si la réponse était honnête. Une vérification naïve du type « on relance et on compare chaque chiffre » ne fonctionne pas en IA : un même modèle sur des cartes graphiques différentes produit, en interne, des valeurs légèrement distinctes, même quand la réponse est authentique (pourquoi ?)Un même modèle d'IA sur des cartes graphiques différentes produit de minuscules écarts numériques (noyaux d'attention, tailles de lot, logits) — inoffensifs, mais ils excluent toute vérification bit à bit.. À la place, nous utilisons un test statistiqueUn test pass/fail calibré pour que les fournisseurs honnêtes passent avec une forte probabilité et que les tricheurs soient pris — utilisé parce qu'un rejeu exact est impossible en IA., calibré pour que les fournisseurs honnêtes passent et que les tricheurs soient démasqués. Le test se déroule en trois paliers de rigueur croissante — une vérification rapide, une vérification de profondeur intermédiaire, et un audit complet (Quick / Smell / Full)Trois couches de vérification de rigueur croissante : Quick (moins d'une seconde), Smell (échantillonnage de profondeur intermédiaire) et Full (audit complet). Chacune est plus stricte que la précédente. — chaque palier étant plus strict que le précédent. Le logiciel de vérification est open source : tout le monde peut l'exécuter, et quiconque repère un bloc malhonnête peut le contester.

Servir et miner, c'est un seul et même métier. Nous faisons tourner une version sur mesure des moteurs open source standard de service d'IAVersions forkées de vLLM (le moteur GPU standard de service d'IA) et de llama.cpp (un moteur CPU / Apple Silicon) — modifiées pour enregistrer la transcription de preuve pendant qu'elles répondent. — la capture de la preuve a lieu dans la même étape que celle qui produit la réponse, donc les utilisateurs ne perçoivent aucun ralentissement. Le temps GPU inactif est rempli par des requêtes d'entraînement internes qui s'effacent dès qu'un utilisateur payant se présente. Si une réponse franchit la barre de difficultéLe seuil de rareté qu'une preuve doit franchir pour être acceptée comme nouveau bloc — ajusté automatiquement pour maintenir un temps de bloc régulier. du réseau, elle devient un bloc candidat ; sinon, vous avez tout de même servi un client payant. Dans les deux cas, l'électricité n'est pas gaspillée, et il n'y a aucun matériel de minage séparé à acheter.

TensorCash est un fork de Bitcoin Core. Nous conservons la façon dont Bitcoin comptabilise les piècesLe modèle comptable de Bitcoin — au lieu de soldes bancaires, les pièces existent sous forme de « sorties non dépensées » discrètes issues de transactions antérieures., la façon dont il signe les transactionsLa manière dont Bitcoin signe et vérifie aujourd'hui les transactions à l'aide de clés cryptographiques., et la façon dont les blocs circulent entre les nœuds — puis nous ajoutons quelques nouvelles règles, volontairement limitées. Chaque bloc embarque une preuve compacte de travail d'IAPreuve d'inférence — un reçu compact et rejouable attaché à chaque réponse d'IA, pour que d'autres puissent vérifier qu'un vrai modèle l'a réellement produite. et une cible de difficultéLe seuil de rareté qu'une preuve doit franchir pour être acceptée comme nouveau bloc — ajusté automatiquement pour maintenir un temps de bloc régulier., plus une horloge cryptographiqueVerifiable Delay Function — une horloge cryptographique basée sur la construction Wesolowski, qui prouve qu'un temps réel s'est écoulé, même avec un matériel parallèle illimité. qui atteste qu'un temps réel s'est écoulé pendant le minage. Les preuves sont vérifiées en trois couches de rigueur croissante (Quick / Smell / Full)Trois couches de vérification de rigueur croissante : Quick (moins d'une seconde), Smell (échantillonnage de profondeur intermédiaire) et Full (audit complet). Chacune est plus stricte que la précédente. : deux rapides qui filtrent la propagation des blocs entre nœuds, et un audit complet exécuté en arrière-plan. Avant d'accepter une chaîne concurrente, les nœuds pèsent aussi le temps réel honnêtement consacré à sa construction (preuve de temps)Une mesure de l'effort en temps réel investi dans une chaîne (via les VDF), utilisée aux côtés de la preuve de travail pour départager des chaînes concurrentes., pas seulement la puissance brute — et toute réécriture profonde de l'historique récent déclenche un avertissement forensique avant le basculement de chaîne. Surtout, nous n'avons pas greffé de couche de programmation généraliste (pas de VM de smart contracts)Contrairement à Ethereum et à la plupart des chaînes modernes, TensorCash n'a aucun langage de programmation généraliste pour smart contracts — la surface d'attaque à l'origine de la plupart des piratages DeFi n'existe pas ici. — le genre de couche à l'origine de la plupart des piratages DeFi marquants de la dernière décennie. La chaîne fait ce qu'elle doit faire, et rien de plus.

Les actifs émis vivent dans la chaîne au même titre que TSC — et non comme des reconnaissances de dette logées dans un smart contract. L'émetteur renseigne un registre d'actifLe registre on-chain où vivent les paramètres d'un actif — symbole, plafond d'émission, règles de transfert, conditions juridiques, règles de gouvernance et caution. qui en fige les règles : symbole, nombre de décimales, offre maximale, qui peut transférer, qui doit passer une vérification d'identité, conditions juridiques, règles de vote et caution remboursableUn dépôt remboursable en pièces natives (caution Issuance Control Unit) qu'un émetteur verrouille à la création d'un actif — libéré une fois que l'actif a accumulé assez d'activité pour prouver qu'il n'est pas du spam.. Pas de frais de cotation, mais le dépôt reste bloqué jusqu'à ce que l'actif ait généré suffisamment de frais miniers pour prouver qu'il est authentique, et non du spam. Une fois publiées, les règles sont appliquées par chaque nœud du réseau : la chaîne elle-même refuse d'émettre au-delà du plafond, refuse de réutiliser ou renommer un symbole, refuse les transferts à des destinataires non éligibles, et refuse toute modification silencieuse des conditions juridiques.

Les émetteurs peuvent publier les documents juridiques attachés à un actif — prospectus, term sheet, documents de gouvernance, communications réservées aux porteurs — et les épingler directement à l'actif on-chain. Les documents publics sont lisibles par tous. Les documents réservés aux porteurs sont chiffrés ; seuls les portefeuilles des détenteurs effectifs reçoivent la clé pour les déverrouiller. Dans les deux cas, la chaîne enregistre une empreinteUne empreinte cryptographique courte et de longueur fixe d'un document — la moindre modification du document produit une empreinte entièrement différente. permanente du document, avec un horodatage. Si quelqu'un tente d'y substituer plus tard une autre version, les porteurs le remarquent immédiatement. Les signatures électroniques régulées par l'UEQualified Electronic Signature — le plus haut niveau de signature électronique régulée par l'UE dans le cadre eIDAS, juridiquement équivalent à une signature manuscrite., les actes notariés ou les signatures PGP peuvent tous pointer vers cette même empreinte — la chaîne n'a pas besoin de comprendre l'objet juridique en lui-même, seulement d'attester ce qui a été signé et quand.

Trois des structures de trading les plus courantes en finance — acheter maintenant (spot), prêter du collatéral contre du cash (repo) et s'engager aujourd'hui à livrer plus tard (forward) — partagent toutes une règle que la chaîne fait respecter : la transaction de dépense doit contenir exactement cette sortie, de ce montant, dans cet actifOP_OUTPUTMATCH — un nouvel opcode Tapscript introduit par TensorCash. Il fait respecter une seule règle : la transaction de dépense doit contenir une sortie d'un montant exact, dans un actif exact, verrouillée à un script exact.. Cette seule règle suffit à exprimer toutes les variantes de ces contrats, sans que la chaîne ait besoin d'un langage de programmation généraliste — et sans les failles de sécurité qui vont avec. La vérification ne porte que sur la transaction en cours : pas de fouille dans l'historique, pas d'état de contrat mutable, rien à exploiter. Les termes de la négociation restent privés jusqu'à l'instant où une jambe du trade est exécutéeUne mise à jour de Bitcoin de 2021 qui maintient le détail d'un contrat caché jusqu'au moment de son exécution — les observateurs ne voient qu'une sortie verrouillée générique. — la chaîne publique ne voit qu'une sortie verrouillée générique, pas le term sheet qui se trouve derrière.

Le portefeuille prend en charge l'intégralité du flux pré- et post-négociation au même endroit. Trois choses se passent en coulisses : d'abord, un réseau de messagerie décentraliséUn protocole de messagerie simple et résistant à la censure, utilisé ici pour diffuser des offres de trading ouvertes sans passer par une plateforme centrale. vous permet de parcourir les offres ouvertes sans passer par une plateforme unique ; ensuite, une fois la contrepartie trouvée, vos portefeuilles ouvrent un canal privé chiffréDeux protocoles cryptographiques bien étudiés (Noise et SPAKE2) qui, ensemble, ouvrent un canal privé authentifié par mot de passe entre deux portefeuilles. que vous seuls pouvez lire ; enfin, une cérémonie cryptographiqueUne transaction qui se conclut soit pour les deux parties, soit pour aucune — jamais à moitié. Construite ici à l'aide de Hash Time-Locked Contracts et de signatures adaptatrices. garantit que la transaction est atomique — soit les deux parties reçoivent ce qu'elles attendaient, soit aucun fonds ne bouge. Une seule page du portefeuille couvre les six étapes du cycle de vie de la négociation — découverte, offres, négociation, gouvernance, discussion et swaps cross-chain. Pour les transactions à cheval sur TensorCash et Ethereum, un smart contract compagnonTensorSwap — un petit contrat Solidity sur l'Ethereum Virtual Machine qui gère le côté Ethereum d'une transaction cross-chain TensorCash↔Ethereum. gère le côté Ethereum.

Dès le tout premier bloc, TensorCash prend en charge deux schémas de signature en parallèle : les mêmes schémas éprouvés que Bitcoin utilise aujourd'huiLes deux schémas de signature déjà utilisés par Bitcoin — ECDSA (historique) et Schnorr (moderne). Tous deux pris en charge dans TensorCash dès le premier jour. et un nouveau schéma résistant au quantiqueML-DSA (NIST FIPS 204) — un schéma de signature conçu pour rester sûr même face à un futur ordinateur quantique. Standardisé par le NIST en 2024. standardisé par le National Institute of Standards and Technology américain en 2024. Les utilisateurs choisissent leur schéma au moment où ils créent une adresse — et les deux restent valides à jamais. Parce que TensorCash a été lancé avec les deux dès le départ (un fork dès le bloc genèse)Une blockchain qui démarre par son propre genesis (bloc zéro) plutôt que de se scinder à partir d'une chaîne existante — ce qui permet d'embarquer de nouvelles règles dès le premier bloc, sans vote de mise à jour., il n'y a aucune mise à jour délicate à venir, aucun vote du réseau à attendre, aucune migration de fonds anciens à effectuer.

Certaines composantes du trading — appariement rapide des ordres, effet de levier, liquidité profonde — ne peuvent pas se faire sur une blockchain à la vitesse qu'exigent les traders sérieux. TensorCash spécifie une couche d'échange séparée, plus rapide, qui s'installe au-dessus de la chaîne. Sa particularité : aucun serveur unique ne voit jamais l'intégralité du carnet d'ordres. Il est fragmenté cryptographiquement entre dix validateurs indépendantsUne technique cryptographique qui répartit un secret entre N parties de sorte que K d'entre elles puissent le reconstituer, mais qu'un nombre inférieur à K n'apprenne rien. Ici, 6 sur 10 entre validateurs indépendants., et il en faut six, agissant de concert, pour intervenir sur le moindre morceau. Aucune partie isolée ne peut espionner les flux d'ordres avant qu'une transaction n'aboutisse, et aucune partie isolée ne peut interrompre les échanges. Une fois une transaction appariée, elle se règle sur la chaîne de base via les mêmes règles d'atomic swap que tout accord bilatéral.

La difficulté de minage monte et descend au rythme du compute IA mobilisé par le réseau : elle fonctionne comme un indice en direct de la demande de compute IA. Deux parties déposent leur marge dans des coffres-forts privésUne mise à jour de Bitcoin de 2021 qui maintient le détail d'un contrat caché jusqu'au moment de son exécution — les observateurs ne voient qu'une sortie verrouillée générique. distincts, et la chaîne les règle contre cette difficulté à un bloc futur fixéLe contrat lit la difficulté à un bloc engagé, déjà suffisamment confirmé — et non au bloc qui le règle — afin qu'aucune des parties ne puisse choisir le moment du règlement autour d'un changement de difficulté. Une fois ce bloc final, le paiement est figé. — résistant à la manipulation, puisque le paiement est verrouillé dès que ce bloc est suffisamment confirmé. La forme la plus simple est un CFD à perte plafonnéeUn contrat sur différence dont la perte est plafonnée : chaque partie dépose son collatéral à l'avance et ne peut perdre que ce montant, sans appel de marge ni liquidation. : prenez une position longue ou courte sur le cycle du compute, et la perte maximale se limite à votre propre marge. Une petite prime versée le premier jour le transforme en optionEn versant une prime unique, le contrat se transforme en call couvert ou put couvert sur le compute IA — la perte de l'acheteur se limite à la prime, et le vendeur l'encaisse en échange du collatéral déposé. — un call couvert ou un put couvert sur le compute. Mineurs et fournisseurs d'IA s'en servent pour couvrir leurs revenus lorsque la difficulté grimpe ; les autres parties prenantes obtiennent une exposition aux tendances du compute IA sans exploiter le moindre GPU. Comme tout le reste ici, le mécanisme est appliqué nativement par le consensus (sans VM de smart contracts)Contrairement à Ethereum et à la plupart des chaînes modernes, TensorCash n'a aucun langage de programmation généraliste pour smart contracts — la surface d'attaque à l'origine de la plupart des piratages DeFi n'existe pas ici., et un règlement coopératif ressemble à un paiement ordinaire.