KR102142688B1 - Method and Apparatus for Creating Smart Contract in Blockchain Using Natural language - Google Patents

Abstract

The present embodiment relates to a method for generating a block chain smart contract based on a natural language and a device therefor that proposes a block chain smart contract based on natural language, auto-generates and automatically executes it after negotiation and modification.

Description

Method and Apparatus for Creating Smart Contract in Blockchain Using Natural language}

The present embodiment relates to a method for generating a blockchain smart contract based on natural language and an apparatus therefor. More specifically, the present invention relates to a method for generating a block chain smart contract based on natural language and a device therefor for auto-generation and auto-execution after proposal, negotiation and modification of a block chain smart contract based on natural language.

The contents described in this section merely provide background information for this embodiment, and do not constitute a prior art.

The smart contract is a program that implements the contents of the contract agreed by the contract parties in software and executes it on the blockchain. The contract between humans is generally written in natural language, and in order to make it a smart contract, programmers who understand the details of this contract code in a programming language, and then compile and create software that can run on the machine. This is the general procedure.

Here, the prerequisite is that the programmer must understand the details of the contract as well as the intentions of the contracting parties, and should not make errors in programming or coding. Even so, the general contracting party, not the programmer, has a problem that it is difficult to read, understand, and verify the smart contract software thus created, to confirm whether the details and intent of the contract are properly implemented.

In particular, if many ecosystem participants have to gather and sign various business contracts between various related parties, the burden of creating and uploading many smart contracts and executing them on the blockchain will greatly increase in order to support them in the blockchain. In this case, the method of creating and uploading a smart contract in a traditional way relying on a programmer not only takes time and effort, but also involves problems such as understanding and verification of the smart contract.

For this reason, it is necessary to provide the following functions in a blockchain where many ecosystem participants gather and agree on various business contracts between various related parties and support the conclusion and operation.

-Mass generation of smart contracts

-Generation of smart contract with no programming

-Automatic uploading and execution of smart contract

-Natural Language-based negotiation and modification of smart contract

An object of the present invention is to propose a block chain smart contract based on natural language, and to provide a method for generating a block chain smart contract based on natural language that automatically generates and automatically executes after negotiation and modification, and an apparatus therefor.

This embodiment includes a storage unit for storing a predefined template that can configure the smart contract with respect to a smart contract (Smart Contract); A document template editing unit for generating a document template by combining at least one of the templates according to a user's selection, and determining variable values on the document template according to a user agreement result to generate a confirmation document corresponding to the smart contract; And a meta smart contract unit for generating the smart contract executed on the blockchain based on the confirmed document.

In addition, according to another aspect of the present embodiment, in the smart contract generating method of the smart contract generating device, based on a predefined template that can configure the smart contract in relation to the smart contract, at least one of the Creating a document template by combining the templates; Determining variable values on the document template according to a user agreement result to generate a confirmation document corresponding to the smart contract; And generating the smart contract executed on a blockchain based on the confirmed document.

In addition, according to another aspect of the present embodiment, as a computer program stored in a computer-readable recording medium, the computer program, when executed by at least one processor, can configure the smart contract in relation to the smart contract Generating a document template by combining at least one of the templates according to a user selection based on a predefined template; Determining variable values on the document template according to a user agreement result to generate a confirmation document corresponding to the smart contract; And a code for performing the process of generating the smart contract executed on the blockchain based on the confirmed document.

According to embodiments of the present invention, a large amount of smart contracts is generated by providing a method for generating a block chain smart contract based on natural language, which proposes a block chain smart contract based on natural language, auto-generates and executes automatically after negotiation and modification, It can provide effects such as creation of smart contracts without programming, automatic upload and execution of smart contracts, and negotiation and modification of natural language-based smart contracts.

1 is a block diagram schematically showing an apparatus for generating a smart contract according to the present embodiment.
2 is a conceptual diagram illustrating a method for generating, modifying, and executing a smart contract according to the present embodiment.
3 is a flow chart for explaining a smart contract generation method according to the present embodiment.
4 is an exemplary diagram for describing a module collection according to the present embodiment.
5 to 8 are flowcharts for explaining each execution scenario for executing a smart contract according to the present embodiment.

