💻 computer science

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

Questo articolo introduce ECO/CPO-DAG, un protocollo di accountability specifico per il dominio delle catene di approvvigionamento avversarie che utilizza un DAG con ordine causale per rilevare e penalizzare economicamente le contraddizioni dimostrabili nelle rivendicazioni di eventi firmate attraverso Oggetti di Prova di Contraddizione auto-verificanti, distinguendo esplicitamente il proprio ruolo come livello di rilevamento delle contraddizioni piuttosto che come fonte di verità assoluta.

Autori originali: Sebastian Cochinescu

Pubblicato 2026-07-09

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Sebastian Cochinescu

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina una catena di approvvigionamento globale massiccia come un gigantesco gioco del "Telefono Senza Fili" giocato da aziende che non si fidano l'una dell'altra. Un'azienda farmaceutica invia medicinali a un camionista, che li invia a un magazzino, che li invia a un negozio. Ognuno tiene il proprio diario di ciò che è accaduto.

Il problema? Un'azienda disonesta potrebbe scrivere nel proprio diario: "Ho spedito 100 pillole fredde", mentre segretamente le tiene in un magazzino caldo. Se non commettono mai errori nella propria storia, nessuno può dimostrare che hanno mentito.

Questo articolo presenta ECO/CPO-DAG, un nuovo "livello di accountability" per questo gioco. Non cerca di leggere nel pensiero o di controllare la temperatura fisica delle pillole. Inveve, agisce come un arbitro super severo che coglie i giocatori solo quando si contraddicono o violano le regole del gioco.

Ecco come funziona, suddiviso in concetti semplici:

1. Il "Diario Firmato" (ECO)

Ogni volta che un'azienda fa un'affermazione (ad esempio, "Ho ricevuto 100 pillole alle 14:00"), la scrive in un diario digitale chiamato Event Claim Object (ECO).

Il colpo di scena: Non si limitano a scriverlo; lo firmano con un'impronta digitale unica.
Il segreto: Possono chiudere i dettagli in un "caveau digitale" (un impegno crittografico). Il diario dice: "Ho un'affermazione relativa a 100 pillole", ma nessuno conosce ancora il numero esatto o la posizione. Questo protegge i segreti commerciali finché qualcuno non li contesta.
La catena: Questi diari sono collegati tra loro in un ordine specifico (un DAG), come un albero genealogico di eventi, in modo che tutti sappiano cosa è successo prima di cosa.

2. La "Prova di Contraddizione" (CPO)

Questa è la vera magia. Se due affermazioni entrano in conflitto, chiunque può costruire un Contradiction Proof Object (CPO).

L'analogia: Immagina due giocatori che dichiarano di essere stati alla stessa festa nello stesso momento, ma uno dice di essere stato a Parigi e l'altro dice di essere stato a Tokyo.
La prova: Una terza parte (un osservatore) può prendere entrambi i diari firmati, aprire i "caveau digitali" quanto basta per vedere le posizioni e dire: "Guarda! Queste due storie non possono essere entrambe vere".
Il risultato: Questa prova è auto-verificante. Non ha bisogno di un giudice che la esamini; la matematica dimostra immediatamente la menzogna.

3. La "Scommessa" (Criptoeconomica)

Per impedire alle persone di mentire, ogni partecipante versa una quota (un deposito di denaro) prima di iniziare a giocare.

La regola: Se vieni colto in una contraddizione che hai firmato, il tuo denaro viene tagliato (requisito) e consegnato a chi ti ha scoperto.
Il dettaglio: Perdi i soldi solo se la contraddizione è colpa tua.
- Scenario A: Firmi un'affermazione dicendo "Sono a Parigi", poi firmi un'altra dicendo "Sono a Tokyo". Vieni colto a mentire. Perdi i tuoi soldi.
- Scenario B: Tu dici "Sono a Parigi", e un'altra azienda dice "Sono a Tokyo". Il sistema rileva una contraddizione, ma non sa chi sta mentendo. Crea un segnale di "Forse". Nessuno perde soldi automaticamente. Devono rivolgersi a un tribunale umano (off-chain) per decidere.

4. Cosa Può e Non Può Fare

Gli autori sono onesti riguardo ai limiti della loro invenzione.

Cosa FA: Coglie le inconsistenze. Se un bugiardo scivola e scrive due cose che non possono essere entrambe vere, viene scoperto e multato. Crea un file di "prova portatile" che dimostra che la menzogna è avvenuta.
Cosa NON FA: Non può cogliere un bugiardo coerente. Se un malintenzionato mente perfettamente ogni volta (ad esempio, dichiara sempre che le pillole erano fredde, anche quando erano calde, e non si contraddice mai), il sistema non vede nulla di sbagliato. Non può controllare la "verità oggettiva" (la realtà fisica effettiva).
- Analogia: Questo sistema è come un arbitro che fischia solo se un giocatore si calpesta i piedi da solo. Non coglierà un giocatore che imbroglia segretamente scambiando la palla, a meno che il giocatore non scriva accidentalmente due punteggi diversi per la stessa partita.

