KR20210048241A - Apparatus and method for surveilling smart contract - Google Patents

Abstract

Disclosed are a device and method for controlling a smart contract, wherein the method for controlling the smart contract according to one embodiment of the present application may comprise: a step of parsing a source code of an issued smart contract to extract variables associated with the smart contract; a step of extracting a state value associated with the smart contract based on the address information of the smart contract; a step of mapping the extracted variable and the state value; and a step of visualizing and displaying the mapped variable and the state value. Therefore, the present invention is capable of allowing a user to easily understand the information about the smart contract.

Description

Control device and method for smart contract {APPARATUS AND METHOD FOR SURVEILLING SMART CONTRACT}

The present application relates to a control device and method for a smart contract.

Recently, as interest in cryptocurrency has increased, various applications based on blockchain are being produced and consumed. Ethereum, one of the blockchains that includes virtual currency, uses a technology called Smart Contract to provide services beyond the function of virtual currency.

Accordingly, many developers develop smart contracts that can be used in Ethereum and provide related services, and smart contracts can be distributed or used not only by developers but also by general users. Or, in order to obtain information on the smart contract to be used, there is a limitation in that a separate fee must be paid or the bytecode for the smart contract must be analyzed directly.

In addition to the above-described aspect of convenience for developers and general users, subjects such as the government, private organizations, and Ethereum officials quickly detect the occurrence and situation of malicious use (e.g., money laundering, DDoS attacks, etc.) within the blockchain network. Responsibility and necessity to continuously manage the Ethereum ecosystem by identifying and responding are increasing.

In addition, considering the increasing trend of global use of cryptocurrency, the need to apply regulations and laws appropriate to the circumstances of various countries is high, but tools for regulation or control of blockchain systems such as Ethereum are still adequate. It is not prepared.

The technology behind the present application is disclosed in Korean Laid-Open Patent Publication No. 10-2019-0048227.

This application is intended to solve the problems of the prior art described above, and information on smart contracts so that users can easily understand them through source code analysis and state value information extraction for smart contracts provided by blockchain systems such as Ethereum. It is an object to provide a control device and method for a smart contract that provides a.

The present application is to solve the problems of the prior art described above, and a control device for a smart contract that enables immediate action by detecting an abnormal situation or malicious use of a plurality of smart contracts provided in a blockchain system such as Ethereum. And to provide a method.

However, the technical problem to be achieved by the embodiments of the present application is not limited to the technical problems as described above, and other technical problems may exist.

As a technical means for achieving the above technical task, the control method for a smart contract according to an embodiment of the present application includes the steps of parsing the source code of the issued smart contract and extracting a variable associated with the smart contract, the Extracting a state value associated with the smart contract based on the address information of the smart contract, mapping the extracted variable and the state value, and visualizing and displaying the mapped variable and the state value can do.

In addition, the extracting of the variable includes generating an abstract syntax tree based on the parsing result of the source code, and data type and variable name of each variable associated with the smart contract based on the abstract syntax tree. It may include the step of extracting.

In addition, the extracting the state value may include obtaining encoded data through a Blockchain API based on the address information of the smart contract, and converting the encoded data into the state value.

In addition, the displaying may include displaying the mapped variable and the state value in the form of a timeline, so that a point on the timeline corresponding to a time point at which the state value is changed is distinguished from the region in which the state value is maintained. Can be displayed.

In addition, in the displaying, the variable and the state value mapped in a graph form representing a change in a state value over time for a predetermined variable may be displayed.

In addition, the control method for a smart contract according to an embodiment of the present application may include detecting an abnormality in the smart contract.

In addition, the step of detecting the abnormality may detect the abnormality when it is determined that the change pattern of the state value is abnormal based on a previously learned artificial intelligence algorithm.

In addition, the step of detecting the abnormality may be performed for each of a plurality of issued smart contracts.

In addition, the control method for a smart contract according to an embodiment of the present application may include generating a warning and a notification signal when an abnormality with the predetermined smart contract is detected.

