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
- Rynek cytryn: co Akerlof mówi o identyfikowalności
Teoria „rynku cytryn” Georga Akerlofa (Nagroda Nobla 1970) wyjaśnia, dlaczego bez dowodu niewidoczna jakość produktu kończy jako opłacana po cenie średniej — i jak odpowiada na to identyfikowalność.
- Dlaczego nieprzejrzystość się opłaca
Ronald Coase (Nobel 1991), koszty transakcyjne i to, co dzieje się z łańcuchami żywnościowymi, gdy weryfikacja przestaje cokolwiek kosztować: renta nieprzejrzystości i jej zapowiedziany koniec.
- Czego nie mówi cena
Hayek (1945): cena rozprowadza wiedzę, której nikt nie posiada w całości. Ale nie mówi ani o jakości, ani o drodze: cenie niczego nie brakuje, brakuje ceny.
- Do kogo należy dowód?
Elinor Ostrom (Nobel 2009), zarządzanie dobrami wspólnymi i pytanie, które zabiło platformy danych rolniczych: dowód, którego wartość bierze się z masy, może należeć tylko do tych, którzy go tworzą.
- Dlaczego etykiety nikogo już nie przekonują
Michael Spence (Nobel 2001), kosztowny sygnał i to, co odróżnia dowód od obietnicy: dlaczego etykieta, którą może nakleić każdy, nie sygnalizuje już niczego — i jak dowód zmienia reguły gry.
- Nikt nie oszukuje — i to właśnie jest problem
John Nash, dylemat więźnia i polowanie na jelenia: dlaczego cały łańcuch żywnościowy koordynuje się wokół ceny, choć żaden z jego uczestników nie postępuje źle.
- 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.
- Dowód nie jest faktem. Jest drogą.
To, co czyni dowód dowodem, to nie szczerość ani precyzja, lecz ciągłość: łańcuch przekształceń, w którym każde ogniwo pozostaje odwracalne.
- Kto prowadzi rejestr?
Władza nie tkwi w wiedzy, lecz w miejscu, w którym zbiegają się zapisy. Prawdziwe pytanie brzmi nie „czy potrzebny jest rejestr”, lecz kto go kontroluje.
- Tona nie jest toną
Pochodzenie czy droga? Od pojedynku lokalne kontra commodity po kredyt węglowy: dlaczego tona jest warta tyle, ile jej miejsce, i co index zmienia w kredycie.
- Debata rolnicza nie jest zbyt złożona. Jest źle opisana.
Latour i Spinoza: złożoność rolnictwa to nie nadmiar gadania wokół prostego przedmiotu, lecz przestarzały aparat opisu. To, co się zmieniło, to koszt jednostkowości.
- 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.
- Nasz rejestr rozpoczął się zbyt późno
"Sprzedajesz śledzenie, a nie możesz udowodnić, kto pisze Twoje artykuły." Zarzut jest słuszny, a to, co ujawnia, jest gorsze od tego, co krytykuje.
- Trzy sposoby poznania pomidora
Znak, rozum, jednostkowość: trzy rodzaje poznania Spinozy zastosowane do pomidora — od etykiety po weryfikowalny paszport produktu.
- Nieprzejrzystość nie jest kłamstwem
Co filozof XVII wieku ma wspólnego z identyfikowalnością: dlaczego nieprzejrzystość pochodzenia nie jest oszustwem, lecz okaleczoną wiedzą — którą należy przywrócić, a nie karać.
- Numer partii jest szyszynką
Descartes oddzielał myśl od rozciągłości, po czym sklejał je z powrotem za pomocą szyszynki. Identyfikowalność deklaratywna robi to samo za pomocą numeru partii.
- Nie uspokaja się. Wychodzi się ze strachu.
Strachu nie zwalcza się innym strachem: dlaczego uspokajanie nigdy nie wystarcza i jak dowód pozwala wyjść z żywnościowej nieufności.
- Czterysta tysięcy czujników, których nie było
eFishery deklarowała 400 000 podłączonych karmników przy swoich stawach. Było ich 24 000. Co jej upadek mówi tym, którzy sprzedają identyfikowalność.
Où c'est mis en œuvre
lib/onchain-anchor.ts- /fr/preuve