Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins
This addresses supply chain reliability issues for industries like food traceability, but it appears incremental as it builds on existing blockchain and digital twin concepts with a formal verification approach.
The paper tackles the problem of unreliable digital twins in blockchain-based supply chain management by proposing a model that strengthens traceability through verifiable digital twins, using secure computation formalism to assess robustness.
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.