ETHCon Korea 2019 Presentation

1. Technology
1
Technology
스마트 컨트랙트 보안
위협과 개발자 도구
알고리마 홍태오

2. Technology
스마트 컨트랙트 보급화1
2

3. Technology
해킹사고2
3
• 2016년 6월 17일 “The Dao "
• 2017년 7월 20일 “Pairity multi sig"
• 2018년 4월 26일 “SMT”
•
•
•
•
500억원
$3200만

4. Technology
스마트 컨트랙트 전망3
4

5. Technology
SMART CONTRACT AUDIT4
5
ü SMART CONTRACT AUDIT : solidity 언어 및 EVM 코드를
활용, 스마트 계약 코드 버그를 탐지하는 서비스

6. Technology
감사도구5
6
Mythril
ConsenSys
2017
Echidna
Trail of Bits
2018
Oyente
NUS
2016
Securify
ETH Zurich
2018
Maian
NUS
2018
Mythx
ConsenSys
2018

7. Technology
Hacking6
7
ü 문제점 :
§ approval mapping 변수 버그
ü 공격방법 :
§ increaseAllowance 함수를 호출하여 msg.sender의 allowance(_approval) 값을 증가시킴
§ transferFrom 함수를 통해 증가된 allowance(_approval) 값만큼 토큰을 탈취
Allowance(_a
pproval)
increaseAllow
ance
transferFrom

8. Technology
감사도구1
8

9. Technology
Copy & Paste8
9
ü 코드의 재사용은 단기간 내 개발 시간과 비용을 절약할 수 있기 때문에 일
반적으로 널리 사용되고 있음
ü 그러나 이러한 소스 코드의 재사용은 코드 내 잠재된 결함이나 보안 약점
을 그대로 복사하여 사용하는 위험을 지니고 있어 프로그램의 다양한 문제
의 원인이 되기도 함
ü 스마트 계약 코드 재사용 전에 취약한 코드인지 확인이 필요함

10. Technology
10
Technology
개발을 위한 (feat 개발자를 위한)
Solidity Secure Guide

11. Technology
Sending and Receiving
Ether
9
11
ü Reentrancy 공격이가능한 코드
ü Send. call.value 는 예외 처리를 하지
않음(취약점 발생)
ü Withdhraw 는 Transfer 사용 권장

12. Technology
Solidity secure Guide10
12
ü smart contract에 저장할 수 있는 Ether(또는 다른 토큰)의 양을 제한
ü 소스 코드, 컴파일러 또는 플랫폼에 버그가 있는 경우 이러한 자금이 손실될 수 있음.

13. Technology
Solidity secure Guide11
13
Open Zeppelin Crowdsales

14. Include a Fail-Safe
Mode
12
14
Smart contract Fail-Safe State
Fail-Safe
Operation
State
Nomal
Operation
State
Error=0
Error=1
ü Fail-safe should never
exceed 1000000000.
ü 컨트랙트 상태 검증
ü Fail-Safe code 구성

15. Reference13
15
https://ethereum.stackexchange.com/questions/27567/solidity-examples-of-fail-safe-code-for-
security –fail - safe
https://medium.com/coinmonks/9-tips-on-getting-your-ethereum-smart-contract-right-
4981a7d9883c - good module

16. Technology
About Algorima
16
q (주)알고리마는 알고리마는 블록체인의 스마트 컨트랙트 코드를 분석하고 취약성
검증을 자동화하는 인공지능 기술을 개발하는 연구기반 스타트업입니다.
Build something developers love

17. We’re hiring
17
알고리마 | 발표자 : 홍태오|
Email : hello@algorimal.io | Tel : 010 – 5298 - 8698