一种新颖的可验证功能加密框架用于安全且通信高效的分布式梯度传输管理 | Synapse