Hereinafter, embodiments of the present invention will be described in detail with reference to the accompanying drawings.

Blockchains are electronic ledgers implemented as a computer-based decentralized distributed system composed of blocks composed of transactions. Each transaction includes at least one input and at least one output. Each block is concatenated together to create a permanent and immutable record for every transaction recorded on the blockchain from the beginning, including the hash of the previous block.

Smart contracts are computer programs designed to automate the execution of contract or agreement terms. Unlike traditional contracts written in natural language, smart contracts are machine-executable programs that contain rules that can process input to produce results, and actions that must be performed based on the results can be triggered.

The present invention proposes a block chain smart contract based on natural language, and proposes a method for generating a block chain smart contract based on natural language that automatically generates and automatically executes after negotiation and modification.

More specifically, the problems to be solved through the natural language-based blockchain smart contract generation method according to this embodiment and its effects are as follows.

(1) Mass generation of smart contracts

If there are many participants in the blockchain ecosystem and many smart contracts frequently occur in the meantime, programming all these contracts individually can cause various problems. In particular, it is more efficient to generate various smart contracts from a common core when many of these contracts have a common element and a variety of variations or one of a number of cases. The present invention proposes a technique for generating a large number of smart contracts in this manner.

(2) Generation of smart contract with no programming

Smart contracts are usually created by a programmer creating source code according to a set programming language and turning it into executable code that can be executed by a computer. However, in this case, there is a disadvantage in that a large amount of smart contracts cannot be generated at a high speed because of the time and cost of programming, in particular, because of the concern of programmer errors, the verification process takes a lot of effort and time. The present invention proposes a technique to solve this problem.

(3) Automatic uploading and execution of smart contract

Even if a smart contract is created without programming, it must be uploaded to the blockchain and executed. Normally, this is done by the system operator. The present invention proposes a technique for automatically uploading and executing a smart contract created without the programming without such additional work.

(4) Natural Language-based negotiation and modification of smart contract

In the general case, the business contract generally follows the process of completing the contract through negotiation processes such as modification, deletion, and addition, based on the framework of the contract used according to the business area. Business contracts executed on the blockchain are actually created through this process. This contract, of course, is written in natural language that can be understood by both parties, and based on this, it is common for programmers to code smart contracts. In the present invention, a technique for avoiding such a method, negotiating in a natural language state, and contracting, adding, deleting, and changing is proposed. It also presents a technique for automatically uploading and executing a contract in natural language completed without additional work.

Hereinafter, those used with a special meaning among terms used in the present invention are listed and described below.

(1) Predicate Logic

The term used in the present invention, predicate logic, follows a convention used in predicate logic, which is a field of logic. The sentence described according to this method of predicate logic is called a predicate logic statement or abbreviated as a predicate statement. Examples of predicates are:

(Example) service_contract (x, y)

At this time, if x and y are specified as “Horizon Telecom” and “Smith WiFi” respectively, this sentence will be as follows.

(Example) service_contract (Horizon Telecom, Smith WiFi)

(2) Controlled Natural Language (CNL)

The contract used in the present invention is concluded using natural language. This document uses natural language that can be understood by the general public, but if all natural language sentences are allowed, it can have problems such as ambiguity when it is automatically changed to a smart contract. Therefore, natural language sentences used in the present invention are predicate logic. Predicate logic statements used in) are limited to sentences expressed in natural language. These natural languages are called Controlled Natural Languages (CNL) and natural language sentences expressed in limited natural languages are called limited natural language sentences or CNL sentences. The CNL statement corresponding to the predicate sentence “service_contract (x, y)” in the example above is as follows.

(Example) x and y enter into a service contract

Likewise, if the x and y values are characterized, the sentence would look like this:

(Example) Horizon Telecom and Smith WiFi enter into a service contract

(3) Template

If a predicate logic statement or a qualified natural language statement contains a variable whose value is not determined, it is collectively called a template. In this case, the variable may have various types of values, such as numbers, strings, objects, and entities. In the analogy with equations, a template can be said to be similar to the case where a specific value is not assigned to a variable in a mathematical function. The “service_contract (x, y)” or “x and y enter into a service contract” examples above are all templates.

(4) Predicate Template

