【技术实现步骤摘要】
本专利技术涉及计算机数学计算和外包服务验证领域，具体为一种云计算中面向复杂算式的可信计算验证方法。
技术介绍
1、随着云计算等技术的快速发展，越来越多的企业和个人将大规模数据的计算任务外包给拥有强大计算能力的计算服务提供者如云服务器，这种外包计算模式为计算资源受限的用户提供了可行的解决方案，尤其是在面对复杂或大规模数据计算时。
2、传统的外包计算解决方案中，用户通常将输入数据提供给计算服务提供者，提出计算请求，并由计算服务提供者执行相应的计算任务，最终将计算结果返回给用户。然而，由于计算服务提供者往往同时为多个用户提供服务，当多个用户同时请求计算时，为了节省计算资源并满足所有用户的需求，计算服务提供者可能会返回任意的计算结果，而不按照用户的要求执行计算。因此，验证服务提供者的计算正确性尤为关键，尤其是在涉及大整数计算时，即使是最基本的加法运算，也难以验证其准确性，更不用说减法运算、除法运算、指数运算、模指数运算以及基于四则运算的多项式和多项式近似计算了。
3、目前，传统的验证方法通常采用冗余计算，即通过多次执行计...
【技术保护点】
1.一种云计算中面向复杂算式的可信计算验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述运算类型包括大整数加法运算、大整数减法运算、大整数除法运算、指数运算、模指数计算、基于四则运算的多项式计算、多项式近似计算中的至少一个。
3.根据权利要求1所述的方法，其特征在于，所述模验证包括以下步骤：
4.根据权利要求2所述的方法，其特征在于，对于大整数除法运算验证，将除法计算的验证转化为判断乘法算式是否成立。
5.根据权利要求2所述的方法，其特征在于，对于基于四则运算的多项式计算验证，采用霍纳法...
【技术特征摘要】
1.一种云计算中面向复杂算式的可信计算验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的方法，其特征在于，所述运算类型包括大整数加法运算、大整数减法运算、大整数除法运算、指数运算、模指数计算、基于四则运算的多项式计算、多项式近似计算中的至少一个。
3.根据权利要求1所述的方法，其特征在于，所述模验证包括以下步骤：
4.根据权利要求2所述的方法，其特征在于，对于大整数除法运算验证，将除法计算的验证转化为判断乘法算式是否成立。
5...
【专利技术属性】
技术研发人员：蔚京娟，李顺东，王明慧，罗平，
申请(专利权)人：陕西师范大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。