기술 요약: Intercloud – 냉각 효과 합의 (Chilling-Effect Consensus) 를 통한 탈중앙화 경제를 위한 최종적 일관성

1. 문제 제기

본 논문은 현재의 탈중앙화 경제 네트워크 (블록체인) 에 존재하는 두 가지 근본적인 비효율성을 식별합니다:

1. 비용 문제: 글로벌 합의 모델 (예: 작업 증명, 지분 증명) 은 모든 거래에 걸쳐 균일한 보안 예산을 배치합니다. 1 달러의 송금이 10 억 달러의 송금과 동일한 검증 자원을 소모하므로, 보안 비용이 경제적 가치와 일치하지 않는 비선형적 확장 (sub-linear scaling) 을 초래합니다.
2. 프라이버시 문제: 글로벌 원장은 모든 검증자가 평문 거래 데이터, 잔고, 그리고 스마트 계약 논리를 볼 수 있어야 합니다. 이는 가명 주소를 사용하더라도 거래 그래프 분석을 통해 사용자의 신원을 탈추적할 수 있게 합니다.

모네로 (Monero) 나 지캐시 (Zcash) 와 같은 기존 솔루션은 부분적인 프라이버시를 제공하지만, 여전히 거래 그래프 구조를 노출하거나 모든 거래에 대해 글로벌 참여를 요구합니다. 본 논문은 보안이 가치에 비례하여 확장되고 프라이버시가 합의 메커니즘에 내재된 모델을 주장합니다.

2. 방법론 및 아키텍처

Intercloud 는 Magarshak Machine 모델에 기반한 탈중앙화 경제 네트워크로, 이를 분산 환경으로 확장한 것입니다. 그 핵심 아키텍처 혁신은 무결성 계층 (Integrity Layer)(워처들에 의해 보호됨) 과 데이터 계층 (Data Layer)(스트림 소유자와 실행자들에 의해 보유됨) 의 엄격한 분리입니다.

A. 핵심 구성 요소

• 스트림 (Streams): 공개 키 ($k_i$) 가 소유하는 순차적 메시지 로그 ($M_i$) 입니다. 상태는 암호학적 해시 ($h_i$) 로 정의됩니다.
• 워처 스웜 (Watcher Swarms): 보안은 스트림 상태의 암호학적 해시만 관찰하는 노드들의 스웜이 제공합니다. 이들은 평문, 잔고, 금액, 또는 규칙 논리를 절대 보지 않습니다.
• 에포크 및 VRF 할당: 시간은 에포크로 나뉩니다. 각 에포크의 시작 시, 단일 글로벌 랜덤 오라클로 시드된 검증 가능 랜덤 함수 (VRF) 가 각 스트림에 특정 워처 스웜을 할당합니다.
• 스트림 상태: 스트림은 다음 세 가지 색상 중 하나로 존재합니다:
  • 초록색: 최종성 달성 (초다수 증명).
  • 노란색: 진행 중인 거래; 최종성 아직 달성되지 않음.
  • 빨간색: 부패 감지; 다음 에포크 셔플 때까지 스트림은 신뢰할 수 없음.

B. 주요 메커니즘

1. 리플 중복 제거 (Ripple Deduplication):
   글로벌 조정 없이 무한한 반응적 실행 루프를 방지하기 위해, 모든 실행 리플은 원본 ID, 메시지 해시, 에포크로 구성된 고유 식별자 ($rID$) 로 태그됩니다. 노드는 두 에포크 동안 관찰된$rID$의 로컬 해시 테이블을 유지합니다. 만약 노드가 현재 에포크에서 이미 처리한 리플을 수신하면 이를 폐기합니다. 이는 글로벌 합의 없이 유한 시간 ($N$ 홉) 내에 종료를 보장합니다.

2. 냉각 효과 합의 (Chilling-Effect Consensus):
   경쟁 가치 간에 노드가 선택하는 전통적인 투표 프로토콜과 달리, Intercloud 는 **부재 증명 (attestation of absence)**을 사용합니다. 특정 해시에 대해 에포크 동안 상충되는 증거가 전혀 보이지 않았음을 기프 (gossip) 를 통해 초다수 ($>2/3$) 가 독립적으로 검증할 때, 스웜은 최종성에 도달합니다.

   • 부패 증명 (Proof of Corruption, PoC): 워처가 동일한 에포크에서 두 개의 다른 해시에 대한 증명을 서명하면, 자동으로 자기 인증형 PoC 가 생성됩니다. 이 증거는 반박할 수 없으며 제 3 자의 검증이 필요하지 않습니다.
   • 억제: PoC 를 생성하면 즉시 되돌릴 수 없는 유죄 판결과 노드의 스테이킹 삭감 (슬래싱) 으로 이어지므로 "냉각 효과"가 발생합니다.

