Intelligent contract state monitoring system and method based on a block chain

Abstract

The invention provides an intelligent contract state monitoring system based on a block chain. The system comprises a contract virtual machine which is used for operating an intelligent contract codeand ensuring independence and isolation of an intelligent contract, is internally provided with a plurality of monitoring modules and is used for receiving information sent by a contract monitor, packaging corresponding monitoring attributes or events at a monitoring point into formatted messages and transmitting the formatted messages to a dynamic event receiver; the contract monitor comprises two modules: a dynamic event receiver which is responsible for receiving and monitoring information obtained by the state of the intelligent contract; and the attribute verifier is responsible for expanding and analyzing the state of the intelligent contract and feeding back an analysis result to the contract virtual machine to complete a contract monitoring communication cycle. The invention further discloses a corresponding monitoring method, the dynamic code instrumentation is non-invasive, the monitoring module can be implanted into contract codes in a non-invasive mode in a memory, and dynamic code instrumentation is achieved. And the content of the intelligent contract code is not influenced while richer state information is obtained.

Description

technical field [0001] The invention relates to the monitoring field of information technology, in particular to a blockchain-based smart contract status monitoring system and monitoring method. Background technique [0002] As early as 1997, the concept of smart contracts was proposed by Nick Szabo, published in the two papers "Formalizing and Securing Relationships on Public Networks" and "A Formal Language for Analyzing Contracts". Compared with traditional paper contracts, smart contracts are more information-based. Its advantages are strengthened by the emerging Internet and related information security technologies. [0003] Although smart contracts have been proposed very early, practice has always lagged behind theory. The main reason is that there is a lack of effective mechanisms to ensure the observability, verifiability and self-enforcement of contracts. Before the emergence of blockchain technology, contracting parties could not directly observe and verify the ...

AI Technical Summary

Problems solved by technology

[0006] However, the current methods of ensuring the correctness of smart contracts are deficient in bug fixes and performance improvements

It is impossible to perceive the running status of the contract in real time. When an error occurs in the contract, the error log provided is limited, which complicates the repair of the contract, and the contract only pays attention to the correctness and ignores the running performance of the contract, so it is impossible to get the code of the contract at each stage of execution runtime, making it difficult to improve contract performance

Images