隐私 / 可核对

诊断报告里装了什么、不装什么,以及我们怎么证明

「无遥测」这句话很好说。而你主动发出的那份支持报告, 是数据唯一一次离开你机器的时刻——所以这里必须是可以被核对的,而不是让你相信。

它引用的是冻结快照

报告由你按下按钮那一刻拍下的一份快照组装而成。它刻意不回读活状态—— 因为你看到问题的那一刻和你上报的那一刻之间,活状态可能已经变了。 报告里的每一个值都是普通值,整个构造器是一个纯函数。

它包含什么

离开之前会被去掉什么

为什么「纯函数」这件事重要

因为这样一来脱敏变得可证明。报告构造器只接收普通值、返回文本; 它不需要显示器、不需要窗口、也不需要网络。这就是自检能在一台没接显示器的机器上 断言脱敏契约的原因——否则要测它,你就得接上那台你正想保密序列号的硬件。

诚实的边界

相关