기술 요약: 연합 주권 수송 프로토콜 (Federated Sovereign Transport Protocol, FSTP)

문제 정의

기존의 연합 네트워크 프로토콜(예: ActivityPub, Matrix)은 탈중앙화된 조율을 가능하게 하지만, 데이터 격리를 강제하기 위해 프로토콜 자체의 구조적 제약이 아닌 운영자의 정책에 의존한다. 이러한 시스템에서는 메시지 형식과 전달 의미론(semantics)은 정의되어 있으나, 내부 데이터(예: 심의 기록, 구성원 투표)를 연합망으로 유출하는 것을 방지할 메커니즘이 없다. 결과적으로, 노동조합, 정당 또는 규제 대상 기업과 같은 기관 참여자들의 데이터 프라이버시는 프로토콜이 아닌 운영자의 정책 준수 여부에 대한 신뢰에 의존하게 된다. 또한, 기존의 식별자 모델은 대개 전역적으로 해결 가능한 식별자에 의존하므로, 서로 다른 사회적 또는 제도적 맥락이 평면화되어 사용자의 정체성이 교차 맥락 간에 상관관계로 묶이는 '맥락 붕괴(context collapse)' 현상이 발생한다. 마지막으로, 선형 원장 아키텍처(예: 블록체인)는 불변의 감사 추적 요구사항과 데이터 삭제 의무(예: GDPR) 사이의 충돌을 해결하는 데 어려움을 겪는다. 데이터를 삭제하면 해시 체인의 무결성이 깨지기 때문이다.

방법론

본 논문은 이질적인 프라이버시 요구사항을 가진 연합 네트워크를 위한 동기화 경계 및 수송 계층인 **연합 주권 수송 프로토콜(FSTP)**을 소개한다. 본 방법론은 세 가지 핵심 프리미티브(primitive)에 기반한다:

1. 동기화 에이전트 (Synchronization Agent, SA):

   • 노드의 내부 데이터 저장소($D_{raw}$)와 연합 네트워크($D_{pub}$) 사이의 독점적인 인터페이스 역할을 수행한다.
   • 컴파일 타임 격리(Compile-Time Confinement): Rust로 구현된 SA는 타입 시스템을 통해 데이터 격리를 강제한다. SA는 승인된 출력 타입만을 나타내는 폐쇄형 열거형(FstpMessage)을 활용한다. Rust는 엄격한 패턴 매칭을 요구하며, 내부 데이터 타입은 이 열거형의 멤버가 아니므로, 컴파일러는 내부 로우(raw) 데이터를 연합 메시지로 구성하려는 모든 코드 경로를 정적으로 거부한다. 이는 데이터 격리를 런타임 체크에서 컴파일 타임의 구조적 보증으로 변환한다.
   • 상태 머신(State Machine): 에이전트는 상태(유휴, 검증, 구성, 전송, 로깅)를 전환한다. 격리 불변성($m \cap D_{raw} = \emptyset$)에 대한 위반이 발생하면, 에이전트는 위반 사항을 로그에 남기고 초기화되는 에러 경로를 실행한다.

2. 맥락적 식별자 모델 (Contextual Identity Model):

   • 교차 맥락 간의 상관관계 문제를 해결한다. 각 엔티티는 전역 식별자(GII)를 보유하지만, 관계 맥락에 따라 매개변수화된 단방향 함수를 사용하여 각 연합 관계에 대한 고유한 **맥락적 식별자(CII)**를 도출한다.
   • 구조적 연결 불가능성(Structural Unlinkability): CII는 특정 관계 내에서는 안정적이지만, 해당 엔티티의 협조 없이는 GII나 다른 관계에서의 CII와 연결될 수 없다. 이는 맥락 붕착을 구조적으로 방지한다.
   • 최소 공개: 검증 가능한 자격 증명(verifiable credentials)은 특정 CII 하에서 제시되며, 해당 상호작용에 필요한 주장(claims)만을 공개한다.

3. 블록레이스 이벤트 기질 (Blocklace Event Substrate):

   • 선형적인 추가 전용 로그(append-only log)를 대신하여, 서명된 블록들의 암호학적 유향 비순환 그래프(DAG)를 도입한다.
   • 부분 순서화(Partial Ordering): 병렬적인 브랜치를 허용하여 사건들이 강제적인 직렬화 없이 공존할 수 있게 함으로써, 분산된 결정의 시간적 구조를 보존한다.
   • 삭제 호환성: 블록레이스는 이벤트 자체가 아닌 이벤트에 대한 해시 포인터를 저장한다. 데이터 삭제 의무를 준수하기 위해 데이터 저장소에서 콘텐츠를 삭제하면, 해시 체인의 무결성을 유지하면서도 민감한 콘텐츠를 제거하는 "댕글링 포인터(dangling pointer)"를 남긴다.
   • 효율성: 동기화는 프런티어 교환(frontier exchange)을 통해 이루어진다. 비용은 전체 이력 크기($N$)와 무관하게 대칭 차이($\Delta$)에 비례한다.

