스마트계약(Smart Contract)

I. 블록체인 2.0의 핵심기능, 스마트계약의 개요

가. 스마트계약(Smart Contract)의 정의

   - 블록체인 기반으로 금융거래, 부동산 계약, 공증 등 다양한 형태의 계약을 체결하고 이행하는 기술

   - 분산 원장 기술에서 거래의 일정 조건을 만족시키면 당사자 간에 자동으로 거래가 체결되는 기술

   - 1992년 컴퓨터 과학자인 닉사보가 제시한 기술로 분산원장기술 (DLT : Distributed Ledger Technology)에서 일정 조건을 만족시키면 당사자 간에 자동으로 체결되는 기술

나. 스마트계약의 특징

구분	특징	내용
계약측면	자동 계약	계약 조건을 컴퓨터 코드로 지정해두고 조건이 맞으면 계약을 이행하는 방식
	프로세스 간소화	복잡한 프로세스를 간소화 진행 가능
기술측면	탈중앙화	중앙에서 관리하지 않고 P2P 중심의 운용
	코드 실행	특정 조건이 달성 되면 자동적으로 코드가 실행되어 계약 이행
	튜링 완전성	어떤 프로그래밍 언어나 추상 기계가 튜링 기계와 동일한 계산 능력을 가짐

다. 스마트계약의 특성

특성	내용
거래내역의 분산 보존	거래내역은 파일 형태로 존재하며 조건이 달성되어 프로그램이 실행되면 참가자들은 거래내역의 사본을 분산하여 소유하고 불변적으로 보존
합의과정의 효율화	비즈니스 환경에서 협업하는 사람들의 공통 이해관계에 부합하는 암호화된 규칙 설정 및 실행을 용이하게 하고, 참가자간 합의사항 도출을 촉진
별도 중개기관 불필요	중개기관 없어도 거래 당사자간 직접 조건 달성 상태를 확인할 수 있으므로 중간딜러에 의한 사기피해를 막을 수 있음
계약이행 상태의 확인	스마트 계약 내에 거래조건과 내용을 등록하면 참가자에게 계약 이행 결과가 통보되어 계약이행 상태 확인이 가능하고 그 결과 계약이행을 촉구하기 위한 추가적인 관리 비용이 축소됨
계약의 공증	스마트 계약 시 스크립트 코드가 삽입되어 거래 실행 시 계약이 자동으로 공증됨

라. 스마트계약의 원칙

원칙	내용
관측 가능성(Observability)	서로의 계약 이행 가능성을 관찰하거나 성과를 입증할 수 있어야 함
검증 가능성(Verifiability)	계약을 이행 또는 위반했을 때 이를 알 수 있어야 함
사생활 보호(Privity)	계약 내용은 계약에 필요한 당사자들에게만 분배되어야 함
강제 가능성(Enforceability)	계약을 강제로 이행할 수 있는 구속력이 있어야 함

마. 스마트계약의 장점

1) 빠르고 Realtime에 가깝고, 사람이 하는 실수하는 부분이 없어 높은 정확도 유지

2) 중개자의 수를 줄이거나 없앨 수 있어, 비용 절감

---

II. 스마트계약의 개념도 및 기술요소

가. 스마트계약의 개념도

권리, 의무의 교환 과정 전체를 모두 스마트 계약으로 처리하여, 하나의 계약은 블록체인상에 존재하는 코드 만으로 존재 가능

스마트계약은 신뢰를 공개된 규칙으로 만들었기 때문에 신뢰가 불필요하게 됨

나. 스마트계약의 기술요소

구분	기술요소	설명
신뢰성	전자서명	- 공개키와 개인키를 이용한 부인 방지
	마이닝	- 합의 알고리즘에 의한 신뢰성 보장
튜링 완전 언어	Solidity	- 자바스크립트와 유사한 객체지향 프로그래밍
	Serpent	- 파이썬과 유사한 이더리움 개발 가능 프로그래밍
이더리움	EVM	- Ethereum Virtual Machine - 메모리 바이트 배열과 키/값 저장소를 갖는 스택기반 가상머신
	DApp	- 사용자 유저단 UI를 제공하는 기술