Secure proof verification blockchain patterns - CEA - Université Paris-Saclay
Article Dans Une Revue Lecture Notes in Business Information Processing Année : 2024

Secure proof verification blockchain patterns

Résumé

In blockchain networks, transaction data is accessible to all participants by design and hence verifiable. This verifiability feature of data stored on the ledger by any participant fosters trust within data, especially in uncertain environments. However, the public nature of onchain data imposes limitations across various scenarios as subsets of data should be kept private. Zero-knowledge proofs (ZKPs) have emerged as a solution within the literature to overcome this issue. The raw data is not published onchain, only a proof of knowledge of this data is. Hence, the blockchain is used as a trustworthy means for proof verification without requiring data disclosure. Despite their effective use in many scenarios, the formalization of zero-knowledge proof techniques within blockchain settings remains under-explored in current literature, and makes their integration difficult for non-expert blockchain practitioners due to the plurality and complexity of zero knowledge proofs. Software engineering patterns are used in the literature to formalize recurring software engineering practices stemming from the literature and experience of practitioners. Several patterns have been proposed to formalize blockchain-based architecture practices. However, no blockchain patterns tailored to confidential proofs using ZKPs have been designed in the literature. Hence, this paper aims to address this gap by formalizing key blockchain patterns relying on ZKP to handle secure proof verification identified in the literature. We formalize a general pattern called Secure Proof Verification pattern and three related sub-patterns, two of them focusing on efficient or trustless proof verification, and one specifically designed for interval membership verification to aid practitioners in selecting the most suitable non-interactive ZKP design for a blockchain-based application.
Fichier principal
Vignette du fichier
Secure_Proof_Verification_Blockchain_Patterns - BPM24-BCF.pdf (433.98 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-04692986 , version 1 (10-09-2024)

Identifiants

Citer

Tiphaine Henry, Sara Tucci Piergiovanni. Secure proof verification blockchain patterns. Lecture Notes in Business Information Processing, 2024, BPM 2024 - Blockchain, RPA, CEE, Educators and Industry Forum, 527, pp.71-88. ⟨10.1007/978-3-031-70445-1_5⟩. ⟨cea-04692986⟩
29 Consultations
18 Téléchargements

Altmetric

Partager

More