Resumen Técnico: ECO/CPO-DAG

Planteamiento del Problema

Las cadenas de suministro operan en entornos adversarios donde partes que no confían entre sí deben depender de los registros de los demás. Si bien la trazabilidad basada en blockchain ofrece libros de contabilidad a prueba de manipulaciones, no logra resolver el "problema del oráculo": un libro puede garantizar que una parte dijo algo, pero no puede garantizar que esa afirmación corresponda a la realidad física. Las soluciones existentes a menudo intentan verificar las afirmaciones contra la verdad de base o dependen de mecanismos de consenso complejos, pero el incentivo económico para reportar información errónea persiste.

El artículo plantea una pregunta más estrecha y tratable: ¿Cómo podemos desincentivar económicamente las contradicciones demostrables en cadenas de suministro semi-confiables sin intentar verificar las afirmaciones contra la verdad de base? Una contradicción demostrable se define como un par de afirmaciones firmadas por partes identificables que no pueden ser ambas ciertas bajo una regla de dominio específica (por ejemplo, un lote único que se afirma tener origen en dos regiones mutuamente excluyentes, o una cantidad sellada que inexplicablemente crece entre eventos de custodia).

Metodología

Los autores proponen ECO/CPO-DAG, una capa de rendición de cuentas específica para el dominio que formaliza la detección de contradicciones como un mecanismo de validación suplementario en lugar de un protocolo de consenso.

Arquitectura Central

1. Objetos de Afirmación de Eventos (ECOs): Los participantes publican afirmaciones firmadas en un Grafo Acíclico Dirigido (DAG) de orden causal y de solo adición.
   • Cada ECO contiene un compromiso con la carga útil de la afirmación (usando compromisos de Pedersen para privacidad), una marca de tiempo de reloj lógico híbrido, referencias de padres causales y una firma digital.
   • El DAG no se utiliza para el acuerdo global o el orden total; cada participante mantiene una visión local.
2. Objetos de Prueba de Contradicción (CPOs): Cuando un observador detecta dos ECOs referentes al mismo sujeto que violan una restricción de dominio, compila un CPO.
   • Un CPO es un objeto autoverificable que vincula las dos afirmaciones firmadas, la regla violada y la identidad del desafiante.
   • Puede ser verificado por cualquiera sin necesidad de acceder a los bienes físicos, basándose únicamente en las firmas criptográficas y la regla de dominio.
3. Restricciones de Dominio: El protocolo mapea cinco clases de restricciones a la semántica de eventos GS1 EPCIS 2.0:
   • Espacial: Dos ubicaciones para un mismo sujeto en un mismo tiempo.
   • Temporal: Retroactividad (tiempos afirmados que contradicen el orden de "ocurrió antes").
   • Cantidad: Violaciones de conservación (salidas que exceden las entradas para el mismo emisor).
   • Calidad: Afirmaciones de condiciones autocontradictorias (por ejemplo, una afirmación de cadena de frío continua frente a un registro de excursión).
   • Regulatoria: Afirmaciones de cumplimiento que son contradichas por registros de revocación o expiración.

Mecanismo Criptoeconómico

El sistema emplea un mecanismo de penalización (slashing) para disuadir el comportamiento malicioso:

• Stake (Participación): Los participantes depositan un stake $S$ proporcional al valor de su transacción y a su historial de riesgo.
• Disuasión: Mentir se disuade si la utilidad esperada de mentir es negativa. El artículo deriva una condición $S > \frac{1-p}{p}g$ (donde $p$ es la probabilidad de detección y $g$ es la ganancia de mentir).
• Culpa Determinada: La penalización ocurre solo cuando la culpa es determinada. Esto se restringe a:
  1. Auto-equivocación: Un único emisor firma dos afirmaciones conjuntamente insatisfactorias.
  2. Violaciones de conservación: Las afirmaciones de entrada/salida de un solo emisor violan el balance de masa ($P_{outputs} > P_{inputs}$).
  • Las contradicciones entre diferentes emisores o casos ambiguos resultan en un CPO con culpa $\perp$ (ambigua), sirviendo como evidencia portátil para la adjudicación fuera de la cadena (off-chain) en lugar de activar una penalización automática en la cadena.

Capa de Privacidad

El protocolo admite la divulgación selectiva:

