ExecCert：机器遗忘的可执行发布认证

当数据因删除请求、记录过时或质量问题必须移除时需要机器遗忘，而从零重训成本高昂。认证式机器遗忘方法提供数学保证，部署系统发布的却是软件产生的有限精度具体产物。为弥合数学保证与实际部署的差距，我们提出可执行发布认证（ExecCert），在发布时刻对候选产物进行认证：要么闭合方法对该执行产物的原生证书，要么应用重训参照发布验证（RRV）认证其相对当前保留集重训的保真度。序贯删除使后者不再平凡，因为精确保留集参照与存储的数值状态各自演化。对带可变岭头的冻结表示，我们开发了RRV的增量实现，在删除请求间维持认证证据而非每次发布重建。在四个已发表的遗忘实现上，ExecCert保持了有效证书、改变了发布决策、收紧了保守界，并识别出具体输出所支持的重训参照保真度。序贯服务实验中，RRV消除了存储方程验证造成的错误发布并紧贴实际误差；当发布检查足够频繁时，增量认证比全新或维护验证因子两种替代都更便宜。