Resumo Técnico: ECO/CPO-DAG

Declaração do Problema

As cadeias de suprimentos operam em ambientes adversariais onde partes mutuamente desconfiadas devem confiar nos registros umas das outras. Embora o rastreamento baseado em blockchain ofereça livros contábeis à prova de adulteração, ele falha em resolver o "problema do oráculo": um livro pode garantir que uma parte disse algo, mas não pode garantir que a afirmação corresponda à realidade física. As soluções existentes frequentemente tentam verificar alegações contra a verdade fundamental ou dependem de mecanismos de consenso complexos, contudo, o incentivo econômico para relatar informações incorretamente permanece.

O artigo propõe uma questão mais estreita e tratável: Como desincentivar economicamente contradições prováveis em cadeias de suprimentos semi-confiáveis sem tentar verificar alegações contra a verdade fundamental? Uma contradição provável é definida como um par de alegações assinadas por partes identificáveis que não podem ambas ser verdadeiras sob uma regra de domínio específica (por exemplo, um único lote alegado para originar-se em duas regiões mutuamente exclusivas, ou uma quantidade selada que inexplicavelmente cresce entre eventos de custódia).

Metodologia

Os autores propõem o ECO/CPO-DAG, uma camada de prestação de contas específica para o domínio que formaliza a detecção de contradições como um mecanismo de validação suplementar, em vez de um protocolo de consenso.

Arquitetura Central

1. Objetos de Alegação de Evento (ECOs - Event Claim Objects): Os participantes publicam alegações assinadas em um Grafo Acíclico Dirigido (DAG) causalmente ordenado e de adição exclusiva (append-only).
   • Cada ECO contém um compromisso com a carga útil da alegação (usando compromissos de Pedersen para privacidade), um carimbo de tempo de relógio lógico híbrido, referências de pai causal e uma assinatura digital.
   • O DAG não é usado para acordo global ou ordenação total; cada participante mantém uma visão local.
2. Objetos de Prova de Contradição (CPOs - Contradiction Proof Objects): Quando um observador detecta dois ECOs referentes ao mesmo objeto que violam uma restrição de domínio, ele compila um CPO.
   • Um CPO é um objeto autoverificável que vincula as duas alegações assinadas, a regra violada e a identidade do desafiante.
   • Ele pode ser verificado por qualquer pessoa sem a necessidade de acesso aos bens físicos, baseando-se apenas nas assinaturas criptográficas e na regra de domínio.
3. Restrições de Domínio: O protocolo mapeia cinco classes de restrições para a semântica de eventos GS1 EPCIS 2.0:
   • Espacial: Dois locais para um mesmo objeto em um determinado momento.
   • Temporal: Retroatividade (tempos assertivos que contradizem a ordem de causalidade happened-before).
   • Quantidade: Violações de conservação (saídas excedendo entradas para o mesmo emissor).
   • Qualidade: Alegações de condição autocontraditórias (ex: afirmação de cadeia de frio contínua vs. registro de excursão térmica).
   • Regulatória: Asserções de conformidade contraditas por registros de revogação/expiração.

Mecanismo Criptoeconômico

O sistema emprega um mecanismo de slashing (penalização) para deter comportamentos maliciosos:

• Staking: Participantes depositam um stake $S$ proporcional ao valor de sua transação e histórico de risco.
• Dissuasão: Mentir é dissuadido se a utilidade esperada de mentir for negativa. O artigo deriva uma condição $S > \frac{1-p}{p}g$ (onde $p$ é a probabilidade de detecção e $g$ é o ganho ao mentir).
• Culpa Determinante: O slashing ocorre apenas quando a culpa é determinante. Isso é restrito a:
  1. Autoequívoco: Um único emissor assina duas alegações conjuntamente insatisfatórias.
  2. Violações de Conservação: As alegações de entrada/saída de um único emissor violam o balanço de massa ($P_{outputs} > P_{inputs}$).
  • Contradições entre diferentes emissores ou casos ambíguos resultam em um CPO com culpa $\perp$ (ambígua), servindo como evidência portátil para adjudicação fora da rede (off-chain) em vez de disparar slashing automático em rede (on-chain).

Camada de Privacidade

O protocolo suporta divulgação seletiva:

