Railway digital RMB intelligent contract service method, system and platform

Abstract

The invention discloses a railway digital RMB intelligent contract service method, and the method comprises the steps: collecting the analysis of all transaction scenes of railway business, extracting intelligent contract atomic elements and intelligent contract execution parameters, and generating an intelligent contract library; modeling for the intelligent contract template to generate an intelligent contract model; carrying out feasibility verification on the intelligent contract model; an auditing mechanism is adopted, and the railway intelligent contract is automatically audited; and performing online and offline execution and configuration management of the smart contract according to the railway business transaction scenes and the verified and audited smart contract, thereby realizing the service of the railway digital RMB smart contract in each railway business transaction scene. The railway digital RMB intelligent contract service method, system and platform are formed according to different business scene requirements, different payment channels and access payment channel characteristics of railways, and cover the full life cycle of intelligent contract application and management.

Description

Technical Field

[0001] This application relates to the field of digital RMB operation services, and in particular, to a railway digital RMB smart contract service method and system. Background Art

[0002] At present, digital RMB has shown extensive application potential and demand in many fields such as railway passenger and freight operations, diversified business development, material procurement, bidding processes, supply chain management, and fund clearing and settlement. In order to ensure the safe and orderly promotion of digital RMB in the railway industry and improve the level of digital financial application in the railway industry, it is particularly necessary to build a complete railway digital RMB smart contract operation service platform.

[0003] The digital RMB smart contract applies smart contract technology to the digital RMB, completes conditional transactions based on the digital RMB, and realizes the programmable design function of the digital RMB. According to the construction principles of hierarchical management, clear responsibilities, and open cooperation of the digital RMB smart contract ecological platform, the scenario side builds a commercial contract layer, and forms an effective linkage mechanism with operating institutions and bank digital currency research institutes to ensure the legality and availability of smart contracts.

[0004] The introduction of the digital RMB smart contract service platform can provide the railway industry with an innovative technical means and management model, which can realize the intelligent and automated reshaping of railway business processes. By integrating digital RMB smart contract technology with railway business systems, digital upgrades can be achieved in all aspects from ticket sales, freight management to fund settlement, thereby promoting the railway industry to move towards a higher level of digitalization.

[0005] However, there is still a lack of research on the integration method of the digital RMB ecosystem for various railway transaction business scenarios. Therefore, it is urgent to propose a railway digital RMB smart contract service method, system and platform that can unify and integrate various ecological capabilities to solve the technical problems of the scattered and disordered railway digital RMB smart contract service capabilities and the lack of overall effectiveness of smart contract service capabilities. It is necessary to implement a unified smart contract service method that can solve the unified management of smart contracts and solve the management services of the entire life cycle of contracts from contract development, template application, contract verification, to contract configuration, contract deployment, contract execution and contract operation and maintenance management. Summary of the invention

[0006] In order to solve the defects of the above-mentioned prior art, the embodiment of the present application provides a railway digital RMB smart contract service method to solve the technical problem of the lack of unified management of railway digital RMB smart contract services.

[0007] In the first aspect, the embodiment of the present application provides a railway digital RMB smart contract service method, the method comprising:

[0008] Smart contract creation steps: Collect analysis of various transaction scenarios of railway business, extract atomic elements of smart contracts and smart contract execution parameters, and generate smart contract library; define and manage railway smart contract templates based on the smart contract library and business logic of various transaction scenarios;

[0009] Smart contract automatic verification and review steps: Model the smart contract template and generate a smart contract model; verify the feasibility of the smart contract model; and adopt an audit mechanism to automatically review the railway smart contract;

[0010] Smart contract execution management steps: Based on the railway business transaction scenarios and verified and audited smart contracts, perform online and offline execution and configuration management of smart contracts to realize the services of railway digital RMB smart contracts in various railway business transaction scenarios.

[0011] As an optional implementation, in the first aspect of the present invention, the above-mentioned railway digital RMB smart contract service method further includes:

[0012] Smart contract execution monitoring steps: Real-time monitoring of the execution of smart contracts in various transaction scenarios, monitoring of transactions based on smart contracts, and automated response to transactions in real time;

[0013] Among them, railway business transaction scenarios include: basic transaction scenarios, cross-border freight transport scenarios, freight loan scenarios, ticket purchase orders and extended business scenarios, and standby ticket purchase scenarios.

[0014] As an optional implementation, in the first aspect of the present invention, the smart contract creation step includes:

[0015] Smart contract library management steps: configure and manage the smart contract library. The smart contract atomic elements are the smart contract capabilities based on relevant business transaction scenarios; the smart contract execution parameters are the business parameters required for execution based on relevant business transaction scenarios;

[0016] Smart contract template definition management steps: Based on various railway business transaction scenarios, select smart contract execution parameters as input parameters, match the smart contract atomic element capabilities that meet business needs, arrange the atomic elements in the business logic order of the scenario, and build a smart contract template that responds to the business type.

[0017] As an optional implementation, in the first aspect of the present invention, the above-mentioned smart contract automatic verification and review step further includes:

[0018] Modeling steps: Use programming language to model the smart contract template and generate a smart contract model;

[0019] Model and code verification steps: Use a unified model detector to verify the smart contract model; and use automated testing tools to verify the executable code generated by the smart contract model;

[0020] Audit steps: An audit mechanism is adopted to conduct automated audits on the functionality, adaptability, and compliance of smart contracts. The audit mechanism includes: platform audit, operating institution audit, and digital RMB financial institution audit.

[0021] As an optional implementation, in the first aspect of the present invention, the smart contract execution management step further includes:

[0022] Smart contract online steps: configure the basic properties and execution parameters of the smart contract, generate the smart contract executable code according to the smart contract template and related configuration parameters, upload and push it, and complete the online deployment of the smart contract template;

