채원석
포스텍 정보통신대학원 겸직교수
포스텍 정보통신대학원 겸직교수
Toyota Technological Institute at Chicago 박사
포스텍 석사
Smart Contracts & Applications (스마트 계약 및 응용)
POSTECH
수강신청하실 수 없습니다.
강좌 소개
블록체인과 함께 급부상하고 있는 스마트 계약에 대해서 학습합니다. 스마트 계약의 기본 개념부터 시작하여 실제로 어떻게 동작하는지를 기반 기술인 VM, 컴파일러, 런타임 시스템을 중심으로 살펴 보고 직접 Solidity를 사용하여 스마트 계약를 작성해 볼 것입니다. 또한 스마트 계약의 취약점을 검증하려는 최신 연구 결과를 통해서 안전한 스마트 계약 코딩에 대해서 알아보고, 최근 활발하게 연구되는 웹어셈블리 기반의 VM을 비롯한 스마트 계약 기술의 동향에 대해서 소개합니다. 이 강좌를 마친 후에는 비트코인이나 이더리엄에서 사용되는 스마트 계약의 개념 및 구동원리를 이해하게되며 안전하게 스마트 계약을 설계하고 구현하는 방법을 익히게 됩니다. 블록체인에대한 기본적인 개념을 이해하고 있으며 소프트웨어 개발 경험이 있는 개발자면 수업을 이수하는데 어려움이 없을 것입니다.
평가 방법
- ㅇ온라인 강의 Quiz성적: 30%
- ㅇ숙제: 30%
- ㅇ프로젝트: 40%
- - 5주차 프로젝트 10점 만점
- - 10주차 프로젝트 15점 만점
- - 15주차 프로젝트 15점 만점
강좌 목차
| 주차 | 주차 | |
|---|---|---|
| 1 | Smart Contract Overview | What is Bitcoin |
| How Bitcoin Works | ||
| Smart Contracts 101 | ||
| First Push | ||
| Week 1 Discussion | ||
| 2 | Bitcoin | Bitcoin Transactions |
| Keep the Change | ||
| Bitcoin Scripts | ||
| WEEK 2 Discussion | ||
| 3 | Advanced Transactions | P2PKH |
| Multisignature | ||
| P2SH | ||
| RETURN | ||
| WEEK 3 Discussion | ||
| 4 | Programmable Money | Escrow Contracts |
| Blockchain Applications | ||
| P2SH Puzzle | ||
| WEEK 4 Discussion | ||
| 5 | Project Week 1 | Build Smart Faucet Service |
| WEEK 5 Discussion | ||
| 6 | Ethereum | History |
| Decentralized Autonomous Organization | ||
| MetaMask | ||
| First Solidity Contract | ||
| WEEK 6 Discussion | ||
| 7 | Ethereum Smart Contract Development | Ethereum Smart Contracts |
| Gas | ||
| Programming with Solidity | ||
| WEEK 7 Discussion | ||
| 8 | Decentralized Application Development | Decentralized Applications |
| Truffle 101 | ||
| Ganache | ||
| WEEK 8 Discussion | ||
| 9 | Decentralized Application Development 2 | Truffle and React |
| Drizzle | ||
| Deploy to Test Network | ||
| Ethereum Dapps | ||
| WEEK 9 Discussion | ||
| 10 | Project Week 2 | Decentralized Application Development 1 |
| WEEK 10 Discussion | ||
| 11 | Ethereum Smart Contract Development | Lottery Game |
| Design Lottery Contracts | ||
| Test Contracts | ||
| Build Frontends | ||
| Deploy to Test Network | ||
| WEEK 11 Discussion | ||
| 12 | Smart Contract Security | Security Challenges |
| Contract Security | ||
| OpenZeppelin | ||
| WEEK 12 Discussion | ||
| 13 | Formal Verification of Smart Contracts | Formal Verification |
| Finite State Machine Approach | ||
| WEEK 13 Discussion | ||
| 14 | Beyond Curiosity | Blockchain Platforms |
| Beyond Curiosity | ||
| WEEK 14 Discussion | ||
| 15 | Project Week 3 | Decentralized Application Development 2 |
| WEEK 15 Discussion | ||
교수자
운영팀
고경찬
포스텍 컴퓨터공학과