Preuve
Chez VeraTrace, une preuve n'est pas une affirmation de confiance mais un chemin rejouable : une donnée, son empreinte, une signature vérifiable avec une clé publiée, et l'inclusion de cette empreinte dans un lot ancré. Chacun de ces maillons se recontrôle sans nous demander notre avis. Une donnée exacte mais non signée n'est pas une preuve au sens de ce vocabulaire ; c'est une déclaration.
Aussi appelé : chemin de preuve, vérifiabilité
Le blog en donne la lecture longue dans « Une preuve n'est pas un fait, c'est un chemin ».
Notions liées
Équivalents ailleurs
- Proche de Wikidata
Ce que dit le blog
- Le marché des citrons : ce qu’Akerlof dit de la traçabilité
La théorie du « marché des citrons » de George Akerlof (prix Nobel 1970) explique pourquoi, sans preuve, la qualité invisible d’un produit finit payée au prix moyen — et comment la traçabilité y répond.
- Pourquoi l’opacité rapporte
Ronald Coase (Nobel 1991), les coûts de transaction, et ce qui arrive aux chaînes alimentaires quand vérifier ne coûte plus rien : la rente d’opacité et sa fin annoncée.
- Ce que le prix ne dit pas
Hayek (1945) : le prix fait circuler un savoir que personne ne détient. Mais il ne dit ni la qualité ni le chemin : il ne manque rien au prix, il manque un prix.
- À qui appartient la preuve ?
Elinor Ostrom (Nobel 2009), la gouvernance des communs, et la question qui a tué les plateformes de données agricoles : une preuve qui vaut par sa masse ne peut appartenir qu’à ceux qui la font.
- Pourquoi les labels ne convainquent plus personne
Michael Spence (Nobel 2001), le signal coûteux, et ce qui distingue une preuve d’une promesse : pourquoi un label que tout le monde peut apposer ne signale plus rien — et comment la preuve change la donne.
- Personne ne triche, et c’est bien le problème
John Nash, le dilemme du prisonnier et la chasse au cerf : pourquoi une filière entière se coordonne sur le prix sans qu’aucun de ses acteurs se conduise mal.
- Il se peut que le progrès soit le développement d’une erreur
En 1962, Cocteau adresse une phrase à l’an 2000. Prise au sérieux avec Haber-Bosch : une réussite peut être le début du problème suivant.
- Orphée et le regard en arrière
Le mythe d’Orphée interdit de vérifier ce qu’on croit savoir. Une lecture de cette règle — via Cocteau et un capteur de température — pour distinguer une donnée d’une preuve.
- Une preuve n’est pas un fait. C’est un chemin.
Ce qui fait une preuve n’est pas la sincérité ni la précision, mais la continuité : une chaîne de transformations dont chaque maillon reste réversible.
- Qui tient le registre ?
Le pouvoir ne loge pas dans le savoir mais dans le lieu où les inscriptions convergent. La vraie question n’est pas « faut-il un registre », mais qui l’audite.
- Une tonne n’est pas une tonne
Origine ou chemin ? Du duel local/commodity au crédit carbone : pourquoi une tonne vaut ce que vaut son lieu, et ce qu’un index change à un crédit.
- Le débat agricole n’est pas trop complexe. Il est mal décrit.
Latour et Spinoza : la complexité agricole n’est pas un excès de bavardage autour d’un objet simple, c’est un appareil de description périmé. Ce qui a changé, c’est le coût du singulier.
- Conforme. Puis : montre-moi.
Rabelais fait purger Gargantua avant de l’instruire. Ce que ce détail dit d’un système de conformité qu’on croit corriger en ajoutant des champs.
- La moelle inventée
Mirapolis avait dressé un Gargantua de 33 mètres. Rabelais avait prévenu : le risque n’est pas seulement de rester à la surface, c’est d’inventer le fond.
- Signer, relier, publier
Un système de preuve fait trois choses distinctes. Pourquoi la signature vient d’abord, pourquoi relier fait le vrai travail, et à quel moment une chaîne devient nécessaire.
- Gaster, premier maître ès arts du monde
Rabelais fait de la faim l’inventeur de tous les arts. Ce que ça dit de nos outils de preuve : on n’invente pas pour convaincre, mais parce qu’on ne peut pas.
- Le catalogue des livres qui n’existent pas
Rabelais énumère 217 jeux, puis catalogue une bibliothèque d’ouvrages imaginaires. Ce qu’un registre trop nourri finit par prouver — et de qui il parle.
- Fais ce que voudras
Thélème n’a ni murailles ni horloge — mais une porte avec une liste. Ce que ça dit d’un système de preuve : la vraie question est où l’on place la porte.
- Notre registre commençait trop tard
« Vous vendez de la traçabilité et vous ne pouvez pas prouver qui écrit vos articles. » L’objection est juste, et ce qu’elle révèle est pire que ce qu’elle vise.
- Les trois façons de connaître une tomate
Signe, raison, singulier : les trois genres de connaissance de Spinoza appliqués à une tomate — de l’étiquette au passeport produit vérifiable.
- L’opacité n’est pas un mensonge
Ce qu’un philosophe du XVIIᵉ siècle a à voir avec la traçabilité : pourquoi l’opacité d’une origine n’est pas une fraude mais une connaissance mutilée, à restaurer plutôt qu’à punir.
- Le numéro de lot est une glande pinéale
Descartes séparait la pensée et l’étendue, puis les recollait par la glande pinéale. La traçabilité déclarative fait de même avec le numéro de lot.
- On ne se rassure pas. On sort de la peur.
On ne combat pas une peur par une autre peur : pourquoi rassurer ne suffit jamais et comment la preuve fait sortir de la défiance alimentaire.
- Quatre cent mille capteurs qui n’existaient pas
eFishery déclarait 400 000 distributeurs connectés au bord des bassins. Il y en avait 24 000. Ce que sa chute dit à ceux qui vendent de la traçabilité.
Où c'est mis en œuvre
lib/onchain-anchor.ts- /fr/preuve