[0023] Smart contract execution steps: a payment initiator initiates a payment transaction, calls the smart contract, verifies the smart contract and encrypts parameters, calls the basic smart contract capabilities of the operating institution / financial institution to process the transaction, and after the transaction is completed, the payment initiator receives the transaction result;

[0024] Smart contract parameter modification steps: mark the status of the smart contract template as being modified, configure and modify the smart contract configuration parameters; re-complete the online deployment of the updated smart contract template;

[0025] Smart contract offline steps: The smart contract status is set to offline, and the smart contract template is offline.

[0026] As an optional implementation, in the first aspect of the present invention, the smart contract execution monitoring step further includes:

[0027] Contract execution monitoring steps: Use a variety of monitoring tools to achieve real-time monitoring, logic authentication and anomaly detection during the execution of smart contracts;

[0028] Payment transaction monitoring steps: Use machine learning algorithms to monitor and analyze transaction patterns, set up a real-time alarm system for real-time alarms; and use risk assessment models to continuously evaluate transaction activities;

[0029] Log collection step: collect and store the execution logs of all smart contracts;

[0030] Automated response steps: According to security policies, set automated response measures to intelligently identify and respond to different types of security threats.

[0031] In the second aspect, the embodiment of the present application provides a railway digital RMB smart contract service system, which adopts the railway digital RMB smart contract service method as described in any one of the above items, and the system includes:

[0032] Smart contract creation module: collects analysis of various transaction scenarios of railway business, extracts atomic elements of smart contracts and smart contract execution parameters, and generates smart contract library; defines and manages railway smart contract templates based on the smart contract library and business logic of various transaction scenarios;

[0033] Smart contract automatic verification and review module: Model the smart contract template and generate the smart contract model; verify the feasibility of the smart contract model; and adopt an audit mechanism to automatically review the railway smart contract;

[0034] Smart contract online management module: Based on the railway business transaction scenarios and verified and audited smart contracts, the module performs online and offline execution and configuration management of smart contracts, and realizes the service of railway digital RMB smart contracts in various railway business transaction scenarios.

[0035] As an optional implementation, in the second aspect of the present invention, the above-mentioned railway digital RMB smart contract service system further includes:

[0036] Smart contract execution monitoring module: real-time monitoring of the execution of smart contracts in various transaction scenarios, monitoring of transactions based on smart contracts, and automated response to transactions in real time;

[0037] Among them, railway business transaction scenarios include: basic transaction scenarios, cross-border freight transport scenarios, freight loan scenarios, ticket purchase orders and extended business scenarios, and standby ticket purchase scenarios.

[0038] On the third aspect, an embodiment of the present application provides a railway digital RMB smart contract service platform, which includes: a unified service gateway, big data processing, an executable container, network security equipment, a standardized integration interface, and a railway digital RMB smart contract service system as described in any one of the above.

[0039] In a fourth aspect, an embodiment of the present application provides an electronic device, comprising: a memory storing executable program code; a processor coupled to the memory; the processor calls the executable program code stored in the memory to execute the railway digital RMB smart contract service method as described in any one of the above.

[0040] In the fifth aspect, an embodiment of the present application provides a computer storage medium, which stores computer instructions. When the computer instructions are called, they are used to execute the railway digital RMB smart contract service method as described in any one of the above.

[0041] Compared with the related prior art, it has the following outstanding beneficial effects:

[0042] 1. The present invention covers the entire life cycle of smart contract application and management through the operation and service of smart contracts in railway scenarios, including smart contract creation, smart contract verification and review, smart contract online management, smart contract execution monitoring and basic contract execution environment; it can not only ensure fund security and improve customer experience, but also improve transportation efficiency, promote technological innovation and data-driven decision-making, and realize the full life cycle management of railway transportation;

[0043] 2. The smart contract operation service of the present invention can not only be applied to railway transportation enterprises, but also improve the internal operation efficiency of the railway transportation industry, but also provide better services to the outside world, form a reliable ecological service system, and improve the level and capacity of social services. BRIEF DESCRIPTION OF THE DRAWINGS

[0044] The drawings described herein are used to provide a further understanding of the present application and constitute a part of the present application. The illustrative embodiments of the present application and their descriptions are used to explain the present application and do not constitute an improper limitation on the present application. In the drawings:

[0045] Figure 1 This is a flow chart of a railway digital RMB smart contract service method of the present invention;

[0046] Figure 2 This is a flow chart of another railway digital RMB smart contract service method of the present invention;

[0047] Figure 3 This is a detailed flow chart of another railway digital RMB smart contract service method of the present invention;

[0048] Figure 4 This is a schematic diagram of the smart contract library of the present invention;

[0049] Figure 5 A schematic diagram of the process flow for defining the smart contract template of the present invention;

[0050] Figure 6 This is a schematic diagram of the smart contract verification process of the present invention;

[0051] Figure 7 This is a schematic diagram of the smart contract review process of the present invention;

[0052] Figure 8 This is a schematic diagram of the process of launching a smart contract in the present invention;

[0053] Fig. 9 This is a schematic diagram of the smart contract parameter modification process according to an embodiment of the present invention;

[0054] Fig.10This is a schematic diagram of the offline process of the smart contract of the present invention;

[0055] Fig.11 This is a schematic diagram of the smart contract service system of the present invention;

[0056] Fig.12 This is a schematic diagram of the railway digital RMB smart contract service platform of the present invention;

[0057] Fig.13 Schematic diagram of the hardware structure of a computer device according to an embodiment of the present application. DETAILED DESCRIPTION

[0058] In order to enable those skilled in the art to better understand the scheme of the present invention, the technical scheme in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described embodiments are only part of the embodiments of the present invention, not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work are within the scope of protection of the present invention.

