Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

TL;DR

This paper introduces a blockchain-based supply chain management model that enhances reliability by verifying digital twins of physical goods, ensuring accurate traceability especially in food supply chains.

Contribution

It proposes a formal model integrating blockchain with verifiable digital twins using secure computation, improving trustworthiness over existing ad-hoc approaches.

Findings

Model effectively verifies digital twins in supply chains.

Applicable to various scenarios including food traceability.

Uses formal security methods for robustness.

Abstract

A major problem in blockchain-based supply chain management is the potential unreliability of digital twins when considering digital representations of physical goods. Indeed, the use of blockchain technology to trace goods is obviously ineffective if there is no strong correspondence between what is physically exchanged and the digital information that appears in blockchain transactions. In this work, we propose a model for strengthening the supply chain management of physical goods by leveraging blockchain technology along with a digital-twin verification feature. Our model can be instantiated in various scenarios and we have in particular considered the popular case of food traceability. In contrast to other models known in the literature that propose their own ad-hoc properties to assess the robustness of their supply chain management systems, in this work we use the formalism of secure computation, where processes are described through generic and natural ideal functionalities.