一种基于零知识证明的可信联邦大模型非线性激活函数验证方法

本发明涉及一种基于零知识证明的可信联邦大模型非线性激活函数验证方法，属于数据安全与隐私保护领域。该方法包括：针对ReLU函数的非线性特性，将ReLU函数分解为符号判定、零输出和布尔约束三组线性方程式，形成R1CS约束系统；在R1CS约束系统的基础上，采用零知识证明协议，构造包含双线性配对运算的验证方程，定义证明生成算法与验证算法；根据证明生成算法与验证算法，通过多方安全计算协议生成全局公共参数，参与方根据本地激活值计算生成零知识证明元组，服务端接收各参与方生成的证明并执行聚合验证。该方法在保护数据隐私的前提下，验证激活值计算的完整性与正确性，可扩展应用于联邦大模型训练，解决隐私保护与计算可信验证的协同问题。