5. Privacy e Sicurezza

Privacy: Non devi rivelare i tuoi segreti (come prezzi esatti o rotte) a meno che tu non venga accusato. Il sistema utilizza "serrature magiche" che permettono di dimostrare che una regola è stata violata senza mostrare l'intera storia.
Nessuna falsa accusa: L'articolo dimostra matematicamente che una persona onesta che non si contraddice mai non perderà mai i propri soldi, anche se qualcuno tenta di incastrarla.

Riassunto

ECO/CPO-DAG è uno strumento per le catene di approvvigionamento che dice: "Non possiamo garantire che stiate dicendo la verità sul mondo reale, ma possiamo garantire che, se raccontate due storie diverse sulla stessa cosa, pagherete un prezzo salatissimo."

Trasforma l'atto di mentire in modo incoerente in una missione di suicidio finanziario, incoraggiando le aziende a tenere i propri registri in ordine, lasciando il compito di verificare i beni fisici effettivi ad altri sistemi (come sensori affidabili o auditor).

Sintesi Tecnica: ECO/CPO-DAG

Definizione del Problema

Le catene di approvvigionamento operano in ambienti avversari dove parti che non si fidano l'una dell'altra devono fare affidamento sui rispettivi registri. Sebbene la tracciabilità basata su blockchain offra registri a prova di manomissione, essa non riesce a risolvere il "problema dell'oracolo": un registro può garantire che una parte abbia dichiarato qualcosa, ma non può garantire che tale dichiarazione corrisponda alla realtà fisica. Le soluzioni esistenti spesso tentano di verificare le affermazioni rispetto alla verità oggettiva o si affidano a complessi meccanismi di consenso, eppure l'incentivo economico a riferire dati errati rimane.

Il documento pone una questione più stretta e trattabile: come possiamo disincentivare economicamente le contraddizioni dimostrabili in catene di approvvigionamento semi-affidabili senza tentare di verificare le affermazioni rispetto alla verità oggettiva? Una contraddizione dimostrabile è definita come una coppia di affermazioni firmate da parti identificabili che non possono entrambe essere vere sotto una specifica regola di dominio (ad esempio, un singolo lotto rivendicato come originario di due regioni mutuamente esclusive, o una quantità sigillata che cresce inspiegabilmente tra gli eventi di custodia).

Metodologia

Gli autori propongono ECO/CPO-DAG, uno strato di accountability specifico per il dominio che formalizza il rilevamento delle contraddizioni come un meccanismo di validazione supplementare piuttosto che come un protocollo di consenso.

Architettura Core

