💻 computer science

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

Dit artikel introduceert ECO/CPO-DAG, een domeinspecifiek verantwoordelijkheidsprotocol voor adversariële toeleveringsketens dat een causaal geordende DAG gebruikt om aantoonbare tegenstrijdigheden in ondertekende gebeurtenisclaims te detecteren en economisch te bestraffen via zelfverificerende Tegenstrijdigheidsbewijsobjecten, terwijl het zijn rol expliciet onderscheidt als een laag voor detectie van tegenstrijdigheden in plaats van een bron van absolute waarheid.

Oorspronkelijke auteurs: Sebastian Cochinescu

Gepubliceerd 2026-07-09

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Sebastian Cochinescu

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een enorme, wereldwijde toeleveringsketen voor als een gigantisch spelletje "Telefoontje" gespeeld door bedrijven die elkaar niet vertrouwen. Een farmaceutisch bedrijf stuurt medicijnen naar een vrachtwagenchauffeur, die ze stuurt naar een magazijn, dat ze weer stuurt naar een winkel. Iedereen houdt zijn eigen dagboek bij van wat er is gebeurd.

Het probleem? Een onbetrouwbaar bedrijf zou in zijn dagboek kunnen schrijven: "Ik heb 100 pillen verzonden," terwijl ze stiekem in een heet magazijn zijn gehouden. Als ze nooit een fout maken in hun eigen verhaal, kan niemand bewijzen dat ze hebben gelogen.

Dit artikel introduceert ECO/CPO-DAG, een nieuwe "verantwoordingslaag" voor dit spel. Het probeert niet gedachten te lezen of de fysieke temperatuur van de pillen te controleren. In plaats daarvan fungeert het als een superstrenge scheidsrechter die spelers alleen betrapt wanneer ze zichzelf tegenspreken of de regels van het spel overtreden.

Hier is hoe het werkt, onderverdeeld in eenvoudige concepten:

1. Het "Getekende Dagboek" (ECO)

Elke keer dat een bedrijf een bewering doet (bijv. "Ik heb 100 pillen ontvangen om 14:00 uur"), schrijven ze dit in een digitaal dagboek genaamd een Event Claim Object (ECO).

De Twist: Ze schrijven het niet alleen op; ze voorzien het van een unieke digitale vingerafdruk.
Het Geheim: Ze kunnen de details vergrendelen in een "digitale kluis" (een cryptografische commitment). Het dagboek zegt: "Ik heb een bewering over 100 pillen," maar niemand weet het exacte aantal of de locatie nog niet. Dit houdt bedrijfsgeheimen veilig totdat iemand hen uitdaagt.
De Keten: Deze dagboeken zijn aan elkaar gekoppeld in een specifieke volgorde (een DAG), zoals een stamboom van gebeurtenissen, zodat iedereen weet wat vóór wat gebeurde.

2. Het "Tegenspraakbewijs" (CPO)

Dit is de kern van de magie. Als twee beweringen met elkaar botsen, kan iedereen een Contradiction Proof Object (CPO) opstellen.

De Analogie: Stel je voor dat twee spelers beweren dat ze op hetzelfde feestje waren op hetzelfde moment, maar de één zegt dat hij in Parijs was en de ander zegt dat hij in Tokio was.
Het Bewijs: Een derde partij (een waarnemer) kan beide getekende dagboeken nemen, de "digitieve kluizen" net genoeg openen om de locaties te zien, en zeggen: "Kijk! Deze twee verhalen kunnen niet beide waar zijn."
Het Resultaat: Dit bewijs is zelfverifiërend. Het heeft geen rechter nodig om ernaar te kijken; de wiskunde bewijst de leugen onmiddellijk.

3. De "Weddenschap" (Cryptoeconomics)

Om mensen te weerhouden van liegen, legt elke deelnemer een stake (een borgsom) in voordat ze aan het spel beginnen.