• Compromissos: As cargas úteis das alegações permanecem ocultas via compromissos de Pedersen até serem desafiadas.
• Provas de Conhecimento Zero (ZK): Desafiantes podem provar que uma contradição existe (ex: uma violação de quantidade) sem revelar os dados subjacentes, usando provas sucintas (ex: Groth16 ou Bulletproofs).
• Níveis de Divulgação: Campos podem ser públicos, seletivamente divulgados ou verificados via ZK. O artigo nota explicitamente que algumas restrições (como degradação de qualidade ao longo de uma cadeia) não podem ser verificadas de forma privada sem abrir os dados.

Principais Contribuições

1. Modelo Formal: Uma formalização da prestação de contas baseada em contradições usando ECOs assinados em um DAG e CPOs autoverificáveis.
2. Mapeamento de Domínio: Um mapeamento concreto de cinco classes de restrições para tipos de eventos GS1 EPCIS 2.0, tornando a afirmação "específica de domínio" operacional.
3. Análise Criptoeconômica: Derivação de condições de dissuasão sob adversários racionais e de colusão de $k$ partes, estabelecendo a relação entre stake, probabilidade de detecção e ganho.
4. Integração de Privacidade: Uma camada de privacidade utilizando esquemas de compromisso e provas ZK opcionais, com uma taxonomia explícita de requisitos de divulgação por classe de restrição.
5. Validação Analítica e Empírica:
   • Um modelo de detecção analítica ($1 - (1-p_{min})^h$) mostrando como a cobertura escala com o número de observadores honestos ($h$).
   • Uma implementação de referência em máquina única que corrobora o modelo de detecção contra medições, registrando zero falsas acusações e validando as bandas de cobertura previstas.

Resultados

• Cobertura de Detecção: O modelo analítico prevê que a probabilidade de detecção escala com o número de observadores independentes. A implementação de referência confirmou isso: com uma probabilidade de detecção de observador único medida ($\hat{p}_{min}$) de $\approx 0.50$, a cobertura prevista para múltiplos observadores sobrepôs os intervalos de confiança de 95% medidos em todos os contagens de observadores.
• Falsas Acusações: Em todas as execuções, o sistema registrou zero falsas acusações. A precisão foi de 1.000; todos os CPOs gerados eram contradições reais.
• Resolução de Culpa: O sistema distinguiu corretamente entre casos passíveis de slashing (autoequívoco, violações de conservação de emissor único) e casos ambíguos ($\perp$), encaminhando estes últimos para adjudicação off-chain sem penalizar partes honestas.
• Armazenamento: Sob as premissas declaradas (10.000 ECOs/dia, ~256 bytes/objeto), o crescimento estimado de armazenamento é de aproximadamente 1 GB por participante por ano.
• Desempenho: A geração de CPO em texto simples leva ~1.5 $\mu$s, e a verificação leva ~1.1 ms. Provas de conhecimento zero (usando uma implementação MODP/Sigma conservadora) exigiram ~2.1 segundos para prova e verificação.

Significância e Escopo

O artigo posiciona o ECO/CPO-DAG como uma camada de auditoria complementar, não como um substituto para a verificação de origem ou agregação de oráculos. Sua significância reside em fornecer um mecanismo para penalizar economicamente inconsistências prováveis sem exigir um consenso de ordem total ou acesso à verdade fundamental.

Limites Explícitos e Limitações:

• O Ponto Cego do "Mentiroso Consistente": A camada não consegue detectar uma parte que mente consistentemente sem se contradizer. Se uma parte nunca emitir alegações conflitantes, ela permanece invisível para este protocolo. Os autores afirmam que isso é um limite intrínseco, não uma falha.
• Ambiguidade de Culpa: Contradições entre dois emissores diferentes (onde nenhum deles comete autoequívoco) não podem ser automaticamente penalizadas via slashing on-chain; elas servem como evidência para resolução off-chain.
• Natureza Analítica: O artigo é explícito ao afirmar que suas reivindicações quantitativas (probabilidade de detecção, armazenamento, custos ZK) são resultados de modelos ou limites superiores conservadores (ex: usando protocolos Sigma simplistas em vez de Bulletproofs baseados em curvas). A implementação de referência é uma prova de conceito em máquina única, não uma rede de produção.

Em resumo, o ECO/CPO-DAG oferece um primitivo concreto e criptograficamente fundamentado para a prestação de contas em cadeias de suprimentos, transformando contradições prováveis em penalidades econômicas, operando estritamente dentro dos limites do que pode ser detectado via inconsistência lógica em vez de verificação física.