기술 요약: 탈중앙화된 협력적 행동: 우주에서의 크립토이코노믹스

문제 정의

본 논문은 현대 컴퓨팅 시스템, 특히 **크립토이코노믹스(cryptoeconomics)**의 맥락에서 탈중앙화된 협력적 행동을 수학적으로 모델링하는 과제를 다룹니다. 중앙 집중식 제어나 동질적인 규칙 세트에 의존하는 전통적인 분산 시스템과 달리, 크립토이코노믹 시스템(예: 블록체인, 피어 투 피어 네트워크)은 다음과 같은 특징을 가집니다:

1. 탈중앙화: 중앙 제어 장치 없이 별개의 부분들로 구성됨.
2. 허가 불필요(Permissionless): 참여자는 자유롭게 참여하거나 탈퇴할 수 있음.
3. 이질성(Heterogeneity): 참여자들은 서로 다른 규칙이나 합의 메커니즘(예: 블록체인 브리지 시나리오)을 정당하게 따를 수 있음.

핵심 문제는 이러한 시스템이 구조적 속성만을 기반으로 **합의(consensus)**와 **포킹(forking, 의견 불일치)**을 추론할 수 있는 통일된 수학적 프레임워크를 결여하고 있다는 점입니다. 기존의 위상 수학적 모델(점-집합 위상수학)은 열린 집합(open sets)의 교집합이 반드시 열린 집합이어야 한다는 성질을 요구하지만, 이질적인 시스템에서는 "실행 가능한 연합(actionable coalitions)"에 이 성질이 적용되지 않으므로 불충분합니다. 본 논문은 특정 알고리즘이나 프로토콜을 분석하지 않고도, 추상적인 참여자 연합의 구조로부터 거시적 수준의 정당성 속성(예: 포킹의 불가능성)을 도출할 수 있는지 여부를 탐구합니다.

방법론

저자들은 탈중앙화된 시스템을 모델링하기 위해 점-집합 위상수학을 일반화한 **세미위상(semitopology)**이라는 새로운 수학적 추상화를 제안합니다.

1. 세미위상 공간 (Semitopological Spaces)

세미위상은 $(P, \text{Open}(P))$라는 쌍으로 정의됩니다:

• $P$는 참여자를 나타내는 점들의 집합입니다.
• $\text{Open}(P)$는 $P$의 부분집합들의 모임으로, 실행 가능한 연합을 나타냅니다.

실행 가능한 연합은 시스템의 나머지 부분과 독립적으로 로컬 상태를 업데이트하기 위해 협력할 수 있는 자원과 법적 권한을 공동으로 보유한 참여자들의 집합으로 정의됩니다.

세미위상의 공리:

• 공집합 $\emptyset$과 전체 집합 $P$는 $\text{Open}(P)$에 속합니다.
• 임의의 열린 집합들의 합집합은 열린 집합입니다.
• 결정적 차이: 두 열린 집합의 교집합이 반드시 열린 집합일 필요는 없습니다. 이는 두 개의 유효한 연합이 결합되었을 때 반드시 유효한 연합을 형성하지는 않는다는 현실을 반영합니다.

2. 합의 모델링

본 논문은 이진 합의(값 $t$ 또는 $f$에 대한 합의)를 세미위상 공간에서의 **연속성(continuity)**에 매핑합니다.

• **값 할당(value assignment)**은 함수 $f: P \to \{t, f\}$입니다.
• 할당은 점 $p$에서 연속입니다. 즉, $p$를 포함하며 $f$가 상수인 열린 근방(open neighbourhood) $O$가 존재해야 합니다.
• 합의 = 연속성: 참여자가 자신의 상태를 업데이트할 때, 그들은 반드시 값이 합의된 실행 가능한 연합(열린 집합)과 협력하여 수행해야 합니다.

3. 반분리(Antiseparation) 속성

본 논문은 표준 위상수학의 하우스도르프 분리(Hausdorff separation) 성질의 부정인 반분리 속성을 도입합니다.

