💻 computer science

ECO/CPO-DAG: A Contradiction-Based Accountability Layer for Adversarial Supply Chains

Cet article présente ECO/CPO-DAG, un protocole de responsabilité spécifique à un domaine pour les chaînes d'approvisionnement adverses, qui utilise un DAG (graphe orienté acyclique) à ordonnancement causal pour détecter et pénaliser économiquement les contradictions prouvables dans les revendications d'événements signés via des objets de preuve de contradiction auto-vérifiables, tout en distinguant explicitement son rôle de couche de détection de contradictions plutôt que de source de vérité absolue.

Auteurs originaux : Sebastian Cochinescu

Publié 2026-07-09

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Sebastian Cochinescu

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez une chaîne d'approvisionnement mondiale massive comme un gigantesque jeu du « téléphone arabe » joué par des entreprises qui ne se font pas confiance. Une entreprise pharmaceutique envoie des médicaments à un transporteur, qui les envoie à un entrepôt, qui les envoie à un magasin. Chacun tient son propre journal de ce qui s'est passé.

Le problème ? Une entreprise malhonnête pourrait écrire dans son journal : « J'ai expédié 100 comprimés », tout en les gardant secrètement dans un entrepôt chaud. Si elle ne commet jamais d'erreur dans sa propre version des faits, personne ne peut prouver qu'elle a menti.

Ce document présente l'ECO/CPO-DAG, une nouvelle « couche de responsabilité » pour ce jeu. Il ne cherche pas à lire les pensées ou à vérifier la température physique des pilules. Il agit plutôt comme un arbitre super strict qui ne prend les joueurs que lorsqu'ils se contredisent ou enfreignent les règles du jeu.

Voici comment cela fonctionne, décomposé en concepts simples :

1. Le « Journal Signé » (ECO)

Chaque fois qu'une entreprise fait une affirmation (par exemple : « J'ai reçu 100 pilules à 14h00 »), elle l'inscrit dans un journal numérique appelé Event Claim Object (ECO).

La nuance : Ils ne se contentent pas de l'écrire ; ils le signent avec une empreinte numérique unique.
Le secret : Ils peuvent verrouiller les détails dans un « coffre-fort numérique » (un engagement cryptographique). Le journal dit : « J'ai une réclamation concernant 100 pilules », mais personne ne connaît encore le nombre exact ou l'emplacement. Cela permet de protéger les secrets commerciaux jusqu'à ce que quelqu'un les conteste.
La chaîne : Ces journaux sont liés entre eux dans un ordre spécifique (un DAG), comme un arbre généalogique d'événements, afin que tout le monde sache ce qui s'est passé avant quoi.

2. La « Preuve de Contradiction » (CPO)

C'est là que réside la magie centrale. Si deux affirmations s'affrontent, n'importe qui peut construire un Contradiction Proof Object (CPO).

L'analogie : Imaginez deux joueurs qui prétendent avoir été à la même fête au même moment, mais l'un dit qu'il était à Paris et l'autre dit qu'il était à Tokyo.
La preuve : Un tiers (un observateur) peut prendre les deux journaux signés, ouvrir les « coffres-forts numériques » juste assez pour voir les lieux, et dire : « Regardez ! Ces deux histoires ne peuvent pas être vraies simultanément. »
Le résultat : Cette preuve est auto-vérifiable. Elle n'a pas besoin d'un juge pour l'examiner ; les mathématiques prouvent immédiatement le mensonge.

3. Le « Pari » (Cryptoeconomie)

