| 摘要: |
| 随着云计算和大数据技术的发展,外包计算受到了越来越多的关注。外包计算为资源受限的用户解决复杂的计算问题提供了新的思路,但用户在外包过程中可能会面临数据隐私泄露、外包计算方案验证效率不高等问题,且外包计算中存在用户与外包计算者之间公平支付的问题。为解决这些问题,本文针对科学界和工程领域常见的大规模线性方程组的求解问题,结合区块链技术,提出了一种基于区块链的可审计大规模线性方程组求解外包计算方案。首先,利用稀疏矩阵盲化技术和随机加法分割方法构造了高效的外包计算方案,实现了用户外包数据的隐私保护和外包结果的可验证;其次,基于具有自动化和强制执行特点的智能合约,设计了一种新的外包计算智能合约,实现了外包计算结果的公开验证和用户与外包计算者之间的公平支付,并保障了用户和外包计算者双方的权益;同时,借助区块链不可篡改和可溯源等特性,将外包过程中所涉及的交互信息记录在区块链上,并提出了一种链上链下协同的可审计外包计算机制,实现了对外包计算者计算行为的公开审计,并能对恶意外包计算者进行追溯;最后,进行安全性分析和性能分析,并与现有的方案进行比较,证明所提方案是安全高效的且能实现用户与外包计算者之间的公平支付。 |
| 关键词: 线性方程组 可验证外包计算 区块链 可审计 公平支付 |
| DOI：10.19363/J.cnki.cn10-1380/tn.2025.01.07 |
| 投稿时间：2023-05-07修订日期：2023-07-11 |
| 基金项目:本课题得到国家自然科学基金(No.61802436,No.62102449)、河南省重点研发与推广专项(No.222102210069)资助。 |
|
| Large-scale Linear Equations Outsourcing Computing Scheme Based on Blockchain |
|
DING Yan, WANG Na, DU Xuehui
|
| (Information Engineering University, Zhengzhou 450001, China) |
| Abstract: |
| With the development of cloud computing and big data technology, outsourcing computing has received more and more attention. Outsourcing computing provides a new approach for resource-constrained users to solve complex computational problems. However, users may encounter issues such as data privacy leakage and inefficient verification of outsourcing schemes during the outsourcing process. Additionally, there exists the challenge of fair payment between users and outsourcing computation providers. To solve these problems, and in response to the common problem of solving large-scale linear equation systems in the scientific community and engineering fields, this paper proposes a secure blockchain-based auditable outsourcing computation scheme for solving large-scale linear equation systems in combination with blockchain technology. Firstly, we construct an efficient outsourcing computation scheme using the sparse matrix blinding technique and random addition partitioning method, which realizes the privacy protection of the user's outsourcing data and the verifiable outsourcing results. Secondly, we design a new smart contract for outsourcing computing based on smart contracts with characteristics of automation and enforceability, which realizes the public verification of outsourcing computing results and fair payment between users and outsourcing computation providers, and protects the rights and interests of both users and outsourcing computation providers. At the same time, we take advantage of the blockchain's features such as tampering and traceability to record the interaction information involved in the outsourcing process on the blockchain. Furthermore, we propose an auditable outsourcing computation mechanism that cooperates with the on-chain and off-chain, which realizes the public auditing of the outsourcing computation providers' computation behavior and can trace back the malicious outsourcing computation providers. Finally, we analyze the security and performance of this paper's scheme and compare this paper's scheme with the existing ones to prove that the proposed scheme is secure and efficient and achieves fair payment between users and outsourcing computation computers. |
| Key words: linear systems of equations verifiable outsourcing computation blockchain auditable fair payment |
