스마트 계약은 우리가 일상생활에서 체결하는 거의 모든 계약에서, 정보비대칭으로 발생하는 여러 가지 문제를 해결할 수 있는 좋은 수단이에요. 대표적으로 ‘역선택’과 ‘도덕적 해이’ 문제를 해결할 수 있죠.

이렇게 스마트 계약이 정보비대칭으로 인한 문제를 해결할 수 있는 건 분산원장기술 덕분입니다. 계약 내용을 분산원장에 기록해, 네트워크에 있는 모든 참여자가 동일한 사본을 갖게 해서 계약서의 위조나 변조를 막는 강력한 장치를 만들 수 있거든요. 네트워크끼리 대조해보면 자신과 몇몇 참여자의 계약만 변경할 경우에 위조나 변조 사실을 들키게 되니까요.

몇 주에 걸쳐 스마트 계약을 설명한 만큼, 이쯤 되면 ‘대체 언제 암호화폐 얘기를 하는 거지’ 싶을 텐데요. 오늘은 다시 이더리움 이야기로 돌아와서 ‘이더리움에서 스마트 계약이 어떻게 이루어지는지’ 기술적인 측면을 살펴보겠습니다.

블록체인의 ‘블록’에 기록되는 것

비트코인과 이더리움의 가장 큰 차이는 무엇일까요? 결론부터 얘기하면 ‘블록체인의 블록에 어떤 것까지 기록할 수 있느냐’가 다릅니다.

비트코인은 블록에 ‘거래 정보’만 기록할 수 있습니다. 이 거래에 대한 정보를 암호화하는 게 바로 해시 함수입니다. 해시 함수는 8화에서 자세히 설명했죠.

반면, 이더리움은 ‘거래 정보’뿐만 아니라 ‘그 거래를 실제로 실행시킬 수 있는 코드’도 블록에 기록할 수 있어요. 단순히 거래가 이루어졌다는 사실만 기록하는 게 아니라, 계약을 실행시키기 위한 조건문(if)이나 반복 구문(loop)과 같은 코드를 추가할 수 있는 거죠.

이렇게 블록에 기록된 내용은 블록체인 네트워크상의 모든 노드에 공유되고, 위에서 설명한 대로 일부 노드의 계약 내용을 변경하더라도 금방 발견할 수 있기 때문에 위조나 변조가 불가능해집니다. 바로 이 점 때문에 이더리움을 통해 스마트 계약을 할 수 있는 거예요.

이더리움 핵심 키워드, EVM

그렇다면 이더리움에 더 복잡한 계약을 기록할 수 있는 이유는 뭘까요? 비트코인과 다르게 이더리움은 일종의 ‘플랫폼’이기 때문입니다. 좀 더 정확하게 얘기하면 분산 컴퓨팅 플랫폼을 기반으로 구동되죠. 그래서 이더리움을 ‘플랫폼 코인’이라고 부르기도 해요.

이더리움의 창시자, 비탈릭 부테린은 ‘이더리움 가상머신(Ethereum Virtual Machine, EVM)’을 도입했습니다. EVM은 블록체인으로 구성된 컴퓨팅 플랫폼인데, 이걸 통해 코드를 작성하면서 사용자(개발자)는 목적에 맞는 프로그램을 설계할 수 있어요.

비트코인은 사전에 정의된 프로그램인 ‘거래 내역’만 블록체인에 기록할 수 있지만, 이더리움은 EVM을 통해 거래 내역뿐만 아니라 조건문(if)이나 반복 구문(loop) 등 코드를 추가해 새로운 프로그램을 만들 수 있다는 거죠.

이번엔 이더리움에서 스마트 계약이 이루어지는 단계를 살펴볼게요.

그렇다면 이더리움은 어떻게 비트코인에서 불가능했던 작업을 가능하게 만들었을까요? 이더리움이 ‘솔리디티(Solidity)’라는 프로그램 언어를 사용했기 때문이에요.

EVM에서 작동되는 언어인 솔리디티는 다른 프로그래밍 언어인 C++, 파이썬, 자바스크립트의 영향을 받아 만들어졌습니다. ‘튜링 완전(Turing Complete)’ 언어라는 점이 특징이죠.

튜링 완전에 대해 자세히 설명하면 분량이 엄청나게 길어질 거예요. 일단 튜링 완전 언어인 솔리디티를 이용해서 현실에서 가능한 모든 계약 상황을 이더리움 위에 구현할 수 있다는 사실만 언급하고 넘어갈게요.

이번 주는 기술적인 부분을 다루는 내용이라 많이 어려웠을 것 같은데요. 궁금했거나 이해가 잘 안된 부분에 대해 질문을 보내주시면, 그것을 바탕으로 다음주에 Q&A를 진행하려고 해요.

Q&A 이후에는 이더리움의 튜링 완전을 살펴보고, 재미있는 이슈로 넘어가도록 할게요!