arrow
Return

Decode-and-Compare: An Efficient Verification Scheme for Coded Distributed Edge Computing

delete2023-07-01
delete1
PRE
AI
王进 (Jin Wang) *
Z
Zhaobo Lu
M
Mingjia Fu
J
Jianping Wang
K
Kejie Lu
A
Admela Jukan
DOI:10.1109/TCC.2022.3228243delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Recently, edge computing has demonstrated increasing potential to provide low-latency computing services. Coded edge computing can not only make full use of the resources of heterogeneous edge computing servers, but also significantly reduce the negative effects of slow computing devices on computing time. Nevertheless, since edge servers may be unreliable or untrustworthy, the user will decode and get incorrect computation results even if it uses one incorrect sub-computation result returned by faulty edge servers. In this article, for the existing coded edge computing schemes, we focus on the distributed matrix-matrix multiplication and design a general and efficient Decode-and-Compare Verification (DCV) scheme to verify the correctness of computation results and identify faulty edge servers by utilizing the properties of coded computing itself. The DCV scheme contains two components: (1) computation result verification, i.e., obtain the computation result and verify its correctness, and (2) faulty edge server identification, i.e., identify the faulty edge servers by verifying the correctness of returned sub-computation results. For both the independent and collusion faulty edge server models, we conduct solid theoretical analyses on the required decoding rounds, the coding redundancy and the successful verification probability to demonstrate that the correct computation result can be efficiently verified. We also conduct a lot of experiments on the DCV scheme from different aspects and the results show that it achieves much less computation time to get the correct computation result compared with other potential schemes, including homomorphic encryption and local computation.
Keywords:
Servers
Encoding
Cloud computing
Redundancy
Edge computing
Fault diagnosis
Decoding
Coded computing
edge computing
efficiency
verification

Journal

I
IEEE Transactions on Cloud Computing
IF:
5
Papers:
1.8K
Citations:
4.3K

Organization

U
University of Puerto Rico Mayaguez
Scholars:
700
Papers: 559
Citations: 1.1K
C
City University of Hong Kong
Scholars:
2.3W
Papers: 3.0W
Citations: 6.1W
U
university of puerto rico
Scholars:
6.3K
Papers: 4.2K
Citations: 17
S
soochow university - china
Scholars:
5.2W
Papers: 3.6W
Citations: 82
researcher View more organizations