💻 computer science

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

이 논문은 인과적으로 정렬된 유향 비순환 그래프(DAG)를 활용하여 서명된 이벤트 주장 내의 증명 가능한 모순을 탐지하고 이를 경제적으로 징벌하기 위해 자기 검증형 모순 증명 객체(Contradiction Proof Objects)를 사용하는 적대적 공급망을 위한 도메인 특화 책임 프로토콜인 ECO/CPO-DAG를 소개하며, 절대적 진리의 원천이 아닌 모순 탐지 계층으로서의 역할을 명시적으로 구분한다.

원저자: Sebastian Cochinescu

게시일 2026-07-09

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Sebastian Cochinescu

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

거대한 글로벌 공급망을 서로를 신뢰하지 않는 기업들이 벌이는 거대한 "전화기 놀이(Telephone)" 게임이라고 상상해 보십시오. 제약 회사가 약을 트럭 운송업자에게 보내고, 운송업자는 창고로, 창고는 상점으로 보냅니다. 모든 이들은 각자 일어난 일에 대한 자신만의 일기를 씁니다.

문제는 무엇일까요? 정직하지 못한 기업은 자신의 일기에 "감기약 100알을 배송함"이라고 적으면서, 실제로는 뜨거운 창고에 약을 방치할 수 있다는 점입니다. 만약 그들이 자신의 이야기에서 단 한 번의 실수도 범하지 않는다면, 아무도 그들이 거짓말을 했다는 것을 증명할 수 없습니다.

이 논문은 이 게임을 위한 새로운 "책임 계층(accountability layer)"인 ECO/CPO-DAG를 소개합니다. 이 시스템은 사람의 마음을 읽거나 알약의 실제 온도를 체크하려고 시도하지 않습니다. 대신, 플레이어가 스스로 모순을 일으키거나 게임의 규칙을 어길 때만 잡아내는 매우 엄격한 심판 역할을 합니다.

작동 원리는 다음과 같습니다.

1. "서명된 일기" (ECO)

기업이 주장(예: "오후 2시에 알약 100알을 받았습니다")을 할 때마다, 그들은 **사건 주장 객체(Event Claim Object, ECO)**라고 불리는 디지털 일기에 이를 기록합니다.

반전: 그들은 단순히 기록하는 것에 그치지 않고, 고유한 디지털 지문으로 여기에 서명합니다.
비밀: 그들은 세부 사항을 "디지털 금고"(암호학적 커밋먼트) 안에 잠글 수 있습니다. 일기에는 "나는 100알의 알약에 대한 주장을 가지고 있다"라고 적히지만, 아직 정확한 수량이나 위치는 아무도 알 수 없습니다. 이는 누군가 이의를 제기하기 전까지 비즈니스 비밀을 안전하게 보호해 줍니다.
연결 구조: 이 일기들은 특정 순서(DAG, 유향 비순환 그래프)에 따라 서로 연결되어, 마치 가족 계보처럼 어떤 일이 먼저 일어났는지 모두가 알 수 있게 합니다.

2. "모순 증명" (CPO)

이것이 핵심적인 마법입니다. 만약 두 주장이 충돌하면, 누구나 **모순 증명 객체(Contradiction Proof Object, CPO)**를 생성할 수 있습니다.

비유: 두 명의 플레이어가 같은 파티에 있었다고 주장하는데, 한 명은 파리에 있었다고 하고 다른 한 명은 도쿄에 있었다고 말하는 상황을 상상해 보십시오.
증명: 제3자(관찰자)는 두 개의 서명된 일기를 가져와서, "디지털 금고"를 내용물이 드러날 만큼만 열어 위치를 확인한 뒤 이렇게 말할 수 있습니다. "보십시오! 이 두 이야기는 동시에 참일 수 없습니다."
결과: 이 증명은 자기 검증적입니다. 판사가 직접 들여다볼 필요 없이, 수학적으로 거짓말임을 즉시 증명합니다.

3. "내기" (크립토이코노믹스)

사람들이 거짓말을 하지 못하도록, 모든 참여자는 게임을 시작하기 전에 스테이크(예치금)를 걸어야 합니다.

