15-635 Distributed Systems and Real-World Usage of Cryptography: A Modern Perspective

12 units, Carnegie Mellon University

In this course, students will learn the mathematical foundations of blockchains, including how to construct distributed consensus protocols and prove them secure, cryptography for blockchains, and mechanism design for blockchains. This course will take a mathematically rigorous approach. Students are expected to have mathematical maturity and be able to write formal mathematical proofs. Students may also be expected to implement some consensus or cryptographic algorithms. This course is crosslisted with 15-435. Graduate students should take 15-635. Undergraduates should take 15-435.

Prerequisites: none listed

Offered: Spring 2027, Spring 2026

Courseweave needs JavaScript to show sections, workloads and planning tools.