The core logic of crypto systems. We examine how protocols coordinate computation, consensus, and value transfer at scale