제어 구조(Control structure)

·       Solidity 언어는 기존의 Javascript 언어 및 C 언어와 유사합니다.

·       Solidity는 Javascript의 대부분의 control structure를 거의 그대로 사용할 수 있습니다.

·       switch와 goto는 기존 언어와 사용방법이 다르므로 사용에 주의를 기울여야 합니다.

·       switch와 goto를 제외한 나머지 if, else, while, do, for, break, continue, return은 기존 언어 그대로 사용됩니다.

Scopoing

통상 일반적인 프로그래밍 언어에서 선언된 변수는 문법적 블록 내에서 유효합니다. 이에 반해 solidity 함수 내에서 선언된 변수는 함수 내에서만 scope을 가집니다.

hydra (히드라) 영문 문서

https://cli.dev/docs/intro/

hydra (히드라) 한글 문서

http://bit.ly/2Ox7MSP

간단한 스마트 계약의 예제

스마트 계약의 구조를 이해할 수 있는 가장 기본적인 스마트 계약의 예제입니다.

본 예제는 스마트 계약이 갖추어야 할 기본 요소들을 모두 포함하고 있습니다.

SimpleStorage.sol

http://bit.ly/2CyJW2i

Solidity 특징

·       Turing Complete 프로그래밍 언어

·       BitCoin(비트코인) vs Ethereum(이더리움)

Turing Complete 프로그래밍 언어

·       Turing Complete 프로그래밍 언어입니다. Turing Complete한 프로그래밍 언어로 어떠한 알고리즘과 응용프로그램도 구현할 수 있습니다.

·       비트코인의 경우 프로그래밍이 가능한 Script 언어가 있지만 Turing Complete하지 않습니다. 따라서 비트코인 내 Script 언어를 가지고는 모든 알고리즘이나 응용프로그램을 구현할 수 없습니다.

Turing Complete가 언급되는 이유는 이더리움이 비트코인과 많이 비교되기 때문입니다.

·       비트코인은 화폐의 기능으로서 저장, 전송에 적합하지만 Turing Incomplete하므로 이더리움과 같은 범용적인 스마트 계약을 작성할 수 없습니다.

BitCoin(비트코인) vs Ethereum(이더리움)

비트코인의 경우 프로그래밍이 가능한 Script 언어가 있지만 Turing Complete하지 않습니다. 따라서 비트코인 내 Script 언어를 가지고는 모든 알고리즘이나 응용프로그램을 구현할 수 없습니다.

선언된 변수

·         선언된 변수는 별도의 값을 할당하지 않는다면 Zero Bytes로 초깃값이 설정됩니다.

·         bool type의 경우 초깃값(default value)은 false이고, uint 및 int의 경우에는 0의 값으로 설정됩니다.

Ether 송금과 수수료

Metamask라는 이더리움 전자지갑을 통해 1 Ether를 송금한 것 입니다.

송금액은 1 Ether 이고, 소요되는 가스인 GAS Limit는 21,000 단위가 됩니다.

단위당 비용인 GAS Prices는 5 GWEI 가 되는 것으로,  1 GWEI는 10억 분의 1 Ether가 됩니다. (5 GWEI = 0.000000005 ETH)

송금 수수료를 계산하면 GAS Limit와 GAS Price를 곱하여 산출됩니다.

21,000 x 0.000000005 ETH = 0.000105 ETH

1 Ether를 송금할 때, 송금액인 1 Ether와 송금수수료를 더해야 총 금액이 산출됩니다.

1 ETH(송금액) + 0.000105 ETH(거래수수료)= 1.000105 ETH

스마트 계약 활용

현실 경제의 계약에 대응되는 요소가 스마트 계약입니다. 그러므로 현실 경제에서 계약의 형태로 되어 있는 것은 스마트 계약으로 구현을 할 수 있습니다.

스마트 계약을 활용하면 안전하고 상호신뢰를 보장하면서 매우 혁신적으로 구현할 수 있습니다.

에러 핸들링(Error Handling)

·         이더리움 스마트 계약은 Exception을 만나면 State-Reverting, 즉 모든 변경사항을 원래대로 복원하고 Caller에서 에러를 반환하고 종료하게 됩니다.

·         revert, require를 통해서 exception을 발생시킬 수 있습니다.

거래 전송에 실패하게 될 경우

거래의 경우 거래 전송에 실패하게 되면 전송에 소모된 GAS는 소진되고 남은 GAS와 송신된 Ether가 송신자에게 반환되며 모든 상태를 복원하고 종료하게 됩니다.

스마트 계약의 경우

스마트 계약의 경우도 마찬가지로 스마트 계약의 실행으로 변환된 상태는 호출되기 이전 상태로 복원이 되고 그때까지 스마트 계약을 실행하는 데 소모된 가스는 소진됩니다. 또한 남은 가스와 스마트 계약에 송금된 Ether는 송신자에게 되돌려주며 오류를 리턴하고 종료합니다. 그런데 이때 에러가 발생합니다. Error의 가장 대표적인 사례는 Gas Limit를 초과하는 경우입니다.

Gas Limit 초과

·         Gas Limit를 충분히 할당하지 않으면 Gas Limit Exception이 발생하게 되어 GAS의 낭비가 발생할 수 있으니 주의가 필요합니다.

·         Solidity는 에러 처리에 있어서 try / catch와 같은 exception handling을 지원하지 않고 오류를 리턴하게 됩니다.

View Functions

·         키워드 view로 선언된 함수는 state를 변환시키지 않음을 확인시킵니다.

·         컴파일러는 view로 선언된 함수가 state를 변환시키지 않음을 강제하지 않고 대신 경고를 띄우게 됩니다.

State를 변환시키는 경우

·         이더리움의 상태는 state 변수에 값을 할당하는 경우

·         event를 발생시키는 경우

·         다른 스마트 계약을 생성하는 경우

·         selfdestruct를 사용하여 스마트 계약을 폐기하는 경우

·         message call을 호출하여 ether를 전송하는 경우

·         view나 pure가 선언되지 않은 함수를 호출하는 경우