|
 코드번호 : 2 |
|
| 발표자 : 김형중 |
|
| 소속 : 고려대학교 |
|
| 부서 : 정보보호대학원 |
|
| 직위 : 교수 |
|
| 세션시간 : |
|
| 발표자약력 : |
고려대 정보보호대학원 교수
고려대 암호화폐연구센터 센터장 |
|
|
| 강연요약 : |
스마트 컨트랙트는 사전 설정된 조건이 만족되면 실행되는 프로그램이다. 아직 법적으로 효력이 인정된 계약은 아니며, 실행할 수 있는 프로그램이다.
그렇지만 스마트 계약의 Turing completeness로 인해 원하는 수준의 프로그램 작성이 가능하다. 다만 decidable하게 구현하기 위해 gas의 개념을 도입해 제약을 가했다.
그럼에도 불구하고 스마트 계약이 dApp을 만드는 토대가 되어 다양한 응용분야를 만들어 냈다. 그 결과 암호화폐 세계에서 다양한 플랫폼이 출현했고 그 생태계를 풍성하게 만들었다.
그런데 스마트 계약의 수많은 문제점들이 서서히 돌출하고 있다. 무엇이든 프로그래밍으로 구현할 수 있게 함으로써 전혀 예상하지 못한 함정들이 발견되고 있다. 이로 인
해 시큐어코딩이 필요하고, 코드 감리가 요구되며, 심지어 심각한 금융사고로 인해 블록체인의 비가역성이 문제가 되고 있다.
이 강의에서 스마트 계약의 용도와 문제점에 대해 짚어보고 대안을 모색한다. |
|
|
|
