Provable Cryptography for Bitcoin: An Introduction (Workbook) A workbook that formally proves the security of cryptographic primitives commonly used in Bitcoin (including commitments, one-time signatures, Schnorr signatures), and it also includes exercises and solutions. I gave up after looking at it for a while But it should be pretty suitable for those interested in Bitcoin while studying cryptography.