솔리디티

솔리디티(Solidity)는 이더리움 등 블록체인 플랫폼에서 스마트 계약 작성과 구현에 사용되는 계약 지향 프로그래밍 언어이다. 솔리디티는 이더리움 핵심 기여자들에 의해 이더리움과 같은 블록체인 플랫폼 상에 스마트 계약을 작성할 수 있도록 개발되었다. 개발자는 솔리디티를 통해서 스스로 실행되는 비즈니스 로직을 스마트 계약에 담아서 구현할 수 있다. 솔리디티를 통해 다양한 앱을 구현할 수 있지만 블록체인 특성상 스마트 계약이 블록체인에 한번 올라가면 수정할 수 없으며 누구나 확인할 수 있기 대문에 신중하게 작성을 해야 한다.

솔리디티 언어는 2014년 8월에 개빈 우드(Gavin Wood)의 제안을 시작으로, 이더리움 프로젝트의 크리스천 라이트위스너(Christian Reitwiessner)가 이끄는 솔리디티 팀에 의해 개발되었다. 솔리디티 언어는 비탈릭 부테린(Vitalik Buterin)이 이끄는 이더리움 플랫폼 위에서 작동하는 디앱을 개발하기 위한 핵심 프로그래밍 언어이다. 솔리디티는 이더리움뿐만 아니라 다른 여러 프라이빗 블록체인 플랫폼에서도 동작하고 있다.

개요

솔리디티는 스마트 계약을 작성하기 위한 언어로서 C++, 파이썬, 자바스크립트의 영향을 받은 고수준 언어이다. 이더리움 가상머신(Ethereum Virtual Machine)이라는 EVM을 타깃으로 디자인된 솔리디티는 정적 타입이고 여러 기능 중 상속, 라이브러리, 유저 정의 타입을 지원한다. 튜링완전이라는 특성을 가진 솔리디티는 반복문과 제어문을 사용할 수 있다. 솔리디티는 하나의 계약 내에서 다중 타입의 안전한 함수가 가능하게 하는 '응용 이진 인터페이스'(ABI; application binary interface)가 포함된다.

특징

이더리움

