Ce qu'un reçu prouve (et ce qu'il ne prouve pas)

Quand un hôte termine un job, il écrit un reçu et le signe avec une clé générée sur sa propre machine — une clé qui ne la quitte jamais. Le reçu enregistre le modèle, le build exact, les comptes de tokens et les temps.

Vérifiez-en un vous-même

$ mahout receipts verify
  br_2c13a431c1d40d88  qwen3.8-27b  96 tokens  signature ok

Cela tourne hors ligne, contre la clé publique de votre propre fichier d'identité. Rien là-dedans ne dépend de votre confiance en nous : les maths passent, ou elles ne passent pas.

Ce que ça prouve

• Cette machine revendique ce travail. La signature lie les comptes de tokens à une clé d'hôte précise : des gains ne peuvent pas être attribués à la mauvaise machine.
• Les nombres n'ont pas été édités après coup. Ni par l'hôte, ni par nous. Un reçu retouché échoue à la vérification.
• Quel build a servi. Le reçu porte le SHA-256 du fichier de modèle exact : « quelle quantisation m'a répondu » a une réponse.
• Vos gains sont dérivés, pas déclarés. Le registre est plié depuis les reçus ; si les deux divergeaient un jour, les reçus font foi.

Ce que ça ne prouve pas

Une signature dit cet hôte a déclaré ceci. Elle ne prouve pas, à elle seule, que le modèle a réellement tourné — un hôte malhonnête pourrait signer des chiffres plausibles pour du travail jamais fait. C'est une vraie limite, et nous préférons la nommer que laisser un mot cryptographique faire un travail qu'il ne peut pas faire.

Ce qui ferme cet écart, c'est la vérification de la sortie elle-même : la réplication échantillonnée contre des machines de confiance, et les engagements d'activations (la construction TOPLOC) où le moteur prouve qu'il a calculé ce qu'il dit avoir calculé. Les deux sont conçus ; la réplication est l'étape proche. D'ici là, reçus plus réputation sont ce qui sépare le pool d'un mauvais acteur, et la politique de versement le reflète.

Alors pourquoi s'embêter

Parce que l'alternative — « croyez notre dashboard » — est ce que toute autre place de marché offre, et elle ne donne à un hôte aucun moyen de rien vérifier. Un reçu vérifiable hors ligne transforme un chiffre mensuel en une créance auditable ligne par ligne. Cela signifie aussi qu'une erreur de notre côté est découvrable plutôt qu'invisible — une discipline sous laquelle nous voulons être.