A template in which a predicate logic statement contains at least one variable whose value is not determined is collectively called a predicate template.

(Example) service_contract (x, y)

(5) CNL Template

When a template consists of CNL sentences, it is called a CNL template. In this case, the CNL template includes at least one variable whose value is not determined.

(Example) x and y enter into a service contract.

This CNL template is a CNL template corresponding to the predicate template “service_contract (x, y)” above.

(6) Confirmed/Assigned

When the values of all the variables in the template are confirmed, it is called an assigned template. In particular, when all variable values of a predicate template are confirmed, this is called an assigned predicate template or abbreviated as an assigned predicate. This is called.

(Example) “service_contract (x, y)” is a predicate template, and the corresponding CNL version “x and y enter into a service contract” is a CNL template. Here, if the values of x and y are confirmed, “service_contract (Horizon Telecom, Smith WiFi)” is a confirmed predicate template and “Horizon Telecom and Smith WiFi enter into a service contract” is a confirmed CNL template.

(7) Document Template

A part or all of a document including one or more templates is collectively called a document template. At this time, if the document is composed of predicate templates, it is called a Predicate Document Template, and if it is composed of CNL templates, it is called a CNL Document Template. In this case, at least one variable whose value is not determined is included.

(8) Assigned Document Template

When the values of all the variables in the document template are confirmed, this is called an assigned document template or an abbreviated document. At this time, if the definitive document is composed of a predicate template, it is called an Assigned Predicate Document, and if it is composed of a CNL template, it is called an Assigned CNL Document. In the case of a definitive document, it is an important feature that none of the variables have no fixed value.

(9) Module and Collection of Modules:

Among the pair of corresponding CNL templates and predicate templates, templates that have the same function but are slightly different in terms of conditions and execution methods are grouped together as a group, and these modules are called collections of modules. .

1 is a block diagram schematically showing a smart contract generating device according to the present embodiment, and FIG. 2 is a conceptual diagram illustrating a method of generating, modifying, and executing a smart contract according to the present embodiment.

Hereinafter, a smart contract generating device according to this embodiment will be described with reference to FIGS. 1 and 2 together.

As shown in FIG. 1, the smart contract generating device 100 according to the present embodiment includes a storage unit 110, a template editing unit 120, a document template editing unit 130, a meta smart contract unit 140, and a blockchain ( 150). At this time, the components included in the smart contract generating device 100 according to the present embodiment are not necessarily limited thereto. For example, in another embodiment, the storage unit 110 and the block chain 150 in the smart contract generating device 100 may be implemented as separate components, respectively.

The storage unit 110 stores a plurality of CNL-predicate template pairs consisting of a set of pre-defined CNL templates and predicate templates corresponding to the CNL templates in relation to a smart contract.

In the case of the smart contract generation method according to the present embodiment, the programmer negotiates in the natural language state rather than the normal way of coding the smart contract, and the contract is made through the process of adding, deleting, and changing the contract content.

For this reason, all sentences related to the smart contract program according to the present embodiment are based on natural language. That is, in the present embodiment, the sentences related to the smart contract program are implemented as a pair of CNL natural language sentences and predicate sentences, and more specifically, may be expressed as a set of CNL templates and predicate template pairs. At this time, the predicate template is composed of a predicate logic-based predicate sentence including at least one variable whose value is not determined. The CNL template is composed of limited natural language sentences, which are sentences in which a predicate sentence is expressed in natural language.

For example, a pair of CNL templates “x and y enter into a service contract” and corresponding predicate templates “service_contract (x, y)”. The storage unit 110 stores all of these pairs.

These CNL template and predicate template pairs are generally provided by the service provider in advance, but not necessarily limited to all available pairs in connection with the contract. In other embodiments, the general user may also add these pairs through editing means, such as the template editing unit 120.

On the other hand, in the case of a pair of CNL-predicate templates stored on the storage 110, there may be conflicting sentences among the predicate sentences in the CNL-predicate template pair as all available pairs related to the contract are provided.

