Enabling Privacy-Preserving and Verifiable AGI in Low-Altitude Economy Networks

In low-altitude economy (LAE) networks, Artificial General Intelligence (AGI) models play a critical role in tasks such as path planning, object recognition, and task allocation. Support Vector Machine (SVM) models serve as fundamental components in AGI frameworks due to their robust capabilities in classification and regression tasks, which are essential for decision-making in LAE networks. However, distributed deployment and real-time inference of SVM models face significant challenges in security and privacy protection, including leakage of model parameters, exposure to data privacy, and reliability of prediction results. To address these issues, we propose a privacy-preserving and verifiable SVM prediction scheme (pvSVM) that can achieve the desirable properties of model privacy, data privacy, and private/public prediction verifiability. To be specific, we employ homomorphic encryption in conjunction with secret sharing to realize efficient and privacy-preserving model prediction in the edge. Then, we design two secure verification strategies to allow UAVs and any third party to check the correctness of predictions. To further support the verification of large-scale predictions, our scheme uses batch verification to reduce computational and communication overheads. Detailed analysis and extensive experiments prove the security and efficiency of our scheme.