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
- El mercado de los limones: lo que Akerlof dice de la trazabilidad
La teoría del «mercado de los limones» de George Akerlof (premio Nobel 1970) explica por qué, sin prueba, la calidad invisible de un producto termina pagándose al precio medio — y cómo la trazabilidad responde a ello.
- Por qué la opacidad rinde
Ronald Coase (Nobel 1991), los costes de transacción, y lo que le ocurre a las cadenas alimentarias cuando verificar deja de costar: la renta de opacidad y su fin anunciado.
- Lo que el precio no dice
Hayek (1945): el precio hace circular un saber que nadie posee. Pero no dice ni la calidad ni el camino: no le falta nada al precio, falta un precio.
- ¿A quién pertenece la prueba?
Elinor Ostrom (Nobel 2009), la gobernanza de los comunes, y la pregunta que mató a las plataformas de datos agrícolas: una prueba que vale por su masa solo puede pertenecer a quienes la hacen.
- Por qué los sellos ya no convencen a nadie
Michael Spence (Nobel 2001), la señal costosa, y lo que distingue una prueba de una promesa: por qué un sello que cualquiera puede colocar ya no señala nada — y cómo la prueba cambia las reglas del juego.
- Nadie hace trampa, y ese es justamente el problema
John Nash, el dilema del prisionero y la caza del ciervo: por qué toda una cadena alimentaria se coordina sobre el precio sin que ninguno de sus actores se porte 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.
- Una prueba no es un hecho. Es un camino.
Lo que hace una prueba no es la sinceridad ni la precisión, sino la continuidad: una cadena de transformaciones cuyos eslabones siguen siendo reversibles.
- ¿Quién lleva el registro?
El poder no reside en el saber, sino en el lugar donde convergen las inscripciones. La verdadera pregunta no es «hace falta un registro», sino quién lo audita.
- Una tonelada no es una tonelada
¿Origen o camino? Del duelo local/commodity al crédito de carbono: por qué una tonelada vale lo que vale su lugar, y lo que un índice cambia en un crédito.
- El debate agrícola no es demasiado complejo. Está mal descrito.
Latour y Spinoza: la complejidad agrícola no es un exceso de palabrería en torno a un objeto simple, es un aparato de descripción caducado. Lo que ha cambiado es el coste de lo singular.
- 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.
- Nuestro registro comenzó demasiado tarde
"Vende trazabilidad y no puede probar quién escribe sus artículos." La objeción es válida, y lo que revela es peor que lo que critica.
- Las tres formas de conocer un tomate
Signo, razón, singular: los tres géneros de conocimiento de Spinoza aplicados a un tomate — de la etiqueta al pasaporte digital de producto verificable.
- La opacidad no es una mentira
Qué tiene que ver un filósofo del siglo XVII con la trazabilidad: por qué la opacidad de un origen no es un fraude sino un conocimiento mutilado, que hay que restaurar antes que castigar.
- El número de lote es una glándula pineal
Descartes separaba el pensamiento y la extensión, y luego los volvía a pegar con la glándula pineal. La trazabilidad declarativa hace lo mismo con el número de lote.
- No se tranquiliza. Se sale del miedo.
No se combate un miedo con otro miedo: por qué tranquilizar nunca basta y cómo la prueba permite salir de la desconfianza alimentaria.
- Cuatrocientos mil sensores que no existían
eFishery declaraba 400.000 dispensadores conectados junto a sus estanques. Había 24.000. Lo que su caída dice a quienes venden trazabilidad.
Où c'est mis en œuvre
lib/onchain-anchor.ts- /fr/preuve