隐私算法基础概念与常见Crash类型归纳
说实话，很多搞隐私算法的朋友一上来就啃乘法协议、秘密分享，结果程序一跑就崩溃，连为什么崩都搞不清楚。我刚开始也一样，被各种段错误、空指针折腾得够呛。后来慢慢摸出规律了——crash 其实就那几种，搞懂了根因，修起来就有方向了。
本章我们先打地基：隐私算法到底在做什么？常见的 Crash 类型有哪些？我会结合自己踩过的坑，帮你快速建立起问题分类的直觉。
隐私算法的核心要素
隐私计算说白了就是“在不泄露原始数据的前提下完成计算”。常见的技术栈包括：
- 秘密分享：把数据切成碎片分给多方，单独看碎片没意义，合起来才能还原。
- 混淆电路：把逻辑电路加密，计算方只能看到加密后的门电路，看不到输入。
- 同态加密：在密文上直接做运算，结果解密后和明文运算结果一致。
- 不经意传输：接收方能从发送方那里获取一条消息，但发送方不知道接收方选了哪条。
我的习惯：刚开始学的时候，别急着写代码。先把一种协议的手工流程走一遍，理解每一步发生了什么。很多 crash 其实是对协议理解不深导致的逻辑错误，不是代码 bug。
隐私算法 Crash 的常见类型
我在项目中遇到过各种各样的崩溃，归归类其实就这六种。下面这张图可以帮你快速建立整体认知：
每种 Crash 的典型场景
| Crash 类型 | 典型症状 | 常见原因 | 我碰过的案例 |
|---|---|---|---|
| 内存 Crash | Segmentation fault、double free | 悬空指针、缓冲区溢出、未初始化变量 | 一次秘密分享中数组下标用了负数，查了一下午 |
| 逻辑 Crash | 计算结果错误、死循环 | 协议步骤颠倒、多项式求值出错 | 混淆电路里门索引算错了，一直输出 0 |
| 竞态 Crash | 随机性崩溃、条件竞争 | 多线程共享变量未加锁、信号处理时序 | 不经意传输的两个线程同时写输出缓冲区 |
| 协议 Crash | 通信断开、断言失败 | 参数校验缺失、消息格式不匹配 | 对方用大端序，我用小端序，握手直接崩 |
代码示例：一个典型的悬空指针 Crash
下面这段代码在秘密分享库中很容易出现。你想想看，`share_buf` 在函数内部分配，返回后就被释放，外部继续访问就崩了。
// 错误示例：返回栈上指针
uint8_t* get_share() {
uint8_t share_buf[32];
fill_random(share_buf, 32);
return share_buf; // 悬空指针！
}
void test() {
uint8_t *share = get_share();
// 此时 share 指向已释放的栈内存
printf("%02x", share[0]); // 大概率 Segment Fault
}
注意：隐私算法经常涉及大块临时内存，比如混淆电路的 garbled table。我习惯用 std::vector 或自定义的内存池来管理，避免裸指针裸奔。另外，记得用 Valgrind 跑一遍，很多悬空指针能提前发现。
逻辑 Crash 的隐蔽陷阱
逻辑 crash 比内存 crash 更难查。因为程序没有段错误，但算出来的结果不对。有一次我在实现加法秘密分享时，把「模加法」写成了「普通加法」，结果高位的溢出被丢掉了，整个安全参数形同虚设。
所以我的调试流程是：先用小规模数据手工算一遍正确结果，再和程序输出对比。如果中间某个中间值不一致，那就用二分法定位。
避坑指南
- 所有模运算必须用模约减，不要依赖 C 语言的整数溢出行为。
- 乘法协议中要注意多项式乘法后的截断，很多 crash 是因为系数长度超出预期。
- 不经意传输里 receiver 的索引一定要校验边界，否则直接数组越界。
竞态 Crash 的随机性
竞态 crash 最烦人——它在你调试的时候不出现，一上生产环境就偶尔崩一次。我遇到过两个线程同时写同一个共享内存，没有加锁，结果数据被覆盖了一半，对端收到半截 fragment 直接协议异常。
要抓这种问题，我推荐用 ThreadSanitizer（-fsanitize=thread），它能准确定位竞争位置。另外，尽量在协议层设计无锁数据结构，比如用 ring buffer 替代共享队列。
一个经验：如果你发现崩溃只在 WAN 环境下高频出现，而本地测试很少，八成是网络延迟放大了竞态窗口。这时可以把线程数降为 1 试试，如果不再崩溃，基本就确定了。
协议 Crash 的预防
协议 crash 很多时候是沟通问题。对方实现了协议的一个变种，你以为用的是标准版。哪怕某个字段差了 1 个字节，都会导致解析失败。
我现在的习惯是：
- 编写严格的序列化/反序列化单元测试，覆盖边界值。
- 在握手阶段交换版本号和参数列表。
- 遇到格式错误先打印接收到的原始 HEX，再对比规范。