On the other hand, the control device for a smart contract according to an embodiment of the present application, a variable extraction unit for extracting a variable associated with the smart contract by parsing the source code of the issued smart contract, based on the address information of the smart contract A state extracting unit for extracting a state value associated with the smart contract, a mapping unit for mapping the extracted variable and the state value, and a display unit for visualizing and displaying the mapped variable and the state value.

In addition, the variable extraction unit may generate an abstract syntax tree based on a result of parsing the source code, and extract a data type and variable name of each variable associated with the smart contract based on the abstract syntax tree. .

In addition, the state extraction unit may obtain encoded data through a Blockchain API based on the address information of the smart contract, and convert the encoded data into the state value.

In addition, the control device for a smart contract according to an embodiment of the present application is, based on a previously learned artificial intelligence algorithm, when it is determined that the change pattern of the state value for at least one smart contract is abnormal, the smart contract is abnormal. It may include an abnormality detection unit that detects.

The above-described problem solving means are merely exemplary and should not be construed as limiting the present application. In addition to the above-described exemplary embodiments, additional embodiments may exist in the drawings and detailed description of the invention.

According to the above-described problem solving means of the present application, smart contracts that provide information on smart contracts so that users can easily understand them through source code analysis and state value information extraction for smart contracts provided by blockchain systems such as Ethereum. There is an effect that can provide a control device and method for a contract.

According to the above-described problem solving means of the present application, information on the smart contract is visualized and provided in the form of a graph or a timeline, so that a user can easily check the status of the smart contract.

According to the above-described problem solving means of the present application, it is possible to detect an abnormal situation or malicious use of a plurality of smart contracts provided by a blockchain system such as Ethereum and take immediate action and control a smart contract that enables continuous tracking. Apparatus and method can be provided.

According to the above-described problem solving means of the present application, by providing various status information about the smart contract to various stakeholders such as developers and users, the degree of understanding of the operation of the smart contract is improved, so that the developer can improve the quality of the next smart contract development. Induce the creation of smart contracts, and users can perform transactions with improved reliability and stability based on monitoring information.

However, the effect obtainable in the present application is not limited to the above-described effects, and other effects may exist.

1 is a schematic configuration diagram of a block chain control system including a control device for a smart contract according to an embodiment of the present application.
2 is a conceptual diagram illustrating extracting a state value for a smart contract through a Blockchain API.
3 is a conceptual diagram illustrating extracting a state value for a smart contract through a level DB.
4 is a conceptual diagram illustrating mapping of extracted variables and state values.
5 is a diagram illustrating a screen displaying mapped variables and state values in the form of a timeline according to an exemplary embodiment of the present disclosure.
6 is a diagram illustrating a screen displaying information associated with a smart contract, including mapped variables and state values according to an exemplary embodiment of the present disclosure.
7 is a view for explaining that the control device for a smart contract according to an embodiment of the present application detects an abnormality in a smart contract determined to be abnormal among a plurality of issued smart contracts.
8 is a schematic configuration diagram of a control device for a smart contract according to an embodiment of the present application.
9 is a flowchart illustrating an operation of a control method for a smart contract according to an embodiment of the present application.

Hereinafter, embodiments of the present application will be described in detail with reference to the accompanying drawings so that those of ordinary skill in the art may easily implement the present application. However, the present application may be implemented in various different forms and is not limited to the embodiments described herein. In addition, in the drawings, parts irrelevant to the description are omitted in order to clearly describe the present application, and similar reference numerals are attached to similar parts throughout the specification.

Throughout the present specification, when a part is said to be "connected" with another part, it is not only the case that it is "directly connected", but also "electrically connected" or "indirectly connected" with another element interposed therebetween. "Including the case.

Throughout the present specification, when a member is positioned "on", "upper", "upper", "under", "lower", and "lower" of another member, this means that a member is located on another member. This includes not only the case where they are in contact but also the case where another member exists between the two members.