• Compromisos: Las cargas útiles de las afirmaciones permanecen ocultas mediante compromisos de Pedersen hasta que son desafiadas.
• Pruebas de Conocimiento Cero (ZK): Los desafiantes pueden probar que existe una contradicción (por ejemplo, una violación de cantidad) sin revelar los datos subyacentes, utilizando pruebas sucintas (por ejemplo, Groth16 o Bulletproofs).
• Niveles de Divulgación: Los campos pueden ser públicos, de divulgación selectiva o verificados mediante ZK. El artículo señala explícitamente que algunas restricciones (como la degradación de calidad a lo largo de una cadena) no pueden verificarse de forma privada sin abrir los datos.

Contribuciones Clave

1. Modelo Formal: Una formalización de la rendición de cuentas basada en contradicciones utilizando ECOs firmados en un DAG y CPOs autoverificables.
2. Mapeo de Dominio: Un mapeo concreto de cinco clases de restricciones a tipos de eventos GS1 EPCIS 2.0, haciendo operativo el reclamo de ser "específico de dominio".
3. Análisis Criptoeconómico: Derivación de las condiciones de disuasión bajo adversarios racionales y de colusión de $k$-partes, estableciendo la relación entre el stake, la probabilidad de detección y la ganancia.
4. Integración de Privacidad: Una capa de privacidad que utiliza esquemas de compromiso y pruebas ZK opcionales, con una taxonomía explícita de los requisitos de divulgación por clase de restricción.
5. Validación Analítica y Empírica:
   • Un modelo de detección analítico ($1 - (1-p_{min})^h$) que muestra cómo la cobertura escala con el número de observadores honestos ($h$).
   • Una implementación de referencia en una sola máquina que corrobora el modelo de detección contra mediciones, reportando cero acusaciones falsas y validando los intervalos de cobertura predichos.

Resultados

• Cobertura de Detección: El modelo analítico predice que la probabilidad de detección escala con el número de observadores independientes. La implementación de referencia lo confirmó: con una probabilidad de detección medida de un solo observador ($\hat{p}_{min}$) de $\approx 0.50$, la cobertura predicha para múltiples observadores se superpuso con los intervalos de confianza del 95% medidos en cada conteo de observadores.
• Acusaciones Falsas: En todas las ejecuciones, el sistema registró cero acusaciones falsas. La precisión fue de 1.000; todos los CPOs generados fueron contradicciones reales.
• Resolución de Culpa: El sistema distinguió correctamente entre casos penalizables (auto-equivocación, violaciones de conservación de un solo emisor) y casos ambiguos ($\perp$), dirigiendo estos últimos a la adjudicación fuera de la cadena sin penalizar a las partes honestas.
• Almacenamiento: Bajo los supuestos declarados (10,000 ECOs/día, ~256 bytes/objeto), el crecimiento estimado del almacenamiento es de aproximadamente 1 GB por participante al año.
• Rendimiento: La generación de CPO en texto plano toma ~1.5 $\mu$s, y la verificación toma ~1.1 ms. Las pruebas de conocimiento cero (usando una implementación conservadora de MODP/Sigma) requirieron ~2.1 segundos para la generación y la verificación.

Significado y Alcance

El artículo posiciona a ECO/CPO-DAG como una capa de auditoría complementaria, no como un reemplazo para la verificación de la fuente o la agregación de oráculos. Su importancia radica en proporcionar un mecanismo para penalizar económicamente las inconsistencias demostrables sin requerir un consenso de orden total o acceso a la verdad de base.

Límites Explícitos y Limitaciones:

• El Punto Ciego del "Mentiroso Consistente": La capa no puede detectar a una parte que miente de manera consistente sin contradecirse a sí misma. Si una parte nunca emite afirmaciones conflictivas, permanece invisible para este protocolo. Los autores afirman que esto es un límite intrínseco, no un fallo.
• Ambigüedad de la Culpa: Las contradicciones entre dos emisores diferentes (donde ninguno se equivoca a sí mismo) no pueden ser penalizadas automáticamente en la cadena; sirven como evidencia para la resolución fuera de la cadena.
• Naturio Analítico: El artículo es explícito en que sus afirmaciones cuantitativas (probabilidad de detección, almacenamiento, costos de ZK) son salidas del modelo o límites superiores conservadores (por ejemplo, usando protocolos Sigma ingenuos en lugar de Bulletproofs basados en curvas). La implementación de referencia es una prueba de concepto en una sola máquina, no una red de producción.

En resumen, ECO/CPO-DAG ofrece un primitivo concreto y criptográficamente fundamentado para la rendición de cuentas en la cadena de suministro que transforma las contradicciones demostrables en penalizaciones económicas, operando estrictamente dentro de los límites de lo que puede ser detectado mediante la inconsistencia lógica en lugar de la verificación física.