주요 기여

• 구조적 데이터 격리: 본 논문은 데이터 격리가 운영자 정책이 아닌 프로토콜 자체에 의해 강제될 수 있음을 입증한다. Rust의 타입 시스템을 활용함으로써, FSTP는 적대적인 피어라 할지라도 로우 데이터를 외부로 유출할 수 없음을 보장한다.
• 노출 없는 검증: 본 프로토콜은 참여자가 결과물을 생성한 내부 데이터에 접근하지 않고도, 특정 프로세스가 발생했는지, 자격 증명이 정당한지, 그리고 결과가 훼손되지 않았는지를 검증할 수 있게 한다.
• 삭제와 무결성 충돌의 해결: 블록레이스의 "댕글링 포인터" 메커니나즘은 불변의 감사 추적과 데이터 삭제 권리 사이의 불일치에 대한 구조적 솔루션을 제공하며, 이는 선형 원장 설계의 한계를 극복한다.
• 맥락적 격리: 본 프로토콜은 서로 다른 연합 관계 간의 정체성 상관관계를 구조적으로 차단하여, 기존 연합 시스템의 근본적인 프라이버시 결함을 해결한다.

결과

본 논문은 블록레이스 기질의 효율성 주장을 검증하기 위해 참조 구현(Rust 작성)에 대한 경험적 벤치마크를 제시한다:

• 방출 비용(Emission Cost): 동기화 델타(sync_delta)를 생성하는 시간은 대칭 차이($\Delta$)에 따라 선형적으로 스케일링된다. 처리량은 $\Delta$의 크기에 관계없이 약 2.3 Melem/s로 안정적으로 유지된다.
• 이력 크기로부터의 독립성: 방출 비용은 공유 이력의 크기($N$)에 통계적으로 무관하며, $N$이 50배(100개에서 5,000개 블록으로) 증가하더라도 일정하게 유지된다.
• 수신 비용(Reception Cost): 프런티어 캐시 업데이트 메커니즘을 점진적(incremental)으로 최적화한 후, 수신 비용(merge_blocks) 역시 $\Delta$에 따라 선형적으로 스케일링된다. 초기 구현은 전체 캐시 재구축으로 인해 $O(N)$의 오버헤드가 발생했으나, 최적화된 버전에서는 이를 91~98% 감소시켰다.
• 사례 연구: 3개 기관 거버넌스 시나리오를 통해, 외부 감사인이 참여 기관들의 내부 심의 기록에 접근하지 않고도 블록레이스 내의 해시와 공개된 심의 기록을 비교함으로써 집단 결정의 정당성을 검증할 수 있음을 입증하였다.

의의 및 주장

본 논문은 FSTP를 단순한 학술적 제안이 아니라, 높은 수준의 기밀성을 요구하는 기관들을 위한 거버넌스 플랫폼인 Velyzor의 노드 간 수송 계층으로 포지셔닝한다.

주요한 의의는 데이터 주권이 설정 옵션에서 배포의 구조적 결과로 전환되었다는 점이다. 이 프로토콜은 노드가 철학적으로 "탈중앙화"될 것을 요구하는 것이 아니라, 동기화 에이전트를 갖춘 적합한 노드를 배포하는 행위 자체가 내부 데이터가 내부에 머물 것임을 구조적으로 보장한다.

저자들은 보안 논거가 참조 구현의 오픈 소스 특성(Apache 2.0 라이선스)에 기반하고 있음을 강조한다. 격리의 보증은 연합 피어가 FstpMessage 열거형이 로우 데이터 유출을 허용하도록 수정되지 않았는지 확인하기 위해 소스 코드를 검사, 컴파일 및 검증할 수 있는 능력에 달려 있다.

결론적으로 FSTP는 이질적인 프라이버시 요구사항, 구조적 정체성 격리, 그리고 규제 준수(특히 데이터 삭제 관련)를 동시에 지원하는 수송 계층을 제공함으로써 기존 연합 네트워킹의 공백을 메운다. 향후 과제로 트래픽 메타데이터 누출에 대한 정량적 분석과 간헐적 연결 환경에서의 현실적인 네트워크 조건 하에서의 경험적 벤치마킹을 제시하였다.