For example, “If delivery of goods from x to y is not done by the promised date, the payment from y to x shall be forfeited” and “If delivery of goods from x to y is not done by the promised date, the penalty shall be 5 percent (%) of the amount of the payment from y to x” is a conflicting statement, and these two statements should not be included in the contract document at the same time. In order to prevent such a problem, it is necessary to group sentences expressing conflicting execution methods into a group, and restrict the restriction so that only one of them is included in the contract document.

To this end, the storage unit 110 according to this embodiment performs the same function among the predicate templates stored in the storage unit 110, but groups templates having conflicting execution methods into one group and stores them as a module collection.

For example, referring to FIG. 4, as an example of a module collection, a form of a “Delay Penalty” module that bundles delivery delay penalty provisions may be confirmed. In the case of such a module collection, a constraint is imposed so that only one of several proposed penalties can be selected.

The template editing unit 120 provides an editing function for a template used in the process of executing a smart contract.

In the present embodiment, the template editing unit 120 provides editing functions such as creation, change, and deletion of CNL-predicate template pairs stored on the storage unit 110.

In addition, the template editor 120 may define at least one target information among numbers, strings, objects, and entities to be substituted for variable values of the predicate templates in the CNL-predicate template pair.

The document template editing unit 130 performs a function of generating a CNL document template using a pair of CNL-predicate templates stored on the storage unit 110 and generating and modifying a natural language-based blockchain smart contract based on the CNL document template.

The document template editing unit 130 may generate a CNL document template through a process of selecting a CNL template based on a pair of CNL-predicate templates stored on the storage unit 110 and arranging the selected CNL template.

On the other hand, in the present embodiment, the document template editing unit 130 may provide the CNL document template in advance as a variety of preliminary documents that are pre-made to meet the needs of the business that the service provider wants to service. For example, the service provider may provide a contract document template by creating a frame of a contract document for user convenience and inserting a CNL template corresponding to provisions included therein.

Through this, the user according to the present embodiment can create a CNL document template directly like a service provider, but in most cases, a final CNL desired by deleting, adding, or changing a CNL template based on a draft document provided by a service provider You can create document templates. In other words, the document template editing unit 130 may create a CNL document template by changing and adding and deleting each provision in the contract document template provided as a first document based on the CNL template selected by the user. These CNL document templates are actually made in a form conforming to the contract, but the variable values of the templates included therein have not been confirmed.

The document template editing unit 130 determines variable values on the CNL document template according to the agreement result between the contracting parties to generate a confirmed CNL document corresponding to the smart contract. That is, the final CNL document can be generated by the general users who are the subject of the contract confirming the variable values with the CNL document template. On the other hand, in this embodiment, such a confirmed CNL document may correspond to a contract document viewed by a general user.

The document template editing unit 130 provides the definitive CNL document to a plurality of contracting parties, and generates a smart contract based on the agreement result between the plurality of contracting parties for the definitive CNL document.

For example, the document template editing unit 130 finalizes the contract related to the confirmed CNL document based on the digital signature obtained from each of the contracting parties according to the result of the agreement between the contracting parties, and records the confirmed result on the blockchain 150 To create a smart contract.

On the other hand, in the present embodiment, from the standpoint of the smart contract program, since the object covered by the program is not the CNL document itself, but a predicate template corresponding thereto, the extended predicate document is the most important basic document in terms of executing the smart contract program.

Accordingly, the document template editing unit 130 sequentially generates a predicate document template corresponding to the CNL document template and a confirmed predicate document corresponding to the confirmed CNL document based on the pair of CNL-predicate templates stored in the storage 110, The generated predicate document is recorded on the blockchain 150 together with the confirmed CNL document.

The meta smart contract unit 140 performs a function of executing a smart contract based on the confirmed CNL document and the meta smart contract means previously registered on the blockchain 150.

In the present embodiment, the meta smart contract unit 140 calculates execution information data from the determined predicate document corresponding to the determined CNL document, and executes the smart contract based on the calculated execution information data and smart contract means. At this time, the execution information data may include various types of information, such as the type of the template selected with respect to the final predicate document, the variable value determined for the corresponding template, and the digital signature. The execution information data is used as condition information for executing the smart contract, and execution contents of the smart contract may be determined according to the execution information data.