• 얽힘(Intertwined, $p \between p'$): 두 점이 얽혀 있다는 것은 $p$의 모든 열린 근방이 $p'$의 모든 열린 근방과 교차함을 의미합니다.
• 전이적 얽힘(Transitively Intertwined): 두 점이 얽힘 관계의 전이 폐쇄(transitive closure)에 의해 연결되어 있는 상태를 말합니다.

주요 기여 및 결과

1. 이론적 프레임워크: 세미위상

본 논문은 세미위상을 탈중앙화된 시스템을 위한 엄밀한 프레임워크로 확립합니다. 실행 가능한 연합을 열린 집합으로 취급함으로써, 저자들은 이러한 연합의 구조적 속성이 시스템의 행동을 결정한다는 것을 입증합니다.

2. 합의에 관한 정리 (정리 3.4)

중심적인 수학적 결과는 다음과 같습니다:

• 두 점 $p$와 $p'$가 얽혀 있고(intertwined), 값 할당 $f$가 두 점 모두에서 연속이면, $f(p) = f(p')$입니다.
• 두 점 $p$와 $p'$가 전이적으로 얽혀 있고(transitively intertwined), $f$가 모든 곳에서 연속이면, $f(p) = f(p')$입니다.

함의: 만약 실행 가능한 연합의 구조가 참여자들을 얽히게 하거나 전이적으로 얽히게 만든다면, 한 참여자에 의해 이루어진 모든 정당한 진행은 결국 다른 모든 참여자에 의해 합의되어야 합니다. 이는 특정 합의 알고리즘에 관계없이, 이러한 구조적 조건 하에서는 포킹이 불가능함을 증명합니다.

3. 실제 시스템에의 적용

본 논문은 이 프레임워크를 구체적인 사례에 적용합니다:

• 단순 다수결 시스템: 실행 가능한 연합이 다수결인 시스템에서는 모든 점이 얽혀 있습니다. 따라서 포킹은 불가능합니다.
• 체인형 시스템 (예시 2.4): 연합들이 직접적으로 교차하지 않는 시스템(예: 겹치는 삼중항 $\{2i, 2i+1, 2i+2\}$)에서도 점들이 전이적으로 얽힐 수 있으며, 이는 글로벌 합의를 보장합니다.
• 블록체인 브리지 (예시 3.6): 본 논문은 이더리움과 테조스 사이의 브리지를 모델링합니다. 개별 체인이 내부적으로 얽혀 있다면, 양측의 합의를 필요로 하는 브리징 노드가 결합된 시스템을 전이적으로 얽히게 만들어 브리지를 통한 포킹을 방지함을 보여줍니다.

4. 애로의 정리(Arrow's Theorem)와의 연결

본 논문은 사회 선택 이론과의 연결성을 언급하며, 모든 세미위상은 "실행 가능한 커널(actionable kernel)"을 가진다는 것을 증证明합니다. 만약 이 커널이 결정을 내리면, 다른 모든 참여자는 이를 따라야 합니다. 이는 탈중앙화된 시스템에 존재하는 "독재자 집합(dictator sets)"의 존재를 시사하며, 분산 시스템의 애로의 불가능성 정리로 제시됩니다.

의의 및 주장

본 논문은 세미위상이 (반)분리의 "일반 수학"을 제공하여, 실행 가능한 연합의 위상만을 바탕으로 거시적 수준의 시스템 속성(특히 합의 및 포킹의 불가능성)을 예측할 수 있다고 주장합니다.

• 알고리즘 독립성: 이 결과는 모든 구체적인 알고리즘에 적용됩니다. 얽힘이라는 구조적 조건이 충족된다면, 프로토콜의 내부 로직을 검사할 필요 없이 합의가 보장됩니다.
• 이질성 처리: 표준 위상수학과 달리, 세미위상은 참여자들이 서로 다른 규칙을 따르는 이질적인 시스템을 수용할 수 있어 블록체인 브리지 및 복잡한 피어 투 피어 네트워크를 모델링하는 데 독보적입니다.
• 실용적 유용성: 저자들은 이 논리가 이미 합의 프로토콜을 정식으로 명세하고, 추론하며, 디버깅하는 데(예: Paxos를 공리화하고 Heterogeneous Paxos의 오류를 식별하는 데) 사용되고 있다고 밝힙니다.

결론적으로, 탈중앙화된 시스템은 중앙 제어의 부재로 인해 혼란스러워 보일 수 있지만, 세미위상은 실행 가능한 연합의 교차 성질에 의해 정의되는 기저의 질서를 드러내며, 크립토이코노믹 시스템을 설계하고 검증하는 새로운 관점을 제공합니다.