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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the potential unreliability between digital twins (Digital Twins) and actual physical goods in blockchain - based supply chain management. Specifically, if there is no strong correspondence between digital information and physical goods, then even if blockchain technology is used to track goods, such tracking is ineffective. The paper points out that although blockchain can provide an immutable, transparent, and decentralized supply chain data ledger, if the consistency between the digital representation and physical goods cannot be guaranteed, the advantages of blockchain will be greatly reduced.
For example, the paper mentions that suppose there is a farm producing buffalo mozzarella. Using blockchain can transparently display the location of the farm, its scale, the number of buffaloes, and the amount of buffalo mozzarella produced daily. However, if for some reason (such as the influence of a virus on buffaloes), there is a shortage of buffalo milk, dishonest producers may mix cow milk and buffalo milk, but the data on the blockchain cannot reflect this fact. In this case, although the data on the blockchain seems reasonable, it is actually not related to the physical goods, which constitutes a problem.
### Main contributions of the paper
To address the above problems, the paper proposes a general model to strengthen the traceability and verification of goods in supply chain management by combining blockchain technology and a reliable auditing process. Specifically:
1. **Unique identification of digital twins**: Each physical good has a unique digital twin, which is identified on the blockchain and records all relevant events in the life cycle of the good (such as generation, combination, splitting, etc.).
2. **Reliable auditing process**: In order to enhance the consistency between on - chain information and physical goods and reduce errors and fraud, each time a supply chain entity conducts an inspection, some relevant information (such as date, time, location, operator, inspected goods, inspection results, etc.) will be recorded on the blockchain.
3. **Formalization of ideal functionality**: The paper uses the formal method of secure multi - party computation (SMPC) to ensure the robustness of traceability. By defining a natural ideal world, it describes how to reliably perform traceability in the presence of a trusted party, and then proves that the reliability of the actual system can be measured by simulating attacks in the ideal world.
### Specific implementation
The paper describes in detail the working process of the system, including:
- **System initialization**: Create the genesis block, fix system parameters, access control policies, and system smart contracts.
- **Asset types**: There are five different types of assets in the system, including element (Element), category (Category), batch (Batch), production area (Production Area), and device (Device).
- **Participating entities**: There are seven different participants in the system, including registration institutions, FP scanner issuers, producers, manufacturers, certification bodies, consumers, and supply chain members.
- **Trust assumptions**: Assume that there is a trusted registration institution responsible for distributing correct credentials to all system participants, and assume that the underlying blockchain is secure.
Through these designs, the paper aims to provide a more reliable and secure blockchain supply chain management system, ensuring the consistency between digital twins and physical goods, thereby improving the transparency and credibility of the entire supply chain.