Unlock instant, AI-driven research and patent intelligence for your innovation.

Blockchain smart contract formal verification code converter and conversion method

A formal verification, smart contract technology, applied in the field of blockchain smart contract formal verification code converter and conversion, can solve the problems of large manual participation, large amount of code, low efficiency, etc., to improve the degree of automation, improve Efficiency, the effect of ensuring accuracy

Active Publication Date: 2021-03-30
成都链安科技有限公司
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] The purpose of the present invention is to provide a block chain smart contract formal verification code converter and conversion method to solve the problem of large amount of code, complex operation and large amount of manual participation in the formal description stage of the source code in the formal verification process of the block chain smart contract and the problem of inefficiency

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Blockchain smart contract formal verification code converter and conversion method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0029] Such as figure 1 As shown, the block chain intelligent contract form of the present invention can verify the code converter and method, which can automatically convert the block chain smart contract source code one button to formal verification intermediate language M + The program code described, in order to be more easily understood by those skilled in the art, the formal verification of the Taifang block chain smart contract will be described as an example, and its intelligent contract programming language is SOLIDITY, which does not constitute the present invention Any restriction. In the art of the technical content disclosed in the present invention, those skilled in the art will be applied to other block chain platforms, such as super accounting Fabric, etc. In this example, the IBM intelligent contribution contract application of Taiwan block chain platform is an example, combined figure 1 The process of forming the intelligent contribution contract to verify the co...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a blockchain smart contract formal verification code converter and a method. Smart contract program codes developed by various languages are automatically converted into interlayer language M+ codes that a formal verification assistant prover can recognize and run, automatic safety verification is performed on intermediate language M+ language codes generated by a tool through the formal verification assistant prover, smart contract source codes are converted into formal verification intermediate language M+ codes through one key in a highly automatic manner, and contents like data type, operator, special structure, condition and loop statement, function inheritance relation and function specifier in formal codes are automatically extracted and mapped to an execution space for execution, so that blockchain smart contract formal safety verification efficiency is improved greatly, artificial participation degree is reduced, automation level is improved, and accuracy of code formalizing process is ensured.

Description

Technical field [0001] The present invention relates to the field of block chain smart contract safety technologies, and specific to block chain intelligent contract formal verification code converter and conversion method. Background technique [0002] Intelligent contract is a set of commitments defined in digital forms, including agreements that can be implemented above. In the block chain technology context, the intelligent contract refers to the program code that is running on the block chain and can perform some functions. Write the intelligent contract into the zone chain in a digitized form, the characteristics of the block chain technology ensure the storage, read, performing the entire process to transparently tracking, not tampered with. Because of this feature, once the intelligent contract programs are designed to design problems, the security vulnerability of intelligent contracts or significant losses will be generated. The formal verification method is to use math...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/41
CPCG06F8/425G06F8/427
Inventor 杨霞
Owner 成都链安科技有限公司