基于变分优化的加密碰撞规避机动设计协议

论文提出一种基于同态加密（HE）的加密碰撞规避机动（CAM）设计协议，使操作方能在不泄露私有协方差的前提下将 CAM 设计外包给不可信服务器。作者通过变分方法将受约束的 CAM 优化重构为基于采样的估计问题，使依赖私有协方差的项可在 HE 下高效计算，协议仅需单轮通信；在六条真实交会数据消息上的实验显示，相比使用公开协方差设计的 CAM，可行性和燃料消耗均有所改善。