[0059] The terms "first", "second", etc. in the specification and claims of the present invention and the above-mentioned drawings are used to distinguish different objects rather than to describe a specific order. In addition, the term "and / or" in this article is only a description of the association relationship between related objects, indicating that three relationships may exist. For example, A and / or B can represent: A exists alone, A and B exist at the same time, and B exists alone, where A and B can be singular or plural. In addition, the character " / " in this article generally indicates that the previous and next related objects are in an "or" relationship, but it may also indicate an "and / or" relationship. Please refer to the previous and next context for specific understanding.

[0060] In the present invention, "at least one" means one or more, and "more than one" means two or more. "At least one of the following" or similar expressions refers to any combination of these items, including any combination of single or plural items. For example, at least one of a, b, or c can be represented by: a, b, c, ab, ac, bc, or abc, where a, b, c can be single or multiple.

[0061] It should also be understood that in various embodiments of the present invention, the size of the serial numbers of the above-mentioned processes does not mean the order of execution. The execution order of each process should be determined by its function and internal logic, and should not constitute any limitation on the implementation process of the embodiments of the present invention.

[0062] In the several embodiments provided by the present invention, it should be understood that the disclosed devices, apparatuses and methods can be implemented in other ways. For example, the device embodiments described above are only schematic, for example, the division of the units is only a logical function division, and there may be other division methods in actual implementation, such as multiple units or components can be combined or integrated into another device, or some features can be ignored or not executed. Another point is that the mutual coupling or direct coupling or communication connection shown or discussed can be through some interfaces, indirect coupling or communication connection of devices or units, which can be electrical, mechanical or other forms.

[0063] The units described as separate components may or may not be physically separated, and the components shown as units may or may not be physical units, that is, they may be located in one place or distributed on multiple network units. Some or all of the units may be selected according to actual needs to achieve the purpose of the solution of this embodiment.

[0064] In addition, each functional unit in each embodiment of the present invention may be integrated into one processing unit, or each unit may exist physically separately, or two or more units may be integrated into one unit.

[0065] If the functions are implemented in the form of software functional units and sold or used as independent products, they can be stored in a computer-readable storage medium. Based on this understanding, the technical solution of the present invention can be essentially or partly embodied in the form of a software product that contributes to the prior art. The computer software product is stored in a storage medium and includes several instructions for enabling a computer device (which can be a personal computer, a server, or a network device, etc.) to perform all or part of the steps of the methods described in various embodiments of the present invention. The aforementioned storage medium includes: various media that can store program codes, such as a USB flash drive, a mobile hard disk, a read-only memory (ROM), a random access memory (RAM), a magnetic disk or an optical disk.

[0066] In order to make the above features and effects of the present invention more clearly and understandably described, embodiments are given below and described in detail with reference to the accompanying drawings. This specification discloses one or more embodiments that include the features of the present invention. The disclosed embodiments are only for illustration. The scope of protection of the present invention is not limited to the disclosed embodiments, and the present invention is defined by the attached claims.

[0067] The following is a system embodiment corresponding to the above method embodiment. This embodiment can be implemented in conjunction with the above embodiment. The relevant technical details mentioned in the above embodiment are still valid in this embodiment. In order to reduce repetition, they are not repeated here. Accordingly, the relevant technical details mentioned in this embodiment can also be applied in the above embodiment.

[0068] The present invention aims to provide a digital RMB smart contract service method, system and platform, which can provide an innovative technical means and management model for the railway industry, and can realize the intelligent and automated reshaping of railway business processes. By integrating digital RMB smart contract technology with railway business systems, digital upgrades in various links such as ticket sales, freight management and fund settlement can be achieved, thereby promoting the railway industry to move towards a higher level of digitalization.

[0069] In the development pattern of digital RMB smart contracts, its three-level ecosystem is still in an unintegrated state. According to the general principle of hierarchical management of the digital RMB smart contract ecosystem, the bottom-level central bank is responsible for basic capability services and management services such as contract institution access, cross-institutional interoperability of contracts, contract template review, and transaction interconnection, referred to as central bank contracts; the middle-level operating institution is responsible for the contract management of the institution, cross-institutional contract formulation and review submission, and digital currency transaction execution, referred to as institutional contracts; the top-level commercial institutions and scenario parties are responsible for connecting complex business scenarios and the middle layer, commercial contract management and digital currency transaction services. Commercial institutions generally interact with operating institutions in contract management. Specifically, there are significant differences in the technical interfaces of smart contracts at all levels. This difference leads to a decentralized distribution of capabilities, which in turn has a certain restriction on the overall performance of digital RMB smart contracts.

[0070] Digital RMB transactions based on smart contracts are exchanges of value. Therefore, the entire life cycle of commercial contract operations and management, from contract development, template application, contract verification, to contract configuration, contract deployment, contract execution and contract operation and maintenance management, needs to fully consider the security and reliability of the contract to ensure the correct exchange of value.

[0071] Through the analysis of existing technologies and interfaces, the present invention has formed a railway digital RMB smart contract operation service platform based on the needs of different railway business scenarios, different payment channels, and the characteristics of each access payment channel, covering the entire life cycle of smart contract application and management, including smart contract creation, smart contract verification and review, smart contract online management, smart contract execution monitoring, and basic contract execution environment. It mainly includes:

[0072] (1) Smart contract creation, including smart contract library management and smart contract template definition management.

[0073] (2) Smart contract verification and review, including smart contract modeling, smart contract model verification, smart contract code verification and smart contract review.

[0074] (3) Smart contract online management, including smart contract configuration management and smart contract code management.

[0075] (4) Smart contract execution monitoring, including smart contract execution monitoring, transaction monitoring, log collection, and automated response.