규칙: 만약 당신이 서명한 내용에서 모순이 발견되면, 당신의 돈은 **슬래싱(slashing, 몰수)**되어 당신을 잡아낸 사람에게 지급됩니다.
주의점: 당신은 오직 그 모순이 당신의 잘못일 때만 돈을 잃게 됩니다.
- 시나리오 A: 당신이 "나는 파리에 있다"라고 주장한 뒤, 나중에 "나는 도쿄에 있다"라고 주장하는 서명을 했다면, 당신은 거짓말로 걸립니다. 당신은 돈을 잃습니다.
- 시나리오 B: 당신이 "나는 파리에 있다"라고 말했는데, 다른 회사가 "나는 도쿄에 있다"라고 말한다면, 시스템은 모순을 감지하지만 누가 거짓말을 하는지는 알 수 없습니다. 이 경우 "미확인(Maybe)" 플래그가 생성됩니다. 아무도 자동으로 돈을 잃지 않습니다. 이 문제는 결정을 위해 오프체인(off-chain)의 인간 법정으로 넘겨져야 합니다.

4. 할 수 있는 것과 할 수 없는 것

저자들은 자신들의 발명품이 가진 한계를 매우 솔직하게 밝히고 있습니다.

할 수 있는 것: 불일치를 잡아냅니다. 만약 거짓말쟁이가 실수를 하여 두 가지 상충하는 내용을 기록하면, 반드시 걸리게 되며 벌금을 물게 됩니다. 이 시스템은 거짓말이 발생했다는 것을 증명하는 "휴대 가능한 증거" 파일을 만들어냅니다.
할 수 없는 것: 일관된 거짓말쟁이는 잡을 수 없습니다. 만약 악의적인 행위자가 완벽하게 거짓말을 한다면(예: 알약이 뜨거울 때도 항상 차갑다고 주장하며, 결코 스스로 모순을 만들지 않는다면), 이 시스템은 아무것도 감지하지 못합니다. 이 시스템은 "실제 물리적 현실(ground truth)"을 확인할 수는 없습니다.
- 비유: 이 시스템은 선수가 자기 발을 밟았을 때만 휘슬을 부는 심판과 같습니다. 선수가 몰래 공을 바꿔치기하는 부정행위를 하더라도, 선수가 게임의 점수를 두 번 다르게 적는 실수를 하지 않는 한 잡아낼 수 없습니다.

5. 프라이버시와 안전

프라이버시: 당신은 의혹을 받기 전까지는 가격이나 경로 같은 비밀을 공개할 필요가 없습니다. 이 시스템은 전체 이야기를 보여주지 않고도 규칙이 위반되었음을 증명할 수 있는 "마법의 자물쇠"를 사용합니다.
허위 고발 방지: 논문은 모순을 일으키지 않는 정직한 사람이 누군가의 함정에 빠져 돈을 잃는 일이 수학적으로 절대 발생할 수 없음을 증명합니다.

요약

ECO/CPO-DAG는 공급망을 위한 도구로서 다음과 같이 말합니다: "우리는 당신이 실제 세상에 대해 진실을 말하고 있는지 보장할 수는 없지만, 만약 당신이 동일한 사안에 대해 두 가지 다른 이야기를 한다면 반드시 무거운 대가를 치르게 될 것임을 보장합니다."

이 시스템은 일관성 없는 거짓말을 경제적 자살 행위로 바꾸어 놓음으로써, 기업들이 스스로의 기록을 정확하게 유지하도록 독려하는 동시에, 실제 물리적 상품의 검증 작업은 다른 시스템(신뢰할 수 있는 센서나 감사인 등)에 맡기도록 설계되었습니다.

기술 요약: ECO/CPO-DAG

문제 정의

공급망은 서로 신뢰하지 않는 당사자들이 서로의 기록에 의존해야 하는 적대적 환경에서 운영됩니다. 블록체인 기반의 추적성은 위변조가 불가능한 원장을 제공하지만, "오라클 문제(oracle problem)"를 해결하지는 못합니다. 즉, 원장은 특정 당사자가 무언가를 말했다는 사실은 보장할 수 있지만, 그 진술이 물리적 실체와 일치하는지는 보장할 수 없습니다. 기존의 솔루션들은 흔히 주장(claim)을 지면의 진실(ground truth)과 대조하여 검증하거나 복잡한 합의 메커니즘에 의존하려 하지만, 허위 보고에 대한 경제적 유인은 여전히 남아 있습니다.

본 논문은 더 좁고 다룰 수 있는 질문을 제기합니다: 지면의 진실을 검증하려 하지 않고도, 준신뢰(semi-trusted) 공급망 내에서 **증명 가능한 모순(provable contradictions)**을 경제적으로 억제하는 방법은 무엇인가? 증명 가능한 모순은 특정 도메인 규칙 하에서 동시에 성립할 수 없는 식별 가능한 당사자들의 서명된 주장 쌍으로 정의됩니다 (예: 하나의 로트(lot)가 서로 배타적인 두 지역에서 기원했다고 주장하거나, 봉인된 수량이 관리 단계 사이에 설명할 수 없이 증가하는 경우).