The meta smart contract means is not a simple procedural program for executing itself on the blockchain, but a kind of meta program that can accommodate all possibilities. That is, the meta smart contract means may be a program that can execute any given predicate document. These, meta smart contract means are Java, JavaScript, Python. It can be implemented using various programming languages such as Go and Ruby.

In the present embodiment, the meta-smart contract means can execute a predicate template in the storage unit 110, and implements a smart contract based on the condition information when the condition information for execution of the smart contract is given based on the predicate template in the storage unit 110 do.

The meta smart contract unit 140 inputs execution information data as condition information on the meta smart contract means to execute the smart contract. That is, the meta-smart contract means determines the actual execution content according to the execution information data, thereby executing the smart contract.

The meta smart contract unit 140 may calculate the execution information data from the determined predicate document recorded on the blockchain 150 when the smart contract is executed, but the calculated execution information data is separately related to the execution of the smart contract. 150), the smart contract can be executed based on this. That is, the meta smart contract unit 140 may automatically execute the smart contract by calling the execution information data and the smart contract means recorded on the block chain 150 when the smart contract is executed.

On the other hand, the meta smart contract means is provided with corresponding version information according to the version up, and the meta smart contract unit 140 executes in the blockchain 150 based on the version information included in the execution information data when the smart contract is executed. It is possible to calculate the meta smart contract means corresponding to the information data.

On the other hand, the meta smart contract means can execute all the predicate templates in the storage unit 110, which is problematic in that if the predicate templates that conflict with each other simultaneously enter on the confirmed CNL document, the wrong smart contract can be executed. .

Due to this point, the meta-smart contract unit 140 may perform a filtering procedure based on a collection of modules previously stored in the storage unit 110. That is, the meta smart contract unit 140 applies constraints so that conflicting contract conditions are not executed on one smart contract. The filtering procedure based on the module collection may be performed while the document template editing unit 130 generates a CNL document template.

3 is a flow chart for explaining a smart contract generation method according to the present embodiment.

The smart contract generating apparatus 100 generates a CNL document template by combining at least one CNL template according to a user selection based on a plurality of CNL-predicate template pairs (S302). In step S302, each provision in the contract document template provided as a draft document may be changed or deleted based on the CNL template selected by the user to generate a CNL document template.

The smart contract generating device 100 determines variable values on the CNL document template in step S302 according to the result of the user agreement to generate a confirmed CNL document corresponding to the smart contract (S304). In step S304, the smart contract generating device 100 finally finalizes the contract related to the confirmed CNL document based on the digital signature obtained from each of the contracting parties according to the result of the agreement between the contracting parties, and records the confirmation result on the blockchain Create a smart contract.

The smart contract generating device 100 sequentially generates and generates a predicate document template corresponding to the CNL document template and a confirmed predicate document corresponding to the confirmed CNL document based on the pair of CNL-predicate templates stored in the storage 110. A definitive predicate document is recorded on the blockchain with the definitive CNL document.

The smart contract generating device 100 executes the smart contract based on the confirmed CNL document of step S304 and the meta smart contract previously registered on the blockchain (S306). In step S306, the smart contract generating device 100 calculates execution information data from the determined predicate document corresponding to the determined CNL document, and executes the smart contract based on the calculated execution information data and smart contract means.

The smart contract generating device 100 executes the smart contract by inputting execution information data as condition information on the meta smart contract means.

Although FIG. 3 describes that each process is executed sequentially, the present invention is not limited thereto. In other words, since the process described in FIG. 3 may be changed or executed or one or more processes may be executed in parallel, FIG. 2 is not limited to the time series order.

As described above, the smart contract generation method described in FIG. 3 is implemented as a program and can be read using a computer software (CD-ROM, RAM, ROM, memory card, hard disk, magneto-optical disk, storage device, etc.) ).

5 to 8 are flowcharts for explaining each execution scenario for executing a smart contract according to the present embodiment. On the other hand, in FIGS. 5 to 8, the storage unit 110 and the block chain 150 are illustrated as being implemented as separate devices from the smart contract generating device 100, but this clearly explains each process of the execution scenario. It is for the following reasons, and may be implemented as one device.

5 is a flowchart illustrating a performance scenario related to smart contract generation according to the present embodiment.