[0076] (5) Basic contract execution environment. The basic execution environment mainly includes unified service gateway, big data processing, executable container and network security. Through standardized integration interface, unified external standard access is achieved for external systems through system standards, data interface standards and security interface standards; support is provided for data operation through collection, storage, processing, analysis, statistics and display basic technologies based on big data processing technology; a centralized trusted execution environment is built by using hardware trusted execution environment, oracle and confidentiality technology; system network security is ensured through access wall, link load, boundary firewall and internal and external network security isolation zone and other technologies.

[0077] The following is a detailed description with reference to specific embodiments.

[0078] Embodiment 1

[0079] See also Figure 1 , Figure 1 This is a flow chart of a railway digital RMB smart contract service method of the present invention. Figure 1 The railway digital RMB smart contract service method can be applied to the embodiment of this application to provide a railway digital RMB smart contract service system and platform, and can also be applied to electronic devices, which is not limited by the embodiment of the present invention. The embodiment of this application provides a railway digital RMB smart contract service method, which includes:

[0080] Smart contract creation step 101: collect the analysis of various transaction scenarios of railway business, extract the atomic elements of smart contracts and smart contract execution parameters, and generate a smart contract library; define and manage railway smart contract templates according to the smart contract library and the business logic of each transaction scenario;

[0081] In the embodiment of the present invention, optionally, the acquired railway business transaction scenario data may be acquired from the background server in real time or periodically, and the embodiment of the present invention does not specifically limit this;

[0082] The railway business transaction scenarios include: one or more of the basic transaction scenarios, cross-border freight transport scenarios, freight loan scenarios, ticket purchase orders and extended business scenarios, and standby ticket purchase scenarios, which are not specifically limited in the embodiments of the present invention;

[0083] Among them, the railway passenger standby ticket purchase payment scenario meets the passengers' prepayment needs for standby orders; the passenger "ticket +" business scenario meets the combined payment needs of passengers who purchase tickets and enjoy extended passenger travel service businesses at the same time, such as railway Internet meal ordering, railway station and train commercial services, insurance, hotels, tourism and other scenarios; the railway freight loan scenario meets the financing payment needs of railway freight transportation companies; the railway cross-border transportation scenario meets the convenient and efficient payment and reconciliation difference processing needs of various cross-border transportation business entities.

[0084] Smart contract automatic verification and review step 102: Modeling the smart contract template to generate a smart contract model; verifying the feasibility of the smart contract model; and adopting an audit mechanism to automatically review the railway smart contract;

[0085] Smart contract execution management step 103: Based on the railway business transaction scenarios and verified and audited smart contracts, perform online and offline execution and configuration management of smart contracts to realize the service of railway digital RMB smart contracts in various railway business transaction scenarios.

[0086] Embodiment 2

[0087] See also Figure 2 , Figure 2 This is another flow chart of the railway digital RMB smart contract service method of the present invention. Figure 2 The railway digital RMB smart contract service method can be applied to the embodiment of this application to provide a railway digital RMB smart contract service system and platform, and can also be applied to electronic devices, which is not limited by the embodiment of the present invention. The embodiment of this application provides a railway digital RMB smart contract service method, which includes:

[0088] Smart contract creation step 201: collect analysis of various transaction scenarios of railway business, extract atomic elements of smart contracts and smart contract execution parameters, and generate a smart contract library; define and manage railway smart contract templates according to the smart contract library and business logic of various transaction scenarios;

[0089] See also Figure 3 , Figure 3 This is a detailed flow chart of another railway digital RMB smart contract service method of the present invention. The smart contract creation step 201 includes:

[0090] Smart contract library management step 2011: configure and manage the smart contract library, where the smart contract atomic elements are the smart contract capabilities based on relevant business transaction scenarios; and the smart contract execution parameters are the business parameters required for execution based on relevant business transaction scenarios;

[0091] See also Figure 4 , Figure 4This is a schematic diagram of the smart contract library of the present invention. The basic smart contract capabilities of the Digital Research Institute / operating organization are classified and summarized as the atomic elements of smart contracts. The basic smart contract capabilities are translated into descriptions that can be understood by specific businesses. For example, capabilities such as targeted payment, red envelopes, and full reduction can all be regarded as atomic elements of smart contracts.

[0092] Smart contract execution parameters refer to the relevant parameters that need to be used in the execution process of smart contracts. By analyzing transactions in railway business scenarios, the relevant parameters that need to be used in transactions are summarized into smart contract execution parameters, such as: payment merchant, order payment channel, order amount, etc.

[0093] Smart contract library management is to use the above two types of data as the basic smart contract library and perform relevant management operations on it. The definition of smart contract templates is customized based on atomic elements and execution parameters.

[0094] Smart contract template definition management step 2012: Based on various railway business transaction scenarios, select smart contract execution parameters as input parameters, match the smart contract atomic element capabilities that meet business needs, arrange the atomic elements in the business logic order of the scenario, and build a smart contract template that responds to the business type.

[0095] See also Figure 5 , Figure 5 Define a flow chart for the smart contract template of the present invention, analyze the logical connection between each sub-business based on the needs of the business scenario, and design business parameter attributes according to the business connection. Select smart contract execution parameters as input parameters, match the smart contract atomic element capabilities that meet business needs, and reasonably arrange business processing and atomic elements in a given logical order. Construct a smart contract template that responds to the business type, and provide digital currency smart contract capabilities for the corresponding business.

[0096] In the process of defining smart contract templates, it is crucial to ensure the integrity, security, and immutability of smart contracts. The following issues need to be noted:

[0097] (1) Immutability of the execution order of smart contract elements: The execution order of smart contract elements is the content basis of smart contract execution. Each business logic step and atomic operation must be performed in accordance with the smart contract definition to ensure the integrity and security of the smart contract.

[0098] (2) The execution parameters of smart contracts must not be tampered with: The execution parameters of smart contracts are the data basis for the execution of smart contracts, and their security is directly related to the reliability of smart contracts. Therefore, strong measures must be taken to protect the parameters from being tampered with.

