Smart contract development and verification method based on Noesia logic
A smart contract and verification method technology, applied in the direction of program code conversion, special data processing applications, structured data retrieval, etc., can solve problems such as expensive, short smart contracts, difficult to cover by testing and static analysis, etc., to achieve security , Guaranteed safety and high execution performance
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
specific Embodiment 1
[0048] Provides a smart contract development and verification method based on Noesis logic, such as figure 1 As shown, it shows the overall implementation flowchart of smart contract development and verification of the present invention, and the specific implementation steps include:
[0049] (1) Prepare an interactive theorem prover and an abstract machine for smart contracts on it where Sc represents the smart contract, represents an abstract machine;
[0050] (2) Realize the separation of calculation and state, and record all state transitions in the form of instructions;
[0051] (3) Based on the scheme of separation of calculation and state, calculate the smart contract;
[0052] (4) After the calculation of the smart contract is completed, it is written into the blockchain.
[0053] Described step (1), also comprises: as figure 2 Shown is the main frame diagram of the Noesis logic of the present invention, utilizing the Noesis logic realizer Realize the program...
specific Embodiment 2
[0080] 1. figure 1 It shows an implementation form according to the present invention, and shows the overall implementation flowchart of smart contract development and verification of the present invention, which implements a Noesis logic-based smart contract development and verification method. The specific implementation steps include:
[0081] (1) Prepare the HOL interactive theorem prover and its abstract machine for smart contracts where Sc represents the smart contract, represents an abstract machine;
[0082] (2) Realize the separation of calculation and state, and record all state transitions in the form of instructions;
[0083] (3) Based on the scheme of separation of calculation and state, calculate the smart contract;
[0084] (4) After the calculation of the smart contract is completed, it is written into the blockchain.
[0085] Described step (1), also comprises: as figure 2 Shown is the main frame diagram of the Noesis logic of the present invention, wh...
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