방법론

저자들은 ECO/CPO-DAG를 제안합니다. 이는 합의 프로토콜이라기보다 보완적인 검증 메커니즘으로서 모순 탐지를 정형화한 도메인 특화 책임 계층입니다.

핵심 아키텍처

이벤트 클레임 오브젝트 (ECOs): 참여자는 인과적으로 순서가 지정된 추가 불가능한(append-only) 유향 비순환 그래프(DAG)에 서명된 주장을 게시합니다.
- 각 ECO는 클레임 페이로드에 대한 약속(Pedersen commitment 사용), 하이브리드 논리 시계(hybrid logical clock) 타임스탬프, 인과적 부모 참조, 그리고 디지털 서명을 포함합니다.
- DAG는 글로벌 합의나 전체 순서(total ordering)를 위해 사용되지 않으며, 각 참여자는 로컬 뷰를 유지합니다.
모순 증명 오브젝트 (CPOs): 관찰자가 동일한 대상에 대해 도메인 제약 조건을 위반하는 두 개의 ECO를 탐지하면, CPO를 구성합니다.
- CPO는 두 개의 서명된 클레임, 위반된 규칙, 그리고 도전자의 신원을 결합한 자가 검증 오브젝트입니다.
- 이는 물리적 재화에 접근할 필요 없이, 오직 암호학적 서명과 도메인 규칙만을 이용하여 누구나 검증할 수 있습니다.
도메인 제약 조건: 프로토콜은 다섯 가지 제약 클래스를 GS1 EPCIS 2.0 이벤트 의미론에 매핑합니다:
- 공간적(Spatial): 한 대상에 대해 한 시점에 두 장소에 존재함.
- 시간적(Temporal): 과거 시점(happened-before order)을 모순하는 소급 날짜 기입.
- 수량(Quantity): 보존 법칙 위반 (동일 발행인의 입력 대비 출력이 초과됨).
- 품질(Quality): 자기 모순적인 상태 주장 (예: 연속적인 콜드체인 주장 vs 온도 이탈 로그).
- **규제(Regulatory):hi Compliance 주장이 취소/만료 기록에 의해 모순됨.

크립토이코노믹 메커니즘

시스템은 악의적 행동을 억제하기 위해 슬래싱(slashing) 메커니즘을 채택합니다:

스테이킹(Staking): 참여자는 거래 가치 및 위험 이력에 비례하여 스테이크 $S$ 를 예치합니다.
억제(Deterrence): 거짓말을 하는 데 따른 기대 효용이 음수일 때 거짓말은 억제됩니다. 논문은 $S > \frac{1-p}{p}g$ (여기서 $p$ 는 탐지 확률, $g$ 는 거짓말로 얻는 이득)라는 조건을 도출합니다.
확정적 책임(Determinate Blame): 슬래싱은 책임이 확정적인 경우에만 발생합니다. 이는 다음으로 제한됩니다:
1. 자기 모순(Self-equivocation): 단일 발행인이 서로 양립할 수 없는 두 개의 주장에 서명함.
2. 보존 법칙 위반(Conservation violations): 단일 발행인의 입/출력 주장이 질량 보존 법칙( $P_{outputs} > P_{inputs}$ )을 위반함.
- 서로 다른 발행인 간의 모순이나 모호한 사례는 $\perp$ (모호함)를 가진 CPO를 생성하며, 이는 자동적인 온체인 슬래싱 대신 오프체인 판결을 위한 휴대 가능한 증거 역할을 합니다.

프라이버시 계층

프로토콜은 선택적 공개를 지원합니다:

약속(Commitments): 클레임 페이로드는 도전받기 전까지 Pedersen commitment를 통해 숨겨집니다.
영지식 증명 (ZK): 도전자는 데이터 전체를 공개하지 않고도 (예: 수량 위반) 모순이 존재함을 증명할 수 있으며, 이를 위해 간결한 증명(예: Groth16 또는 Bulletproofs)을 사용합니다.
공개 티어(Disclosure Tiers): 필드는 공개, 선택적 공개, 또는 ZK를 통해 확인될 수 있습니다. 논문은 일부 제약 조건(예: 체인 상의 품질 저하)은 데이터를 공개하지 않고는 프라이빗하게 확인할 수 없음을 명시적으로 언급합니다.

주요 기여