De Regel: Als je wordt betrapt op een tegenspraak die jij hebt ondertekend, wordt je geld geslantched (afgenomen) en gegeven aan de persoon die je heeft betrapt.
De Nuance: Je verliest alleen geld als de tegenspraak jouw schuld is.
- Scenario A: Je ondertekent een bewering waarin je zegt: "Ik ben in Parijs," en later onderteken je een bewering waarin je zegt: "Ik ben in Tokio." Je bent betrapt op liegen. Je verliest je geld.
- Scenario B: Jij zegt: "Ik ben in Parijs," en een ander bedrijf zegt: "Ik ben in Tokio." Het systeem ziet een tegenspraak, maar weet niet wie er liegt. Het creëert een "Misschien"-vlag. Niemand verliest automatisch geld. Ze moeten dit naar een menselijke rechtbank brengen (off-chain) om een beslissing te krijgen.

4. Wat het wel en niet kan

De auteurs zijn zeer eerlijk over de beperkingen van hun uitvinding.

Wat het WEL doet: Het vangt inconsistenties op. Als een leugenaar een foutje maakt en twee dingen opschrijft die niet beide waar kunnen zijn, wordt hij betrapt. Het creëert een "draagbaar bewijs"-bestand dat bewijst dat de leugen heeft plaatsgevonden.
Wat het NIET doet: Het kan een consistente leugenaar niet vangen. Als een kwaadwillende actor perfect liegt (bijv. ze beweren altijd dat de pillen koud waren, zelfs toen ze warm waren, en spreekt zichzelf nooit tegen), dan ziet dit systeem niets fout. Het kan de "grondwaarheid" (de werkelijke fysieke realiteit) niet controleren.
- Analogie: Dit systeem is als een scheidsrechter die alleen fluit als een speler op zijn eigen voet stapt. Het zal een speler die vals speelt door stiekem de bal te verwisselen niet betrappen, tenzij de speler per ongels twee verschillende scores voor dezelfde wedstrijd opschrijft.

5. Privacy en Veiligheid

Privacy: Je hoeft je geheimen (zoals exacte prijzen of routes) niet te onthullen, tenzij je wordt beschuldigd. Het systeem gebruikt "magische sloten" waarmee je kunt bewijzen dat een regel is overtreden zonder het hele verhaal te laten zien.
Geen valse beschuldigingen: Het papier bewijst wiskundig dat een eerlijk persoon die zichzelf nooit tegenspreekt, nooit zijn geld zal verliezen, zelfs niet als iemand probeert hem erin te luizen.

Samenvatting

ECO/CPO-DAG is een hulpmiddel voor toeleveringsketens dat zegt: "We kunnen niet garanderen dat je de waarheid spreekt over de echte wereld, maar we kunnen wel garanderen dat als je twee verschillende verhalen vertelt over hetzelfde ding, je een zware prijs betaalt."

Het maakt van inconsistent liegen een financiële zelfmoordmissie, wat bedrijven aanmoedigt om hun eigen gegevens op orde te houden, terwijl de taak om de werkelijke fysieke goederen te verifiëren wordt overgelaten aan andere systemen (zoals vertrouwde sensoren of auditors).

Technische Samenvatting: ECO/CPO-DAG

Probleemstelling

Toeleveringsketens opereren in vijandige omgevingen waarin wederzijds wantrouwende partijen op elkaars gegevens moeten vertrouwen. Hoewel blockchain-gebaseerde traceerbaarheid zorgt voor onveranderlijke grootboeken, lost het het "oracle-probleem" niet op: een grootboek kan garanderen dat een partij iets heeft gezegd, maar kan niet garanderen dat die bewering overeenkomt met de fysieke realiteit. Bestaande oplossingen proberen vaak claims te verifiëren tegen de grondwaarheid of vertrouwen op complexe consensusmechanismen, maar de economische prikkel om onjuiste informatie te rapporteren blijft bestaan.

