스마트 컨트랙트(Smart contract)에 대해서

 

스마트 컨트랙트란 계약 또는 계약 조건에 따라 이벤트 및 액션을 자동으로 실행, 제어 또는 문서화하는 것을 목적으로 한 컴퓨터 프로그램 또는 트랜잭션 프로토콜입니다. 스마트 컨트랙트의 목적은 신뢰할 수 있는 중개자의 필요성, 중재 비용, 사기 손실 감소뿐만 아니라 악의적이고 우발적인 예외 감소입니다. 스마트 컨트랙트는 일반적으로 암호화폐와 관련이 있으며, 이더리움이 도입한 스마트 컨트랙트는 일반적으로 분산형 금융(DeFi)과 비수용성 토큰(NFT) 애플리케이션의 기본 구성 요소로 여겨지고 있습니다.

2014년 비탈릭 부테린의 오리지널 Ethereum 백서는 비트코인 프로토콜을 Nick Szabo에 의해 당초 정의된 스마트 컨트랙트 개념의 약한 버전으로 설명하고 Turing complete라는 Solidity 언어에 기반한 보다 강력한 버전을 제안했습니다. 비트코인 이후 다양한 암호화폐는 신뢰할 수 없는 당사자 간의 보다 고도의 스마트 컨트랙트를 가능하게 하는 프로그래밍 언어를 지원해 왔습니다.

 

 

스마트 컨트랙트는 기계 가독 코드로 표현되고 구현된 용어를 선택한 기존의 자연어로 법적 구속력이 있는 계약을 의미하는 스마트 법률 계약과 혼동해서는 안 됩니다.

 

스마트 컨트랙트의 법적 지위

스마트 컨트랙트는 일반적으로 법적으로 유효한 구속력 있는 계약을 구성하지 않습니다. 스마트 컨트랙트를 규제하기 위한 제안이 존재합니다.

스마트 컨트랙트는 법적 계약이 아니라 컴퓨터 프로그램 또는 트랜잭션 프로토콜에 의해 자동으로 실행되는 거래이며, 예를 들어 암호화폐 또는 다른 토큰의 전송 등 지불 의무의 자동화를 위한 기술적 수단입니다. 일부 학자들은 프로그래밍 언어의 명령적 또는 선언적 성질이 스마트 컨트랙트의 법적 타당성에 영향을 준다고 주장하고 있습니다.

2015년 이더리움 블록체인 론칭 이후 '스마트 컨트랙트'라는 용어는 블록체인 상에서 이뤄지는 범용 컴퓨팅에 적용돼 왔습니다. 미국 국립표준기술연구소는 '스마트 컨트랙트'를 '블록체인 네트워크상에서 암호화 서명된 트랜잭션을 사용하여 전개되는 코드와 데이터(기능 및 상태라고 불리기도 합니다)의 집합'이라고 표현하고 있습니다. 이 해석에서 스마트 컨트랙트는 블록체인을 사용하는 모든 종류의 컴퓨터 프로그램입니다. 스마트 컨트랙트는 블록체인 자체를 변경하지 않고 실행 및 코드화된 효과(당사자 간 토큰 전송 등)를 조작할 수 없기 때문에 안전한 저장 프로시저로 간주할 수도 있습니다. 이 해석에서 계약의 실행은 플랫폼에 접속하는 임의의 서버 측 프로그램이 아니라 플랫폼에 의해 제어 및 감사됩니다.

2018년 미국 상원 보고서는 다음과 같이 말했습니다.스마트 컨트랙트는 새로운 것처럼 들릴 수 있지만 이 개념은 기본계약법에 근거하고 있습니다. 보통 사법제도는 계약상의 분쟁을 심판하고 조건을 강제하지만, 국제거래를 중심으로 다른 중재 방법을 마련하는 것도 일반적입니다. 스마트 컨트랙트에서는 프로그램이 코드에 포함된 계약을 강제합니다.스마트 컨트랙트의 사용에 관한 법률을 가결한 미국의 주에는 애리조나 주, 아이오와 주, 네바다 주, 테네시 주, 와이오밍 주가 있습니다.

2021년 4월 영국 사법특별위원회(UKJT)는 영국의 블록체인 및 암호법적 분쟁의 신속한 해결을 가능하게 하는 것을 목적으로 한 디지털 분쟁 해결 규칙(Digital DR Rules)을 발표했습니다.

 

작업장

블록체인 상의 스마트 컨트랙트 전개는 블록체인 지갑에서 트랜잭션을 전송하여 이루어집니다. 이 트랜잭션에는 스마트 컨트랙트 코드와 특별한 수신자 주소가 포함되며, 트랜잭션이 블록체인에 추가되면 스마트 컨트랙트의 초기 상태가 확립됩니다. 비잔틴의 폴트 톨러런트 알고리즘은 스마트 컨트랙트를 분산적으로 보호하며, 일단 도입된 스마트 컨트랙트는 갱신할 수 없습니다. 스마트 컨트랙트는 임의의 상태를 저장하고 계산을 실행할 수 있으며, 다른 스마트 컨트랙트와 상호작용할 수 있습니다.

가장 인기 있는 블록체인은 이더리움(Ethereum)으로, 스마트 컨트랙트는 주로 솔리디티(Solidity) 언어로 작성되어 이더리움 가상 머신에서 실행됩니다. 정지 문제와 보안 문제 때문에 튜링 완전성은 위험 요소로 간주되며, 이를 회피하는 언어로는 Vyper, Simplicity, Scilla, Ivy, 비트코인 스크립트 등이 있습니다. 2020년 측정 결과, 당시 53,757건의 이더리움 스마트 컨트랙트 중 35.3%만이 재귀와 루프를 포함하고 있었습니다.