정형 모델: 서명된 ECO를 사용하는 DAG 내에서의 모순 기반 책임에 대한 정형화된 모델을 제시했습니다.
도메인 매핑: 다섯 가지 제약 클래스를 GS1 EPCIS 2.0 이벤트 유형에 구체적으로 매핑하여 "도메인 특화" 주장을 실행 가능하게 만들었습니다.
크립토이코노믹 분석: 합리적이고 $k$ -당사자 결탁하는 적대자 모델 하에서 억제 조건을 도출하여, 스테이크, 탐지 확률, 이득 사이의 관계를 확립했습니다.
프라이버시 통합: 커밋먼트 스킴과 선택적 ZK 증명을 활용한 프라이시 계층을 구축하였으며, 제약 클래스별 요구되는 공개 요구사항에 대한 명시적인 분류 체계를 제공했습니다.
분석적 및 경험적 검증:
- 분석적 탐지 모델 ( $1 - (1-p_{min})^h$ )을 통해 정직한 관찰자의 수에 따라 커버리지가 어떻게 확장되는지 보여주었습니다.
- 단일 머신 레퍼런스 구현을 통해 측정값에 대한 탐지 모델을 입증하였으며, 오탐(false accusation)이 0임을 확인하고 예측된 커버리지 밴드를 검증했습니다.

결과

탐지 커버리지: 분석 모델은 탐지 확률이 독립적인 관찰자의 수에 따라 확장된다고 예측합니다. 레퍼런스 구현은 이를 확인했습니다: 측정된 단일 관찰자 탐지 확률( $\hat{p}_{min}$ )이 $\approx 0.50$ 일 때, 여러 관찰자에 대한 예측 커버리지는 모든 관찰자 수에서 측정된 95% 신뢰 구간과 겹쳤습니다.
허위 고발: 모든 실행 과정에서 시스템은 허위 고발 0건을 기록했습니다. 정밀도(Precision)는 1.000이었으며, 생성된 모든 CPO는 실제 모순이었습니다.
책임 해결: 시스템은 슬래싱 가능한 경우(자기 모순, 단일 발행인 보존 법칙 위반)와 모호한 경우( $\perp$ )를 정확히 구분하였으며, 후자를 자동적인 온체인 슬래싱 없이 오프체인 판결로 라우팅했습니다.
저장 공간: 명시된 가정(일일 10,000개 ECO, 오브젝트당 약 256바이트) 하에서, 예상 저장 공간 증가량은 참여자당 연간 약 1 GB입니다.
성능: 평문 CPO 생성에는 약 1.5 $\mu$ s, 검증에는 약 1.1 ms가 소요됩니다. 영지식 증명(보수적인 MODP/Sigma 구현 사용)은 증명 및 검증에 각각 약 2.1초가 필요했습니다.

의의 및 범위

본 논문은 ECO/CPO-DAG를 소스 검증이나 오라클 집계의 대체물이 아닌, **보완적인 감사 계층(complementary audit layer)**으로 포지셔닝합니다. 이 기술의 의의는 전체 순서 합의나 지면의 진실에 대한 접근 없이도, 논리적 불일치를 통해 경제적 패널티를 부과하는 메커니즘을 제공한다는 점에 있습니다.

명시적 경계 및 한계:

"일관된 거짓말쟁이"의 사각지대: 스스로 모순되지 않고 일관되게 거짓말을 하는 당사자는 탐지할 수 없습니다. 만약 당사자가 상충하는 클레임을 내놓지 않는다면, 이 프로토콜에서 보이지 않는 상태로 남습니다. 저자들은 이것이 결함이 아니라 본질적인 경계라고 명시했습니다.
책임의 모호성: 두 발행인 사이의 모순(둘 다 자기 모순을 일으키지 않는 경우)은 온체인에서 자동으로 슬래싱될 수 없으며, 오프체인 해결을 위한 증거로 사용됩니다.
분석적 성격: 본 논문은 정량적 주장(탐지 확률, 저장 공간, ZK 비용)이 모델 출력값이거나 보수적인 상한선(예: 곡선 기반의 Bulletproofs 대신 단순한 Sigma 프로토콜 사용)임을 명시적으로 밝히고 있습니다. 레퍼런스 구현은 단일 머신 기반의 개념 증명(PoC)입니다.

요약하자면, ECO/CPO-DAG는 물리적 검증보다는 논리적 불일치 탐지를 통해 경제적 처벌을 모순으로 변환하는, 공급망 책임을 위한 구체적이고 암호학적으로 근거 있는 프리미티브를 제공합니다.