Proof of AI : un cloud open source qui paie les développeurs sur lesquels il tourne

Deux problèmes durs se tiennent sous chaque pitch d'« IA décentralisée », et la plupart des projets font un signe aux deux.

Le premier : comment faire confiance à un résultat que vous n'avez pas calculé ? Si une machine distante dit « le modèle a sorti X », comment savez-vous qu'elle a bien exécuté le modèle — pas un moins cher, pas des déchets, pas un mensonge en cache ?

Le second est plus discret et, nous le pensons, plus important : toute la pile d'IA est bâtie sur de l'open source que presque personne ne paie. Votre serveur d'inférence, votre tokenizer, votre index vectoriel, votre bibliothèque crypto — écrits par des gens qui ne voient rien du revenu que leur code génère.

Proof of AI (PoAI) est notre réponse au premier. Notre engagement de reversement est notre réponse au second. Ce billet est un récit honnête de ce qui est en ligne aujourd'hui, de ce qui est câblé mais dormant, et de ce qui est encore une feuille de route. Nous serons explicites sur ce qui est quoi — parce que tout l'enjeu est la vérifiabilité.

Ce que Proof of AI prouve vraiment

Le calcul d'IA est fameusement difficile à vérifier parce que l'arithmétique en virgule flottante est non déterministe : le même modèle, la même entrée, le même GPU peuvent produire des nombres légèrement différents selon l'ordre des opérations et l'ordonnancement. On ne peut pas se mettre d'accord sur un nombre qui change à chaque calcul.

PoAI retire le non-déterminisme au lieu d'essayer de prouver autour :

1. Inférence uniquement entière. Les poids et les activations sont quantifiés en int8. L'accumulation est int32, la mise à l'échelle est un décalage arithmétique à droite, les sorties saturent, et les fonctions transcendantes sont des tables de correspondance figées — jamais exp() ni rsqrt(). Le résultat est une passe avant identique bit à bit sur CPU, Metal, CUDA et AMD.

2. Recalcul, pas confiance. Le transformer entier est exposé comme une précompilation EVM. Le modèle de confiance est le plus simple qui existe : chaque validateur réexécute le calcul identique pendant l'exécution du bloc. Si votre sortie ne correspond pas à ce que produit la machine de tout le monde, votre bloc est rejeté. Pas de comité, pas de matériel spécial, pas de preuve à forger.

C'est la variante de PoAI que notre recherche a d'abord décrite dans Proof of AI : le calcul vérifiable comme primitive de consensus (ZIP-002), maintenant livrée comme code.

Cette partie est en ligne

La clé de voûte est une multiplication de matrices int8 déterministe — gemm_i8 — implémentée à l'identique, octet pour octet, en Go, Rust et C++, avec des noyaux GPU (Metal, CUDA, HIP) qui passent les mêmes tests à réponse connue. L'implémentation Go est une précompilation EVM enregistrée à l'adresse 0x0300...0003, importée à blanc par les EVM de Lux, Zoo et Hanzo, si bien que le même chemin d'inférence déterministe est partagé entre les trois chaînes. Une séquence de jetons d'or est affirmée dans chaque langage comme test :

prompt  1 7 13 2  →  4 28 21 17 2 19 43 35 36 15

Si ce vecteur diffère un jour entre deux machines, la CI passe au rouge. Voilà ce que « vérifiable » veut dire en pratique.

Cette partie est une feuille de route honnête

