Builds hash-based signatures from one-time signatures, Merkle trees, hypertrees, and stateless constructions. Learners calculate signature sizes and trace authentication paths by hand and in code.