Provable Cryptography for Bitcoin: An Introduction (Workbook) 一个对比特币常用的密码学原语（包括承诺、一次性签名、schnorr 签名）形式化证明其安全性的 workbook，还包括了习题和解答。 我看了一会儿放弃了😅 但应该比较适合在学习密码学同时对比特币感兴趣的同学(Jeffrey Hu)