School of applied Mathematics - FGV

Flávio Codeço Coelho

Introductory course on cryptocurrencies and other applications of blockchain technology. This course is part of the Applied Maths and Data-Science Undergraduate programs of FGV

Video lectures (in portuguese) are available on Youtube, covering part of this course's content.

Online Billboard

1. Introdution to Bitcoin and its history; the origin of cryptocurrencies
2. Using Bitcoin Client
3. Cryptocurrencies: A global overview of the most important coins and how they work
4. Interacting with Bitcoin's blockchain from the Python console
5. Bitcoin's "Proof of Work". From concepts to practice.
6. Introduction to Cryptographic Hash functions and their use on Blockchains.
7. Eliptical Curve Cryptography and their use in Bitcoin.
   • RSA as a model of public key cryptography
8. Alt coins
9. Proof of stake.
10. The Ethereum platform and smart contracts.
11. Ethereum: White e Yellow paper
12. Understanding Ethereum usage of Merkle Trees
13. Desenvolvendo Aplicações na plataforma Ethereum
14. Introduction to the Solidity Language
15. Developing smart contracts: Open-zeppelin.
16. Interacting with contracts from Javascript and Python.
17. Developping Decentralized Apps (Dapps) using Meteor.

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

• Mastering Bitcoin, Andreas Antonopoulos [link]

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

• bitcoin para programadores [pdf] [repo]

• white paper en pt PDF

• Wiki

• yellow paper

• Beige paper

• Solidity Docs

• py-EVM

• Vyper

• Auditing smart-contracts

• Lamport, L et al. The Byzantine Generals Problem

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

• Raft [page] [paper]

• Generais bizantinos na Blockchain

• 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

• Cryptoeconomics course

Blockchains rely on different proving strategies to ensure distributed consensus. We will discuss some of them in this course.

• hashcash example

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

• cuckoo cycle [pdf] [repo]

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

• PeerCoin paper [pdf]

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

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

• Slimcoin paper [pdf]

1. Bruno Cuconato @odanoburu
2. João Carabetta @JoaoCarabetta