矩阵刷新方案抗持续泄露获证明

Stefan Dziembowski 等人提出一种基于矩阵刷新的抗持续本地泄露存储方案，并给出 Lean 4 形式化。其刷新方式为：左方将份额乘以可逆矩阵 M，右方乘以 M⁻¹；论文证明该简单刷新在持续本地泄露下安全。 论文称，经过 T 次刷新、每次每方最多泄露 λ 比特后，两个被存储秘密的转录统计距离至多为 C·T·2^{6λ-n/9}，C 为绝对常数；对应的布尔电路编译器在 S 次操作、每次每方最多泄露 λ 比特时，统计隐私误差至多为 C·S·2^{18λ-n/27}。据此，对多项式规模电路，可容忍常数比例的泄露，份额长度只取决于安全参数。 上述安全性结论来自论文自身的证明与形式化，尚待外部验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。