스마트 계약

3. 법적 지위

알고리즘 규제 및 분산원장 기술 법률 문서도 참고할 수 있다.

일반적으로 '스마트 계약'은 법적으로 구속력 있는 계약을 구성하지 않는다.^[15] 스마트 계약을 규제하려는 제안은 존재한다.^[12][13][14]

스마트 계약은 법적 계약이 아니라, 컴퓨터 프로그램 또는 트랜잭션 프로토콜에 의해 자동으로 실행되는 거래이며,^[15] 이는 암호화폐 또는 기타 토큰의 이전을 통한 지급 의무 자동화와 같은 기술적 수단을 포함한다.^[16] 일부 학자들은 프로그래밍 언어의 명령적 또는 선언적 성격이 스마트 계약의 법적 유효성에 영향을 미칠 것이라고 주장했다.^[17]

이더리움 블록체인이 2015년에 출시된 이후, "스마트 계약"이라는 용어는 블록체인에서 이루어지는 범용 컴퓨팅에 적용되어 왔다. 미국 국립 표준 기술 연구소(NIST)는 "스마트 계약"을 "블록체인 네트워크에서 암호화 서명된 트랜잭션을 사용하여 배포되는 코드와 데이터(종종 함수 및 상태라고 함)의 모음"으로 설명한다.^[18] 이 해석에서 스마트 계약은 블록체인을 사용하는 모든 종류의 컴퓨터 프로그램이다. 스마트 계약은 또한 보안된 저장 프로시저로 간주될 수 있는데, 그 실행 및 코드화된 효과(예: 당사자 간의 토큰 전송)는 블록체인 자체를 수정하지 않고는 조작할 수 없다. 이 해석에서 계약의 실행은 플랫폼에 연결된 임의의 서버 측 프로그램이 아닌 플랫폼에 의해 제어되고 감사된다.^[19][20]

2018년, 미국 상원 보고서는 다음과 같이 밝혔다. "스마트 계약은 새로운 것처럼 들릴 수 있지만, 그 개념은 기본 계약법에 뿌리를 두고 있다. 일반적으로 사법 시스템은 계약 분쟁을 판결하고 약관을 시행하지만, 특히 국제 거래의 경우 다른 중재 방법도 흔히 사용된다. 스마트 계약을 사용하면 프로그램이 코드에 내장된 계약을 시행한다."^[21] 스마트 계약 사용에 대한 법률을 통과시킨 미국의 주에는 애리조나,^[22] 아이오와,^[23] 네바다,^[24] 테네시,^[25] 그리고 와이오밍이 있다.^[26]

2021년 4월, 영국 관할권 태스크포스(UKJT)는 영국에서 블록체인 및 암호화폐 관련 법적 분쟁의 신속한 해결을 가능하게 하기 위해 디지털 분쟁 해결 규칙(Digital DR Rules)을 발표했다.^[27]

4. 작동 방식

블록체인 상에서 가치를 이전하는 것과 유사하게, 스마트 계약을 블록체인에 배포하는 과정은 해당 블록체인의 지갑에서 거래를 전송함으로써 이루어진다.^[28] 이 거래에는 스마트 계약을 위한 컴파일된 코드와 특수한 수신자 주소가 포함된다.^[28] 이후 해당 거래는 블록체인에 추가될 블록에 포함되어야 하며, 이 시점에서 스마트 계약의 코드가 실행되어 계약의 초기 상태를 설정한다.^[28] 비잔틴 장애 허용 알고리즘은 스마트 계약을 훼손하려는 시도로부터 분산된 방식으로 보호하며, 일단 배포된 스마트 계약은 업데이트할 수 없다.^[29]

블록체인의 스마트 계약은 임의의 상태를 저장하고 임의의 계산을 실행할 수 있다. 최종 사용자는 거래를 통해 스마트 계약과 상호 작용하며, 이러한 거래는 다른 스마트 계약을 호출할 수도 있다. 이 과정에서 상태가 변경되거나, 한 스마트 계약에서 다른 스마트 계약으로, 또는 한 계정에서 다른 계정으로 코인이 전송될 수 있다.^[29]

