Provable Cryptography for Bitcoin: An Introduction (Workbook)

Protocol Design
,
2

Just noting here another resource I encountered recently along the same topic but not specifically bitcoin focused: https://joyofcryptography.com/