3. 경제 모델 및 로컬 코인:

   • 인터코인 (Intercoin): "보안 가중치"를 나타내는 글로벌 준비 통화입니다.
   • 배킹 불변성 (Backing Invariant): 모든 스트림은 보유 가치에 비례하는 인터코인 ($INTER_i$) 을 스테이킹해야 합니다. 보안 가중치는 도트곱 항등식 $V_i = \sum (balance[c] \times exRate(c))$을 통해 경제적 가치를 자동으로 추적합니다.
   • 스웜 크기 결정: 워처 스웜의 크기 ($n_i$) 는 스트림의 인터코인 스테이킹의 제곱근에 비례합니다 ($n_i \approx c\sqrt{INTER_i}$). 1 달러를 보유한 스트림은 약 35 명의 워처를 사용하고, 100 만 달러를 보유한 스트림은 약 35,000 명의 워처를 사용합니다.
   • 코인 - 콘텐츠 분리: "코인 계층"(잔고, 송금, 환율) 은 무결성 계층에서 해시 형태로 가시화되어 규제 기관이 집계된 가치 흐름을 관찰할 수 있게 합니다. 반면 "콘텐츠 계층"(메시지, 합의) 은 엔드투엔드 암호화되어 워처에게 보이지 않습니다.

3. 주요 기여 및 이론적 결과

본 논문은 시스템의 속성을 증명하는 공식적인 정리 (Theorem) 스택을 제시합니다:

• 분산 리플 종료 (정리 2): 글로벌 조정 없이 로컬 중복 제거와 홉당 긍정적 수수료에 의존하여, 유한 네트워크 내에서 반응적 실행 리플이 $N$ 홉 이내에 종료됨을 증명합니다.
• 스웜 보안 (정리 3): Hoepman 의 하한 [2] 을 적용하여, 표준 매개변수에 대해 크기 $n \approx 35$인 스웜이 전체 네트워크 크기 $N$과 무관하게 확률 $1 - e^{-s}$로 이중 지출을 방지하기에 충분함을 보여줍니다. 보안은 가치의 제곱근에 비례하여 확장됩니다.
• 이견 특성화 (정리 9): 두 명의 정직한 클라이언트가 상충되는 최종성 증명을 보유할 수 있는 것은 공격자가 동시에 (a) 할당된 스웜의 초다수를 침해하고 (b) 두 클라이언트를 모든 정직한 노드에서 차단 (eclipse) 할 때만 가능함을 증명합니다. 이러한 사건의 발생 확률은 무시할 수 있을 정도로 낮습니다.
• 부리다의 원칙 비적용성 (정리 10): 합의 메커니즘이 램포트의 부리다의 원칙 (Buridan's Principle) 의 영향을 받지 않음을 보여줍니다. 두 경쟁 가치 간의 연속적 선택이 아닌 증거의 부재(증명서의 이산 정수 카운트) 에 기반한 결정이므로, 시스템은 무기한의 망설임을 피합니다.
• 합리적 불가침성 (정리 15): 게임 이론을 사용하여, 합리적인 노드가 스트림을 부패시키려 시도하지 않음을 증명합니다. 부패 비용 (스테이킹된 인터코인의 삭감) 은 특히 즉각적인 인출을 방지하는 베스팅 메커니즘을 고려할 때 잠재적 이익을 엄격히 초과합니다.
• 보안의 가치 추적 (정리 16): 배킹 불변성과 도트곱 항등식을 통해 스트림에 할당된 보안 가중치가 경제적 가치에 자동으로 비례함을 증명합니다.
• 최소 글로벌 합의 (정리 12): 필요한 유일한 글로벌 합의는 VRF 를 위한 무작위 시드 시퀀스임을 확립합니다. 나머지 모든 합의는 스트림의 스웜에 국한되므로, 거래당 글로벌 비용은 에포크당 $O(N)$ 메시지로 감소하며 (평균화 시 거의 0 에 수렴).

4. 결과 및 의의

본 논문은 Intercloud 가 기존 시스템에서 찾을 수 없는 고유한 속성들의 조합을 달성한다고 주장합니다:

• 비선형적 검증 비용: 거래당 검증 비용은 네트워크 크기와 무관하며 ($O(1)$ 평균화), 대신 거래 가치의 제곱근에 비례하여 확장됩니다.
• 해시 전용 프라이버시: 워처 노드는 평문을 절대 보지 않으므로, 거래 그래프를 여전히 노출하는 기존 프라이버시 코인보다 강력한 프라이버시 보장을 제공합니다.
• 자기 보정 보안: 시스템은 수동 구성 없이 고가치 스트림에 자동으로 더 많은 보안을 할당합니다.
• 명시적 최종성: 사용자는 위험 허용 범위를 선택할 수 있습니다 (초록색 대기 vs 노란색 수용). 이는 모든 분쟁에 대한 단일 글로벌 해결을 강제하는 대신, 현실 세계의 경제적 위험 평가를 모델링합니다.
• 규제 관찰 가능성: 규제 기관은 개인 거래 세부 사항에 접근하지 않고도 스트림 간의 경제적 가치 흐름 (인터코인 가중치) 을 관찰할 수 있어, 투명성과 프라이버시 사이의 균형을 이룹니다.

본 논문은 Intercloud 가 글로벌 원장 없이 분산 상태 기계의 경제가 조정되는 새로운 패러다임을 정의하며, 비잔틴 투표를 "냉각 효과"합의로 대체하고 보안 비용이 보호되는 가치에 비례하여 확장되도록 보장한다고 결론지었습니다.