In step S502 to step S508, the smart contract generation device 100 generates and converts the CNL document template by changing and deleting each provision in the contract document template provided as the first document in the repository based on the CNL template selected by the user. It corresponds to the process of providing to the user as a contract document.

In step S510 to step S518, the smart contract generating device 100 determines variable values on the CNL document template according to the agreement result between the contracting parties to generate a confirmed CNL document corresponding to the smart contract, and according to the agreement result between the contracting parties. This is the process of final confirmation of a contract related to a confirmed CNL document based on a digital signature obtained from each of the contracting parties.

Steps S520 to S524 correspond to a process of calculating execution information data from a confirmed predicate document corresponding to the confirmed CNL document and registering it on the blockchain to generate and execute a smart contract.

6 is a flowchart illustrating a performance scenario related to negotiation between contracting parties according to the present embodiment.

In step S602 to step S614, the smart contract generating device 100 transfers the contract document template provided as the first document in the repository to the first contracting party, and changes each of the terms in the contract document template based on the CNL template selected by the user. Corresponds to the process of deleting additional.

Steps S616 to S620, the smart contract generating device 100 delivers the modified document template received from the first contracting party to the second contracting party, similarly, based on the CNL template selected by the user for each clause in the contract document template This corresponds to the process of making changes or deletions.

In steps S622 to S632, the smart contract generating device 100 generates a definitive CNL document corresponding to the smart contract according to the agreement result between the contracting parties, and digitally obtains a digital signature obtained from each of the contracting parties according to the agreement result between the contracting parties. Based on the final CNL document, the contract is finalized.

7 is a flowchart illustrating a performance scenario related to providing a CNL-predicate template pair of a service provider according to the present embodiment.

Steps S702 to S708 correspond to a process in which a service provider creates and provides all available CNL-predicate template pairs by generating and registering a CNL document template usable in connection with a contract and a corresponding predicate document template.

Steps S710 to S714 correspond to a process in which the smart contract generation device 100 verifies the validity of the generated CNL-predicate template pair and finally registers it in the repository.

8 is a flowchart illustrating a scenario for performing a filtering procedure based on a module collection according to the present embodiment.

Steps S802 to S808 are templates in which the smart contract generator 100 performs the same function among the corresponding CNL templates and predicate template pairs, but delivers a module collection in which groups with slightly different conditions or execution methods are grouped together as a group. Corresponds to the course.

Steps S810 to S812 correspond to a filtering procedure in which only one of several penalties is selected and provided based on the module collection so that contract terms that are in conflict with each other are not executed on one smart contract.

In steps S810 to S818, the smart contract generating device 100 determines variable values on the CNL document template according to the agreement result between the contracting parties to generate a confirmed CNL document corresponding to the smart contract, and contracts according to the agreement between the contracting parties. This is the process of final confirmation of a contract related to a confirmed CNL document based on a digital signature obtained from each of the parties.

Steps S820 to S824 correspond to a process of calculating execution information data from the determined predicate document corresponding to the confirmed CNL document and registering it on the blockchain to generate and execute the smart contract.

The above description is merely illustrative of the technical idea of the present embodiment, and those skilled in the art to which this embodiment belongs will be capable of various modifications and variations without departing from the essential characteristics of the present embodiment. Therefore, the present embodiments are not intended to limit the technical spirit of the present embodiment, but to explain, and the scope of the technical spirit of the present embodiment is not limited by these embodiments. The protection scope of the present embodiment should be interpreted by the claims below, and all technical spirits within the equivalent range should be interpreted as being included in the scope of the present embodiment.

100: smart contract generation device 110: storage unit
120: template editing unit 130: document template editing unit
140: meta smart contract unit 150: blockchain

Claims (17)

