密码学报（中英文）2025，Vol.12Issue(5)：1061-1080,20.DOI:10.13868/j.cnki.jcr.000813
函数隐私保护的批量可验证边缘计算方案
Batch Verifiable Edge Computing Schemes with Function Privacy
摘要
Abstract
Edge computing,a new distributed computing paradigm,consists of multiple edge nodes between cloud servers and local users cooperating to perform outsourced storage and computation tasks.Nevertheless,in untrustworthy environments,edge nodes can destroy user data privacy and outsourced functions,disrupt the correct execution of protocols through arbitrary behaviors,and return incorrect computation results.Currently,the correctness verification schemes of edge computation results with data privacy and function privacy protection are mainly realized by bilinear pairing or aggregated signature techniques,which have huge computational and communication overheads and cannot simul-taneously meet the batch verifiability requirements of multi-user,multi-input,and multi-function.To solve the above problems,this study proposes a lightweight batch-verifiable edge computing scheme to realize efficient batch private and public verification of computation results returned by edge nodes.Specifically,in the setting of multiple users,multiple inputs,and multiple computational tasks,it splits the shares of both data and evaluated functions by exploiting the finite set theory called uniform(k,n)-set.The proposed scheme makes the verification overhead only linear to both the number and the degree of the evaluated functions,much smaller than the edge computing overhead while protecting input privacy and function privacy.关键词
边缘计算/批量验证/可验证计算/隐私保护Key words
edge computing/batch verification/verifiable computation/privacy-preserving分类
计算机与自动化引用本文复制引用
陈莹,周俊,董晓蕾,曹珍富..函数隐私保护的批量可验证边缘计算方案[J].密码学报（中英文）,2025,12(5):1061-1080,20.基金项目
国家自然科学基金(62572197,62172161,62132005)National Natural Science Foundation of China(62572197,62172161,62132005) （62572197,62172161,62132005）