스마트 계약 실행에 가장 널리 사용되는 블록체인은 이더리움이다.^[30] 이더리움에서 스마트 계약은 주로 튜링 완전 프로그래밍 언어인 솔리디티로 작성되어^[31] 이더리움 가상 머신에서 실행될 저수준 바이트코드로 컴파일된다.^[32] 그러나 정지 문제와 같은 보안 문제 때문에 튜링 완전성은 위험 요소로 간주되기도 하며, Vyper와 같은 언어에서는 의도적으로 이를 피하고 있다.^[33][34] 튜링 완전성이 없는 다른 스마트 계약 프로그래밍 언어로는 Simplicity, Scilla, Ivy, 비트코인 스크립트 등이 있다.^[34] 2020년 정규 표현식을 이용한 측정 결과에 따르면, 당시 53,757개의 이더리움 스마트 계약 중 35.3%만이 정지 문제와 관련된 재귀 및 루프 구문을 포함하고 있었다.^[35]

일부 언어는 형식적 검증을 용이하게 하도록 설계되었다. 예를 들어 Bamboo, IELE, Simplicity, Michelson(Coq로 검증 가능),^[34] Liquidity(Michelson으로 컴파일), Scilla, DAML, Pact 등이 있다.^[33]

블록체인의 프로세스는 일반적으로 비잔틴 장애 허용을 보장하기 위해 결정론적으로 작동한다.^[38] 하지만 복권이나 카지노와 같은 스마트 계약의 실제 응용 분야에서는 안전한 임의성이 필요하다.^[39] 블록체인 기술은 복권 실행 비용을 줄여 참가자에게 이점을 줄 수 있다. 블록체인 상의 임의성은 블록 해시나 타임스탬프, 오라클, 커밋먼트 스킴, RANDAO^[40][41] 및 Quanta와 같은 특수 스마트 계약, 그리고 혼합 전략 내쉬 균형의 시퀀스를 사용하여 구현될 수 있다.^[38]

5. 종류

스마트 계약은 기반 기술이나 설계 방식에 따라 여러 종류로 나눌 수 있다. 대표적인 분류 기준으로는 계약 실행 코드의 계산 능력, 즉 튜링 완전성 여부가 있다. 또한, 계약을 작성하는 프로그래밍 패러다임에 따라서도 분류할 수 있다.

5. 1. 튜링 완전성 여부

5. 2. 프로그래밍 패러다임

6. 주요 플랫폼

이더리움(Ethereum)은 비탈릭 부테린(Vitalik Buterin)이 2013년 비트코인의 블록체인 기술을 확장하여 스마트 계약 기능을 구현하고자 하면서 시작되었다. 기존 비트코인 커뮤니티에서 그의 제안이 받아들여지지 않자, 부테린은 비트코인을 포크(fork)하여 이더리움이라는 새로운 가상화폐와 플랫폼을 만들었다. 이더리움은 개발자가 솔리디티(Solidity)라는 프로그래밍 언어를 사용하여 직접 계약 조건과 내용을 코딩할 수 있게 함으로써 스마트 계약의 광범위한 확산을 이끌었다. 원칙적으로 이더리움 플랫폼을 통해 인간이 상상할 수 있는 모든 종류의 계약을 구현할 수 있지만, 솔리디티 언어의 전문성 때문에 일반인이 직접 코딩하기는 어렵다.^[70]

삼성SDS㈜는 2017년 4월, 이더리움의 스마트 계약 기능을 참고하여 자체 플랫폼인 넥스레저(NexLedger)를 개발했다. 넥스레저는 기존 비트코인 블록체인 내에 이더리움 가상머신(EVM, Ethereum Virtual Machine)을 구현하는 방식으로 스마트 계약 기능을 제공하는 특징을 가진다.^[71]

7. 활용 분야

1998년, 닉 사보는 스마트 계약 인프라가 암호화 해시 체인과 비잔틴 장애 허용 복제를 사용하여 복제된 자산 등록 및 계약 실행을 통해 구현될 수 있다고 제안했다.^[42] 2002년 Askemos 프로젝트는 Scheme 언어와 SQLite 데이터베이스를 이용하여 계약 스크립트 언어를 구현했다.^[45][46][47]