Pour empêcher les gens de mentir, chaque participant dépose une mise (un dépôt d'argent) avant de commencer à jouer.

La règle : Si vous êtes pris en flagrant délit de contradiction que vous avez signée, votre argent est « slashed » (confisqué) et donné à la personne qui vous a démasqué.
Le bémol : Vous ne perdez de l'argent que si la contradiction est votre faute.
- Scénario A : Vous signez une réclamation disant « Je suis à Paris », puis plus tard vous signez une autre disant « Je suis à Tokyo ». Vous êtes pris en train de mentir. Vous perdez votre argent.
- Scénario B : Vous dites « Je suis à Paris », et une autre entreprise dit « Je suis à Tokyo ». Le système voit une contradiction, mais il ne sait pas qui ment. Il crée un drapeau « Peut-être ». Personne ne perd d'argent automatiquement. Ils doivent porter l'affaire devant un tribunal humain (hors chaîne/off-chain) pour décider.

4. Ce qu'il peut et ne peut pas faire

Les auteurs sont très honnêtes quant aux limites de leur invention.

Ce qu'il FAIT : Il détecte les incohérences. Si un menteur fait une erreur et écrit deux choses qui ne peuvent pas être vraies en même temps, il est pris. Il crée un fichier de « preuve portable » qui prouve que le mensonge a eu lieu.
Ce qu'il NE FAIT PAS : Il ne peut pas attraper un menteur cohérent. Si un acteur malveillant ment parfaitement à chaque fois (par exemple, il prétend toujours que les pilules étaient froides, même quand elles étaient chaudes, et ne se contredit jamais), ce système ne verra rien. Il ne peut pas vérifier la « vérité terrain » (la réalité physique réelle).
- Analogie : Ce système est comme un arbitre qui ne siffle que si un joueur marche sur son propre pied. Il ne détectera pas un joueur qui triche en changeant secrètement le ballon, à moins que le joueur n'écrive accidentellement deux scores différents pour le même match.

5. Confidentialité et Sécurité

Confidentialité : Vous n'avez pas à révéler vos secrets (comme les prix exacts ou les itinéraires) à moins d'être accusé. Le système utilise des « verrous magiques » qui permettent de prouver qu'une règle a été transgressée sans pour autant montrer toute l'histoire.
Pas de fausses accusations : Le papier prouve mathématiquement qu'une personne honnête qui ne se contredit jamais ne perdra jamais son argent, même si quelqu'un tente de lui tendre un piège.

Résumé

ECO/CPO-DAG est un outil pour les chaînes d'approvisionnement qui dit : « Nous ne pouvons pas garantir que vous dites la vérité sur le monde réel, mais nous pouvons garantir que si vous racontez deux histoires différentes sur la même chose, vous en paierez le prix fort. »

Il transforme l'acte de mentir de manière incohérente en une mission suicide financière, encourageant les entreprises à tenir leurs propres registres de manière rigoureuse, tout en laissant la tâche de la vérification des biens physiques réels à d'autres systèmes (comme des capteurs de confiance ou des auditeurs).

Résumé Technique : ECO/CPO-DAG

Énoncé du Problème

Les chaînes d'approvisionnement opèrent dans des environnements adverses où des parties ne se faisant pas confiance doivent compter sur les registres des autres. Bien que la traçabilité basée sur la blockchain offre des registres infalsifiables, elle échoue à résoudre le « problème de l'oracle » : un registre peut garantir qu'une partie a déclaré quelque chose, mais ne peut garantir que cette déclaration correspond à la réalité physique. Les solutions existantes tentent souvent de vérifier les affirmations par rapport à une vérité de terrain ou s'appuient sur des mécanismes de consensus complexes, pourtant l'incitation économique à la fausse déclaration demeure.

Le document pose une question plus étroite et traitable : comment décourager économiquement les contradictions prouvables dans des chaînes d'approvisionnement semi-fiables sans tenter de vérifier les affirmations par rapport à une vérité de terrain ? Une contradiction prouvable est définie comme une paire de déclarations signées par des parties identifiables qui ne peuvent être vraies simultanément selon une règle de domaine spécifique (par exemple, un lot unique déclaré comme provenant de deux régions mutuellement exclusives, ou une quantité scellée qui augmente inexplicablement entre deux événements de garde).

Méthodologie

Les auteurs proposent ECO/CPO-DAG, une couche de responsabilité spécifique au domaine qui formalise la détection de contradictions comme un mécanisme de validation supplémentaire plutôt que comme un protocole de consensus.

Architecture Centrale

Objets de Déclaration d'Événement (ECO - Event Claim Objects) : Les participants publient des déclarations signées dans un graphe orienté acyclique (DAG) à ordre causal et à ajout uniquement.
- Chaque ECO contient un engagement envers la charge utile de la déclaration (utilisant des engagements de Pedersen pour la confidentialité), un horodatage à horloge logique hybride, des références de parents causaux et une signature numérique.
- Le DAG n'est pas utilisé pour un accord global ou un ordonnancement total ; chaque participant maintient sa propre vue locale.
Objets de Preuve de Contradiction (CPO - Contradiction Proof Objects) : Lorsqu'un observateur détecte deux ECO concernant le même sujet qui violent une contrainte de domaine, il compile un CPO.
- Un CPO est un objet auto-vérifiable liant les deux déclarations signées, la règle violée et l'identité du contestataire.
- Il peut être vérifié par n'importe qui sans avoir besoin d'accéder aux biens physiques, en se basant uniquement sur les signatures cryptographiques et la règle de domaine.
Contraintes de Domaine : Le protocole mappe cinq classes de contraintes vers la sémantique des événements GS1 EPCIS 2.0 :
- Spatiale : Deux emplacements pour un même sujet à un instant donné.
- Temporelle : Rétrodatage (temps affirmés contredisant l'ordre de causalité "happened-before").
- Quantité : Violations de conservation (les sorties dépassant les entrées pour un même émetteur).
- Qualité : Affirmations de conditions auto-contradictoires (ex: assertion de chaîne du froid continue vs journal d'excursion).
- Réglementaire : Assertions de conformité contredites par des enregistrements de révocation ou d'expiration.

Mécanisme Économique

Le système emploie un mécanisme de "slashing" (pénalité) pour décourager les comportements malveillants :

Mise en gage (Staking) : Les participants déposent une mise $S$ proportionnelle à la valeur de leur transaction et à leur historique de risque.
Dissuasion : Mentir est découragé si l'utilité attendue du mensonge est négative. Le document dérive une condition $S > \frac{1-p}{p}g$ (où $p$ est la probabilité de détection et $g$ le gain issu du mensonge).
Blâme Déterminé : Le slashing se produit uniquement lorsque le blâme est déterminé. Cela est restreint à :
1. L'équivocation de soi-même : Un seul émetteur signe deux déclarations conjointement impossibles à satisfaire.
2. Violations de conservation : Les déclarations d'entrée/sortie d'un seul émetteur violent le bilan de masse ( $P_{outputs} > P_{inputs}$ ).
- Les contradictions entre différents émetteurs ou les cas ambigus résultent en un CPO avec un blâme $\perp$ (ambigu), servant de preuve portable pour l'arbitrage hors-chaîne plutôt que de déclencher un slashing automatique sur la chaîne.

Couche de Confidentialité

Le protocole supporte la divulgation sélective :

Engagements : Les charges utiles des déclarations restent cachées via des engagements de Pedersen jusqu'à ce qu'elles soient contestées.
Preuves à connaissance nulle (ZK) : Les contestataires peuvent prouver qu'une contradiction existe (ex: une violation de quantité) sans révéler les données sous-jacentes, en utilisant des preuves succinctes (ex: Groth16 ou Bulletproofs).
Niveaux de Divulgation : Les champs peuvent être publics, faire l'objet d'une divulgation sélective ou être vérifiés via ZK. Le document note explicitement que certaines contraintes (comme la dégradation de la qualité au fil de la chaîne) ne peuvent pas être vérifiées de manière privée sans ouvrir les données.

Principales Contributions

Modèle Formel : Une formalisation de la responsabilité basée sur la contradiction utilisant des ECO signés dans un DAG et des CPO auto-vérifiables.
Mapping de Domaine : Un mapping concret de cinq classes de contraintes vers les types d'événements GS1 EPCIS 2.0, rendant opérationnelle la revendication de "spécificité au domaine".
Analyse Économique : Dérivation des conditions de dissuasion sous des adversaires rationnels et de collusion à $k$ parties, établissant la relation entre la mise, la probabilité de détection et le gain.
Intégration de la Confidentialité : Une couche de confidentialité utilisant des schémas d'engagement et des preuves ZK optionnelles, avec une taxonomie explicite des exigences de divulgation par classe de contrainte.
Validation Analytique et Empirique :
- Un modèle de détection analytique ( $1 - (1-p_{min})^h$ ) montrant comment la couverture évolue avec le nombre d'observateurs honnêtes ( $h$ ).
- Une implémentation de référence sur une seule machine qui corrobore le modèle de détection par rapport aux mesures, affichant zéro fausse accusation et validant les bandes de couverture prédites.

Résultats

Couverture de Détection : Le modèle analytique prédit que la probabilité de détection augmente avec le nombre d'observateurs indépendants. L'implémentation de référence a confirmé cela : avec une probabilité de détection mesurée pour un seul observateur ( $\hat{p}_{min}$ ) d'environ $0,50$, la couverture prédite pour plusieurs observateurs chevauchait les intervalles de confiance à 95 % mesurés à chaque nombre d'observateurs.
Fausses Accusations : Sur l'ensemble des exécutions, le système a enregistré zéro fausse accusation. La précision était de 1,000 ; tous les CPO générés étaient de véritables contradictions.
Résolution du Blâme : Le système a correctement distingué les cas passibles de slashing (auto-équivocation, violations de conservation par un seul émetteur) des cas ambigus ( $\perp$ ), acheminant ces derniers vers l'arbitrage hors-chaîne sans pénaliser les parties honnêtes.
Stockage : Selon les hypothèses énoncées (10 000 ECO/jour, ~256 octets/objet), la croissance du stockage est estimée à environ 1 Go par participant par an.
Performance : La génération de CPO en clair prend environ 1,5 $\mu$ s, et la vérification prend 1,1 ms. Les preuves à connaissance nulle (en utilisant une implémentation MODP/Sigma conservatrice) ont nécessité environ 2,1 secondes pour la preuve et la vérification.

Signification et Portée

Le document positionne ECO/CPO-DAG comme une couche d'audit complémentaire, et non comme un remplacement de la vérification de la source ou de l'agrégation d'oracles. Sa signification réside dans la fourniture d'un mécanisme pour pénaliser économiquement les incohérences prouvables sans nécessendre un consensus d'ordre total ou un accès à la vérité de terrain.

Limites et Frontières Explicites :

L'angle mort du "Menteur Cohérent" : La couche ne peut pas détecter une partie qui ment de manière cohérente sans se contredire elle-même. Si une partie n'émet jamais de déclarations conflictuelles, elle reste invisible pour ce protocole. Les auteurs précisent qu'il s'agit d'une limite intrinsèque, et non d'un défaut.
Ambiguïté du Blâme : Les contradictions entre deux émetteurs différents (où aucun ne s'équivoque lui-même) ne peuvent pas être automatiquement sanctionnées sur la chaîne ; elles servent de preuve pour une résolution hors-chaîne.
Nature Analytique : Le document est explicite sur le fait que ses affirmations quantitatives (probabilité de détection, stockage, coûts ZK) sont des sorties de modèles ou des limites supérieures conservatrices (par exemple, en utilisant des protocoles Sigma naïfs plutôt que des Bulletproofs basés sur des courbes). L'implémentation de référence est une preuve de concept sur une seule machine, et non un réseau de production.

En résumé, ECO/CPO-DAG offre un primitif cryptographiquement fondé pour la responsabilité de la chaîne d'approvisionnement, transformant les contradictions prouvables en pénalités économiques, en opérant strictement dans les limites de ce qui peut être détecté via l'incohérence logique plutôt que par la vérification physique.