[0099] Smart contract automatic verification and review step 202: Modeling the smart contract template to generate a smart contract model; verifying the feasibility of the smart contract model; and adopting an audit mechanism to automatically review the railway smart contract;

[0100] The above-mentioned smart contract automatic verification and review step 202 also includes:

[0101] Modeling step 2021: Modeling the smart contract template using a programming language to generate a smart contract model;

[0102] See also Figure 6 , Figure 6 The figure is a schematic diagram of the smart contract verification process of the present invention. In the specific embodiment of the present invention, the smart contract template is modeled using MSVL and PPTL. MSVL is a high-level programming language for modeling, simulation and verification. It supports a variety of data structures and grammatical structures, allowing users to model and verify the system. PPTL is a temporal logic that has full regular expression capabilities and can describe qualitative and quantitative properties. It is often used to describe the properties of the system in formal verification. When MSVL is used in combination with PPTL, the MSVL program is used for system modeling, while PPTL is used to describe the expected properties of the system. In model detection, the PPTL property formula can be converted into an MSVL program, and then the validity of the property can be determined by the execution result of the MSVL program. However, the present invention is not limited to this, and other modeling and simulation verification program languages ​​can also be used.

[0103] Model and code verification step 222: Perform model verification on the smart contract model through a unified model detector; and use an automated testing tool to perform verification testing on the executable code generated by the smart contract model;

[0104] In a specific embodiment of the present invention, the smart contract model is model verified by a unified model detector. The unified model detector (UMC4MSVL) is a formal verification tool that can automatically check whether a system model meets a series of predetermined properties or specifications. This detector is widely used in many fields such as software engineering, hardware design, communication protocols, and security protocol verification. Especially in the field of smart contracts, the unified model detector can be used to verify the security and functionality of the contract to ensure that the contract behaves as expected by the designer before it is deployed on the blockchain. However, the present invention is not limited to this, and other model detectors can also be used.

[0105] In the specific embodiment of the present invention, the smart contract model generates executable code, and the executable code of the smart contract is repeatedly verified and tested using an automated testing tool, which needs to cover all functional points of the contract to ensure that the contract can produce expected and consistent execution results under different inputs and conditions. Code consistency verification is the key to ensuring the reliability and security of smart contracts, and helps avoid execution deviations caused by code errors or logical loopholes.

[0106] Audit step 2023: Adopt an audit mechanism to conduct automated audits on the functionality, adaptability and compliance of smart contracts. The audit mechanism includes: platform audit, operating institution audit and digital RMB financial institution audit.

[0107] In the specific embodiment of the present invention, please refer to Figure 7 , Figure 7 This is a schematic diagram of the smart contract audit process of the present invention. In the customized development process of smart contracts, a layered audit mechanism is implemented to ensure the functionality, adaptability and compliance of the contract. The audit mechanism is divided into three stages: platform audit, operation organization audit and digital research institute audit.

[0108] After completing the initial feasibility verification, the custom smart contract will enter the platform review stage. At this stage, the Digital Currency Smart Contract Platform will evaluate the contract's adaptability to the business scenario to ensure that it can seamlessly connect with the existing business processes of the scenario.

[0109] After passing the platform review, the smart contract will be submitted to the operating agency for the next stage of review. The operating agency will conduct a rationality assessment of the contract's operational activities, including but not limited to the contract's operational efficiency, market adaptability, and potential operational risks.

[0110] After the approval of the operating institution, the smart contract will enter the final review stage, namely the compliance review of the Digital Research Institute. The Digital Research Institute will conduct a comprehensive compliance review of the contract, including legal compliance, risk control mechanisms, and the impact on the stability of the financial system.

[0111] Only when the smart contract passes all three stages of review can it be considered fully compliant and enter the stage of being ready for launch.

[0112] Smart contract execution management step 203: Based on the railway business transaction scenarios and verified and audited smart contracts, perform online and offline execution and configuration management of smart contracts to realize the service of railway digital RMB smart contracts in various railway business transaction scenarios.

[0113] The above-mentioned smart contract execution management step 203 also includes:

[0114] Smart contract online step 2031: configure the basic properties and execution parameters of the smart contract, generate the smart contract executable code according to the smart contract template and related configuration parameters, upload and push it, and complete the online deployment of the smart contract template;

[0115] See also Figure 8 , Figure 8 This is a schematic diagram of the process of launching a smart contract in the present invention. The smart contract launch mainly includes the following steps:

[0116] (1) Configure the basic properties and execution parameters of the smart contract to ensure that all necessary configuration items meet the functional requirements and business logic of the contract;

[0117] (2) Generate smart contract executable code based on the smart contract template and related configuration parameters;

[0118] (3) Upload the generated smart contract executable code to a secure code repository to ensure version control and history tracking of the code;

[0119] (4) Push the executable code of the smart contract to the predetermined execution container and deploy it. After successful deployment, update the configuration status of the smart contract and mark it as available for use.

[0120] Smart contract parameter modification step 2032: mark the status of the smart contract template as being modified, configure and modify the smart contract configuration parameters; and re-complete the online deployment of the updated smart contract template;

[0121] See also Fig. 9 , Fig. 9 This is a schematic diagram of the process of modifying smart contract parameters in an embodiment of the present invention. The smart contract offline mainly includes the following steps:

[0122] (1) Mark the status of the smart contract as being modified to notify all relevant parties that the contract is currently in the update phase. At the same time, withdraw the current version of the code from the execution container to ensure that no conflicts or incorrect executions occur during the update process;

[0123] (2) Modify the configuration parameters of the smart contract;

[0124] (3) Regenerate the executable code based on the modified parameters and upload the code to the code repository;

[0125] (4) The smart contract executable code is pushed and deployed to the execution container again, and the smart contract configuration status is modified to reset the usable status.