스마트 계약은 다양한 분야에서 활용될 잠재력을 보여준다. 비트코인의 블록체인 기술을 활용한 예시 중 하나는 '컬러드 코인'이다.^[48] 이는 특정 비트코인에 특별한 의미를 부여하여 다양한 자산 소유권을 블록체인 상에 기록하고 이전하는 방식으로, 복제된 소유권 증명과 계약 실행을 가능하게 한다. 여러 프로젝트에서 이러한 개념을 구현하고 있다.

금융 분야에서는 UBS 은행이 2015년 기준으로 비트코인 블록체인을 이용한 '스마트 채권' 발행을 실험했다.^[49] 이는 채권의 이자 지급이나 원금 상환 같은 지불 흐름을 계약 조건에 따라 자동으로 처리하여 완전히 자동화된 증권을 만드는 것을 목표로 한다.^[50]

법률 및 행정 절차에서도 활용이 가능하다. 예를 들어, 상속 절차에서 사망 증명서가 등록되면 스마트 계약을 통해 유산 분배가 자동으로 실행되도록 구현할 수 있다.^[51][52] 마찬가지로 출생 증명서 발급과 관련된 절차에도 스마트 계약을 적용할 수 있다.^[53][54]

부동산 거래 역시 스마트 계약으로 처리될 수 있다. Inc.com의 크리스 스눅은 스마트 계약이 복잡한 부동산 거래 절차를 간소화하고, 소유권 기록이나 공공 기록 관리에도 활용될 수 있다고 제안했다.^{[55][56][57][58][59]}

고용 계약, 특히 임시직 고용 계약에서도 스마트 계약이 유용하게 사용될 수 있다. 세스 오란버그와 리야 팔라가슈빌리는 스마트 계약을 통해 급여 지급 등의 조건을 자동화함으로써 고용주에게 효율성 증대와 같은 이점을 제공할 수 있다고 주장했다.^[60][61]

8. 보안 문제

블록체인 기반 스마트 계약의 거래 데이터는 해당 블록체인 네트워크 참여자 모두에게 공개된다. 이 데이터는 암호화된 형태로 제공되지만, 이는 보안 허점을 포함한 버그가 발견될 경우 모든 사람에게 노출되면서도 신속하게 수정하기 어려울 수 있는 상황을 초래한다.^[62] 이러한 공격은 신속하게 수정하기 어렵다는 특징이 있다.

대표적인 사례로 2016년 6월 발생한 The DAO 해킹 사건을 들 수 있다. 이 공격으로 당시 약 5000만달러 상당의 이더가 유출되었으며, 개발자들은 합의를 통해 해결책을 모색해야 했다.^[63] 다행히 The DAO 프로그램에는 해커가 자금을 인출하기까지 시간 지연 기능이 설정되어 있었다. 개발자들은 이 시간 제한이 만료되기 전에 공격자로부터 자금을 회수하기 위해 이더리움 소프트웨어의 하드 포크를 단행했다.^[64]

이 외에도 패리티 멀티시그니처 지갑 공격과 2018년에 발생한 정수 언더플로우/오버플로우 공격 등이 주요 스마트 계약 공격 사례로 꼽힌다. 이들 공격으로 인한 총 피해액은 1.84억달러를 넘는 것으로 알려졌다.^[65]

특히 이더리움 스마트 계약과 관련해서는 다음과 같은 구체적인 문제점들이 지적되고 있다.^[36]

• 계약 작성 언어인 솔리디티(Solidity)의 모호함과 사용하기는 쉽지만 안전하지 않은 구조적 문제
• 솔리디티 컴파일러 자체의 버그
• 이더리움 가상 머신(EVM)의 버그
• 블록체인 네트워크 자체에 대한 공격 가능성
• 한번 배포된 스마트 계약 코드의 버그를 수정하기 어려운 불변성 문제
• 알려진 취약점, 공격 유형, 문제 소지가 있는 코드 구조 등에 대한 정보가 체계적으로 정리된 중앙 자료의 부재

참조

