[논문 리뷰] Smart Contract Templates: essential requirements and design options

Christopher D. Clack, Vikram A. Bakshi외 1명|arXiv (Cornell University)|2016. 12. 14.

FinTech, Crowdfunding, Digital Finance참고 문헌 1인용 수 69

한 줄 요약

이 논문은 금융 서비스 분야에서 법적 효력을 갖는 스마트 계약을 위한 표준화된 프레임워크를 제안한다. 법적 글의 저장, 전송 및 결합 방식, 실행 파라미터, 스마트 계약 코드에 대한 핵심 요구사항과 설계 옵션을 정의하며, 스마트 법적 합의의 추상적 핵심 사양을 도입하고, JSON, XML, Markdown 등의 구체적 형식을 탐색한다. 이는 의미 일관성, 암호학적 해시, 버전 관리를 통해 법적으로 이행 가능한 상호운용성 있는 스마트 계약을 가능하게 한다.

ABSTRACT

Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and transmission of smart legal agreements. We identify essential requirements and describe a number of key design options, from which we envisage future development of standardised formats for defining and manipulating smart legal agreements. This provides a preliminary step towards supporting industry adoption of legally-enforceable smart contracts.

연구 동기 및 목표

• 금융 서비스 분야에서 스마트 법적 합의를 생성하고 전송하며 법적으로 이행하기 위한 핵심 요구사항을 수립하기 위해.
• 법적 글, 파라미터, 실행 가능한 코드를 연결하는 표준화되고 확장 가능한 형식을 정의하여 스마트 법적 합의의 저장 및 전송을 가능하게 하기 위해.
• 공통 데이터 표준과 온톨로지 기반으로 법적 문서와 스마트 계약 시스템 간의 상호운용성을 지원하여 산업 내 도입을 촉진하기 위해.
• 기존의 재무 데이터 표준(FpML, FIBO 등)에 스마트 법적 합의의 전 생애주기를 통합할 수 있도록 하되, 법적 이행 가능성과 관할권 준수를 유지하기 위해.
• 자동화된 협상, 버전 관리, 감사 가능성 등을 가능하게 하는 공식 사양의 향후 개발 기반을 마련하기 위해.

제안 방법

• 스마트 법적 합의의 추상적 핵심 사양을 제안하여 메타데이터, 글 서식(목록, 표, 가림 처리 포함), 이름이 부여된 데이터 유형을 갖는 파라미터 구조를 정의한다.
• 전송 및 저장을 위한 구체적 직렬화 형식(예: JSON, XML(예: Office Open XML, ODF), Markdown)을 탐색하며, 다양한 구현 간 의미 일관성을 강조한다.
• 문서 내용의 암호학적 해시를 도입하여 무결성을 확보하고, 법적 합의와 해당 스마트 계약 간의 참조 연결을 가능하게 한다.
• 그룹, 계층, 점진적 파라미터 바인딩(예: '미바인딩' 또는 '바인딩 위치' 마커)을 사용한 다중 문서 합의 모델링을 정의하여 동적 인스턴스화를 지원한다.
• 버전 관리 및 편집 이력 모델을 개선하며, 버전 번호, 타임스탬프, 분기 전략 등을 포함하여 감사 추적 및 동시 협상 워크플로우를 지원한다.
• 기존 재무 온톨로지(FIBO 등)를 활용하여 의미적 의미를 표준화하고, 법적 내용 및 파라미터의 기계 가공 가능한 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 법적으로 이행 가능한 스마트 법적 합의를 생성하고 전송하며 결합하기 위한 핵심 기술적 및 법적 요구사항은 무엇인가?
• RQ2 법적 글, 실행 파라미터, 스마트 계약 코드를 표준화되고 상호운용 가능한 형식으로 일관되게 표현하고 연결할 수 있는 방법은 무엇인가?
• RQ3 직렬화 형식(예: JSON, XML, Markdown)의 설계 선택지 중에서 의미 일관성, 버전 관리, 암호학적 무결성을 시스템 간에 최적화하는 데 가장 효과적인 것은 무엇인가?
• RQ4 계층적 구조와 점진적 파라미터 바인딩을 갖는 다중 문서 합의는 어떻게 모델링되어야 하며, 복잡한 금융 계약을 지원할 수 있는가?
• RQ5 기존 재무 데이터 표준(FpML, FIBO 등)은 스마트 법적 합의의 전 생애주기를 지원하기 위해 얼마나 확장 가능할 수 있는가?

주요 결과

• 저자들은 스마트 법적 합의를 위한 다섯 가지 핵심 요구사항을 규명한다: 생성/편집, 표준화된 저장/전송, 법적 이행 프로토콜, 코드에의 바인딩, 관할권 준수.
• 스마트 법적 합의를 위한 공식적인 추상 사양을 제안하여, JSON, XML, Markdown 등의 다양한 형식에서 일관된 구현 설계를 가능하게 한다.
• 문서 내용의 암호학적 해시는 무결성을 보장하고, 법적 합의와 해당 스마트 계약 간의 안전한 연결을 가능하게 한다.
• 버전 번호, 타임스탬프, 분기 전략 등을 포함한 버전 관리 및 편집 이력 메커니즘은 계약 협상 과정에서 감사 가능성과 법적 추적 가능성을 확보하는 데 핵심적이다.
• FIBO와 같은 표준 온톨로지의 사용은 의미적 상호운용성을 향상시키고, 다양한 시스템 간 법적 내용 및 파라미터의 자동 분석을 가능하게 한다.
• 논문은 액세스 제어, 인증 워크플로우, 중앙 정산 메커니즘과의 통합 등 해결되지 않은 주요 설계 과제를 규명하며, 향후 연구 및 협력이 필요하다고 밝힌다.