[0126] Smart contract execution step 2033: a payment initiator initiates a payment transaction, calls the smart contract, verifies the smart contract and encrypts parameters, calls the basic smart contract capabilities of the operating institution / financial institution to process the transaction, and after the transaction is completed, the payment initiator receives the transaction result;

[0127] Smart contract offline step 2034: The smart contract status is set to offline status, and the smart contract template is offline processed.

[0128] See also Fig.10 , Fig.10 This is a schematic diagram of the process of taking a smart contract offline in the present invention. The process of taking a smart contract offline mainly includes the following steps:

[0129] (1) The smart contract status is set to offline;

[0130] (2) The smart contract executable code in the execution container is taken offline and withdrawn;

[0131] (3) The executable code of the smart contract in the code repository is taken offline.

[0132] Smart contract execution monitoring step 204: real-time monitoring of the execution of smart contracts in various transaction scenarios, monitoring transactions based on smart contracts, and performing automated responses to transactions in real time;

[0133] The smart contract execution monitoring step 204 also includes:

[0134] Contract execution monitoring step 2041: using a variety of monitoring tools to achieve real-time monitoring, logic authentication and anomaly detection during the execution of the smart contract;

[0135] In a specific embodiment of the present invention, smart contract execution monitoring includes:

[0136] Real-time monitoring: Deploy advanced monitoring tools that can continuously track the execution process of smart contracts. Through real-time data flow analysis, ensure that the contract execution complies with the preset logic and conditions.

[0137] Logic verification: Regularly use automated scripts and algorithms to perform logic verification on smart contract codes to ensure that no program errors or logic loopholes occur during execution.

[0138] Anomaly Detection: An integrated anomaly detection system that can identify behaviors that are inconsistent with normal execution patterns, such as execution delays, abnormal resource consumption, etc., so as to promptly detect potential malicious behaviors or program errors.

[0139] Payment transaction monitoring step 2042: using machine learning algorithms to monitor and analyze transaction patterns, setting up a real-time alarm system for real-time alarms; and continuously evaluating transaction activities through risk assessment models;

[0140] In a specific embodiment of the present invention, payment transaction monitoring includes:

[0141] Trading pattern analysis: Using machine learning algorithms, trading patterns are analyzed to identify the differences between normal and abnormal trading behaviors.

[0142] Real-time alerts: Set up a real-time alert system. Once abnormal behaviors such as high-frequency or large-value transactions are detected, the system will immediately issue an alert for further investigation.

[0143] Risk Assessment: Through the risk assessment model, transaction activities are continuously evaluated to determine their impact on system security and take corresponding preventive measures.

[0144] Log collection step 2043: collect and store execution logs of all smart contracts;

[0145] In the embodiment of the present invention, log collection includes:

[0146] Logging: Ensure that all smart contract execution logs are recorded in detail, including key information such as transaction details, execution time, and called functions.

[0147] Data storage: Use high-reliability storage solutions to ensure the integrity and security of log data for long-term storage and retrieval.

[0148] Audit Support: Provides easy-to-use audit tools that enable auditors to quickly access and analyze log data to support compliance and security reviews.

[0149] Automated response step 2044: According to the security policy, set automated response measures to intelligently identify and respond to different types of security threats.

[0150] In the embodiment of the present invention, the automated response includes:

[0151] Preset response mechanism: According to the security strategy, set up automated response measures, such as automatically suspending transactions or offline smart contracts when anomalies are detected.

[0152] Intelligent decision-making: Using artificial intelligence technology, the system can intelligently identify and respond to different types of security threats, reducing reliance on human intervention.

[0153] Rapid recovery: After an automated response is triggered, the system can quickly resume normal operations, minimizing the impact on users and business.

[0154] By implementing this series of monitoring measures, the transparency and traceability of smart contracts can be significantly improved, while enhancing their ability to resist external risks and ensuring that smart contracts can be executed safely and compliantly in various complex environments.

[0155] Embodiment 3

[0156] See also Fig.11 , Fig.11 This is a schematic diagram of the smart contract service system of the present invention. An embodiment of the present application provides a railway digital RMB smart contract service system. The railway digital RMB smart contract service system covers the entire life cycle of smart contract application and management, including a smart contract creation module, a smart contract verification and review module, a smart contract online management module, a smart contract execution monitoring module and a basic contract execution environment.

[0157] The railway digital RMB smart contract service system adopts the railway digital RMB smart contract service method as described in any one of the above, and the system includes:

[0158] Smart contract creation module 301: collects analysis of various transaction scenarios of railway business, extracts atomic elements of smart contracts and smart contract execution parameters, and generates a smart contract library; defines and manages railway smart contract templates according to the smart contract library and business logic of various transaction scenarios;

[0159] Smart contract automatic verification and review module 302: Modeling the smart contract template to generate a smart contract model; verifying the feasibility of the smart contract model; and adopting an audit mechanism to automatically review the railway smart contract;

[0160] Smart contract online management module 303: Based on the railway business transaction scenarios and verified and audited smart contracts, the online and offline execution and configuration management of smart contracts are carried out to realize the service of railway digital RMB smart contracts in various railway business transaction scenarios.

[0161] As an optional implementation method, the above-mentioned railway digital RMB smart contract service system also includes:

[0162] Smart contract execution monitoring module 304: performs real-time monitoring of the execution of smart contracts in various transaction scenarios, monitors transactions based on smart contracts, and performs automated responses to transactions in real time;

[0163] Among them, railway business transaction scenarios include: basic transaction scenarios, cross-border freight transport scenarios, freight loan scenarios, ticket purchase orders and extended business scenarios, and standby ticket purchase scenarios.

[0164] Embodiment 4

