Skip to main content

Smart Contracts & Applications (스마트 계약 및 응용)


POSTECH
Enrollment is Closed

강좌 소개

블록체인과 함께 급부상하고 있는 스마트 계약에 대해서 학습합니다. 스마트 계약의 기본 개념부터 시작하여 실제로 어떻게 동작하는지를 기반 기술인 VM, 컴파일러, 런타임 시스템을 중심으로 살펴 보고 직접 Solidity를 사용하여 스마트 계약를 작성해 볼 것입니다. 또한 스마트 계약의 취약점을 검증하려는 최신 연구 결과를 통해서 안전한 스마트 계약 코딩에 대해서 알아보고, 최근 활발하게 연구되는 웹어셈블리 기반의 VM을 비롯한 스마트 계약 기술의 동향에 대해서 소개합니다. 이 강좌를 마친 후에는 비트코인이나 이더리엄에서 사용되는 스마트 계약의 개념 및 구동원리를 이해하게되며 안전하게 스마트 계약을 설계하고 구현하는 방법을 익히게 됩니다. 블록체인에대한 기본적인 개념을 이해하고 있으며 소프트웨어 개발 경험이 있는 개발자면 수업을 이수하는데 어려움이 없을 것입니다.


강좌 목차

주차주차
1스마트 계약 및 응용 과목 소개비트코인 소개
비트코인의 동작 원리
스마트 계약 101
First Push
1주차 토론
2비트코인비트코인 트랜잭션 소개
잔돈은 어디로?
비트코인 스크립트
2주차 토론
3비트코인 트랜잭션P2PKH
Multisignature
P2SH
RETURN
3주차 토론
4프로그래밍가능한 돈에스크로 계약
블록체인 응용서비스
P2SH 퍼즐
4주차 토론
5Reading Week 1No Lecture, Time to catch up
6이더리움이더리움 소개
탈중앙화된 자율 조직
메타마스크
Solidity: 스마트 계약 언어
6주차 토론
7이더리움 스마트 계약 개발 방법이더리움 스마트 컨트랙
가스 (Gas)
솔리디티 언어 프로그래밍하기
7주차 토론
8탈중앙화된 어플리케이션 개발 방법탈중앙화된 어플리케이션
트러플 (Truffle) 101
가나쉬 (Ganache)
9탈중앙화된 어플리케이션 개발 방법 2Truffle and React
드리즐 (Drizzle)
테스트 네트웍에 설치하기
이더리움 Dapps
10Reading Week 2No Lecture, Time to catch up
11이더리움 Dapp 개발하기복권 게임 (Lottery Game)
복권 스마트 계약 설계하기
복권 스마트 계약 테스트하기
Frontend 개발하기
테스트 네트웍에 설치하기
11주차 토론
12안전한 스마트 계약 작성하기안전성 문제 (Security Challenges)
안전한 스마트 계약 코드 작성하기
오픈 제플린 라이브러리 사용하기
12주차 토론
13스마트컨트랙의 정형 검증정형 검증
상태기계를 통한 안전한 스마트컨트랙 작성
13주차 토론
14호기심을 넘어서블록체인 플랫폼
호기심을 넘어서
14주차 토론


교수자

채원석

Microsoft Software Engineer

포항공과대학교 겸직교수

Toyota Technological Institute at Chicago 박사

포항공대 석사


조교

이채현

포스텍 컴퓨터공학과