Skip to main content

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


POSTECH
Enrollment is Closed

강좌 소개

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


평가 방법

  • ㅇ온라인 강의 Quiz성적: 30%
  • ㅇ숙제: 30%
  • ㅇ프로젝트: 40%
    •    - 5주차 프로젝트 10점 만점 
    •    - 10주차 프로젝트 15점 만점
    •    - 15주차 프로젝트 15점 만점


강좌 목차

주차주차
1Smart Contract OverviewWhat is Bitcoin
How Bitcoin Works
Smart Contracts 101
First Push
Week 1 Discussion
2BitcoinBitcoin Transactions
Keep the Change
Bitcoin Scripts
WEEK 2 Discussion
3Advanced TransactionsP2PKH
Multisignature
P2SH
RETURN
WEEK 3 Discussion
4Programmable MoneyEscrow Contracts
Blockchain Applications
P2SH Puzzle
WEEK 4 Discussion
5Project Week 1Build Smart Faucet Service
WEEK 5 Discussion
6EthereumHistory
Decentralized Autonomous Organization
MetaMask
First Solidity Contract
WEEK 6 Discussion
7Ethereum Smart Contract DevelopmentEthereum Smart Contracts
Gas
Programming with Solidity
WEEK 7 Discussion
8Decentralized Application DevelopmentDecentralized Applications
Truffle 101
Ganache
WEEK 8 Discussion
9Decentralized Application Development 2Truffle and React
Drizzle
Deploy to Test Network
Ethereum Dapps
WEEK 9 Discussion
10Project Week 2Decentralized Application Development 1
WEEK 10 Discussion
11Ethereum Smart Contract DevelopmentLottery Game
Design Lottery Contracts
Test Contracts
Build Frontends
Deploy to Test Network
WEEK 11 Discussion
12Smart Contract SecuritySecurity Challenges
Contract Security
OpenZeppelin
WEEK 12 Discussion
13Formal Verification of Smart ContractsFormal Verification
Finite State Machine Approach
WEEK 13 Discussion
14Beyond CuriosityBlockchain Platforms
Beyond Curiosity
WEEK 14 Discussion
15Project Week 3Decentralized Application Development 2
WEEK 15 Discussion


교수자

채원석 박사

Microsoft Software Engineer

포항공과대학교 정보통신대학원 겸직교수

Toyota Technological Institute at Chicago 박사

포항공대 석사


조교

고경찬

포스텍 컴퓨터공학과 박사과정 연구원


이채현

포스텍 컴퓨터공학과 석사과정 연구원



  1. Course Number

    DSC505
  2. Classes Start

  3. Classes End

  4. Estimated Effort

    4
  5. Price

    원499000