[0165] See also Fig.12 , Fig.12 This is a schematic diagram of the railway digital RMB smart contract service platform of the present invention. An embodiment of the present application provides a railway digital RMB smart contract service platform, and the platform includes: a unified service gateway, big data processing, an executable container, network security equipment, a standardized integration interface and a railway digital RMB smart contract service system as described in any one of the above.

[0166] In a specific embodiment of the present invention, the railway digital RMB smart contract service platform forms a basic contract execution environment. The basic execution environment mainly includes a unified service gateway, big data processing, executable containers and network security. Through standardized integrated interfaces, unified external standard access is achieved for external systems through system standards, data interface standards, and security interface standards; through the collection, storage, processing, analysis, statistics and display basic technologies based on big data processing technology, support is provided for data operations; through the use of hardware trusted execution environment, oracle and confidentiality technology to build a centralized trusted execution environment; through access walls, link loads, boundary firewalls, and internal and external network security isolation zones and other technologies to ensure system network security.

[0167] Embodiment 5

[0168] An embodiment of the present application provides an electronic device, comprising: a memory storing executable program code; a processor coupled to the memory; the processor calls the executable program code stored in the memory to execute the railway digital RMB smart contract service method as described in any one of the above.

[0169] Embodiment 6

[0170] An embodiment of the present application provides a computer storage medium, which stores computer instructions. When the computer instructions are called, they are used to execute the railway digital RMB smart contract service method as described in any one of the above.

[0171] In addition, combined Figure 1 The railway digital RMB smart contract service method described in the embodiment of the present application can be implemented by a computer device. Fig.13 Schematic diagram of the hardware structure of a computer device according to an embodiment of the present application.

[0172] In some of these embodiments, the computer device may further include a communication interface 83 and a bus 80. Fig.13 As shown, the processor 81, the memory 82, and the communication interface 83 are connected via a bus 80 and communicate with each other.

[0173] Specifically, the processor 81 may include a central processing unit (CPU), or an application specific integrated circuit (ASIC), or may be configured to implement one or more integrated circuits of the embodiments of the present application.

[0174] The memory 82 may be used to store or cache various data files required for processing and / or communication, as well as possible computer program instructions executed by the processor 81 .

[0175] The processor 81 implements any one of the railway digital RMB smart contract service methods in the above-mentioned embodiments by reading and executing computer program instructions stored in the memory 82.

[0176] In summary, compared with existing technologies, the railway digital RMB smart contract operation service has the following effects and advantages:

[0177] 1. Enhance fund security and regulatory compliance

[0178] The automatic execution mechanism of smart contracts can ensure that funds flow according to the agreed conditions, reduce the risk of human intervention, and thus improve transaction efficiency and fund security. Compliance checks are built in to ensure that all transactions comply with the requirements of relevant laws and regulations. Especially in the combined payment scenario, after the transaction is confirmed, the smart contract is executed and the operating institution settles the funds to avoid the problem of secondary clearing compliance.

[0179] 2. Reduce the complexity of business management

[0180] By using smart contracts in scenarios such as standby ticket purchases and freight and miscellaneous fee payments, it is possible to effectively avoid occupying customer funds while ensuring that relevant funds are collected on time and in full; it simplifies the business process of collecting first and then refunding, and realizes actual sales and actual collection. The railway loads fund redemption rules for clearing and settlement internally, clarifies the fund redemption time according to fund settlement needs, and automatically redeems the funds to the bank account after all clearing and settlement are completed, thus simplifying business processes and reducing the complexity of business management.

[0181] 3. Promote business model innovation

[0182] Through the use of smart contracts, supply chain financial innovation can be effectively promoted, the level of railway financial services can be improved, cross-border payments can be supported, and the internationalization of the RMB can be promoted. Writing the general clearing and settlement rules of the China Railway Group and the China-Laos cross-border transport clearing and settlement agreement as business parameters into the model contract can support the rapid clearing and settlement of cross-border transport revenue and improve the efficiency of cross-border transactions.

[0183] 4. Achieve full life cycle management

[0184] Through the operation and service of smart contracts in railway scenarios, it is not only possible to ensure the security of funds and improve customer experience, but also to improve transportation efficiency, promote technological innovation and data-driven decision-making, and realize the full life cycle management of railway transportation. Through smart contracts, transportation resources can be managed more effectively, such as by optimizing train scheduling and cargo loading; automatically executing contract terms to reduce human errors and delays; the immutability and automatic execution characteristics enhance the security of railway transportation, and all transactions and transportation status can be tracked in real time, which improves the transparency of the entire transportation process; combined with the Internet of Things technology and freight information system, it can provide real-time transportation status updates, thereby improving customer service experience; the application of smart contracts has also promoted the combination and application of new technologies, such as blockchain, the Internet of Things (IoT), artificial intelligence (AI), etc. The application of these technologies has further promoted the modernization and intelligence of railway transportation; through the integration of big data analysis, in-depth transportation insights are provided to help railway transportation companies make more data-driven decisions.

[0185] 5. Form an ecological service system

[0186] Smart contracts help build a credible and open ecosystem. By providing standardized and modular services, they promote collaboration and value exchange among different participants and form a healthy ecosystem. Smart contract operation services can not only be applied to railway transportation companies to improve the internal operation efficiency of the railway transportation industry, but also provide better services to the outside world, form a credible ecological service system, and improve the level and capacity of social services.

[0187] The technical features of the above-described embodiments may be arbitrarily combined. To make the description concise, not all possible combinations of the technical features in the above-described embodiments are described. However, as long as there is no contradiction in the combination of these technical features, they should be considered to be within the scope of this specification.

[0188] The above-mentioned embodiments only express several implementation methods of the present application, and the descriptions thereof are relatively specific and detailed, but they cannot be understood as limiting the scope of the invention patent. It should be pointed out that, for a person of ordinary skill in the art, several variations and improvements can be made without departing from the concept of the present application, and these all belong to the protection scope of the present application. Therefore, the protection scope of the patent of the present application shall be subject to the attached claims.

