Zero knowledge proofs for cloud storage integrity checking

TL;DR

This paper introduces a novel zero-knowledge proof framework for cloud storage integrity that ensures data privacy, confidentiality, and soundness, addressing a gap in formal definitions and existing methods.

Contribution

It formally defines data privacy in zero-knowledge proofs for storage integrity and develops an algorithm that guarantees data integrity, confidentiality, and privacy.

Findings

Proposes a new formal definition of data privacy for integrity checks.

Develops an integrity check algorithm capturing data privacy and security.

Highlights limitations of existing remote integrity proofs.

Abstract

With the wide application of cloud storage, cloud security has become a crucial concern. Related works have addressed security issues such as data confidentiality and integrity, which ensure that the remotely stored data are well maintained by the cloud. However, how to define zero-knowledge proof algorithms for stored data integrity check has not been formally defined and investigated. We believe that it is important that the cloud server is unable to reveal any useful information about the stored data. In this paper, we introduce a novel definition of data privacy for integrity checks, which describes very high security of a zero-knowledge proof. We found that all other existing remote integrity proofs do not capture this feature. We provide a comprehensive study of data privacy and an integrity check algorithm that captures data integrity, confidentiality, privacy, and soundness.