A storage unit for storing a predefined template capable of constructing the smart contract in connection with a smart contract;
A document template editing unit for generating a document template by combining at least one of the templates according to a user's selection, and determining variable values on the document template according to a user agreement result to generate a confirmation document corresponding to the smart contract; And
Meta smart contract unit that generates the smart contract executed on the blockchain based on the confirmed document
Smart contract generation device comprising a. According to claim 1,
The storage unit,
A smart contract generating apparatus characterized by storing a plurality of pairs of CNL-predicate templates consisting of a set of CNL (Controlled Natural Language) templates and a pair of Predicate templates corresponding to the CNL templates. According to claim 2,
The document template editing unit,
The CNL document template is generated by combining the CNL template, and the determined CNL document corresponding to the smart contract is generated by determining variable values on the CNL document template according to the result of the user agreement. According to claim 3,
The meta smart contract unit,
A smart contract generating device, characterized in that the smart contract is generated based on the confirmed CNL document and the meta smart contract means previously registered on the blockchain. According to claim 2,
The predicate template is composed of predicate logic-based predicate sentences including at least one variable whose value is not determined,
The CNL template, the smart contract generation device characterized in that it consists of a limited natural language sentence that is a sentence expressing the predicate sentence in natural language. According to claim 2,
A smart contract further comprising a template editing unit defining target information of at least one of a number, a character string, an object, and an entity to be substituted for a CNL-predicate template pair stored in the storage unit and a variable value on the predicate template. Generator. According to claim 3,
The document template editing unit,
The service provider provides a pre-generated contract document template in response to the requirements of the business to be serviced, and changes, adds, and deletes each provision in the contract document template based on the CNL template selected by the user. Smart contract generating device, characterized in that for generating the CNL document template. According to claim 3,
The document template editing unit,
A smart contract generating apparatus comprising providing the confirmed CNL document as a contract document to a plurality of contracting parties, and generating the smart contract based on an agreement result between a plurality of contracting parties for the confirmed CNL document. The method of claim 8,
The document template editing unit,
According to the result of the agreement, based on the digital signature obtained from each of the plurality of contract parties, the contract related to the confirmed CNL document is finally confirmed, and the result of the determination is recorded on the blockchain to generate the smart contract. Smart contract generator. The method of claim 4,
The document template editing unit,
Based on the pair of CNL-predicate templates stored in the storage unit, a predicate document template corresponding to the CNL document template and a confirmation predicate document corresponding to the confirmation CNL document are sequentially generated, and the confirmation predicate document is the confirmation CNL Smart contract generation device characterized in that it is recorded on the blockchain together with the document. The method of claim 10,
The meta smart contract unit,
Calculating execution information data including variable types determined for a selected template type and a selected template in relation to the determined predicate document from the determined predicate document, and based on the execution information data and the meta smart contract means Smart contract generation device characterized in that for executing the contract. The method of claim 11,
The meta smart contract unit,
Smart contract generating apparatus characterized in that the execution information data in relation to the execution of the smart contract is also recorded on the blockchain. The method of claim 11,
The meta smart contract means is a program capable of executing the predicate template in the storage unit, and is implemented to execute the smart contract based on the condition information when condition information for execution of the smart contract is given,
The smart contract contract unit, the smart contract generating apparatus characterized in that the smart contract is executed by inputting the execution information data as the condition information on the smart contract means. The method of claim 13,
The meta-smart contract means is provided with corresponding version information according to the version up,
The meta smart contract unit, the smart contract generating device, characterized in that for calculating the meta smart contract means corresponding to the execution information data in the blockchain based on the version information included in the execution information data. According to claim 2,
The storage unit, which performs the same function among the predicate templates stored in the storage unit, but stores the templates having conflicting execution methods into one group and stores them as a module collection,
At least one of the document template editing unit and the meta-smart contract unit performs a smart contract generation device, characterized in that for performing a filtering procedure based on the module collection. In the smart contract generation method of the smart contract generation device,
Generating a document template by combining at least one of the templates according to a user's selection based on a predefined template that can configure the smart contract in relation to a smart contract;
Determining variable values on the document template according to a user agreement result and generating a confirmation document corresponding to the smart contract; And
The process of generating the smart contract executed on the blockchain based on the confirmed document
Smart contract generation method of a smart contract generation device comprising a. A computer program stored in a computer-readable recording medium, when the computer program is executed by at least one processor,
Generating a document template by combining at least one of the templates according to a user's selection based on a predefined template that can configure the smart contract in relation to a smart contract;
Determining variable values on the document template according to a user agreement result to generate a confirmation document corresponding to the smart contract; And
The process of generating the smart contract executed on the blockchain based on the confirmed document
A computer program comprising code for performing a program.

Images