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

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

【技术实现步骤摘要】

本专利技术涉及一种基于零知识证明的可信联邦大模型非线性激活函数验证方法,属于数据安全与隐私保护领域。


技术介绍

1、联邦大模型作为一种保护数据隐私的分布式机器学习方法,广泛应用于医疗、金融和物联网等领域。通过本地训练和参数共享,联邦大模型无需传输原始数据即可优化全局模型。然而,其分布式特性对数据空间的完整性和模型计算的正确性提出了严峻挑战,尤其是非线性激活函数的验证对保障全局大模型性能尤为关键。

2、relu函数是深度学习模型拟合复杂非线性关系的核心组件,但其计算结果仅在本地可见。若存在恶意参与方提交错误结果,可能导致全局模型训练失效。因此,验证非线性激活函数的计算正确性,不仅能提升全局模型训练的可信性,还能确保数据空间的一致性和完整性。

3、零知识证明技术为上述问题提供了有效解决方案。其核心特性是:在不泄露数据本身的情况下,证明者可以向验证者证明某一计算结果的正确性。通过结合零知识证明协议,参与方可以构建激活函数的电路约束关系,并生成计算结果的证明,验证者只需验证该证明,无需访问原始数据即可确认结果的正确性。这种方法不仅保护了数据本文档来自技高网...

【技术保护点】

1.一种基于零知识证明的可信联邦大模型非线性激活函数验证方法,其特征在于,包括:

2.根据权利要求1所述的一种基于零知识证明的可信联邦大模型非线性激活函数验证方法,其特征在于,所述步骤1包括:

3.根据权利要求1所述的一种基于零知识证明的可信联邦大模型非线性激活函数验证方法,其特征在于,所述步骤2包括:

4.根据权利要求1所述的一种基于零知识证明的可信联邦大模型非线性激活函数验证方法,其特征在于,所述步骤3包括:

【技术特征摘要】

1.一种基于零知识证明的可信联邦大模型非线性激活函数验证方法,其特征在于,包括:

2.根据权利要求1所述的一种基于零知识证明的可信联邦大模型非线性激活函数验证方法,其特征在于,所述步骤1包括:

3.根据...

【专利技术属性】
技术研发人员:柏粉花杨献林沈韬曾凯
申请(专利权)人:昆明理工大学
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1