In the entire specification of the present application, when a certain part "includes" a certain component, it means that other components may be further included rather than excluding other components unless specifically stated to the contrary.

The present application relates to a control device and method for a smart contract.

1 is a schematic configuration diagram of a block chain control system including a control device for a smart contract according to an embodiment of the present application.

Referring to FIG. 1, the blockchain control system 10 according to an embodiment of the present application is a blockchain in which a smart contract is distributed and a smart contract distributed by a transaction generated by a user 20 is changed. It may include a (Blockchain) area and a control device 100 for smart contracts, and a monitoring area in which monitoring of deployed smart contracts is performed.

The term'smart contract' in the present application may mean an extension to be able to process any type of contract as well as financial transactions such as payment and remittance using blockchain technology. In other words, smart contracts can be understood as digital contracts using codes, and when contract conditions are satisfied, contracts can be automatically executed in code order. In particular, the smart contract in the present application may target Ethereum, which actively applies the concept of a smart contract among the types of virtual currency, but is not limited to this and provides arbitrary contract functions through a blockchain. It may be applied to all conventionally known or future developed virtual currency types, platforms, etc. (eg, NexLedger, etc.).

In particular, smart contracts targeting Ethereum can be distributed to the blockchain network (Ethereum network) in the form of Bytecode compiled with Solidity code, and users (network participants) can proceed with transactions using the deployed smart contract. I can.

In the following, with reference to FIGS. 2 to 6, the control device 100 for a smart contract according to an embodiment of the present application analyzes the source code for the smart contract, extracts state value information, etc. for the distributed smart contract. An embodiment of acquiring (analyzing) information and providing it to a user will be described in detail.

According to an embodiment of the present application The control device 100 for the smart contract (hereinafter, referred to as “control device 100”) may extract the variable 1 associated with the smart contract by parsing the source code of the issued smart contract.

For reference, the source code of the smart contract according to the embodiment of the present application may mean a solidity code compiled in a bytecode format for distribution of the corresponding smart contract. Depending on the embodiment, the source code herein may be referred to differently as an execution code or the like.

According to an embodiment of the present application, the control device 100 may parse the source code using a solidity parser such as Antlr-js.

Specifically, according to the exemplary embodiment of the present application, the control device 100 may generate an abstract syntax tree (AST) based on a result of parsing the source code. Also, the control device 100 may extract a data type 1a and a variable name 1b of each variable 1 associated with the smart contract based on the generated abstract syntax tree.

In addition, the control device 100 may extract the state value 2 associated with the smart contract based on the address information of the smart contract. Here, the state value 2 associated with the smart contract may mean a value assigned to a global variable of the deployed smart contract.

2 is a conceptual diagram illustrating extracting a state value for a smart contract through a Blockchain API.

