"Provable Cryptography for Bitcoin: An Introduction" by Jonas Nick - a comprehensive workbook that teaches formal security definitions and proofs through hands-on exercises. Link to GitHub below.
GitHub
GitHub - cryptography-camp/workbook
Contribute to cryptography-camp/workbook development by creating an account on GitHub.