솔리디티는 비탈릭 부테린에 의해 이더리움을 이용한 스마트 계약 기능을 구현하는 프로그래밍 언어로서 채택됐다. 이더리움은 블록체인 기술을 기반으로 스마트 계약 기능을 구현하기 위한 분산 컴퓨팅 플랫폼이다. 솔리디티는 2014년 8월 개빈 우드에 의해 처음으로 제안되어 이후 이더리움 프로젝트의 크리스천 라이트위스너가 이끄는 솔리디티팀에 의해 개발되었다.솔리디티는 이더리움 가상머신(EVM)을 목표로 설계된 4가지 언어 중 하나이다. 서펜트(Serpent)와 엘엘엘(LLL) 언어가 있고, 실험용 언어인 바이퍼(Viper) 및 미사용 언어인 뮤탄(Mutan)이 있었는데, 이 중에서 솔리디티가 이더리움의 주요 언어가 되었다. 솔리디티는 이더리움 뿐만 아니라 모낙스(Monax)나 하이퍼레저(Hy[erledger) 등 다른 프라이빗 블록체인 플랫폼에서도 사용되고 있다.

스마트 계약에 기반한 디앱은 모두 이더리움 가상머신(EVM) 환경에서 동작하는데 이더리움 고유의 프로그래밍 언어인 솔리디티로 작성된다. 이것을 solc로 컴파일해서 생성된 이더리움 바이트코드는 geth를 통해 블록체인에 등록된다. 블록체인에 저장된 바이트코드는 결국 이더리움 가상머신(EVM)에서 실행된다. geth와 이더리움 가상머신은 하나의 프로세스로 동작하고, 솔리디티로 작성된 스마트 계약은 이더리움 가상머신에서 동작하기 때문에 특정 운영체제에 종속되지 않는다.

튜링 완전 언어

솔리디티는 튜링 완전 언어라는 평가를 받고 잇다. 튜링 완전(turing complete)은 어떤 프로그래밍 언어나 추상 머신이 튜링 머신과 동일한 계산 능력을 가짐을 의미한다. 튜링은 수학자 앨런 튜링에 의해 1936년에 제시된 개념으로 계산하는 기계의 일반적인 개념을 설명하기 위한 가상의 기계를 의미한다. 튜링머신(turing machine)은 추상적인 수학 개념상의 기계로서 튜링기계라고도 부른다. 모든 수학문제를 해결할 수 있는 일반적인 알고리즘을 만들어낼 수 있는 컴퓨터언어인 튜링완전언어와 무한한 저장공간이 합쳐져 모든 계산이 가능한 문제를 계산해내는 기계라고 설명할 수 있다. 튜링완전언어(Turing-complete Language)는 튜링머신에 넣어야할 알고리즘을 만들 수 있는 언어이다. 튜링완전언어는 2가지 조건을 충족해야 한다. 프로세스를 충분히 분할할 있을 만큼 작은 단위를 사용할 수 있어야 하며 조건설정과 반복 명령어가 있어야 한다. 튜링완전언어의 명령어의 분할도와 반복명령어인 루프문이 중요한 이유는 부분의 반복은 높은 확장성을 이끌어내고 나아가서 응용까지 그것의 영역을 확장할 수 있기 때문이다.

참고자료

• 〈솔리디티〉, 《위키백과》
• 명명, 〈블록체인 솔리디티 개념 정리 및 간단 실습(인프런 학습)〉, 《네이버 블로그》, 2018-07-13
• 불곰, 〈튜링 완전(turing-complete)이란?〉, 《티스토리》, 2018-07-05
• 한승환, 〈이더리움 개론 + 튜링완전 (Ethereum Introduction)〉, 《개인 블로그》, 2015-06-04

같이 보기

• 스마트 계약
• 이더리움
• 프라이빗 블록체인
• 개빈 우드
• 크리스천 라이트위스너
• 비탈릭 부테린

이 솔리디티 문서는 블록체인 기술에 관한 토막글입니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 이 문서의 내용을 채워주세요.

블록체인 : 블록체인 기술 □■⊕, 합의 알고리즘, 암호 알고리즘, 알고리즘, 블록체인 플랫폼, 블록체인 솔루션, 블록체인 서비스 블록체인 기술 Bech32 • BTP • DRC-20 • EIP • IPFS • KRC-20 • NFT 마켓플레이스 • P2P • P2PKH • P2SH • PFP • PUF • SPV • TPS • TRC-20 • UTXO • 가나슈 • 가명성 • 가스 • 가십 • 가십 프로토콜 • 개념증명(PoC) • 검증가능지연함수(VDF) • 게스 • 고스트 프로토콜 • 공공예산 • 대체가능토큰 • 대체불가토큰(NFT) • 도지더리움 브릿지 • 디지털 자산 • 디지털 희소성 • 라운드 • 라운드 로빈 • 라이트하우스 • 랜덤 • 레그테크 • 레이든 • 리카르디안 계약 • 린스타트업 • 마스터키 • 마스트 • 메인넷 • 멜팅 • 믹싱 • 민팅 • 밈블윔블 • 반감기 • 베타넷 • 변경불가성 • 브릿지 • 블록체인 생태계 • 블록체인인공지능 • 블록체인 클라우드 서비스(BaaS) • 블룸필터 • 비블록체인 • 비앱 • 비콘체인 • 비트코인코어 • 빤통경제 • 수정 고스트 프로토콜 • 스냅샷 • 스마트 계약 • 스마트 브리지 • 스웜프로토콜 • 스크립트퍼브키 • 스테이킹 • 스텔스 주소 • 스핀오프코인 • 슬래싱 • 시크릿 컨트랙트 • 심플 컨트랙트 • 아토믹스왑 • 암호경제(크립토 이코노미) • 앵커링 • 언스테이킹 • 에어드랍 • 에폭 • 오프체인 오더락 • 오피리턴 • 옵코드 • 원토큰 문제 • 웨이 • 위스퍼 프로토콜 • 위임 • 유니스왑 • 유동성 • 이더리움 가상머신(EVM) • 이더리움 클라이언트 • 이중지불 • 익명성 • 인증된 익명 아이디 • 인터레저 프로토콜(ILP) • 자산화 • 잠금 스크립트 • 최소기능제품(MVP) • 컨소시엄 블록체인 • 컬러드코인 • 코인셔플 • 코인소각 • 코인에이지 • 코인조인 • 코인토싱 • 크립토노트 • 키스토어 • 타임락 • 테스트넷 • 토다 • 토큰 이코노미 • 토큰화 • 튜링완전 • 튜링불완전 • 트랜잭션 아이디(TxID) • 트러스트 컨트랙트 • 트루빗 • 트릴레마 • 파워 • 파티셔닝 • 퍼블릭 블록체인 • 페널티 • 프라이버시 • 프라이빗 블록체인 • 플랫폼 • 플러딩 • 피어 • 피투피(P2P) • 하이브리드 블록체인 • 합의 • 해시락 • 해시타임락(HTLC) • 해제 스크립트 • 확장성 해시 레인보우 테이블 • 매핑 • 머클경로 • 머클루트 • 머클트리 • 분산해시테이블(DHT) • 블록해시 • 스큐드 머클트리 • 온라인툴즈 • 이전블록해시 • 카뎀리아 • 해시 • 해시레이트 • 해시맵 • 해시충돌 • 해시테이블 • 해시파워 • 해시함수 • 해싱 블록 고아블록 • 그래핀 • 논스 • 마이크로블록 • 베이킹 • 북키퍼 • 브랜치블록 • 브로드캐스팅 • 블록 • 블록높이 • 블록바디 • 블록생성자 • 블록정보 • 블록타임 • 블록헤더 • 비츠 • 세그윗 • 엉클블록 • 완결성 • 제네시스블록 • 타임스탬프 • 프룻 • 프룻체인 체인 더블체인 • 라이트닝 네트워크 • 라이트닝 루프 • 루트체인 • 루프체인 • 메인체인 • 방향성 비순환 그래프(DAG) • 베리파이어블 프루닝 • 블록격자 • 블록체인 • 사용자 활성화 소프트포크(UASF) • 사용자 활성화 하드포크(UAHF) • 사이드체인 • 서브체인 • 소프트포크 • 오페라체인 • 오프체인 • 온체인 • 인터체인 • 차일드체인 • 체인 • 탱글 • 테스트체인 • 토카막 네트워크 • 포크 • 포크체인 • 퓨어체인 • 프로덕트체인 • 프루닝 • 프리포크 • 플라즈마 알고리즘 • 플라즈마캐시 • 플래시 계층 • 하드포크 • 해시그래프 • 홀로체인 노드 검증인(밸리데이터) • 기본노드 • 노드 • 라이트노드 • 랜덤노드 • 마스터노드 • 베이킹노드 • 보조노드 • 보증노드 • 슈퍼노드(슈퍼대표, 대표노드) • 슬롯 • 슬롯리더 • 엔드포인트노드(레인저노드) • 의회 네트워크 • 작업노드 • 종단노드 • 종자노드(시드노드) • 중계노드 • 지갑노드 • 채굴노드(마이닝노드) • 쿼럼 • 풀노드 • 합의노드 샤딩 네트워크 샤딩 • 데이터베이스 샤딩 • 동적샤딩 • 샤드 • 샤딩 • 스테이트 샤딩 • 알고리즘 샤딩 • 적응형 상태 샤딩 • 체인샤딩 • 트랜잭션 샤딩 채굴 병합채굴 • 사전채굴 • 에이식(ASIC) • 에이식부스트 • 에이식 저항 • 일드파밍 • 채굴 • 채굴 난이도 • 채굴량 • 탄소감축채굴 • 페어런치 탈중앙화 TVL • 거버넌스 • 다오(DAO) • 다이코(DAICO) • 닥(DAC) • 닥스(DAX) • 덱스(DEX) • 디앱(DApp) • 디지오(DGO) • 디튜브 • 디파이(DeFi) • 분산경제 • 분산원장(DLT) • 분산 클라우드 • 씨파이(C-Fi) • 오프체인 거버넌스 • 온체인 거버넌스 • 원장 • 준중앙화 • 중앙화 • 탈중앙화 • 탈중앙화 TPS • 탈중앙화 조직(DO) • 탈중앙화 지수(DQ) 분산아이디 DIDs • IETF • ToIP • 검증가능한 자격증명 • 검증인 • 디지털아이덴티티재단 • 발급자 • 보유자 • 분산아이디(DID) • 분산아이디 기관 • 분산아이디 인증(DID Auth) • 아이온 • 자기주권 • 자기주권신원 • 최소화된 자격증명 데이터 • 탈중앙화 키관리시스템 • 통합해석기 오라클 상호인증 블록체인 • 오라클 • 오라클 머신 • 오라클 문제 • 오라클 서비스 • 중간자 BIP BIP • BIP9 • BIP16 • BIP32 • BIP39 • BIP43 • BIP44 • BIP47 • BIP49 • BIP63 • BIP70 • BIP84 • BIP141 • BIP148 ERC ERC • ERC-20 • ERC-165 • ERC-223 • ERC-621 • ERC-721 • ERC-777 • ERC-827 • ERC-884 • ERC-998 • ERC-1155 • ERC-1404 위키 : 자동차, 교통, 지역, 산업, 기업, 단체, 업무, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반