Het artikel stelt een nauwer, behapbaar vraagstuk: Hoe kunnen we bewijsbare tegenstrijdigheden in semi-vertrouwde toeleveringsketens economisch ontmoedigen zonder te proberen claims te verifiëren tegen de grondwaarheid? Een bewijsbare tegenstrijdigheid wordt gedefinieerd als een paar ondertekende claims van identificeerbare partijen die niet beide waar kunnen zijn onder een specifieke domeinregel (bijv. een enkel partijnummer dat aan twee wederzijds uitsluitende regio's wordt toegewezen, of een verzegelde hoeveelheid die onverklaarbaar groeit tussen bewaringsevenementen).

Methodologie

De auteurs stellen ECO/CPO-DAG voor, een domeinspecifieke verantwoordingslaag die de detectie van tegenstrijdigheden formaliseert als een aanvullend verificatiemechanisme in plaats van een consensusprotocol.

Kernarchitectuur

Event Claim Objects (ECO's): Deelnemers publiceren ondertekende claims in een causaal geordende, append-only Directed Acyclic Graph (DAG).
- Elke ECO bevat een commitment aan de claim-payload (met behulp van Pedersen-commitments voor privacy), een hybride logische klokstempel, causale ouder-referenties en een digitale handtekening.
- De DAG wordt niet gebruikt voor globale overeenstemming of totale ordening; elke deelnemer onderhoudt een lokale weergave.
Contradiction Proof Objects (CPO's): Wanneer een waarnemer twee ECO's met betrekking tot hetzelfde onderwerp detecteert die een domeinrestrictie schenden, stelt hij een CPO samen.
- Een CPO is een zelfverifiërend object dat de twee ondertekende claims, de overtreden regel en de identiteit van de uitdager aan elkaar bindt.
- Het kan door iedereen worden geverifieerd zonder toegang nodig te hebben tot de fysieke goederen, enkel door vertrouwen op de cryptografische handtekeningen en de domeinregel.
Domeinrestricties: Het protocol koppelt vijf restrictieklassen aan GS1 EPCIS 2.0 event-semantiek:
- Ruimtelijk: Twee locaties voor één subject op één moment.
- Temporeel: Achterdatering (geëxtrapoleerde tijden die de "happened-before" volgorde tegenspreken).
- Hoeveelheid: Schendingen van behoud (outputs die inputs overtreffen voor dezelfde uitgever).
- Kwaliteit: Zelf-tegensprekende conditieclaims (bijv. een continue koudeketen-bewering versus een logboek van temperatuurafwijkingen).
- Regulering: Compliance-beweringen die worden tegengesproken door intrekkings- of vervaldatumrecords.

Cryptoeconomisch Mechanisme

Het systeem maakt gebruik van een slashing-mechanisme om kwaadwillig gedrag af te schrikken:

Staking: Deelnemers storten een inzet $S$ die proportioneel is aan hun transactiewaarde en risicohistorie.
Afschrikking: Liegen wordt ontmoedigd als het verwachte nut van liegen negatief is. Het artikel leidt een conditie af: $S > \frac{1-p}{p}g$ (waarbij $p$ de detectiekans is en $g$ de winst uit liegen).
Determinate Blame (Bepaalbare Schuld): Slashing vindt alleen plaats wanneer de schuld bepaalbaar is. Dit is beperkt tot:
1. Zelf-equivocatie: Een enkele uitgever ondertekent twee gezamenlijk onverenigbare claims.
2. Behoudsschendingen: Claims van een enkele uitgever waarbij de input/output de massa-balans schenden ( $P_{outputs} > P_{inputs}$ ).
- Tegenstrijdigheden tussen verschillende uitgevers of ambigue gevallen resulteren in een CPO met $\perp$ (ambigue) schuld, wat dient als verplaatsbaar bewijs voor off-chain arbitrage in plaats van het automatisch triggeren van on-chain slashing.

Privacy-laag

Het protocol ondersteunt selectieve openbaarmaking:

Commitments: Claim-payloads blijven verborgen via Pedersen-commitments totdat ze worden uitgedaagd.
Zero-Knowledge Proofs (ZK): Uitdagers kunnen bewijzen dat een tegenstrijdigheid bestaat (bijv. een hoeveelheidsschending) zonder de onderliggende gegevens te onthullen, met behulp van beknopte bewijzen (bijv. Groth16 of Bulletproofs).
Openbaarmakingsniveaus: Velden kunnen publiek zijn, selectief worden onthuld of gecontroleerd worden via ZK. Het artikel merkt expliciet op dat sommige restricties (zoals kwaliteitsdegradatie over een keten) niet privé gecontroleerd kunnen worden zonder de data te openen.

Belangrijkste Bijdragen

Formeel Model: Een formalisering van verantwoordelijkheid op basis van tegenstrijdigheden met behulp van ondertekende ECO's in een DAG en zelfverifiërende CPO's.
Domeinmapping: Een concrete koppeling van vijf restrictieklassen aan GS1 EPCIS 2.0 event-typen, waardoor de "domeinspecifieke" claim operationeel wordt.
Cryptoeconomische Analyse: Afleiding van afschrikkingscondities onder rationele en $k$ -partijen collusie-adversaries, waarbij de relatie tussen inzet, detectiekans en winst wordt vastgesteld.
Privacy Integratie: Een privacy-laag die gebruikmaakt van commitment-schema's en optionele ZK-bewijzen, inclusief een expliciete taxonomie van openbaarmakingseisen per restrictieklasse.
Analytische & Empirische Validatie:
- Een analytisch detectiemodel ( $1 - (1-p_{min})^h$ ) dat laat zien hoe de dekking schaalt met het aantal eerlijke waarnemers ( $h$ ).
- Een single-machine referentie-implementatie die het detectiemodel bevestigt tegen metingen, waarbij nul valse beschuldigingen worden gerapporteerd en de voorspelde dekkingsbanden worden gevalideerd.

Resultaten

Detectiebereik: Het analytische model voorspelt dat de detectiekans schaalt met het aantal onafhankelijke waarnemers. De referentie-implementatie bevestigde dit: met een gemeten detectiekans door een enkele waarnemer ( $\hat{p}_{min}$ ) van $\approx 0.50$ , overlapte de voorspelde dekking voor meerdere waarnemers bij elke waarnemer-telling de gemeten 95% betrouwbaarheidsintervallen.
Valse Beschuldigingen: Over alle runs heen registreerde het systeem nul valse beschuldigingen. De precisie was 1.000; alle gegenereerde CPO's waren ware tegenstrijdigheden.
Schuldresolutie: Het systeem maakte correct onderscheid tussen slashbare gevallen (zelf-equivocatie, behoudsschendingen door een enkele uitgever) en ambigue gevallen ( $\perp$ ), waarbij de laatste naar off-chain arbitrage werd gestuurd zonder eerlijke partijen te straffen.
Opslag: Onder de gestelde aannames (10.000 ECO's/dag, ~256 bytes/object), is de geschatte groei van de opslag ongeveer 1 GB per deelnemer per jaar.
Prestaties: Het genereren van een plaintext CPO duurt ~1,5 $\mu$ s, en verificatie ~1,1 ms. Zero-knowledge bewijzen (gebruikmakend van een conservatieve MODP/Sigma-implementatie) vereisten ~2,1 seconden voor bewijsvoering en verificatie.

Betekenis en Reikwijdte

Het artikel positioneert ECO/CPO-DAG als een complementaire auditlaag, niet als een vervanging voor bronverificatie of oracle-aggregatie. De betekenis ligt in het bieden van een mechanisme om bewijsbare inconsistenties economisch te bestraffen zonder een totale orde-consensus of toegang tot de grondwaarheid te vereisen.

Expliciete Grenzen en Beperkingen:

De "Consistent Liegende" Blind Spot: De laag kan een partij niet detecteren die consistent liegt zonder zichzelf tegen te spreken. Als een partij nooit conflicterende claims afgeeft, blijft deze onzichtbaar voor dit protocol. De auteurs stellen dat dit een intrinsieke grens is, geen fout.
Ambiguïteit van Schuld: Tegenstrijdigheden tussen twee verschillende uitgevers (waarbij geen van beiden zelf-equivoceert) kunnen niet automatisch on-chain geslasht worden; zij dienen als bewijs voor off-chain resolutie.
Analytisch Karakter: Het artikel is expliciet over het feit dat de kwantitatieve claims (detectiekans, opslag, ZK-kosten) modeloutputs of conservatieve bovengrenzen zijn (bijv. het gebruik van naïeve Sigma-protocollen in plaats van curve-gebaseerde Bulletproofs). De referentie-implementatie is een single-machine proof-of-concept, geen productienetwerk.

Samenvattend biedt ECO/CPO-DAG een concreet, cryptografisch gefundeerd primitief voor verantwoordelijkheid in de toeleveringsketen, dat bewijsbare tegenstrijdigheden transformeert in economische sancties, waarbij strikt binnen de grenzen wordt gebleven van wat gedetecteerd kan worden via logische inconsistentie in plaats van fysieke verificatie.