• Taille du modèle. La précompilation sur la chaîne exécute aujourd'hui un petit transformer de référence. Le portage d'un modèle de production (Qwen3-0.6B / zen-nano) est spécifié et en cours — recalculer un modèle de frontière dans chaque validateur n'est pas le but ; les petits modèles vérifiables et la vérification échantillonnée des grands le sont.
• Preuves cryptographiques. Les preuves zkML et l'exécution confidentielle (TEE) sont conçues et ébauchées pour une livraison ultérieure. La garantie d'aujourd'hui est un déterminisme que vous pouvez réexécuter, ce qui est une vraie garantie — simplement pas une preuve succincte.
• Attestation matérielle. Pour les modèles trop grands pour être recalculés sur la chaîne, l'ancre de confiance est une attestation matérielle. L'attestation AMD SEV-SNP est implémentée de bout en bout dans notre pile (vérification complète de la chaîne de certificats contre le service de clés d'AMD) ; Intel TDX et le calcul confidentiel GPU de NVIDIA sont échafaudés, pas finis.

Nous préférons vous dire cela plutôt que publier une diapositive qui dit « IA vérifiée par zk ».

Le reversement open source : 25 %, par conception

Voici l'engagement, et il est dans notre code, pas seulement dans un billet : 75 % du revenu cloud attribuable reste à la plateforme ; 25 % est mis en commun pour les développeurs open source dont les paquets le cloud a réellement exécutés.

Comment l'attribution fonctionne, de bout en bout :

Étape	Ce qui se passe
Construction	Chaque image que notre système de build produit reçoit une nomenclature logicielle (syft → CycloneDX) — le graphe exact des dépendances de ce qui a été livré.
Attribution	Un moteur git blame rattache chaque dépendance à ses auteurs, ligne par ligne, et produit des pourcentages de contribution par auteur.
Mesure	Le cloud mesure déjà l'usage par organisation pour la facturation. Cet usage est la base du coût.
Partage	L'usage est réparti sur le graphe des dépendances, pondéré par la contribution, et 25 % du montant attribuable est réservé aux contributeurs.
Paiement	Les contributeurs sont payés — pour commencer, en crédits Hanzo qui n'expirent pas ; les rails crypto et fiat suivent.

Nous sommes précis sur le statut : le générateur de SBOM, le moteur d'attribution, le partage de 25 %, la mesure et le modèle de paiement existent tous dans le code aujourd'hui. Ce que nous câblons maintenant, c'est le tissu conjonctif — activer l'ingestion des SBOM, planifier l'exécution du paiement, et faire passer de l'argent réel par le rail qui paie déjà des destinataires arbitraires. Les premiers paiements vont aux dépendances sur lesquelles Hanzo Cloud lui-même tourne, comme implémentation de référence.

Reliez votre dépôt, soyez payé

L'état final est en libre-service : connectez un dépôt GitHub, vérifiez qu'il est à vous, choisissez comment vous voulez être payé, et recevez une part chaque fois que Hanzo Cloud exécute un logiciel qui dépend du vôtre. Ce flux d'accueil est la pièce que nous construisons ensuite. Quand elle arrivera, elle sera le sujet littéral du titre de ce billet — et vous pourrez vérifier vos propres gains contre le SBOM qui les a produits.

Faire tourner un nœud, et partager le cloud

Opérateurs de nœuds. Hanzo Node laisse une machine s'inscrire avec une identité cryptographique, annoncer ce qu'elle sait faire, recevoir du travail sur un réseau pair à pair, et être payée pour cela par un règlement en stablecoin (x402). Cette boucle est réelle aujourd'hui pour le travail d'agents et d'outils. Le marché du calcul entièrement mesuré en matériel et attesté — où vous vendez du temps de GPU sous une attestation TEE et réglez sur la chaîne — est la direction, bâtie sur les primitives d'attestation et de règlement ci-dessus, pas un raccourci autour d'elles.

Parrainages et partage. Parrainez un développeur ou une organisation et vous gagnez tous les deux des crédits ; les affiliés gagnent une part par paliers de la dépense parrainée. C'est en ligne dans le système de facturation aujourd'hui, sous contrôle anti-fraude et testé — la même machinerie de partage des revenus sur laquelle le reversement open source s'appuie.

Pourquoi cela compte

Un cloud d'IA qui ne peut pas prouver ses résultats demande une confiance aveugle. Un cloud d'IA qui profite de l'open source sans le payer en retour n'est pas tenable. Proof of AI traite le premier avec le mécanisme le plus ennuyeux et le plus robuste qui existe — le recalcul déterministe — et notre reversement de 25 % traite le second avec un nombre que nous avons écrit dans le code.

Le tableau honnête : le cœur d'inférence vérifiable est livré et testé ; le pipeline de paiement est construit et en train d'être allumé ; les preuves, le portage du grand modèle et la porte en libre-service sont une feuille de route avec de vraies fondations dessous.

Nous continuerons à publier ce qui est réel et à étiqueter ce qui ne l'est pas. C'est la seule façon pour que « Proof of AI » veuille dire quelque chose.

---

Hanzo AI est Techstars '17. L'audit technique derrière ce billet — chaque affirmation rattachée à un fichier et une ligne — est maintenu en interne et conduit le plan de construction.