E24：《比特币可证明密码学引论》的引论

本期亿聪哲史播客以《比特币可证明密码学》这本小册子为中心，探讨了可证明密码学的概念及其在比特币安全中的应用。嘉宾 Kurt Pan 详细介绍了小册子的内容结构，强调其作为密码学 “爵士武功的目录” 的作用，并区分了可证明安全密码学与启发式密码学的本质差异。讨论深入到密码学证明的形式化、交互性，以及与电影《黑客帝国》、《土拨鼠之日》、《信条》等科幻作品的联系，用以阐释密码学中模拟、随机预言和时间循环等抽象概念。同时，嘉宾还分享了翻译此书的初衷，并推荐了其他密码学深入学习资源，强调了理解密码学对于反思个人信仰和在 AI 浪潮中保持独立思考的重要性。