Solidity는 중괄호, 고급, 객체 지향 프로그래밍 언어로 스마트 컨트랙트를 설계하고 구현하기 위해 만들어졌습니다.^[3][7]

개요

Solidity는 여러 유명 프로그래밍 언어의 영향을 받고 영감을 받은 중괄호 언어입니다. Solidity는 C++의 영향을 가장 많이 받았지만 Python, JavaScript 등과 같은 언어의 개념도 차용했습니다.^[7]

Solidity는 스마트 컨트랙트를 구현하기 위해 이더리움 네트워크 팀에서 설계한 계약 지향 프로그래밍 언어입니다. C++, Python, JavaScript와 같은 프로그래밍 언어에서 영감을 얻었으며 이더리움 가상 머신과 상호 작용합니다.^[1][2]

Solidity의 기본 개념은 개발자가 블록체인 네트워크에서 탈중앙화 애플리케이션(DApp)과 자체 실행 계약을 만들 수 있도록 하는 데 중점을 둡니다.

Solidity의 역사적 발전

2014년 8월, 이더리움의 공동 창립자인 개빈 우드는 Solidity에 대한 아이디어를 제안했습니다. 이후 Christian Reitwiessner가 이끄는 이더리움 프로젝트의 Solidity 팀이 언어를 만들고 개발했습니다.^[8][9]

Solidity는 2015년 8월 7일에 버전 0.1.0으로 처음 출시되었습니다. 처음에는 언어에 기본적이고 제한된 기능만 있었지만 시간이 지남에 따라 Solidity는 수많은 개선과 발전을 거쳤습니다.

Solidity는 이더리움 개발자들 사이에서 빠르게 인기를 얻어 스마트 컨트랙트 개발을 위한 주요 언어가 되었습니다. Solidity를 통해 개발자는 이더리움 블록체인에서 실행되어 다양한 기능과 서비스를 수행하는 코드를 작성할 수 있습니다.

Solidity는 다양한 블록체인 프로젝트와 탈중앙화 애플리케이션(dApp)에서 사용되었습니다. Solidity로 작성된 스마트 컨트랙트는 ERC-20 토큰, 투표 시스템, 시간 잠금 자금 등을 포함한 다양한 용도로 사용될 수 있습니다.^[10]

다른 언어의 영향

C++의 영향은 변수 선언, for 루프, 함수 오버로딩 개념, 암시적 및 명시적 유형 변환 및 기타 여러 세부 사항에서 볼 수 있습니다.^[7]

Solidity는 부분적으로 JavaScript의 영향을 받았습니다. 이는 변수의 함수 수준 범위와 'var' 키워드 사용 때문이었습니다. JavaScript의 영향은 버전 0.4.0부터 줄어들었습니다. 이제 JavaScript와의 주요 유사점은 함수가 'function' 키워드를 사용하여 정의된다는 것입니다.^[7]

Solidity는 JavaScript에서 사용할 수 있는 것과 유사한 가져오기 구문 및 의미 체계도 지원합니다. 이러한 점 외에도 Solidity는 다른 대부분의 중괄호 언어와 유사하며 더 이상 JavaScript의 주요 영향은 없습니다.^[7]

Solidity에 대한 또 다른 영향은 Python이었습니다. Solidity의 수정자는 훨씬 더 제한된 기능을 가진 Python의 데코레이터를 모델링하려고 시도하면서 추가되었습니다.^[7]

Solidity 컴파일러 v0.8.27은 2024년 9월 4일에 출시되었습니다.^[5]

주요 특징

• 정적 유형: Solidity는 소스 코드의 모든 변수에 데이터 유형이 있는지 실행 전에 확인하여 애플리케이션이 원활하게 작동하도록 하여 구문 및 유형 오류와 같은 실수를 방지합니다.
• 계약 지향: 프로그래밍 언어는 코드 줄에 작성된 계약 조건을 포함하는 자체 실행 계약인 스마트 컨트랙트를 만들기 위해 설계되었습니다. 이러한 계약은 탈중앙화 애플리케이션(DApp)을 만들고 이더리움 네트워크에서 트랜잭션을 실행하는 데 사용할 수 있습니다.
• 객체 지향: Solidity는 객체(데이터 구조 또는 자체 포함 코드 단위)를 사용하여 데이터를 표시하고 개발자가 코드를 구조화되고 모듈식 방식으로 구성할 수 있도록 합니다.^[1]

기본 개념

다음은 Solidity의 몇 가지 기본 개념입니다.^[3][4]

