Advanced Blockchain Systems and Theory

3 Credits

Formal foundations of blockchain systems: cryptography, consensus, zero-knowledge proofs, transaction processing both on-chain and cross-chain, validation, and governance. Algorithms and data structures for blockchain systems. Programming paradigms for smart contracts. Current research in blockchain drawing from the cryptography, database, operating system, and parallel computing research communities. Prerequisites: CSE 241 or CSE 341 or CSE 303 or CSE 403 or CSE 375 or CSE 475