Referring to FIG. 2, the control device 100 according to an exemplary embodiment of the present disclosure may acquire encoded data (Encoded data, 2') through a Blockchain API based on address information of a smart contract. In addition, the control device 100 may convert the encoded data 2 ′ into a state value 2. Here, the API refers to an Application Programming Interface that can be used in the blockchain network linked to the smart contract in the present application, and details about the API are obvious to those of ordinary skill in the art, so a detailed description will be omitted.

In addition, according to an embodiment, the control device 100 may be implemented to obtain encoded data (2') through the getStorageAt function based on the address information of the smart contract. For reference, the getStorageAt function may be a function that outputs encoded data (for example, in the form of 0Xfab242534234030001) converted into a hexadecimal form suitable for the EVM memory structure in relation to the state value of the smart contract. In addition, the method of obtaining the encoded data (2') through the getStorageAt function can be particularly utilized when the type of the block chain to which the present application is applied is linked to Ethereum. In addition, in the encoded data (2') In relation to the conversion to the state value 2 for, the control device 100 according to an embodiment of the present application obtains the obtained encoded data (2') (in other words, an encoded value), It may be to convert the encoded data 2'into a state value 2 by using the data extracted by the parser.

3 is a conceptual diagram illustrating extracting a state value for a smart contract through a level DB.

Referring to FIG. 3, the control device 100 according to another embodiment of the present application may extract a state value through a Level DB based on address information of a smart contract. Specifically, the control device 100 according to another embodiment of the present application may copy the Blockchain Level DB stored by Geth. In addition, the control device 100 may extract a Storage Trie (eg, Contract Storage Merkle Patricia Trie of FIG. 3) from the copied Level DB (Replicated Level DB). In addition, the control device 100 may obtain encoded data (2') by performing RLP decoding on the extracted Storage Trie. In addition, the control device 100 may convert the encoded data 2 ′ into a state value 2.

For reference, Level DB may be an open-source-based on-disk key/value storage. Specifically, the Level DB may be a database having a characteristic of storing key values and value values in an arbitrary byte array, and storing data sorted by key. In addition, Geth can mean Ethereum-based blockchain client software (Goetherium) developed in the Go language. In addition, the Storage Trie may be a Merkle Patricia Trie that stores the state of a smart contract (eg, a value of a variable). In the case of Ethereum, Stroage Trie can store a global variable of Solidity code. In addition, the above-described RLP is to serialize and insert various information related to the value address when the state and transaction information, etc. are stored in the Merkle Patricia tree in the form of a key/value in Ethereum, etc. It may refer to the encoding/decoding method used.

In addition, the control device 100 may map the extracted variable 1 and the state value 2.

4 is a conceptual diagram illustrating mapping of extracted variables and state values.

Referring to FIG. 4, the control device 100 according to an exemplary embodiment of the present disclosure may determine a correspondence relationship between the variable 1 and the extracted state value 2 for each of the extracted variables 1 through mapping. . For example, referring to FIG. 4, the control device 100 maps'Hong', which is a status value corresponding to a name (data type: String, variable name: name), which is a first variable to the first variable, and 2 It is possible to operate to map the state value '28' corresponding to the variable age (data type: int, variable name: age) to the second variable.

According to an embodiment of the present application, the control device 100 derives the mapping result in the form of a table indicating the correspondence relationship between the mapped variable (1) and the state value (2) as shown in FIG. 4 through an equal sign (=). It can be stored, but is not limited thereto. According to an exemplary embodiment of the present disclosure, a table in which a mapping result is stored includes a plurality of slots, and the size of each slot may be 256 bits. In this case, the control device 100 may allocate the mapped state value 2 to one or more slots according to the data type 1a of the extracted variable 1.

For example, if the data type (1a) of the extracted variable (1) is int, the control device 100 has a state value (2) mapped to one slot because the int-type variable (1) is 256 bits. ) Can be saved. On the other hand, when the data type (1a) of the variable (1) is int64, the variable (1) of the int64 type uses 64 bits. It can be operated to store and manage in a slot.

In addition, the control device 100 may visualize and display the mapped variable 1 and the state value 2. According to an embodiment of the present application, the control device 100 includes a display module for outputting (displaying) a screen visualizing the mapped variable 1 and the state value 2, and the mapped variable It can be operated to output a screen visualizing (1) and the state value (2), but is not limited thereto. As another example, the control device 100 transmits the visualization result information for the mapped variable 1 and the state value 2 to a separate user terminal (not shown), and is provided in the user terminal receiving the visualization result information. A screen visualizing the mapped variable 1 and the state value 2 may be displayed on the display.

5 is a diagram illustrating a screen displaying mapped variables and state values in the form of a timeline according to an exemplary embodiment of the present disclosure.

Referring to FIG. 5, the control device 100 may display the mapped variable 1 and the state value 2 in the form of a timeline. Here, on the timeline generated by the control device 100, at the time when the state value 2 changes (for example, when the state of the corresponding smart contract is changed by a transaction by an arbitrary user). The corresponding point may be displayed to be distinguished from other areas where the state value 2 remains unchanged.

According to an embodiment of the present application, the screen in the form of a timeline is provided in a bar shape with the passage of time as a horizontal axis (arrangement of blocks in chronological order), and a predetermined value in the bar corresponding to the time point at which the state value 2 changes. An identification mark (eg, shape shape, color change, mark, etc.), which can be distinguished from other areas, may be inserted at the location of. The user applies a user input for selecting a predetermined identification mark to the control device 100 or a separate user terminal (not shown) that outputs a visualization screen on a timeline-type screen (for example, clicking or touching the identification mark) In the case of an operation, such as), information on a change in the state value of the smart contract corresponding to the corresponding identification mark may be displayed.

