This page is a preview of different topics and possible weeks to cover them. I might move stuff around or add/drop topics!
Dec 11-17: Final Exams
Constant Function Market Maker (Trustless, permissionless, exchange technique)
Bitcoin Script Virtual Machine Description: https://github.com/bitcoinbook/bitcoinbook/blob/develop/ch07_authorization-authentication.adoc
Bitcoin (actually Nexa) instruction set (opcode) Reference. Yes, actually READ through these! (so you get a sense of what can and can’t be done)
Ethereum is a dark forest (Ethereum development story)
Constant Function Market Maker (Trustless, permissionless, exchange technique)
Bitcoin Script Virtual Machine Description: https://github.com/bitcoinbook/bitcoinbook/blob/develop/ch07_authorization-authentication.adoc
Bitcoin (actually Nexa) instruction set (opcode) Reference. Yes, actually READ through these! (so you get a sense of what can and can’t be done)
Ethereum is a dark forest (Ethereum development story)
Ethereum Tokens
Bitcoin Tokens (Ordinals and Inscriptions)
Native Blockchain Tokens (Group Tokenization Proposal)
Byzantine Generals Video Lecture
Byzantine Fault Tolerance vs Proof Of Work Video Lecture
Vukolic paper: Proof-of-work vs. BFT Replication
Byzantine Generals Video Lecture Notes
FLP, CAP, BFT Comparison lecture notes
(optional) Impossibility Of Distributed Consensus (original FLP paper)
Efficient Block Propagation Lecture Video
Bloom Filter Lecture Notes
Invertible Bloom Lookup Table (IBLT)
(661) Graphene Paper
(461) Graphene short paper
Clock Synchronization
We are going to use short excerpts from “Distributed Systems: Principles and Paradigms” by Andrew S. Tanenbaum and Maarten Van Steen. Fortunately, the entire text is available for free! Just give any email address to the author’s web site and they’ll send you a PDF.
Please read:
Later in the semester, we’ll use the text for another topic.
Purely optional reading for the course, but if you are interested, here is the original Lamport paper:
(Optional) elliptic-curve-cryptography-a-gentle-introduction
(Optional) ECC part 2
(Optional) Chapter 8, Paar and Pelzl
(Optional) Chapter 9, Paar and Pelzl
661 only
Review this paper Attacks against Autofinalization and Parking.
Understand:
Please skim the papers, watch the videos, and then read the papers carefully.
We continue our investigation into basic blockchain architecture.
λ=pzq
1−k=0∑z+1(k!λke−λ)(1−(q/p)z+1−k),ifq<p
These are the materials for our first week.