Claims

1. A railway digital RMB smart contract service method, characterized in that: The method comprises: Smart contract creation steps: collect analysis of various transaction scenarios of railway business, extract atomic elements of smart contracts and smart contract execution parameters, and generate a smart contract library; define and manage railway smart contract templates based on the smart contract library and the business logic of each transaction scenario; Smart contract automatic verification and review steps: modeling the smart contract template to generate a smart contract model; verifying the feasibility of the smart contract model; and adopting an audit mechanism to automatically review the railway smart contract; Smart contract execution management steps: Based on the railway business transaction scenarios and the verified and audited smart contracts, perform online and offline execution and configuration management of the smart contracts to realize the services of the railway digital RMB smart contracts in various railway business transaction scenarios.

2. According to the railway digital RMB smart contract service method according to claim 1, it is characterized in that: The method further comprises: Smart contract execution monitoring step: real-time monitoring of the execution of smart contracts in various transaction scenarios, monitoring of transactions based on the smart contracts, and automated response to transactions in real time; Among them, the railway business transaction scenarios include: basic transaction scenarios, cross-border freight transport scenarios, freight loan scenarios, ticket purchase orders and extended business scenarios, and standby ticket purchase scenarios.

3. The railway digital RMB smart contract service method according to claim 1 or 2 is characterized in that: The smart contract creation steps include: Smart contract library management step: configuring and managing the smart contract library, wherein the smart contract atomic elements are smart contract capabilities based on the relevant business transaction scenarios; and the smart contract execution parameters are business parameters required for execution based on the relevant business transaction scenarios; Smart contract template definition management steps: Based on each of the railway business transaction scenarios, select the smart contract execution parameters as input parameters, match the smart contract atomic element capabilities that meet business requirements, arrange the atomic elements in the business logic order of the scenario, and construct a smart contract template that responds to the business type.

4. The railway digital RMB smart contract service method according to claim 1 or 2 is characterized in that: The smart contract automatic verification and review step also includes: Modeling step: modeling the smart contract template using a programming language to generate the smart contract model; Model and code verification step: perform model verification on the smart contract model through a unified model detector; and use an automated testing tool to perform verification testing on the executable code generated by the smart contract model; Audit steps: An audit mechanism is adopted to conduct automated audits on the functionality, adaptability and compliance of the smart contract. The audit mechanism includes: platform audit, operating institution audit and digital RMB financial institution audit.

5. The railway digital RMB smart contract service method according to claim 1 or 2 is characterized in that: The smart contract execution management step also includes: Smart contract online steps: configure the basic properties and execution parameters of the smart contract, generate the smart contract executable code according to the smart contract template and related configuration parameters, upload and push it, and complete the online deployment of the smart contract template; Smart contract execution steps: a payment initiator initiates a payment transaction, calls the smart contract, verifies the smart contract and encrypts parameters, calls the operating institution / financial institution's smart contract basic capabilities to process the transaction, and after the transaction is completed, the payment initiator receives the transaction result; Smart contract parameter modification step: mark the status of the smart contract template as being modified, configure and modify the smart contract configuration parameters; and re-complete the online deployment of the updated smart contract template; Smart contract offline steps: The smart contract status is set to offline status, and the smart contract template is offlined.

6. According to claim 2, the railway digital RMB smart contract service method is characterized in that: The smart contract execution monitoring step also includes: Contract execution monitoring step: using a variety of monitoring tools to achieve real-time monitoring, logic authentication and anomaly detection during the execution of the smart contract; Payment transaction monitoring steps: Use machine learning algorithms to monitor and analyze transaction patterns, set up a real-time alarm system for real-time alarms; and use risk assessment models to continuously evaluate transaction activities; Log collection step: collect and store the execution logs of all smart contracts; Automated response steps: According to security policies, set automated response measures to intelligently identify and respond to different types of security threats.

7. A railway digital RMB smart contract service system, using the railway digital RMB smart contract service method as described in any one of claims 1-6, characterized in that: The system comprises: Smart contract creation module: collects the analysis of various transaction scenarios of railway business, extracts the atomic elements of smart contracts and the execution parameters of smart contracts, and generates a smart contract library; defines and manages railway smart contract templates based on the smart contract library and the business logic of each transaction scenario; Smart contract automatic verification and review module: Model the smart contract template to generate a smart contract model; verify the feasibility of the smart contract model; and adopt an audit mechanism to automatically review the railway smart contract; Smart contract online management module: Based on the railway business transaction scenarios and the verified and audited smart contracts, the online and offline execution and configuration management of the smart contracts are carried out to realize the services of the railway digital RMB smart contracts in various railway business transaction scenarios.

8. According to the railway digital RMB smart contract service system of claim 7, it is characterized in that: The system further comprises: Smart contract execution monitoring module: real-time monitoring of the execution of smart contracts in various transaction scenarios, monitoring of transactions based on the smart contracts, and automated response to transactions in real time; Among them, the railway business transaction scenarios include: basic transaction scenarios, cross-border freight transport scenarios, freight loan scenarios, ticket purchase orders and extended business scenarios, and standby ticket purchase scenarios.

9. A railway digital RMB smart contract service platform, characterized in that: The platform includes: a unified service gateway, big data processing, an executable container, network security equipment, a standardized integration interface and a railway digital RMB smart contract service system as described in any one of claims 6-7.

10. An electronic device, characterized in that: The device includes: a memory for storing executable program code; a processor coupled to the memory; the processor calls the executable program code stored in the memory to execute the railway digital RMB smart contract service method as described in any one of claims 1-6.

11. A computer storage medium, characterized in that: The computer storage medium stores computer instructions, which, when called, are used to execute the railway digital RMB smart contract service method as described in any one of claims 1-6.

Images