According to an embodiment of the present application, the state value change information of the smart contract is the current block number (Block Number), Tx information, state value information included in the block (PreBlock) before the state value changes, and the state value is changed. State value information, etc. included in a later block (CurrentBlock) may be included. However, the present invention is not limited thereto, and various information related to the state change of the smart contract may be displayed.

For example, referring to FIG. 5, the control device 100 provides status value change information corresponding to the identification mark that the user places or clicks on the mouse cursor, so that the user has a name that is the first variable among the status values of the smart contract. In relation to this, it can be confirmed that it was'Kim' in the existing block and changed to'Hong' in the current block by changing at the time point corresponding to the corresponding identification mark. In relation to the second variable, age, it was '10' in the existing block It can be confirmed that the current block has changed to '28' by changing at the time point corresponding to the corresponding identification mark.

In addition, according to the exemplary embodiment of the present disclosure, the control device 100 may display the mapped variable 1 and the state value 2 in the form of a graph representing a change in a state value over time for a predetermined variable. For example, when a user applies a user input for selecting a predetermined variable 1 to the control device 100 or a separate user terminal (not shown) that outputs a visualized screen, A graph indicating a change trend of the mapped state value 2 over time may be implemented to be displayed on the control device 100 or a user terminal (not shown).

6 is a diagram illustrating a screen displaying information associated with a smart contract including mapped variables and state values according to an exemplary embodiment of the present disclosure.

