Form verification method based on blockchain evidence storage smart contract
A smart contract and formal verification technology, which is applied in data processing applications, finance, instruments, etc., can solve the problems of lack of security regulations and easy security loopholes in smart contracts that store certificates, so as to improve security and reliability and reduce testing costs , the effect of wide coverage of logic
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0019] The following is a further description of the method of formal verification based on the blockchain deposit smart contract of the present invention with reference to the accompanying drawings.
[0020] Such as figure 1 As shown, the process of the formal verification of the smart contract based on the blockchain storage certificate of the present invention is as follows:
[0021] (1) Compile a smart contract for evidence storage: according to specific production environment and permissions to grant evidence, obtain evidence, and access evidence permissions, it is necessary to regulate the access permissions of the contract method, and the method access can be limited by adding a modifier to the method header Permissions. Limiting the identity of the function caller can improve the overall security and reliability of the system. The deposit certificate function is for users with deposit certificate authority. The user can select the corresponding deposit function according ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com