Event Claim Objects (ECO): I partecipanti pubblicano affermazioni firmate in un grafo aciclico diretto (DAG) con ordine causale e append-only.
- Ogni ECO contiene un impegno (commitment) al payload dell'affermazione (utilizzando impegni di Pedersen per la privacy), un timestamp con clock logico ibrido, riferimenti ai genitori causali e una firma digitale.
- Il DAG non viene utilizzato per l'accordo globale o l'ordinamento totale; ogni partecipante mantiene una propria visione locale.
Contradiction Proof Objects (CPO): Quando un osservatore rileva due ECO riguardanti lo stesso soggetto che violano un vincolo di dominio, compila un CPO.
- Un CPO è un oggetto auto-verificabile che vincola le due affermazioni firmate, la regola violata e l'identità del challenger.
- Può essere verificato da chiunque senza necessità di accedere alle merci fisiche, basandosi esclusivamente sulle firme crittografiche e sulla regola di dominio.
Vincoli di Dominio: Il protocollo mappa cinque classi di vincoli alla semantica degli eventi GS1 EPCIS 2.0:
- Spaziale: Due posizioni per un singolo soggetto in un dato momento.
- Temporale: Retrodatazione (tempi assertiti che contraddicono l'ordine "happened-before").
- Quantità: Violazioni della conservazione (output che eccedono gli input per lo stesso emittente).
- Qualità: Affermazioni di condizioni autocontraddittorie (es. asserzione di catena del freddo continua vs log di escursione).
- Regolatorio: Asserzioni di conformità contraddette da record di revoca o scadenza.

Meccanismo Crittoeconomico

Il sistema impiega un meccanismo di slashing per scoraggiare i comportamenti malevoli:

Staking: I partecipanti depositano una posta $S$ proporzionale al valore delle transazioni e alla cronologia del rischio.
Deterrenza: Mentire è scoraggiato se l'utilità attesa del mentire è negativa. Il documento deriva la condizione $S > \frac{1-p}{p}g$ (dove $p$ è la probabilità di rilevamento e $g$ è il guadagno derivante dal mentire).
Colpa Determinata: Lo slashing avviene solo quando la colpa è determinata. Ciò è limitato a:
1. Auto-equivocazione: Un singolo emittente firma due affermazioni congiuntamente insoddisfacibili.
2. Violazioni della conservazione: Le affermazioni di input/output di un singolo emittente violano il bilancio di massa ( $P_{outputs} > P_{inputs}$ ).
- Le contraddizioni tra diversi emittenti o i casi ambigui risultano in un CPO con colpa $\perp$ (ambigua), fungendo da prova portabile per l'adjudicazione off-chain piuttosto che innescare lo slashing automatico on-chain.

Strato di Privacy

Il protocollo supporta la divulgazione selettiva:

Impegni (Commitments): I payload delle affermazioni rimangono nascosti tramite impegni di Pedersen fino al momento della sfida.
Zero-Knowledge Proofs (ZK): I challenger possono provare l'esistenza di una contraddizione (es. una violazione di quantità) senza rivelare i dati sottostanti, utilizzando prove succinte (es. Groth16 o Bulletproofs).
Livelli di Divulgazione: I campi possono essere pubblici, selezionabilmente divulgati o controllati tramite ZK. Il documento nota esplicitamente che alcuni vincoli (come il degrado della qualità nel tempo) non possono essere controllati privatamente senza aprire i dati.

Contributi Chiave

Modello Formale: Una formalizzazione dell'accountability basata sulle contraddizioni utilizzando ECO firmati in un DAG e CPO auto-verificabili.
Mappatura del Dominio: Una mappatura concreta di cinque classi di vincoli ai tipi di eventi GS1 EPCIS 2.0, rendendo operativa la natura "specifica del dominio".
Analisi Crittoeconomica: Derivazione delle condizioni di deterrenza sotto avversari razionali e collusivi a $k$ parti, stabilendo la relazione tra posta, probabilità di rilevamento e guadagno.
Integrazione della Privacy: Uno strato di privacy che utilizza schemi di impegno e opzioni di prove ZK, con una tassonomia esplicita dei requisiti di divulgazione per classe di vincolo.
Validazione Analitica ed Empirica:
- Un modello di rilevamento analitico ( $1 - (1-p_{min})^h$ ) che mostra come la copertura scala con il numero di osservatori onesti ( $h$ ).
- Un'implementazione di riferimento su singola macchina che corrobora il modello di rilevamento rispetto alle misurazioni, mostrando zero accuse false e validando i range di copertura previsti.

Risultati

Copertura del Rilevamento: Il modello analitico prevede che la probabilità di rilevamento scala con il numero di osservatori indipendenti. L'implementazione di riferimento ha confermato questo: con una probabilità di rilevamento misurata di un singolo osservatore ( $\hat{p}_{min}$ ) di $\approx 0.50$ , la copertura prevista per molteplici osservatori si sovrapponeva agli intervalli di confidenza del 95% misurati per ogni numero di osservatori.
Accuse False: In tutte le esecuzioni, il sistema ha registrato zero accuse false. La precisione era 1.000; tutti i CPO generati erano vere contraddizioni.
Risoluzione della Colpa: Il sistema ha distinto correttamente tra casi soggetti a slashing (auto-equivocazione, violazioni di conservazione di un singolo emittente) e casi ambigui ( $\perp$ ), indirizzando questi ultimi verso l'adjudicazione off-chain senza penalizzare le parti oneste.
Storage: Sotto le ipotesi dichiarate (10.000 ECO/giorno, ~256 byte/oggetto), la crescita stimata dello storage è di circa 1 GB per partecipante all'anno.
Performance: La generazione di CPO in plaintext richiede ~1.5 $\mu$ s, e la verifica richiede ~1.1 ms. Le prove Zero-knowledge (utilizzando un'implementazione conservativa MODP/Sigma) hanno richiesto ~2.1 secondi per la generazione e la verifica.

Significato e Ambito

Il documento posiziona ECO/CPO-DAG come uno strato di audit complementare, non come un sostituto della verifica della fonte o dell'aggregazione di oracoli. La sua importanza risiede nel fornire un meccanismo per penalizzare economicamente le inconsistenze dimostrabili senza richiedere un consenso di ordinamento totale o l'accesso alla verità oggettiva.

Confini Espliciti e Limitazioni:

Il Punto Cieco del "Bugiardo Coerente": Lo strato non può rilevare una parte che mente in modo coerente senza contraddirsi. Se una parte non emette mai affermazioni conflittuali, rimane invisibile a questo protocollo. Gli autori affermano che questo è un limite intrinseco, non un difetto.
Ambiguità della Colpa: Le contraddizioni tra due diversi emittenti (dove nessuno dei due si equivoca) non possono essere soggette a slashing automatico on-chain; esse servono come prova per la risoluzione off-chain.
Natura Analitica: Il documento è esplicito nel dichiarare che le sue affermazioni quantitative (probabilità di rilevamento, storage, costi ZK) sono output del modello o limiti superiori conservativi (es. l'uso di protocolli Sigma ingenui invece di Bulletproof basati su curve). L'implementazione di riferimento è una prova di concetto su singola macchina, non una rete di produzione.

In sintesi, ECO/CPO-DAG offre un primitivo concreto e crittograficamente fondato per l'accountability nelle catene di approvvigionamento, trasformando le contraddizioni dimostrabili in penalità economiche, operando rigorosamente entro i limiti di ciò che può essere rilevato tramite l'inconsistenza logica piuttosto che la verifica fisica.