Referring to FIG. 6, the control device 100 displays a screen displaying various information related to the smart contract, including the mapped variable 1 and the state value 2, in a display module of the control device 100 (for example, For example, the visualization result information outputting through the display unit 140 or displaying various information related to the smart contract may be transmitted to a user terminal (not shown).

According to an embodiment of the present application, on the information display screen associated with the smart contract including the mapped variable (1) and the state value (2), the smart contract address information (a), the compiler version information of the smart contract (b) , Smart contract source code (e.g., Solidity code) information (c), status value for each variable (1) of the smart contract (2) information (d), a predetermined data type of the smart contract's numeric type. Status value for variable (1) (2) Change trend graph (e), Status value for a given variable (1) with character type data type (2) Change trend graph (f), Smart contract usage frequency by region Information (g) may be included, but is not limited thereto, and distribution of variable and state change, transaction occurrence information, usage pattern, frequency of use by function, virtual currency quantity (ether amount) change information, virtual currency transaction information, etc. Various information related to the created smart contract can be displayed.

In the case of smart contracts issued through Ethereum, users can check the status of variables by using the get function, but this is a prerequisite that the variable has been declared as public at the time of issuance (distribution), and is declared as public. In the case of a variable that is not available, the get function function should be used, but in this method, Tx has to be issued, so there is a limitation that a separate fee burden is imposed on the user. In contrast, the control device 100 of the present application has the advantage of providing a variety of status information on the smart contract by visualizing it so that various stakeholders, including the user 20 and the developer 30, can easily check.

In addition, the control device 100 may detect an abnormality in the smart contract. According to an embodiment of the present application, the control device 100 operates to detect an abnormality when it is determined that the change pattern of the state value 2 for the predetermined variable 1 is abnormal based on a previously learned artificial intelligence algorithm. can do. In particular, the artificial intelligence algorithm previously learned in the present application may be learned to identify an abnormal situation using indicators such as Txs and Balance.

According to an embodiment of the present application, a pre-trained artificial intelligence algorithm for detecting anomalies in a smart contract is Logistic Regression, Random Forest, Deep Learning, and Support Vector Machine (Supprot). Vector Machine (SVM), artificial neural network (Artificial Neural Network (ANN)), reinforcement learning (Reinforcement Learning), etc. may be generated (learned) through all kinds of machine learning methods known in the past or developed in the future.

In particular, according to an embodiment of the present application, the control device 100 may detect an abnormality for each of a plurality of issued smart contracts. Furthermore, when an abnormality with respect to a predetermined smart contract is detected, the control device 100 may generate a warning and a notification signal. It is practically impossible for a person to check the status of each smart contract distributed on the blockchain network and change in various forms by transaction and monitor the entire smart contract. Therefore, the control device 100 of the present application acquires state information (variables and changes in state values corresponding to the variables) of each smart contract, and immediately detects abnormalities for several smart contracts using a previously learned artificial intelligence algorithm. Can be detected.

According to the exemplary embodiment of the present application, the warning and notification signal generated by the control device 100 may be transmitted to at least one terminal of the user 20 and the developer 30 associated with the corresponding smart contract. In addition, the control device 100 not only the terminal of at least one of the users 20 and the developer 30 associated with the smart contract, but also the terminal of a stakeholder (for example, a government official) related to the blockchain network. Together, they can act to send warning and notification signals.

7 is a view for explaining that the control device for a smart contract according to an embodiment of the present application detects an abnormality in a smart contract determined to be abnormal among a plurality of issued smart contracts.

Referring to FIG. 7, the control device 100 according to an embodiment of the present application is illustratively a plurality of smart contracts (Smart Contract 1 to Smart Contract 9), each of a predetermined variable 1 (e.g., Balance, Txs, Term) can detect an abnormality in a predetermined smart contract based on a pre-learned artificial intelligence algorithm that inputs the state value (2) change trend. Referring to FIG. 7, as an example, it may be determined that a change pattern of the state value 2 for Smart Contract 5 is abnormal.

According to an embodiment of the present application, at least one process of acquiring status information for a smart contract performed by the control device 100, visualizing the acquired status information, and detecting anomalies for a smart contract is performed at each preset monitoring period. It may be performed repeatedly. For example, it may be implemented so that the above-described process is performed whenever a new block is connected on a blockchain network linked to the control device 100.

8 is a schematic configuration diagram of a control device for a smart contract according to an embodiment of the present application.

Referring to FIG. 8, the control device 100 may include a variable extraction unit 110, a state extraction unit 120, a mapping unit 130, a display unit 140, and an abnormality detection unit 150.

The variable extracting unit 110 may parse the source code of the issued smart contract to extract the variable 1 associated with the corresponding smart contract.

According to an embodiment of the present application, the variable extraction unit 110 generates an abstract syntax tree (AST) based on a parsing result of the source code, and links with a smart contract based on the generated abstract syntax tree (AST). The data type (1a) and variable name (1b) of each of the variables (1) can be extracted.

The state extraction unit 120 may extract a state value 2 associated with the smart contract based on the address information of the smart contract.

According to an embodiment of the present application, the state extraction unit 120 acquires encoded data 2', Encoded data through the Blockchain API based on the address information of the smart contract, and receives the encoded data 2'. It can be converted into a state value (2). However, the present invention is not limited thereto, and according to an embodiment, the state extraction unit 120 may operate to obtain encoded data (2', Encoded data) through the getStorageAt function based on the address information of the smart contract. . As another example, the state extraction unit 120 may extract the state value 2 through the level DB.

The mapping unit 130 may map the extracted variable 1 and the state value 2.

The display unit 140 may visualize and display the mapped variable 1 and the state value 2.

According to the exemplary embodiment of the present application, the variable extracting unit 110, the state extracting unit 120, the mapping unit 130, and the display unit 140 may be collectively referred to as an observation unit (Observer).

The abnormality detection unit 150 may detect an abnormality in the corresponding smart contract when it is determined that the change pattern of the state value 2 is abnormal for at least one smart contract based on a previously learned artificial intelligence algorithm. Depending on the embodiment, the abnormality detection unit 150 may be referred to differently as an analyzer or the like.

Hereinafter, based on the details described above, the operation flow of the present application will be briefly described.

9 is a flowchart illustrating an operation of a control method for a smart contract according to an embodiment of the present application.

The control method for the smart contract shown in FIG. 9 may be performed by the control device 100 above. Accordingly, even if the contents are omitted below, the contents described with respect to the control device 100 may be equally applied to the description of the control method for the smart contract.

Referring to FIG. 9, in step S910, the variable extracting unit 110 may extract the variable 1 associated with the smart contract by parsing the source code of the issued smart contract.

Specifically, in step S910, the variable extraction unit 110 may generate an abstract syntax tree (AST) based on the parsing result of the source code. In addition, the variable extracting unit 110 may extract the data type 1a and the variable name 1b of each variable 1 associated with the smart contract based on the generated abstract syntax tree AST.

Next, in step S920, the state extraction unit 120 may extract the state value 2 associated with the smart contract based on the address information of the smart contract.

Specifically, in step S920, the state extraction unit 120 acquires the encoded data 2', Encoded data through the Blockchain API based on the address information of the smart contract, and converts the encoded data 2'into the state value. It can be converted to (2). However, it is not limited thereto, and according to an embodiment, the state extraction unit 120 is implemented to obtain encoded data (2', Encoded data) through the getStorageAt function based on the address information of the smart contract. Can be. As another example, in step S920, the state extracting unit 120 may extract the state value 2 through the Level DB based on the address information of the smart contract.

Next, in step S930, the mapping unit 130 may map the extracted variable 1 and the state value 2.

Next, in step S940, the display unit 140 may visualize and display the mapped variable 1 and the state value 2.

According to an embodiment of the present application, in step S940, the display unit 140 displays the mapped variable 1 and the state value 2 in the form of a timeline, but at the time when the state value 2 changes on the timeline. The corresponding point may be displayed to be distinguished from the region in which the state value 2 is maintained.

In addition, according to an embodiment of the present application, in step S940, the display unit 140, the variable 1 and the state value mapped in the form of a graph showing the change of the state value 2 over time with respect to the predetermined variable 1 (2) can be displayed.

Next, in step S950, the abnormality detection unit 150 may detect an abnormality in the smart contract.

According to an embodiment of the present application, step S950 may be performed for each of a plurality of issued smart contracts.

In addition, according to an exemplary embodiment of the present disclosure, in step S950, the anomaly detection unit 150 may detect an anomaly when it is determined that the change pattern of the state value 2 is abnormal based on a previously learned artificial intelligence algorithm. .

Next, in step S960, the abnormality detection unit 160 may generate a warning and a notification signal when an abnormality with respect to a predetermined smart contract is detected.

In the above description, steps S910 to S960 may be further divided into additional steps or may be combined into fewer steps, according to an embodiment of the present disclosure. In addition, some steps may be omitted as necessary, or the order between steps may be changed.

The control method for a smart contract according to an exemplary embodiment of the present disclosure may be implemented in the form of a program command that can be executed through various computer means and recorded in a computer-readable medium. The computer-readable medium may include program instructions, data files, data structures, and the like alone or in combination. The program instructions recorded on the medium may be specially designed and configured for the present invention, or may be known and usable to those skilled in computer software. Examples of computer-readable recording media include magnetic media such as hard disks, floppy disks, and magnetic tapes, optical media such as CD-ROMs and DVDs, and magnetic media such as floptical disks. -A hardware device specially configured to store and execute program instructions such as magneto-optical media, and ROM, RAM, flash memory, and the like. Examples of program instructions include not only machine language codes such as those produced by a compiler, but also high-level language codes that can be executed by a computer using an interpreter or the like. The hardware device described above may be configured to operate as one or more software modules to perform the operation of the present invention, and vice versa.

In addition, the above-described control method for a smart contract may be implemented in the form of a computer program or application executed by a computer stored in a recording medium.

The foregoing description of the present application is for illustrative purposes only, and those of ordinary skill in the art to which the present application pertains will be able to understand that it can be easily modified into other specific forms without changing the technical spirit or essential features of the present application. Therefore, it should be understood that the embodiments described above are illustrative and non-limiting in all respects. For example, each component described as a single type may be implemented in a distributed manner, and similarly, components described as being distributed may also be implemented in a combined form.

The scope of the present application is indicated by the claims to be described later rather than the detailed description, and all changes or modified forms derived from the meaning and scope of the claims and their equivalent concepts should be interpreted as being included in the scope of the present application.

10: Blockchain control system
20: user
30: Developer
100: control device for smart contract
110: variable extraction unit
120: state extraction unit
130: mapping unit
140: display
150: abnormality detection unit
1: variable
1a: data type
1b: variable name
2: status value
2': encoded data

Claims (13)

In the control method for smart contracts,
Parsing the source code of the issued smart contract and extracting a variable associated with the smart contract;
Extracting a state value associated with the smart contract based on the address information of the smart contract;
Mapping the extracted variable and the state value; And
Visualizing and displaying the mapped variable and the state value,
Containing, smart contract control method. The method of claim 1,
The step of extracting the variable,
Generating an abstract syntax tree based on a result of parsing the source code; And
Extracting a data type and a variable name of each variable associated with the smart contract based on the abstract syntax tree,
That includes, smart contract control method. The method of claim 2,
The step of extracting the state value,
Obtaining encoded data through a Blockchain API based on the address information of the smart contract; And
Converting the encoded data into the state value,
That containing, smart contract control method. The method of claim 3,
The displaying step,
The mapped variable and the state value are displayed in the form of a timeline,
On the timeline, a point corresponding to a time point at which the state value is changed is displayed to be distinguished from an area in which the state value is maintained. The method of claim 3,
The displaying step,
To display the variable and the state value mapped in the form of a graph showing a change in state value over time for a predetermined variable, smart contract control method. The method of claim 1,
The smart contract control method further comprising the step of detecting an abnormality in the smart contract. The method of claim 6,
The step of detecting the abnormality,
To detect an abnormality when it is determined that the change pattern of the state value is abnormal based on a pre-learned artificial intelligence algorithm. The method of claim 7,
The step of detecting the abnormality,
A smart contract control method that is performed for each of a plurality of issued smart contracts. The method of claim 8,
If an abnormality with the predetermined smart contract is detected, the method further comprising generating a warning and a notification signal. In the control device for smart contracts,
A variable extraction unit that parses the source code of the issued smart contract and extracts a variable associated with the smart contract;
A state extraction unit extracting a state value associated with the smart contract based on the address information of the smart contract;
A mapping unit for mapping the extracted variable and the state value; And
A display unit that visualizes and displays the mapped variable and the state value,
Containing, smart contract control device. The method of claim 10,
The variable extraction unit,
Generating an abstract syntax tree based on the parsing result of the source code, and extracting the data type and variable name of each variable associated with the smart contract based on the abstract syntax tree. The method of claim 11,
The state extraction unit,
Acquiring the encoded data through the Blockchain API based on the address information of the smart contract, and converting the encoded data into the state value, smart contract control device. The method of claim 12,
If it is determined that the change pattern of the state value for at least one smart contract is abnormal based on a pre-learned artificial intelligence algorithm, the smart contract control device further comprises an abnormality detection unit for detecting an abnormality of the corresponding smart contract.

Images