实现与设计的鸿沟——"协议安全"≠"系统安全"的永恒警钟

密码学教科书能教给你如何设计安全的协议，但无法保证实现是安全的。Heartbleed 不是密码学失败，而是 C 语言内存管理的失败——一个一行代码的 bug 让整个 OpenSSL 的密码学保证归零。这个鸿沟在所有工程领域都存在：正确的设计 ≠ 正确的实现 ≠ 正确的运营。