Introdução às Criptomoedas e aplicações na Blockchain

Auditório 317, quintas-feiras às 14h.

Flávio Codeço Coelho e Bruno Cuconato

Curso introdutório a Criptomoedas e outras aplicações da tecnologia da Blockchain. Disciplina eletiva do Mestrado em modelagem matemática da FGV. Uma série de vídeo-aulas seguindo o programa do curso está disponível no Youtube.

Avisos

quadro online da classe: [link]

a partir do dia 20/07, teremos alguns seminários por aula sobre alguma altcoin, à escolha do aluno. as escolhas devem constar no quadro online da classe (acima ↑)

data	conteúdo
2017-06-22	leitura prévia do white paper para a aula (ver bibliografia)
2017-06-13	leitura prévia do paper Raft

Programa

1. Introdução ao Bitcoin e sua história
2. Usando o cliente bitcoin
3. Criptomoedas: o que são e como são usadas
4. Sessão prática interagindo com a tecnologia da Bitcoin usando Python
5. "Proof of Work" da bitcoin. Do conceito à pratica.
6. Curvas Elípticas e sua aplicação na Bitcoin.
   • RSA como modelo de public key cryptography
7. Alt coins
8. Proof of stake.
9. A plataforma Ethereum e os smart contracts.
10. Ethereum: White e Yellow paper
11. Desenvolvendo Aplicações na plataforma Ethereum
12. Introdução à linguagem Solidity
13. Desenvolvendo contratos robustos: Open-zeppelin.
14. Desenvolvendo aplicativos decentralizados (Dapps) usando Meteor.

Bibliografia

Bitcoin

• white paper [pdf] [errata] [HTML annotated] [other formats]

• Mastering Bitcoin, Andreas Antonopoulos [link]

• developer documentation [guide] [reference] [link]

• bitcoin para programadores [pdf] [repo]

Ethereum

• white paper [en] [pt]

• yellow paper [link]

• Solidity Docs [link]

Byzantine Fault Tolerant Protocols

• Lamport, L et al. The Byzantine Generals Problem

• Lamport, L et al. The Part-Time Parliament

• Raft [page] [paper]

• Generais bizantinos na Blockchain

Outros

• Bitcoin and Cryptocurrency Technologies (textbook) [preprint] [amazon]

• bigchainDB whitepaper [link]

• Grin/MimbleWimble [repo]

• permaCoin whitepaper [link]

• Kosba, A et al. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

Provas

Proofs of work

• hashcash example

• Ethereum Hash (Ethash) [rationale] [spec]

• cuckoo cycle [pdf] [repo]

Proofs of Stake

• Casper (Ethereum proposal) [non-triviality] [repo] [faq]

• PeerCoin paper [pdf]

Proofs of Retrievability

• Juels, A et al. PORs: Proofs of Retrievability for Large Files

• Bowers, K et al. Proofs of Retrievability: Theory and Implementation

Proof of Burn

• Slimcoin paper [pdf]