基于同态加密的渐近稳定：无需重新加密的方法
系统与控制
2025-04-15 v1 密码学与安全
系统与控制
摘要
在本文中，我们提出了方法，对预先给定的动态控制器进行同态加密，而无需对控制输入进行重新加密。我们首先提出了一个初步结果，表明预先给定的动态控制器的系数可以通过动态量化中的放大因子放大为整数，而无需使用重新加密。然而，足够小的放大因子可能始终不存在，因为这要求预先给定的闭环系统的收敛速度必须非常快。然后，作为主要结果，我们设计了一个新的控制器来逼近预先给定的动态控制器，其中动态量化的放大因子与预先给定的闭环系统的收敛速度相互独立。因此，总存在一个（足够小的）动态量化放大因子，将控制器的所有系数缩放为整数，并且存在有限的模数防止密码学系统中的溢出。该过程是渐近稳定的，并且量化器未饱和。
引用
@article{arxiv.2504.09248,
title = {Asymptotic stabilization under homomorphic encryption: A re-encryption free method},
author = {Shuai Feng and Qian Ma and Junsoo Kim and Shengyuan Xu},
journal= {arXiv preprint arXiv:2504.09248},
year = {2025}
}