首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】基于数论和概率计算的计算正确性验证方法_陕西师范大学_202410051910.6 

申请/专利权人:陕西师范大学

申请日:2024-01-12

公开(公告)日:2024-05-17

公开(公告)号:CN118051693A

主分类号:G06F17/10

分类号:G06F17/10;G06F17/18

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.06.04#实质审查的生效;2024.05.17#公开

摘要:本案涉及基于数论和概率计算的计算正确性验证方法,属于计算技术领域,用于解决现有外包计算缺乏有效方法检验计算结果正确性的问题。所述方法设定预期的验证准确率P,并依次选定不同的模数验证模运算等式是否成立,并在每次模运算等式验证成立时,计算当前验证准确率k为当前验证次数,ni为第i次验证时选定的模数;当p′≥P时,则认为在验证准确率P下,计算服务提供者基于数据a,b和计算操作op给出的计算结果r正确。本方案验证所需计算资源少,仅需执行少量计算,就能对计算服务提供者执行大规模数据计算的结果进行验证。

主权项:1.一种基于数论和概率计算的计算正确性验证方法,其特征在于:所述方法设定预期的验证准确率P,并依次选定不同的模数验证模运算等式是否成立,并在每次模运算等式验证成立时,计算当前验证准确率k为当前验证次数,ni为第i次验证时选定的模数;当p′≥P时,则认为在验证准确率P下,计算服务提供者基于数据a,b和计算操作op给出的计算结果r正确;所述模运算等式为ai′opb′imodni=ri′,其中:ai′=amodni,bi′=bmodni,ri′=rmodni。

全文数据:

权利要求:

百度查询: 陕西师范大学 基于数论和概率计算的计算正确性验证方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

相关技术
相关技术
相关技术
相关技术