• 스마트 컨트랙트 스마트 컨트랙트는 코드에 작성된 계약 조건이 있는 자체 실행 계약입니다. Solidity는 이러한 계약을 만들어 규칙, 조건 및 작업을 정의하는 데 사용됩니다.
• 데이터 유형 Solidity는 다른 프로그래밍 언어와 유사하게 정수, 부울, 주소 등을 포함한 다양한 데이터 유형을 지원합니다. 개발자는 이러한 유형을 사용하여 스마트 컨트랙트에서 데이터를 선언하고 조작합니다.
• 함수 스마트 컨트랙트는 계약의 동작을 정의하는 함수로 구성됩니다. 이러한 함수는 내부 또는 외부에서 호출하여 계약과의 상호 작용을 활성화할 수 있습니다.
• 변수 Solidity를 사용하면 블록체인에 데이터를 영구적으로 저장하기 위해 상태 변수를 선언할 수 있습니다. 이러한 변수는 함수 호출에서 값을 유지합니다.
• 이벤트 이벤트는 계약이 외부 애플리케이션과 통신하는 방법으로, 계약 내에서 특정 발생을 구독하고 반응할 수 있습니다.
• 상속 Solidity는 계약 상속을 지원하여 모듈식 및 재사용 가능한 코드를 만들 수 있습니다.
• 이더리움 관련 개념 Solidity는 가스(트랜잭션 수수료), 이더(암호화폐) 및 스마트 컨트랙트 실행을 담당하는 이더리움 가상 머신(EVM)과 같은 이더리움 관련 개념을 통합합니다.
• 보안 보안은 Solidity에서 중요한 고려 사항입니다. 개발자는 안전한 계약을 작성하기 위해 재진입, 정수 오버플로 등과 같은 취약점을 이해해야 합니다.

Solidity는 다음을 포함한 스마트 컨트랙트에서 사용할 수 있습니다.^[6]

• 이더리움
• 아발란체 C-체인
• 바이낸스 스마트 체인
• 카운터파티
• 이더리움 클래식
• 트론
• 헤데라 해시그래프
• 폴리곤
• 메티스
• 아비트럼
• 옵티미즘

이더리움과 Solidity

이더리움과 Solidity의 조합으로 개발자는 광범위한 복잡한 애플리케이션을 만들 수 있게 되었습니다. 이더리움은 탈중앙화 플랫폼을 제공하고 Solidity는 강력한 프로그래밍 언어를 제공함으로써 개발자는 안전하고 효율적이며 투명한 스마트 컨트랙트를 만드는 데 필요한 도구를 갖게 되었습니다.

개발자는 Solidity로 스마트 컨트랙트를 작성한 다음 이더리움 블록체인에 배포합니다. 스마트 컨트랙트가 배포되면 다른 계약이나 애플리케이션과 독립적으로 존재합니다. 자체 이더리움 주소와 잔액이 있으며 이더리움 네트워크의 다른 참가자와 마찬가지로 트랜잭션을 만들고 받을 수 있습니다.

스마트 컨트랙트가 트랜잭션에 의해 트리거되면 이더리움 네트워크는 계약의 코드를 실행합니다. 이 코드는 자금 이체에서 다른 계약과의 상호 작용에 이르기까지 광범위한 작업을 수행할 수 있습니다.^[11]

장점

• 개발자가 사용자 지정 데이터 구조, 함수 및 복잡한 스마트 컨트랙트를 만들 수 있도록 유연성을 제공합니다.
• 변수의 데이터 유형이 일치하지 않을 때마다 오류가 있음을 알리는 유형 안전성을 허용하는 애플리케이션 바이너리 인터페이스(ABI)라는 인터페이스를 제공합니다. ABI는 스마트 컨트랙트가 다른 스마트 컨트랙트와 상호 작용할 수 있는 방법을 정의하는 규칙 및 사양 세트입니다.
• 사용자 지향 요구 사항 및 사양을 기계가 이해할 수 있는 언어로 변환합니다.

단점 및 과제

• 보안: 언어는 계약이 악의적인 사용자가 계약의 상태가 악용되는 방식으로 함수를 반복적으로 호출할 수 있도록 허용하는 재진입 공격에 취약합니다.
• 불가역성: 블록체인의 불변성은 스마트 컨트랙트가 배포되면 수정하거나 제거할 수 없음을 보장합니다. 이 때문에 악용 또는 해킹의 위험을 방지하기 위해 모든 코드 줄이 완벽한지 확인하는 것이 중요합니다.
• 정밀도: Solidity는 산술 정밀도 문제가 있으며 언어는 고정 또는 부동 소수점 값을 지원하지 않습니다.

또 다른 과제는 스마트 컨트랙트의 처리량과 속도를 제한하고 네트워크에서 트랜잭션을 실행하는 데 필요한 수수료인 가스 비용을 증가시키는 이더리움의 확장성 및 효율성 문제를 해결하는 것이었습니다.^[9]

또한 블록체인 공간의 혁신과 경쟁에 발맞추는 것도 또 다른 과제였습니다. 새로운 플랫폼과 언어가 등장하면서 스마트 컨트랙트 개발에 대한 다양한 기능과 절충안을 제공했습니다.

이러한 과제를 해결하고 커뮤니티의 요구와 기대를 충족하기 위해 Solidity는 정기적인 업데이트와 개선을 통해 수년에 걸쳐 지속적으로 진화하고 개선되고 있습니다.

가장 중요한 변경 사항 중 일부에는 구조체, 열거형 및 매핑과 같은 새로운 유형의 도입, 상속, 인터페이스 및 라이브러리 지원, 수정자, 이벤트 및 오류 처리 추가, require 및 revert 함수와 같은 보안 검사 및 모범 사례 구현, 가스 사용량 및 바이트코드 생성 최적화, 오라클 및 블록체인 간 통신과 같은 외부 소스 및 시스템과의 통합이 포함됩니다.^[9]