[논문 리뷰] Smart Contract Templates: foundations, design landscape and research directions

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

Blockchain Technology Applications and Security인용 수 178

한 줄 요약

스마트 계약을 자동화 가능하고 시행 가능한 합의로 정의하고, 법적 문구와 코드 간 연결을 위한 템플릿 설계 풍경을 개요하며, 향후 연구 방향을 논하는 입장문.

ABSTRACT

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term research.

연구 동기 및 목표

• 용어, 자동화, 이행 가능성, 의미론을 포함한 스마트 계약의 기초 개념을 명확히 한다.
• 매개변수를 통해 법적 문구를 표준 코드와 연결하는 실용적 프레임워크(Smart Contract Templates)를 제안한다.
• 법적으로 실행 가능한 스마트 계약을 지원하기 위한 템플릿 템플릿, 매개변수, 공용 코드를 위한 설계 옵션을 탐구한다.
• 금융기관의 향후 채택을 위한 장기 연구 과제와 가능한 아키텍처를 강조한다.

제안 방법

• 스마트 계약을 자동화 가능하고 이행 가능한 합의로서의 고수준의 이중 관점 정의를 규정한다.
• 계약의 운영적(자동화) 측면과 비운영적(법적) 측면을 구분하는 의미 프레임워크를 제시한다.
• 법적 문구를 매개변수와 결합하여 코드 실행을 촉진하는 Ricardian Contract에서 영감을 받은 템플릿을 도입한다.
• 템플릿 매개변수, 코드 표준화, 그리고 향후 법정에서 인정 가능한 형식화를 어떻게 가능하게 할지에 대한 설계 결정에 대해 논의한다.

실험 결과

연구 질문

• RQ1 스마트 계약의 필수 기초(용어, 자동화, 이행 가능성, 의미론)는 무엇인가?
• RQ2 법적 문서를 표준화된 코드에 연결되는 매개변수를 가진 템플릿으로 어떻게 표현할 수 있는가?
• RQ3 매개변수의 정교함과 공통 코드 공유를 포함한 Smart Contract Templates의 설계 풍경은 무엇인가?
• RQ4 스마트 계약의 형식 언어 및 법정에서 인정될 수 있는 표현을 가능하게 할 장기 연구 방향은 무엇인가?

주요 결과

• 스마트 계약은 스마트 계약 코드와 스마트 법적 계약을 아우르는 자동화 가능하고 이행 가능한 합의로 볼 수 있다.
• 템플릿은 법적 문구와 매개변수를 결합하여 매개변수로 코드로 입력되는 완전히 구체화된 합의의 도출을 가능하게 한다.
• 매개변수의 정교성과 고차 매개변수를 확대하면 비즈니스 로직의 보다 유연하고 잠재적으로 법정에서 인정될 수 있는 표현을 가능하게 할 것으로 기대된다.
• 기관 간 공통 표준 코드를 넓게 사용하고 공유 코드베이스를 확대하면 중복이 줄고 확장 가능한 배포를 가능하게 할 수 있다.
• 장기 연구는 실행 가능 코드와 법적으로 인정받을 수 있는 문구 모두로 변환되는 형식 언어를 낳을 수 있다.