Provable Cryptography for Bitcoin: An Introduction is a workbook that teaches formal security definitions and proofs through exercises. Solutions are included.
The workbook was tested during a multi-day workshop, and I thank the participants for their feedback and contributions. Nadav Kohen’s prework material is a good preparation. For more context, see the Delving Bitcoin post.
Feedback and contributions as GitHub issues and pull requests are welcome.