现代密码学入门||反证法到底要怎么写才有逼格？

[视频作者] Alice-Bob

[视频时长] 10:51

[视频类型] 科学科普

反证法是最最常用的安全性证明方法。那么，反证法的核心逻辑到底是什么？又如何能高端大气上档次地写出来，让人看着逼格很高的证明过程呢？这一期，就介绍给大家反证法的核心逻辑，以及正式写法。