[논문 리뷰] The Use of Smart Contracts and Challenges.

Yining Hu, Madhusanka Liyanage외 5명|arXiv (Cornell University)|2018. 09. 26.

Blockchain Technology Applications and Security인용 수 5

한 줄 요약

이 논문은 스마트 계약의 메커니즘, 실제 응용 사례—특히 크립토캣티스를 핵심 사례 연구로 강조하며—그들이 직면하는 과제에 중점을 두고 종합적인 리뷰를 제공한다. 이는 이더리움과 같은 블록체인에서 스마트 계약의 기능을 분석하고, 주요 기술적 및 체계적 문제를 규명하며, 분야 내 열린 연구 문제를 요약한다.

ABSTRACT

In December 2017, CryptoKitties, a game on the Ethereum blockchain became an instant success shortly after its launch. It attracted 180,000 users with over $20 million of spend in Ether, and was at one point taking up 12% of all Ethereum transactions. Technically speaking, CryptoKitties is a smart contract - a piece of code with storage capability that resides on a blockchain. Smart contracts are gaining increasing popularity in recent years. We present a comprehensive review of smart contracts with a focus on existing applications and challenges they face. We have covered the smart contract mechanisms, promising use cases, as well as relevant research work and the open issues.

연구 동기 및 목표

• 이더리움과 같은 블록체인 플랫폼에서 스마트 계약의 기초 기술적 메커니즘과 그 실행 방식을 분석한다.
• 스마트 계약의 보편적 채택 증가를 분석하며, 확장성과 사용자 참여 잠재력을 입증한 크립토캣티스와 같은 고영향력 있는 응용 사례를 중심으로 한다.
• 스마트 계약이 직면하는 주요 과제—성능, 보안, 형식적 검증 문제—를 식별하고 분류한다.
• 기존 연구를 조사하고 스마트 계약 설계, 배포, 검증 분야에서 아직 해결되지 않은 주요 연구 문제를 도출한다.

제안 방법

• 이더리움 기반 시스템과 크립토캣티스 dApp을 대표적인 사례로 삼아, 스마트 계약의 구현을 체계적으로 검토한다.
• 스마트 계약의 기술 아키텍처를 분석하며, 코드 실행 모델, 상태 영속성, 블록체인 레지스트리와의 상호작용을 포함한다.
• 스마트 계약 보안, 형식적 검증, 확장성에 관한 기존 문헌을 조사하여 반복되는 연구 주제와 격차를 규명한다.
• 실제 배포에서의 트랜잭션 부하 및 성능 메트릭스를 평가하며, 크립토캣티스가 이더리움 트랜잭션의 12%를 차지한 것을 포함한다.
• 현재 구현에서 관찰된 제약을 바탕으로 과제를 기술적, 경제적, 규제적 차원으로 분류한다.

실험 결과

연구 질문

• RQ1 스마트 계약은 이더리움과 같은 블록체인 생태계 내에서 어떻게 기술적으로 기능하는가?
• RQ2 크립토캣티스를 사례로 삼을 때, 스마트 계약의 보편적 채택을 이끄는 주요 요인과 실제 영향은 무엇인가?
• RQ3 현재 스마트 계약 시스템이 직면하는 주요 기술적, 보안적, 확장성 과제는 무엇인가?
• RQ4 스마트 계약 설계 및 검증 분야에서 아직 해결되지 않은 연구 격차와 열린 문제들은 무엇인가?

주요 결과

• 크립토캣티스는 이더리움의 확장성 한계를 입증했으며, 정점에 이르러서는 모든 이더리움 트랜잭션의 12%를 소비했다.
• 이 게임은 18만 명의 사용자를 유치하고 이더로 약 2,000만 달러어치의 트랜잭션을 발생시켜, 분산형 애플리케이션에 대한 사용자 관심이 매우 높다는 것을 보여주었다.
• 스마트 계약은 분산형 응용 프로그램을 가능하게 하는 지속 가능한 스토리지가 있는 자가 실행 코드로 블록체인에 구현된다.
• 그들의 잠재력에도 불구하고, 스마트 계약은 보안, 형식적 검증, 고부하 상황에서의 성능 문제로 큰 과제를 겪고 있다.
• 논문은 스마트 계약 개발을 위한 형식적 검증 및 도구 부족을 지적하며, 이 분야에서 추가 연구가 필요하다고 밝혔다.
• 기존 연구는 형식적 방법과 정적 분석을 통한 스마트 계약 신뢰성 향상에 대한 관심이 증가하고 있음을 보여주지만, 실질적 적용은 아직 제한되어 있다.