Instructor: Dr. Dionysis Zindros

• Administrivia

• Money as a social construct

• The network model

• The non-eclipsing assumption

• The gossip protocol

Instructor: Odysseas Sofikitis

• Setting up a TypeScript project

• TypeScript basics

• Building your project

Instructor: Dr. Dionysis Zindros

• The adversary A

• The security parameter κ

• The honest protocol Π

• The adversarial model

• Probabilistic polynomial-time adversaries

• Negligible functions

• Game-based security

• Security proofs by computation reduction

• Proofs by contradiction and forward proofs

Instructor: Odysseas Sofikitis

• TCP/IP socket connections

• Establishing a connection

• Receiving and parsing data

• The grader will test your node for you to get feedback. This is not graded. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• The hash function: H

• Preimage resistance, second preimage resistance, collision resistance

• Collision resistance implies preimage resistance

• Preimage resistance implies second preimage resistance

• Public/private keys

• Signature schemes

• Signature correctness

• Existential unforgeability

• Ledgers

• The grader will test your node and give you a grade. Please check out the PSETs tab for more information.

Instructor: Odysseas Sofikitis

• JavaScript promises

• Async/await

• Event emitters

Instructor: Dr. Dionysis Zindros

• Transactions

• Inputs and outputs

• The transaction graph

• Change

• Multiple inputs

• Multiple outputs

• The UTXO model

• The law of conservation

• Verifying a transaction

Instructor: Dr. Dionysis Zindros

• Views in disagreement

• Double spending

• The network delay Δ

• Simple ideas don't work!

• Rare events

• Blocks

• Proof-of-work

• The mining target T

• The proof-of-work equation

• The mining algorithm

• Block freshness

• The genesis block G

• Chains

Instructor: Dr. Dionysis Zindros

• Hash chains

• The number n of parties

• The number t of adversarial parties

• The hashing power q

• Rare events are irregular

• Convergence opportunities and periods of silence

• The honest majority assumption

• The longest chain rule

• Coinbase

• Fees

• Mempools

• The grader will test your node for you to get feedback. This is not graded. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• Temporary forks

• Convergence

• The Nakamoto race

• Chain Growth, Common Prefix, Chain Quality

• Censorship

• Majority attacks

• The grader will test your node and give you a grade. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• Healing

• Macroeconomic supply

• Selfish mining

• Mining pools

• The grader will test your node for you to get feedback. This is not graded. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• CPU, GPU, ASIC mining

• Incentive compatibility

• Block size limits

• Transaction prioritization by fees

• Macroeconomic policy, reward adjustment

• The difficulty adjustment equation Τ_{j+1} = T_{j} (t_2 - t_1) / (mη)

• Mining pools, the light PoW equation: H(B) ≤ 2^z T

• The pooled mining protocol

• Cold, hot, and hardware wallets

• Wallet seeds, deterministic wallets

• The grader will test your node and give you a grade. Please check out the PSETs tab for more information.

• TBD

Instructor: Dr. Dionysis Zindros

• The account model

• Transactions in the account model

• Balances

• Nonces

• The generic transition function δ

• Blockchain as a State Machine Replication mechanism

• UTXO vs accounts

• The file storage problem

• The Merkle Tree: compress, prove, verify

• Proofs of inclusion, succinctness

• Merkle Tree security proof by reduction from collision-resistant hashes

• TBD

Instructor: Dr. Dionysis Zindros

• The problem of scalability in blockchains: Scaling computation, communication, and storage

• From x-bar to x using Merkle Trees

• The Simple Payment Verification (SPV) protocol

• The header chain

• Miners, Full Nodes, Light Nodes

• Chain virtues for light nodes

• Privacy concerns for light nodes

• Random Oracles, formally

• The synchrony assumption Δ = 1

• This will be a short theory exercise to help you practice for the exam. Please check out the PSETs tab for more information.

• This will be a short theory exercise to help you practice for the exam. Please check out the PSETs tab for more information.

• More information available on piazza

• The Environment and the Execution

• The Rushing Adversary

• The Sybil Adversary

• The Network model, the gossiping model

• The Non-Eclipsing Assumption

• The honest backbone protocol

• Maintaining, adopting, and having chains

• Proof-of-work

• The q-bounded Random Oracle

• The Static Difficulty assumption

• Chain validation; the δ* function

• Successful rounds

• Convergence opportunities

• Formal definition of Chain Virtues

• Common Prefix, the parameter k

• Chain Quality, the parameters μ and ℓ

• Chain Growth, the parameters τ and s

• The formal honest majority assumption: t < (1 - δ)(n - t)

• The honest advantage δ

• Convergence Opportunities are useful: The Pairing Lemma and its proof

Instructor: Dr. Dionysis Zindros

• Ledger Safety and Liveness, formally. The liveness parameter u.

• Proof of Safety from Common Prefix

• Proof of Liveness from Chain Quality and Chain Growth; u = max((ℓ + k) / τ, s)

• The Chain Growth Lemma and its proof

• The successful round indicator X

• The convergence opportunity indicator Y

• The adversarial success indicator Z

• The expectations of X, Y, and Z

• Bernoulli's inequality

• Lower and upper bounds on the expectation of X

• Lower bounds on the expectation of Y

• Good things converge: The Chernoff bound

• The world is good, usually: Typical executions

• The Chernoff duration λ

• The Chernoff error ε

• Proof of Typicality Theorem

• The Balancing Equation: 3ε + 3f ≤ δ

• A plot of X, Y, and Z with 3f, 3ε and δ

• The grader will test your node for you to get feedback. This is not graded. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• Reminder of bounds on the expectations of X and Y

• Upper bound on the expectation of Z

• Typical bounds, and proof that Z ≤ Y

• Chains grow: The Chain Growth theorem and its proof

• The Patience Lemma and its proof

• The Common Prefix theorem and its proof

• Discussion on the relationship between ε and λ

• You can't have it all: Discussion on the parametrization options for ε, f, δ

• The grader will test your node and give you a grade. Please check out the PSETs tab for more information.

Instructor: Prof. Nikos Leonardos

• Byzantine Agreement: Consensus and Agreement

• Lower bound of t < n / 3

• EIG and Dolev-Strong Protocols

• Solving Consensus with Bitcoin

• The grader will test your node for you to get feedback. This is not graded. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• Proof of Work's perils and environmental impact

• Proof of Work vs Proof of Stake

• Dangers of Proof of Stake

• The Proof of Stake inequality

• Stake grinding attacks and their mitigations

• The Ouroboros longest chain protocol

• The grader will test your node and give you a grade. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• VRFs

• Permissioned and permissionless protocols, static and dynamic stake

• Epoching

• Randomness

• Adaptive adversaries

• Stake aggregation independence

• Long-range attacks

• The grader will test your node for you to get feedback. This is not graded. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• The Simplex protocol

• Simplex protocol: Proof of Safety

• TBD

Instructor: Dr. Dionysis Zindros

• Simplex protocol: Proof of Liveness

• The grader will test your node and give you a grade. Please check out the PSETs tab for more information.

Instructor: Dr. Dionysis Zindros

• Finality and partial synchrony

• Dynamic availability and the anonymous byzantine problem

• The Availability/Finality dilemma

• Ebb-and-Flow constructions

• This will be a short theory exercise to help you practice for the exam. Please check out the PSETs tab for more information.

• TBD

• This will be a short theory exercise to help you practice for the exam. Please check out the PSETs tab for more information.

• More information will be posted soon.