_[1] 서적 Digital Libraries in Computer Science: The MeDoc Approach Springer 1998
_[2] 서적 Smart Contracts Mohr Siebeck
_[3] 웹사이트 Contract Law 2.0: "Smart" Contracts As the Beginning of the End of Classic Contract Law https://papers.ssrn.[...] Social Science Research Network 2016-12-14
_[4] 서적 The Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World Portfolio/Penguin 2016-05
_[5] 간행물 View of Formalizing and Securing Relationships on Public Networks {{!}} First Monday https://firstmonday.[...] 1997
_[6] 간행물 The State of Ethereum Smart Contracts Security: Vulnerabilities, Countermeasures, and Tool Support 2022-05-27
_[7] 웹사이트 All You Need to Know About NFT Smart Contracts https://www.binance.[...] Binance 2022-09-26
_[8] 웹사이트 White Paper· ethereum/wiki Wiki · GitHub https://github.com/e[...]
_[9] 간행물 Blockchain-based Smart Contracts: A Systematic Mapping Study 2017-08-26
_[10] 웹사이트 Bitcoin is not just digital currency. It's Napster for finance http://fortune.com/2[...] 2014-01-21
_[11] 웹사이트 Smart contracts in the Netherlands - University of Tilburg http://arno.uvt.nl/s[...] Twente University 2018-08-01
_[12] 간행물 Interpretation of Contracts and Smart Contracts: Smart Interpretation or Interpretation of Smart Contracts? https://kluwerlawonl[...] 2018-12-01
_[13] 간행물 Is code law? Current legal and technical adoption issues and remedies for blockchain-enabled smart contracts https://journals.sag[...] 2020-08-05
_[14] 간행물 Smart contracts from the contract law perspective: outlining new regulative strategies https://academic.oup[...] 2020-09-01
_[15] 문서 Smart Contracts: A Requiem 2019-12-07
_[16] 문서 Smart Contracts: A Smart Way To Automate Performance 2017
_[17] 간행물 On legal contracts, imperative and declarative smart contracts, and blockchain systems
_[18] 문서 Blockchain Technology Overview
_[19] 간행물 Research Directions in Blockchain Data Management and Analytics https://openproceedi[...] OpenProceedings 2019-10-02
_[20] 간행물 Internet of Things, Blockchain and Shared Economy Applications Elsevier B.V.
_[21] 웹사이트 Chapter 9: Building a Secure Future, One blockchain at a time https://www.jec.sena[...] US Senate Joint Economic Committee 2018-03
_[22] 웹사이트 Arizona HB2417 - 2017 - Fifty-third Legislature 1st Regular https://legiscan.com[...]
_[23] 웹사이트 Iowa House approves bills to facilitate broadband, cryptocurrency https://www.thegazet[...]
_[24] 문서 New Nevada legislation recognizes blockchain and smart contract terminologies https://www.nvbar.or[...] 2017-08
_[25] 웹사이트 Smart Contract Bill Tennessee http://www.capitol.t[...] 2020-09-22
_[26] 웹사이트 Wyoming - Smart Contract https://wyoleg.gov/L[...] 2019-02-26
_[27] 웹사이트 Arbitration of digital disputes in smart contracts and the release of the digital dispute resolution rules from the UK jurisdiction taskforce {{!}} Lexology https://www.lexology[...] 2021-04-23
_[28] 서적 Hands-On Smart Contract Development With Solidity and Ethereum: From Fundamentals to Deployment https://books.google[...] O'Reilly 2019-12
_[29] 간행물 Safer smart contract programming with Scilla 2019-10-10
_[30] 간행물 Blockchain-based Smart Contracts: A Systematic Mapping Study 2017-08-26
_[31] 서적 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) 2018-03-20
_[32] 논문 Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited 2020-10-17
_[33] 논문 Towards Safer Smart Contracts: A Survey of Languages and Verification Methods 2018-10-31
_[34] 간행물 Overview of the Languages for Safe Smart Contract Programming 2019
_[35] 서적 Blockchain and Applications Springer International Publishing 2020
_[36] 간행물 6th International Conference on Principles of Security and Trust (POST) European Joint Conferences on Theory and Practice of Software 2017-06-20
_[37] 간행물 7th International Conference on Principles of Security and Trust (POST) European Joint Conferences on Theory and Practice of Software 2018-02-22
_[38] arXiv Probabilistic Smart Contracts: Secure Randomness on the Blockchain 2019-02-21
_[39] 웹사이트 Method for Generating Secure Randomness on Blockchain http://www.freepaten[...] 2020-08-06
_[40] 서적 Proceedings of the 2019 2nd International Conference on Blockchain Technology and Applications 2019
_[41] 웹사이트 randao/randao https://github.com/r[...] randao 2020-07-10
_[42] 웹사이트 Secure Property Titles with Owner Authority http://szabo.best.vw[...]
_[43] conference Askemos a distributed settlement http://citeseerx.ist[...] 2017-05-25
_[44] 웹사이트 Proceedings of International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet http://www.isl.cs.wa[...] 2017-05-25
_[45] thesis Erstellung eines Archivierungskonzepts für die Speicherung rückverfolgbarer Datenbestände im Askemos-System https://monami.hs-mi[...] Hochschule Mittweida 2017-05-25
_[46] 웹사이트 Entwicklung einer Datenbankschnittstelle als Grundlage für Shop-Systeme unter dem Betriebssystem Askemos https://core.ac.uk/d[...] 2017-05-25
_[47] 웹사이트 Beweiswürdigung elektronischer Dokumente im Zivilprozess unter vergleichender Betrachtung von qualifizierten elektronischen Signaturen nach dem Signaturgesetz und dem Askemos-Verfahren http://askemos.org/A[...] 2017-05-25
_[48] magazine Bitcoin moves beyond mere money https://www.newscien[...] 2013-11-20
_[49] 뉴스 Smart Money: Blockchains Are the Future of the Internet http://europe.newswe[...] 2015-09-12
_[50] 뉴스 Bitcoin technology will disrupt derivatives, says banker http://www.ifrasia.c[...] 2015-06-11
_[51] 웹사이트 How blockchain technology could change our lives https://www.europarl[...] 2024-05-24
_[52] 웹사이트 Blockchain and AI are coming to kill these 4 business verticals https://www.inc.com/[...] 2024-05-24
_[53] 문서 Blockchain for Digital Governments https://publications[...]
_[54] 웹사이트 Blockchain Based Framework for Document Authentication https://link.springe[...] 2024-05-24
_[55] 웹사이트 Blockchain and Artificial Intelligence Are Coming to Kill These 4 Small Business Verticals https://www.inc.com/[...] 2017-10-31
_[56] 웹사이트 The Bitfury Group and Government of Republic of Georgia Expand Blockchain Pilot https://bitfury.com/[...] 2021-05-26
_[57] 웹사이트 A BLOCKCHAIN - Journals Gateway https://www.mitpress[...] 2021-05-26
_[58] 웹사이트 Digital Transformation: Blockchain and Land Titles https://www.oecd.org[...] 2021-05-26
_[59] 뉴스 Ukraine launches big blockchain deal with tech firm Bitfury https://www.reuters.[...] 2017-04-17
_[60] journal The Gig Economy, Smart Contracts, and Disruption of Traditional Work Arrangements https://papers.ssrn.[...] 2018-10-22
_[61] 웹사이트 A blockchain-based decentralized system for proper handling of temporary employment contracts https://www.research[...] 2024-05-24
_[62] 웹사이트 Ethereum's $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt https://spectrum.iee[...] Institute of Electrical and Electronics Engineers 2016-05-28
_[63] 웹사이트 Experiments in Algorithmic Governance: A history and ethnography of "The DAO", a failed Decentralized Autonomous Organization http://iqdupont.com/[...] 2017
_[64] 뉴스 This Is Your Company on Blockchain https://www.bloomber[...] 2016-08-25
_[65] arXiv Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey 2019
_[66] 문서 Whitepaper: Smart Contracts and Distributed Ledger – A Legal Perspective https://www.isda.org[...]
_[67] 문서 Whitepaper: Smart Contracts and Distributed Ledger – A Legal Perspective https://www.isda.org[...]
_[68] 웹사이트 Ethereum yellowpaper https://ethereum.git[...]
_[69] 저널 Contract Law 2.0: «Smart» Contracts As the Beginning of the End of Classic Contract Law https://papers.ssrn.[...]
_[70] 저널 On legal contracts, imperative and declarative smart contracts, and blockchain systems https://doi.org/10.1[...]
_[71] 뉴스 Belarus adopts crypto-currency law to woo foreign investors https://www.reuters.[...] Reuters 2023-04-11