Block-chain intelligent contract verification method, device and storage medium

Abstract

The embodiment of the invention provides a block chain intelligent contract verification method, a device and a storage medium. The method comprises the following steps: obtaining block header information and transaction list of a designated block from a first node in a block chain network, the transaction list comprising a transaction identification and an execution result of an intelligent contract, the block header information comprising a root node of a first Merkel tree, a root node of a second Merkel tree and a last block identification of the designated block; obtaining a block header information and a transaction list of the designated block from the first node in the block chain network. Verifying a root node and a transaction identifier of the first Merkel tree; The root node ofthe second Merkel tree and the execution result of the intelligent contract are verified; Verifying whether the previous block identification of the specified block is in a pre-stored block header chain structure; If the above verification passes, it is determined that the execution result of the smart contract is valid. The embodiment of the invention can judge the validity of the execution result of the intelligent contract, save resources and improve efficiency without downloading the full amount of block information and repeatedly executing the intelligent contract in the lightweight nodelocally.

Description

technical field [0001] The present invention relates to the field of information technology, in particular to a blockchain smart contract verification method, device and computer-readable storage medium. Background technique [0002] A blockchain network is usually composed of a large number of full nodes, which maintain a full amount of ledger data. The full node will synchronize the complete data of each block in real time, so it can make a correct judgment on the validity of the block. [0003] There will also be some lightweight nodes in the blockchain network, such as mobile phone clients. Because of their limited storage space, they cannot store all historical block data. In addition, the bandwidth of the mobile client is limited, and the traffic fee is high. When the block size is large and the block generation speed is fast, it is unrealistic to synchronize the complete data of each block to the mobile client in real time. On the other hand, due to the weak hardwa...

AI Technical Summary

Problems solved by technology

Because of their limited storage space, they cannot store all historical block data

In addition, the bandwidth of the mobile client is limited, and the traffic fee is high. When the block size is large and the block generation speed is fast, it is unrealistic to synchronize the complete data of each block to the mobile client in real time.

On the other hand, due to the weak hardware capabilities of lightweight nodes, the cost of repeatedly executing smart contracts locally and verifying whether the execution results of smart contracts are consistent with the blocks synchronized from the blockchain network is too high

[0004] There are currently lightweight node technologies on the market, but it is impossible to effectively verify the execution results of smart contracts on lightweight nodes without repeatedly executing smart contracts

Images