형식유로와 형식비트코인 그리고 가상 화폐

초록

이 논문은 형식적 방법론을 돈의 개념에 적용해 ‘형식유로(FEUR)’와 ‘형식비트코인(FBTC)’이라는 추상적 화폐 단위를 제안한다. 정의 이론으로서 ‘상상적 정의’를 도입하고, 화폐의 역할에 따라 정의가 달라질 수 있음을 논한다. 특히 조직 내 부서가 사용하는 지역 금융 시스템(LFS)을 ‘가상 화폐’로 모델링하고, 상위 경영진이 의도적으로 전통적 화폐 특성을 벗어나게 하는 현상을 ‘역역성(moneyness) 선호’라고 명명한다.

상세 요약

논문은 먼저 전통적인 화폐 이론이 실증적·법적·사회적 전제에 크게 의존한다는 점을 지적하고, 이를 형식적 방법(formal methods)과 연결시켜 ‘정의의 형식화’를 시도한다. 여기서 핵심은 ‘상상적 정의(imaginative definition)’라는 메타이론이다. 기존의 정의는 경험적 관찰에 기반해 명시적 규칙을 도출하지만, 상상적 정의는 가상의 세계에서 규칙을 설계하고 그 일관성을 검증한다는 점에서 프로그래밍 언어의 타입 시스템과 유사하다. 이 접근법을 화폐에 적용하면, 화폐 단위 자체를 형식적 객체로 모델링할 수 있다.

‘형식유로(FEUR)’는 전통적 유로와 동일한 차원을 갖는 추상적 수량으로, 수학적 연산과 논리적 검증이 가능한 데이터 타입으로 정의된다. ‘형식비트코인(FBTC)’은 정보화된 화폐 모델 안에서 순환 가능한 아이템으로, 블록체인 트랜잭션을 형식화한 전이 시스템으로 표현된다. 두 단위는 서로 다른 ‘전이 규칙’을 갖지만, 동일한 형식적 프레임워크 내에서 상호 변환이 가능하도록 설계된다.

다음으로 화폐 보유자의 역할에 따라 정의가 달라진다는 ‘역할 의존 정의(role‑dependent definition)’를 제시한다. 여기서는 ‘하위 행정 역할(SAR)’을 중심으로, 조직 내부에서 화폐가 어떻게 사용·통제되는지를 분석한다. SAR은 조직의 회계·예산 부서와 유사한 역할을 하며, 이들의 정책 결정이 화폐의 ‘가치’와 ‘유통’ 메커니즘을 형식적으로 재구성한다.

가상 메모리와 가상 머신 개념을 차용해 ‘가상 화폐(vm(LFS,ORG))’를 정의한다. 대규모 조직(ORG)의 하위 부서(division)는 자체적인 지역 금융 시스템(LFS)을 운영하고, 이는 물리적 통화와는 별개의 가상 화폐로 작동한다. 이 가상 화폐는 전통적 ‘화폐성(moneyness)’ 기준—가치 저장, 교환 매개, 회계 단위—을 충족하지 않을 수 있다. 특히 경영진이 전략적 목적(예: 비용 절감, 내부 회계 조정)으로 의도적으로 이러한 기준을 위배하도록 설계하면, ‘역역성(moneyness) 선호’라는 현상이 나타난다. 이는 조직 내 권력 구조와 정보 흐름을 형식적으로 모델링함으로써, 가상 화폐가 실제 경제적 효과를 어떻게 왜곡할 수 있는지를 보여준다.

마지막으로 논문은 형식적 화폐 모델이 정책 입안자와 시스템 설계자에게 제공할 수 있는 실용적 함의를 논한다. 형식적 검증을 통해 가상 화폐의 일관성, 보안성, 그리고 정책 일치성을 사전에 검증함으로써, 조직 내부의 재무 리스크를 감소시킬 수 있다. 동시에, 형식적 정의가 지나치게 추상적이면 현실 세계와의 괴리 위험이 존재한다는 점을 경고한다.