基于ENPOT的多用户非交互式可验证计算：模型、方案与应用探索.docxVIP

基于ENPOT的多用户非交互式可验证计算：模型、方案与应用探索

一、引言

1.1研究背景与动机

在移动互联网蓬勃发展的当下，小型移动设备如智能手机、平板电脑等的应用愈发广泛，已然成为人们生活与工作中不可或缺的工具。以2024年为例，全球智能手机用户数量已突破40亿，平板电脑的年出货量也达到数亿台。然而，这些移动设备在带来便捷的同时，也面临着诸多性能瓶颈。其计算能力相对有限，难以处理复杂的计算任务，如大型数据分析、图像渲染以及复杂的科学计算等；存储空间不足，无法满足用户日益增长的数据存储需求；电池续航能力较弱，频繁充电给用户带来不便。

与此同时，云计算技术凭借其强大的计算能力、海量的存储资源以及灵活的资源调配能力，成为解决移动设备性能瓶颈的有效途径。用户可以将复杂的计算任务外包给云服务器，利用云计算的优势实现高效的数据处理。根据市场研究机构的数据，2024年全球云计算市场规模已超过4000亿美元，预计未来几年还将保持高速增长。云计算在各个领域的应用也越来越广泛，涵盖了金融、医疗、教育、制造业等多个行业。

然而，云计算中的计算服务由第三方服务器提供，用户对计算过程缺乏有效控制，这就带来了数据隐私和计算结果正确性的问题。在数据隐私方面，用户的数据在传输和存储过程中可能面临被窃取、篡改的风险。例如，2021年某知名云服务提供商曾发生数据泄露事件，涉及数百万用户的敏感信息。在计算结果正确性方面，由于用户无法直接监督服务器的计算过程，服务器可能返回错误或虚假的计算结果。因此，为了确保外包计算结果的正确性，可验证计算的概念应运而生。

可验证计算允许计算能力较弱的用户将复杂计算任务委托给计算资源密集的云服务器，并对云服务器计算过程的正确性进行验证。这一技术为用户提供了一种保障机制，使得用户能够在享受云计算优势的同时，确保计算结果的可靠性。在早期的可验证计算研究中，主要集中在单用户场景，即单个用户将计算任务外包给服务器并进行验证。然而，随着分布式技术的发展和实际应用需求的增长，多用户可验证计算的重要性日益凸显。在多用户场景下，多个用户可以同时将计算任务外包给服务器，服务器需要同时处理多个用户的请求，并向每个用户返回正确的计算结果。例如，在智能电网中，多个电力物联网感知层终端需要将复杂的计算任务外包给云服务器，服务器需要对这些终端的数据进行处理，并返回准确的计算结果，以支持电网的高效运行。

多用户非交互式可验证计算作为可验证计算领域的一个重要研究方向，已成为当今外包计算的热点。它允许多个用户在无需与服务器进行频繁交互的情况下，将计算任务外包给服务器，并对计算结果进行验证。这种计算模式不仅提高了计算效率，还降低了通信成本，具有广泛的应用前景。在电子政务领域，多个政府部门可以将数据处理任务外包给云服务器，通过多用户非交互式可验证计算技术，确保数据处理结果的正确性和安全性，同时保护各部门的数据隐私。

ENPOT（基于密文策略属性基加密的非交互式代理遗忘传输方案）技术为多用户非交互式可验证计算的研究提供了新的思路和方法。通过结合密文策略属性基加密和非交互式代理遗忘传输技术，ENPOT能够有效地保护用户数据的隐私性，同时实现高效的计算任务外包和验证。在基于ENPOT的多用户非交互式可验证计算中，用户可以根据自身的属性对数据进行加密，只有满足相应属性的服务器才能对数据进行解密和计算，从而保证了数据的安全性和隐私性。研究基于ENPOT的多用户非交互式可验证计算，对于解决移动设备计算能力不足的问题，保障云计算环境下数据的安全性和计算结果的正确性，推动分布式计算技术的发展具有重要的现实意义。

1.2国内外研究现状剖析

在国外，多用户非交互式可验证计算领域的研究起步较早，取得了一系列重要成果。Gennaro等人于2010年在Crypto会议上引入了非交互式可验证计算的概念，为该领域的研究奠定了基础。此后，众多学者围绕非交互式可验证计算展开了深入研究，不断完善和拓展相关理论与技术。Choi等人在2013年利用代理遗忘传输方案，构建了多用户非交互式可验证计算方案，该方案有效保证了每个用户敏感输入信息的隐私性，但在控制参与计算的用户权限方面存在不足。2014年，amos等人提出使用有限群中的随机群元素对各个用户的数据进行加密，以保证每个用户的信息不被其他用户破解，但由于加密技术的限制，该协议在实际应用中存在一定困难。

近年来，国外研究更加注重可验证计算的效率和实用性。一些研究团队针对多元低次多项式函数设计了高效的多服务器可验证计算方案，实现了信息论意义下的数据隐私性与计算完整性。在可验证私有信息检索、可验证隐私函数/数据计算等应用中，这些方案展现出了直接的应用价值，大大提高了计算效率和安全性。

在国内，随着对信息安全