Overview
Syllabus
Intro
Recall: Bitcoin blockchain format
Validity of a blockchain
Validity of a Block Header
Two Valid Blockchains?
Blockchain size: A growing problem
Simple Payment Verifying Client Satoshi'08
Verify Block Headers
Use the Longest Chain Rule
Can verify specific transactions (with help)
SPV Properties and Problems
Flyclient: A different approach to super-light clients
Verifying Transaction MMR proof
Flyclient: Two Heads?
Flyclient Strawman 1: sample constant # of blocks
Flyclient Strawman 1 problem: Forking
Flyclient idea: Find Fork Point
Flyclient: Idea bound forking point
Sampling distribution of randomized protocol
Optimizing Distribution
Querying Distribution over Weight
Non Interactive Flyclient
Evaluation (Ethereum)
Flyclient deployment
Taught by
IEEE Symposium on Security and Privacy