위키원
"솔리디티"의 두 판 사이의 차이
(→튜링 완전 언어) |
(오타) (태그: 모바일 편집, 모바일 웹 편집) |
||
| (사용자 4명의 중간 판 14개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
| − | '''솔리디티'''(Solidity)는 [[이더리움]] 등 블록체인 플랫폼에서 스마트 계약 작성과 구현에 사용되는 계약 지향 프로그래밍 언어이다. 솔리디티는 [[이더리움]] 핵심 기여자들에 의해 이더리움과 같은 블록체인 | + | [[파일:솔리디티 로고.png|썸네일|200픽셀|'''솔리디티'''(Solidity) 로고]] |
| + | [[파일:솔리디티 글자.png|썸네일|300픽셀|'''솔리디티'''(Solidity) 로고와 글자]] | ||
| + | |||
| + | [[파일:이더리움 글자.png |썸네일|300픽셀|'''[[이더리움]]'''(Ethereum)]] | ||
| + | [[파일:크리스천 라이트위스너.jpg|썸네일|200픽셀|'''[[크리스천 라이트위스너]]'''(Christian Reitwiessner)]] | ||
| + | [[파일:개빈 우드.jpg|썸네일|200픽셀|'''[[개빈 우드]]'''(Gavin Wood)]] | ||
| + | [[파일:비탈릭 부테린.jpg|썸네일|200픽셀|'''[[비탈릭 부테린]]'''(Vitalik Buterin)]] | ||
| + | |||
| + | '''솔리디티'''(Solidity)는 [[이더리움]] 등 블록체인 플랫폼에서 스마트 계약 작성과 구현에 사용되는 계약 지향 프로그래밍 언어이다. 솔리디티는 [[이더리움]] 핵심 기여자들에 의해 이더리움과 같은 블록체인 플랫폼상에 [[스마트 계약]]을 작성할 수 있도록 개발되었다. 개발자는 솔리디티를 통해서 스스로 실행되는 비즈니스 로직을 스마트 계약에 담아서 구현할 수 있다.<ref name="위키백과>〈[https://ko.wikipedia.org/wiki/%EC%86%94%EB%A6%AC%EB%94%94%ED%8B%B0 솔리디티]〉, 《위키백과》</ref> 솔리디티를 통해 다양한 앱을 구현할 수 있지만 블록체인 특성상 스마트 계약이 블록체인에 한번 올라가면 수정할 수 없으며 누구나 확인할 수 있기 때문에 신중하게 작성을 해야 한다.<ref name="명명">명명, 〈[https://blog.naver.com/mingzhi24/221318187488 블록체인 솔리디티 개념 정리 및 간단 실습(인프런 학습)]〉, 《네이버 블로그》, 2018-07-13</ref> | ||
솔리디티 언어는 2014년 8월에 '''[[개빈 우드]]'''(Gavin Wood)의 제안을 시작으로, 이더리움 프로젝트의 '''[[크리스천 라이트위스너]]'''(Christian Reitwiessner)가 이끄는 솔리디티 팀에 의해 개발되었다. 솔리디티 언어는 '''[[비탈릭 부테린]]'''(Vitalik Buterin)이 이끄는 [[이더리움]] 플랫폼 위에서 작동하는 [[디앱]]을 개발하기 위한 핵심 프로그래밍 언어이다. 솔리디티는 이더리움뿐만 아니라 다른 여러 [[프라이빗 블록체인 플랫폼]]에서도 동작하고 있다.<ref name="위키백과></ref> | 솔리디티 언어는 2014년 8월에 '''[[개빈 우드]]'''(Gavin Wood)의 제안을 시작으로, 이더리움 프로젝트의 '''[[크리스천 라이트위스너]]'''(Christian Reitwiessner)가 이끄는 솔리디티 팀에 의해 개발되었다. 솔리디티 언어는 '''[[비탈릭 부테린]]'''(Vitalik Buterin)이 이끄는 [[이더리움]] 플랫폼 위에서 작동하는 [[디앱]]을 개발하기 위한 핵심 프로그래밍 언어이다. 솔리디티는 이더리움뿐만 아니라 다른 여러 [[프라이빗 블록체인 플랫폼]]에서도 동작하고 있다.<ref name="위키백과></ref> | ||
| 13번째 줄: | 21번째 줄: | ||
=== 튜링 완전 언어 === | === 튜링 완전 언어 === | ||
| − | 솔리디티는 튜링 완전 언어라는 평가를 받고 잇다. '''튜링 완전'''(turing complete)은 어떤 프로그래밍 언어나 추상 머신이 튜링 머신과 동일한 계산 능력을 가짐을 의미한다. 튜링은 수학자 앨런 튜링에 의해 1936년에 제시된 개념으로 계산하는 기계의 일반적인 개념을 설명하기 위한 가상의 기계를 의미한다.<ref>불곰, 〈[https://brownbears.tistory.com/369 튜링 완전(turing-complete)이란?]〉, 《티스토리》, 2018-07-05</ref> '''튜링머신'''(turing machine)은 추상적인 수학 개념상의 기계로서 튜링기계라고도 부른다. 모든 수학문제를 해결할 수 있는 일반적인 알고리즘을 만들어낼 수 있는 컴퓨터언어인 튜링완전언어와 무한한 저장공간이 합쳐져 모든 계산이 가능한 문제를 계산해내는 기계라고 설명할 수 있다. 튜링완전언어(Turing-complete Language)는 튜링머신에 넣어야할 알고리즘을 만들 수 있는 언어이다. 튜링완전언어는 2가지 조건을 충족해야 한다. 프로세스를 충분히 분할할 있을 만큼 작은 단위를 사용할 수 있어야 하며 조건설정과 반복 명령어가 있어야 한다. 튜링완전언어의 명령어의 분할도와 반복명령어인 루프문이 중요한 이유는 부분의 반복은 높은 확장성을 이끌어내고 나아가서 응용까지 그것의 영역을 확장할 수 있기 때문이다.<ref name="한승환">한승환, 〈[http://www.seunghwanhan.com/2015/06/ethereum-introduction_3.html]〉, 《개인 블로그》, 2015-06-04</ref> | + | 솔리디티는 튜링 완전 언어라는 평가를 받고 잇다. '''튜링 완전'''(turing complete)은 어떤 프로그래밍 언어나 추상 머신이 튜링 머신과 동일한 계산 능력을 가짐을 의미한다. 튜링은 수학자 앨런 튜링에 의해 1936년에 제시된 개념으로 계산하는 기계의 일반적인 개념을 설명하기 위한 가상의 기계를 의미한다.<ref>불곰, 〈[https://brownbears.tistory.com/369 튜링 완전(turing-complete)이란?]〉, 《티스토리》, 2018-07-05</ref> '''튜링머신'''(turing machine)은 추상적인 수학 개념상의 기계로서 튜링기계라고도 부른다. 모든 수학문제를 해결할 수 있는 일반적인 알고리즘을 만들어낼 수 있는 컴퓨터언어인 튜링완전언어와 무한한 저장공간이 합쳐져 모든 계산이 가능한 문제를 계산해내는 기계라고 설명할 수 있다. 튜링완전언어(Turing-complete Language)는 튜링머신에 넣어야할 알고리즘을 만들 수 있는 언어이다. 튜링완전언어는 2가지 조건을 충족해야 한다. 프로세스를 충분히 분할할 수 있을 만큼 작은 단위를 사용할 수 있어야 하며 조건설정과 반복 명령어가 있어야 한다. 튜링완전언어의 명령어의 분할도와 반복명령어인 루프문이 중요한 이유는 부분의 반복은 높은 확장성을 이끌어내고 나아가서 응용까지 그것의 영역을 확장할 수 있기 때문이다.<ref name="한승환">한승환, 〈[http://www.seunghwanhan.com/2015/06/ethereum-introduction_3.html 이더리움 개론 + 튜링완전 (Ethereum Introduction)]〉, 《개인 블로그》, 2015-06-04</ref> |
| + | |||
| + | === 솔리디티 코드 문법 === | ||
| + | 솔리디티는 함수의 집합체지만 일반적인 컴퓨터 과학에서 사용되는 언어의 함수와는 조금 다른 방식으로 사용된다. 일부 함수는 숫자나, 참/거짓을 묻는 질문에 대한 값으로 값(Value)을 반환한다. 이 반환 값은 솔리디티의 자료형에 따라 결정된다. true/false는 불 값이라고 부른다.<ref name="이재윤">이재윤, 〈[https://blog.naver.com/lool2389/221291321984 25. 솔리디티 코드 문법]〉, 《네이버 블로그》, 2018-06-04</ref> | ||
| + | * '''표현식''': 값을 출력하는 함수를 ''''표현식 함수'''(expression function)라고 한다. 표현식은 하나의 유형 또는 다른 값으로 정의되므로 프로그래밍에서 값을 대체하여 사용할 수 있다. 그 밖의 함수는 명령문 작성에 있어서 매우 중요한 역할을 하는 '''선언적'''(declarative) 함수이다. 선언적 함수는 컴퓨터 메모리에 전용 공간을 생성해 함수의 루틴을 실행할 때마다 사용하게 된다. | ||
| + | * '''문장''': 일반적으로 문장(statement)은 컴퓨터에 작업을 지시하는 역할을 하며 줄여서 문이라고도 불린다. 컴퓨터는 표현식을 사용하여 이 작업을 수행하는 방법과 시기를 파악한다. 따라서 표현식의 종합이 문이되고 문의 구성으로 이루어 지는 것이 컴퓨터 프로그램이다. | ||
| + | * '''퍼블릭 프라이빗 함수''': 퍼블릭(Public)은 외부 및 내부에서 볼 수 있는 것을 뜻하고 프라이빗(Private)은 현재의 계약에서만 볼 수 있는 것을 의미한다. 자바스크립트와 솔리디티는 각 명령문 끝에 세미콜론(;)을 사용해 해당 문의 종료를 알려 뒤에 다른 문이 올것이라는 것을 컴퓨터에 알릴 수 있다. 솔리디티에서는 특정 함수를 해당 프로그램 외부에서 사용 가능하게 할지 여부를 선언할 수 있고 그에 따라 퍼블릭과 프라이빗이 구분된다. 퍼블릭하게 정의 되지 않은 함수는 해당 계약 외부에서 접근이 불가능하다. | ||
| + | * '''자료형''': 솔리디티 코드를 통해 각 알고리즘 명령에서 예상할 수 있는 자료형을 컴퓨터에 알릴 수 있다. | ||
| + | * '''불''': 불(bool)은 코드 상에서 불(bool)로 표시되며, 참 또는 거짓의 값을 가질 수 있어 비교문 등의 표현식에 쓰인다. | ||
| + | * ''' 부호 있는 정수와 부호 없는 정수''': 코드 상에서 int는 부호 있는 정수를 나타내며 uint는 부호 없는 정수를 의미한다. 부호 있는 정수는 음의 값을 가질 수 있지만, 부호 없는 정수는 양의 값만을 취할 수 있다. | ||
| + | * '''주소''': 주소는 20바이트 값을 가지며, 이 값은 이더리움 주소의 크기를 가진다. | ||
| + | * '''주소 멤버''': balance 와 transfer라는 두 멤버를 사용하면 계정의 잔액을 확인하거나, 계정으로 이더를 전송할 수 있다. 스마트 계약으로 이더를 전송할 때는 주의가 필요하다. | ||
| + | * '''주소 연관 키워드''': 키워드는 솔리디티 언어와 함께 제공되며 일종의 메소드로써, 미리 정해진 방법으로 언어를 사용하는 방법이다. 코드에서 키워드를 사용하면 스마트 계약에 필요한 공통적인 작업을 수행할 수 있다.<ref name="이재윤"></ref> | ||
| + | - <address>.balance(uint256):<>안에 있는 주소의 잔액을 wei 단위로 반환 | ||
| + | - <address>.send (uint256 amount) returns (bool): uint256형으로 주어진 양의 wei를 <>의 주소로 보내고, 실패 시 false를 반환 | ||
| + | - this(현재 계약 유형): 계약을 명시적으로 주소로 반환 | ||
| + | - selfdestruct(주소 수신자): 현재 계약을 파기하고 지정된 주소로 계약 계정의 잔액을 전송<ref name="이재윤"></ref> | ||
{{각주}} | {{각주}} | ||
| 21번째 줄: | 45번째 줄: | ||
* 명명, 〈[https://blog.naver.com/mingzhi24/221318187488 블록체인 솔리디티 개념 정리 및 간단 실습(인프런 학습)]〉, 《네이버 블로그》, 2018-07-13 | * 명명, 〈[https://blog.naver.com/mingzhi24/221318187488 블록체인 솔리디티 개념 정리 및 간단 실습(인프런 학습)]〉, 《네이버 블로그》, 2018-07-13 | ||
* 불곰, 〈[https://brownbears.tistory.com/369 튜링 완전(turing-complete)이란?]〉, 《티스토리》, 2018-07-05 | * 불곰, 〈[https://brownbears.tistory.com/369 튜링 완전(turing-complete)이란?]〉, 《티스토리》, 2018-07-05 | ||
| − | * 한승환, 〈[http://www.seunghwanhan.com/2015/06/ethereum-introduction_3.html]〉, 《개인 블로그》, 2015-06-04 | + | * 한승환, 〈[http://www.seunghwanhan.com/2015/06/ethereum-introduction_3.html 이더리움 개론 + 튜링완전 (Ethereum Introduction)]〉, 《개인 블로그》, 2015-06-04 |
| + | * 이재윤, 〈[https://blog.naver.com/lool2389/221291321984 25. 솔리디티 코드 문법]〉, 《네이버 블로그》, 2018-06-04 | ||
== 같이 보기 == | == 같이 보기 == | ||
| 30번째 줄: | 55번째 줄: | ||
* [[크리스천 라이트위스너]] | * [[크리스천 라이트위스너]] | ||
* [[비탈릭 부테린]] | * [[비탈릭 부테린]] | ||
| + | * [[튜링완전]] | ||
| + | * [[튜링불완전]] | ||
| − | {{ | + | {{프로그래밍 언어|검토 필요}} |
2022년 3월 6일 (일) 16:41 기준 최신판
솔리디티(Solidity)는 이더리움 등 블록체인 플랫폼에서 스마트 계약 작성과 구현에 사용되는 계약 지향 프로그래밍 언어이다. 솔리디티는 이더리움 핵심 기여자들에 의해 이더리움과 같은 블록체인 플랫폼상에 스마트 계약을 작성할 수 있도록 개발되었다. 개발자는 솔리디티를 통해서 스스로 실행되는 비즈니스 로직을 스마트 계약에 담아서 구현할 수 있다.[1] 솔리디티를 통해 다양한 앱을 구현할 수 있지만 블록체인 특성상 스마트 계약이 블록체인에 한번 올라가면 수정할 수 없으며 누구나 확인할 수 있기 때문에 신중하게 작성을 해야 한다.[2]
솔리디티 언어는 2014년 8월에 개빈 우드(Gavin Wood)의 제안을 시작으로, 이더리움 프로젝트의 크리스천 라이트위스너(Christian Reitwiessner)가 이끄는 솔리디티 팀에 의해 개발되었다. 솔리디티 언어는 비탈릭 부테린(Vitalik Buterin)이 이끄는 이더리움 플랫폼 위에서 작동하는 디앱을 개발하기 위한 핵심 프로그래밍 언어이다. 솔리디티는 이더리움뿐만 아니라 다른 여러 프라이빗 블록체인 플랫폼에서도 동작하고 있다.[1]
개요[편집]
솔리디티는 스마트 계약을 작성하기 위한 언어로서 C++, 파이썬, 자바스크립트의 영향을 받은 고수준 언어이다. 이더리움 가상머신(Ethereum Virtual Machine)이라는 EVM을 타깃으로 디자인된 솔리디티는 정적 타입이고 여러 기능 중 상속, 라이브러리, 유저 정의 타입을 지원한다. 튜링완전이라는 특성을 가진 솔리디티는 반복문과 제어문을 사용할 수 있다.[2] 솔리디티는 하나의 계약 내에서 다중 타입의 안전한 함수가 가능하게 하는 '응용 이진 인터페이스'(ABI; application binary interface)가 포함된다.[1]
특징[편집]
이더리움[편집]
솔리디티는 비탈릭 부테린에 의해 이더리움을 이용한 스마트 계약 기능을 구현하는 프로그래밍 언어로서 채택됐다. 이더리움은 블록체인 기술을 기반으로 스마트 계약 기능을 구현하기 위한 분산 컴퓨팅 플랫폼이다. 솔리디티는 2014년 8월 개빈 우드에 의해 처음으로 제안되어 이후 이더리움 프로젝트의 크리스천 라이트위스너가 이끄는 솔리디티팀에 의해 개발되었다.솔리디티는 이더리움 가상머신(EVM)을 목표로 설계된 4가지 언어 중 하나이다. 서펜트(Serpent)와 엘엘엘(LLL) 언어가 있고, 실험용 언어인 바이퍼(Viper) 및 미사용 언어인 뮤탄(Mutan)이 있었는데, 이 중에서 솔리디티가 이더리움의 주요 언어가 되었다. 솔리디티는 이더리움 뿐만 아니라 모낙스(Monax)나 하이퍼레저(Hy[erledger) 등 다른 프라이빗 블록체인 플랫폼에서도 사용되고 있다.
스마트 계약에 기반한 디앱은 모두 이더리움 가상머신(EVM) 환경에서 동작하는데 이더리움 고유의 프로그래밍 언어인 솔리디티로 작성된다. 이것을 solc로 컴파일해서 생성된 이더리움 바이트코드는 geth를 통해 블록체인에 등록된다. 블록체인에 저장된 바이트코드는 결국 이더리움 가상머신(EVM)에서 실행된다. geth와 이더리움 가상머신은 하나의 프로세스로 동작하고, 솔리디티로 작성된 스마트 계약은 이더리움 가상머신에서 동작하기 때문에 특정 운영체제에 종속되지 않는다.
튜링 완전 언어[편집]
솔리디티는 튜링 완전 언어라는 평가를 받고 잇다. 튜링 완전(turing complete)은 어떤 프로그래밍 언어나 추상 머신이 튜링 머신과 동일한 계산 능력을 가짐을 의미한다. 튜링은 수학자 앨런 튜링에 의해 1936년에 제시된 개념으로 계산하는 기계의 일반적인 개념을 설명하기 위한 가상의 기계를 의미한다.[3] 튜링머신(turing machine)은 추상적인 수학 개념상의 기계로서 튜링기계라고도 부른다. 모든 수학문제를 해결할 수 있는 일반적인 알고리즘을 만들어낼 수 있는 컴퓨터언어인 튜링완전언어와 무한한 저장공간이 합쳐져 모든 계산이 가능한 문제를 계산해내는 기계라고 설명할 수 있다. 튜링완전언어(Turing-complete Language)는 튜링머신에 넣어야할 알고리즘을 만들 수 있는 언어이다. 튜링완전언어는 2가지 조건을 충족해야 한다. 프로세스를 충분히 분할할 수 있을 만큼 작은 단위를 사용할 수 있어야 하며 조건설정과 반복 명령어가 있어야 한다. 튜링완전언어의 명령어의 분할도와 반복명령어인 루프문이 중요한 이유는 부분의 반복은 높은 확장성을 이끌어내고 나아가서 응용까지 그것의 영역을 확장할 수 있기 때문이다.[4]
솔리디티 코드 문법[편집]
솔리디티는 함수의 집합체지만 일반적인 컴퓨터 과학에서 사용되는 언어의 함수와는 조금 다른 방식으로 사용된다. 일부 함수는 숫자나, 참/거짓을 묻는 질문에 대한 값으로 값(Value)을 반환한다. 이 반환 값은 솔리디티의 자료형에 따라 결정된다. true/false는 불 값이라고 부른다.[5]
- 표현식: 값을 출력하는 함수를 '표현식 함수(expression function)라고 한다. 표현식은 하나의 유형 또는 다른 값으로 정의되므로 프로그래밍에서 값을 대체하여 사용할 수 있다. 그 밖의 함수는 명령문 작성에 있어서 매우 중요한 역할을 하는 선언적(declarative) 함수이다. 선언적 함수는 컴퓨터 메모리에 전용 공간을 생성해 함수의 루틴을 실행할 때마다 사용하게 된다.
- 문장: 일반적으로 문장(statement)은 컴퓨터에 작업을 지시하는 역할을 하며 줄여서 문이라고도 불린다. 컴퓨터는 표현식을 사용하여 이 작업을 수행하는 방법과 시기를 파악한다. 따라서 표현식의 종합이 문이되고 문의 구성으로 이루어 지는 것이 컴퓨터 프로그램이다.
- 퍼블릭 프라이빗 함수: 퍼블릭(Public)은 외부 및 내부에서 볼 수 있는 것을 뜻하고 프라이빗(Private)은 현재의 계약에서만 볼 수 있는 것을 의미한다. 자바스크립트와 솔리디티는 각 명령문 끝에 세미콜론(;)을 사용해 해당 문의 종료를 알려 뒤에 다른 문이 올것이라는 것을 컴퓨터에 알릴 수 있다. 솔리디티에서는 특정 함수를 해당 프로그램 외부에서 사용 가능하게 할지 여부를 선언할 수 있고 그에 따라 퍼블릭과 프라이빗이 구분된다. 퍼블릭하게 정의 되지 않은 함수는 해당 계약 외부에서 접근이 불가능하다.
- 자료형: 솔리디티 코드를 통해 각 알고리즘 명령에서 예상할 수 있는 자료형을 컴퓨터에 알릴 수 있다.
- 불: 불(bool)은 코드 상에서 불(bool)로 표시되며, 참 또는 거짓의 값을 가질 수 있어 비교문 등의 표현식에 쓰인다.
- 부호 있는 정수와 부호 없는 정수: 코드 상에서 int는 부호 있는 정수를 나타내며 uint는 부호 없는 정수를 의미한다. 부호 있는 정수는 음의 값을 가질 수 있지만, 부호 없는 정수는 양의 값만을 취할 수 있다.
- 주소: 주소는 20바이트 값을 가지며, 이 값은 이더리움 주소의 크기를 가진다.
- 주소 멤버: balance 와 transfer라는 두 멤버를 사용하면 계정의 잔액을 확인하거나, 계정으로 이더를 전송할 수 있다. 스마트 계약으로 이더를 전송할 때는 주의가 필요하다.
- 주소 연관 키워드: 키워드는 솔리디티 언어와 함께 제공되며 일종의 메소드로써, 미리 정해진 방법으로 언어를 사용하는 방법이다. 코드에서 키워드를 사용하면 스마트 계약에 필요한 공통적인 작업을 수행할 수 있다.[5]
- <address>.balance(uint256):<>안에 있는 주소의 잔액을 wei 단위로 반환 - <address>.send (uint256 amount) returns (bool): uint256형으로 주어진 양의 wei를 <>의 주소로 보내고, 실패 시 false를 반환 - this(현재 계약 유형): 계약을 명시적으로 주소로 반환 - selfdestruct(주소 수신자): 현재 계약을 파기하고 지정된 주소로 계약 계정의 잔액을 전송[5]
각주[편집]
- ↑ 1.0 1.1 1.2 〈솔리디티〉, 《위키백과》
- ↑ 2.0 2.1 명명, 〈블록체인 솔리디티 개념 정리 및 간단 실습(인프런 학습)〉, 《네이버 블로그》, 2018-07-13
- ↑ 불곰, 〈튜링 완전(turing-complete)이란?〉, 《티스토리》, 2018-07-05
- ↑ 한승환, 〈이더리움 개론 + 튜링완전 (Ethereum Introduction)〉, 《개인 블로그》, 2015-06-04
- ↑ 5.0 5.1 5.2 이재윤, 〈25. 솔리디티 코드 문법〉, 《네이버 블로그》, 2018-06-04
참고자료[편집]
- 〈솔리디티〉, 《위키백과》
- 명명, 〈블록체인 솔리디티 개념 정리 및 간단 실습(인프런 학습)〉, 《네이버 블로그》, 2018-07-13
- 불곰, 〈튜링 완전(turing-complete)이란?〉, 《티스토리》, 2018-07-05
- 한승환, 〈이더리움 개론 + 튜링완전 (Ethereum Introduction)〉, 《개인 블로그》, 2015-06-04
- 이재윤, 〈25. 솔리디티 코드 문법〉, 《네이버 블로그》, 2018-06-04
같이 보기[편집]
