KR20240014271A - System for composite contract model though combining of unit contracts selectively - Google Patents
System for composite contract model though combining of unit contracts selectively Download PDFInfo
- Publication number
- KR20240014271A KR20240014271A KR1020220091813A KR20220091813A KR20240014271A KR 20240014271 A KR20240014271 A KR 20240014271A KR 1020220091813 A KR1020220091813 A KR 1020220091813A KR 20220091813 A KR20220091813 A KR 20220091813A KR 20240014271 A KR20240014271 A KR 20240014271A
- Authority
- KR
- South Korea
- Prior art keywords
- unit
- contract
- model
- synthetic
- input
- Prior art date
Links
- 239000002131 composite material Substances 0.000 title claims description 29
- 238000012545 processing Methods 0.000 claims abstract description 7
- 238000013507 mapping Methods 0.000 claims description 29
- 238000000034 method Methods 0.000 claims description 18
- 238000004364 calculation method Methods 0.000 claims description 2
- 239000000203 mixture Substances 0.000 claims description 2
- 230000006870 function Effects 0.000 description 30
- 230000015572 biosynthetic process Effects 0.000 description 11
- 238000003786 synthesis reaction Methods 0.000 description 11
- 230000007704 transition Effects 0.000 description 6
- 238000011161 development Methods 0.000 description 5
- 238000006243 chemical reaction Methods 0.000 description 4
- 230000008859 change Effects 0.000 description 3
- 230000002262 irrigation Effects 0.000 description 3
- 238000003973 irrigation Methods 0.000 description 3
- 238000013473 artificial intelligence Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000008569 process Effects 0.000 description 2
- 239000000047 product Substances 0.000 description 2
- 238000012795 verification Methods 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000001151 other effect Effects 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 239000013589 supplement Substances 0.000 description 1
- 238000012549 training Methods 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/40—Network security protocols
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
- G06Q40/03—Credit; Loans; Processing thereof
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/50—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols using hash chains, e.g. blockchains or hash trees
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L2463/00—Additional details relating to network architectures or network communication protocols for network security covered by H04L63/00
- H04L2463/102—Additional details relating to network architectures or network communication protocols for network security covered by H04L63/00 applying security measure for e-commerce
Landscapes
- Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Business, Economics & Management (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Strategic Management (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Entrepreneurship & Innovation (AREA)
- Economics (AREA)
- Marketing (AREA)
- Human Resources & Organizations (AREA)
- Finance (AREA)
- Accounting & Taxation (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Operations Research (AREA)
- Data Mining & Analysis (AREA)
- Tourism & Hospitality (AREA)
- Quality & Reliability (AREA)
- Development Economics (AREA)
- Technology Law (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
본 발명은 소정의 명령에 따른 전사적 데이터 처리를 위한 합성 컨트랙트 시스템에 있어서, 합성 컨트랙트를 구성하는 소정의 구성 데이터의 집합으로 형성되는 단위 모델로 구성되는 컨트랙트 유닛; 및 컨트랙트 유닛의 소정의 구성 데이터를 전달받는 하위 구성에 해당하는 하위 구성 데이터의 집합으로 형성되는 서브 컨트랙트 유닛을 포함하는 기술적 사상을 개시한다. The present invention relates to a synthetic contract system for enterprise-wide data processing according to a predetermined command, comprising: a contract unit consisting of a unit model formed from a set of predetermined configuration data constituting the synthetic contract; and a sub-contract unit formed as a set of sub-configuration data corresponding to a sub-configuration that receives predetermined configuration data of the contract unit.
Description
본원 발명은 합성 컨트랙트 모델 시스템에 대한 것으로서, 단위 컨트랙트 모델의 집합 혹은 이들 집합의 집합에 대한 처리를 위한 모델에 대한 것으로, 보다 구체적으로는 입력과 출력의 집합, 합성 모델을 구성하는 단위 모델의 집합, 하위 합성 모델의 집합으로 구성되며, 합성 모듈 외부에서 입력된 데이터를 내부 구성 모델의 입력으로 매핑해주는 관계, 내부 모델간 입출력을 매칭해주는 관계 그리고 내부 모델의 출력과 합성 모델의 출력을 매핑하는 관계로 구성되는 것으로, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템에 관한 기술분야이다. The present invention relates to a synthetic contract model system, and relates to a set of unit contract models or a model for processing a set of these sets. More specifically, a set of inputs and outputs, and a set of unit models constituting a synthetic model. , It consists of a set of lower synthesis models, a relationship that maps data input from outside the synthesis module to the input of the internal configuration model, a relationship that matches input and output between internal models, and a relationship that maps the output of the internal model and the output of the synthesis model. It is a technical field related to a synthetic contract model system through selective combination of unit contracts.
스마트 컨트랙트라는 개념의 경우, 1996년 닉 자보(Nick Szabo)에 의해 탄생했지만, 스마트 컨트랙트라는 용어 및 개념이 널리 알려지게 된 계기는 이더리움(Ethereum)이라 할 수 있다.In the case of the concept of smart contract, it was created by Nick Szabo in 1996, but the term and concept of smart contract became widely known through Ethereum.
이더리움은 2015년 네트워크가 가동을 시작한 이후 매우 안정적으로 블록체인 네트워크가 운영되고 있다. 이더리움의 스마트 컨트랙트는 솔리디티라는 언어를 사용하여 개발되는데, 솔리디티 언어는 1) 오버플로 및 언더플로 문제, 2) 메시지 호출과 접근 권한 제어 문제, 3) 리엔트런시 문제, 4) 짧은 주소 공격, 5) 잔액 조건 무효화 공격, 6) 도스 공격과 같은 취약점을 가지고 있다. Ethereum's blockchain network has been operating very stably since the network began operation in 2015. Ethereum's smart contracts are developed using a language called Solidity, which addresses 1) overflow and underflow problems, 2) message call and access permission control problems, 3) reentrancy problems, and 4) short It has vulnerabilities such as address attacks, 5) balance condition invalidation attacks, and 6) DOS attacks.
스마트 컨트랙트에 대한 취약점은 취약점으로 끝나는 것이 아니라, 작게는 수억에서 많게는 수천억 규모의 실제 해킹 사건으로 이어진다. Vulnerabilities in smart contracts do not end with vulnerabilities, but lead to actual hacking incidents ranging from hundreds of millions to hundreds of billions.
이러한 스마트 컨트랙트의 문제는 데이터의 위변조가 불가능하고 디지털 자산의 고유성과 소유권과 자산가치를 보장해 준다는 블록체인의 이상과 목표를, 다른 무엇도 아닌, 블록체인을 다양한 용도로 활용하기 위한 목적으로 만들어진 '스마트 컨트랙트'가 파괴하고 있다는 심각한 문제점이 있다. The problem with these smart contracts is that the ideals and goals of blockchain, which is that data cannot be forged or altered and that guarantees the uniqueness, ownership, and asset value of digital assets, are created for the purpose of utilizing blockchain for various purposes, not for anything else. There is a serious problem that ‘smart contracts’ are destroying.
스마트 컨트랙트의 성능 및 안정성을 보완하기 위한 선행 특허문헌으로 예컨대, 조건이 만족되면, 계약이 수행되는 스마트 컨트랙트에서 사용자의 피드백에 기초하여 컨트랙트의 조건과 동작을 변경하기 위한 컨트랙트를 제공하는 선행 특허문헌으로는, "지능형 스마트 컨트랙트 제공방법(공개번호 제10-2021-0056745호, 이하 특허문헌1이라 한다.)가 존재한다. A prior patent document to supplement the performance and stability of smart contracts. For example, a prior patent document that provides a contract for changing the conditions and actions of a contract based on user feedback in a smart contract in which a contract is performed when the conditions are satisfied. As such, there exists an “intelligent smart contract provision method (Publication No. 10-2021-0056745, hereinafter referred to as Patent Document 1).
특허문헌 1의 경우, 공유자원을 이용한 서비스를 블록체인 네트워크를 통해 제공하기 위하여 필요한 하나 이상의 스마트 컨트랙트를 포함하는 시나리오에 기초하여 서비스를 제공하는 서비스 제공단계, 사용자 단말 또는 관리자 단말이 시나리오를 편집하는 피드백을 제공하는 피드백단계, 피드백에 기초하여 시나리오에 포함된 하나 이상의 스마트 컨트랙트의 내용을 변경하는 인공지능 학습모델을 학습시키는 학습단계, 및 인공지능 학습모델이 시나리오에 포함된 하나 이상의 스마트 컨트랙트의 내용을 변경하는 시나리오 수정단계를 포함하는, 지능형 스마트 컨트랙트 제공방법을 제공함에 따라 스마트 컨트랙트의 조건과 동작을 변경할 수 있어서 다양한 종류의 공유자원을 공유서비스에 제공하기 위하여 필요한 다양한 조건의 스마트 컨트랙트를 생성하고 이용할 수 있다.In the case of Patent Document 1, a service provision step of providing a service based on a scenario including one or more smart contracts required to provide a service using shared resources through a blockchain network, a user terminal or administrator terminal editing the scenario A feedback step of providing feedback, a learning step of training an artificial intelligence learning model that changes the content of one or more smart contracts included in the scenario based on the feedback, and the content of one or more smart contracts included in the scenario by the artificial intelligence learning model. By providing an intelligent smart contract provision method that includes a scenario modification step to change, the conditions and operation of the smart contract can be changed, creating smart contracts with various conditions necessary to provide various types of shared resources to shared services. Available.
신뢰성 있는 스마트 컨트랙트의 정보를 제공하기 위한 방법으로, 시드의 유출 없이 신뢰성 있는 난수를 생성하여 정확한 난수의 생성을 통해 스마트 컨트랙트의 신뢰성을 제공하고자 하는 것으로, "스마트 컨트랙트에서의 난수 생성 방법 및 장치(공개번호 제10-2021-0094866호, 이하 특허문헌2라 한다.)가 존재한다. As a method to provide reliable smart contract information, it seeks to provide reliability of smart contracts through accurate random number generation by generating reliable random numbers without seed leakage. "Random number generation method and device in smart contracts ( Publication No. 10-2021-0094866 (hereinafter referred to as Patent Document 2) exists.
특허문헌 2의 경우, 스마트 컨트랙트에서의 유사 난수 생성 방법 및 장치가 제공된다. 난수 생성 장치는, 난수 생성을 위한 시드(seed) 데이터를 포함하는 제1 매개 변수를 수신하고, 또한 제2 매개 변수를 수신한다. 그리고 제1 매개 변수 및 제2 매개 변수가 설정된 순서대로 수신된 경우, 시드 데이터를 이용하여 난수를 생성한다.In the case of Patent Document 2, a method and device for generating pseudo-random numbers in a smart contract are provided. The random number generating device receives a first parameter including seed data for random number generation and also receives a second parameter. And when the first parameter and the second parameter are received in the set order, a random number is generated using the seed data.
블록체인 상에서 스마트 컨트랙트를 구현하기 위한 방법 및 시스템의 선행문헌으로는 "개선된 블록체인-구현된 스마트 컨트랙트를 위한 방법 및 시스템(공개번호 제10-2021-0090611호, 이하 특허문헌 3이라 한다.)가 존재한다. Prior literature on methods and systems for implementing smart contracts on blockchains includes “Improved Blockchain-Method and System for Implemented Smart Contracts (Publication No. 10-2021-0090611, hereinafter referred to as Patent Document 3). ) exists.
특허문헌 3의 경우, 적어도 하나의 일차 블록을 가지는 블록체인 내에 스마트 컨트랙트를 저장하는 단계를 포함한다. 스마트 컨트랙트는 적어도 하나의 충족 값으로 각각 정의되는 전자적으로 정의된 컨트랙트 조항들의 세트를 가지고, 컨트랙트 조항들의 세트의 충족 값들의 조합은 컨트랙트에 대한 충족 해시 값을 가진다. 하나 이상의 실행 값들의 서브셋을 각각 가지는 하나 이상의 전자적으로 저장된 이차 트랜잭션들의 세트는 판독되고 컨트랙트 조항들에 대응하는 트랜잭션들의 서브셋은 선택된다. 트랜잭션의 서브셋의 실행 값들의 조합의 실행 해시 값은 결정된다. 스마트 컨트랙트는, 트랜잭션들의 서브셋의 실행 값들의 조합의 실행 해시 값이 스마트 컨트랙트의 충족 해시 값에 매칭하면, 완전히 실행된 것으로 고려된다.In the case of Patent Document 3, it includes the step of storing a smart contract in a blockchain with at least one primary block. A smart contract has a set of electronically defined contract terms, each defined by at least one fulfillment value, and the combination of the fulfillment values of the set of contract terms has a fulfillment hash value for the contract. A set of one or more electronically stored secondary transactions, each having a subset of one or more execution values, is read and a subset of transactions corresponding to the contract terms is selected. The execution hash value of the combination of execution values of a subset of transactions is determined. A smart contract is considered fully executed if the execution hash value of the combination of execution values of a subset of transactions matches the smart contract's fulfillment hash value.
종래의 스마트 컨트랙트의 경우, 예컨대, 이더리움이 제시한 VM(virtual Machine) 구조의 경우, 해킹 등의 보안 위협으로부터 안전을 보장받을 수 없다는 위험에 노출되어 있다. In the case of conventional smart contracts, for example, the VM (virtual machine) structure proposed by Ethereum is exposed to the risk that safety cannot be guaranteed from security threats such as hacking.
이에 따라, 종래의 보안성과 안정성의 문제에 대하여 안전을 보장받을 수 있는 새로운 스마트 컨트랙트에 대한 요구가 필요시되고 있는 실정이며, 본원 발명의 경우, 스마트 컨트랙트에 대한 문제점을 해결하기 위하여 모델 기반 개발 방법론을 통해 안정적으로 신뢰성 있는 스마트 컨트랙트를 제공하고자 한다.Accordingly, there is a need for a new smart contract that can guarantee safety in relation to the problems of conventional security and stability, and in the case of the present invention, a model-based development methodology is used to solve problems with smart contracts. We aim to provide stable and reliable smart contracts.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은 상기한 바와 같은 종래 문제점을 해결하기 위해 안출된 것으로서, 다음과 같은 해결하고자 하는 과제를 제시한다.The synthetic contract model system through selective combination of unit contracts according to the present invention was designed to solve the conventional problems described above, and presents the following problems to be solved.
첫째, 모델 기반의 스마트 컨트랙트 시스템을 제공함을 통해 높은 신뢰성, 강화된 보안성, 빠른 처리 성능이 제공될 수 있도록 한다.First, by providing a model-based smart contract system, high reliability, enhanced security, and fast processing performance can be provided.
둘째, 이미 검증된 단위 컨트랙트 모델을 구성요소로 하여, 블록을 이용하여 다양한 완성품을 만드는 것과 같이, 단위 모델들을 쌓아가는 방식으로 새로운 합성 컨트랙트 모델을 개발할 수 있도록 한다. Second, by using already verified unit contract models as components, it is possible to develop a new synthetic contract model by building up unit models, such as creating various finished products using blocks.
셋째, 모델 명세에 따라 자신이 선호하는 프로그래밍 언어를 사용하여 컨트랙트 모델을 구현하여, 반드시 특정 언어를 사용해야만 하는 기존의 컨트랙트와 차별되는 특징을 제공하도록 한다.Third, implement the contract model using your preferred programming language according to the model specification to provide features that differentiate it from existing contracts that must use a specific language.
넷째, 충분히 검증된 모델을 사용하여 스마트 컨트랙트가 배포 운영되도록 하여 신뢰성과 보안성이 높아지도록 한다. Fourth, smart contracts are distributed and operated using sufficiently verified models to increase reliability and security.
본 발명의 해결 과제는 이상에서 언급된 것들에 한정되지 않으며, 언급되지 아니한 다른 해결과제들은 아래의 기재로부터 당업자에게 명확하게 이해될 수 있을 것이다.The problems to be solved by the present invention are not limited to those mentioned above, and other problems not mentioned will be clearly understood by those skilled in the art from the description below.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은 상기의 해결하고자 하는 과제를 위하여 다음과 같은 과제 해결 수단을 가진다.The synthetic contract model system through a selective combination of unit contracts according to the present invention has the following means for solving the problems described above.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은, 소정의 명령에 따른 전사적 데이터 처리를 위한 합성 컨트랙트 시스템에 있어서, 상기 합성 컨트랙트를 구성하는 소정의 구성 데이터의 집합으로 형성되는 단위 모델로 구성되는 컨트랙트 유닛; 및 상기 컨트랙트 유닛의 상기 소정의 구성 데이터를 전달받는 하위 구성에 해당하는 하위 구성 데이터의 집합으로 형성되는 서브 컨트랙트 유닛을 포함하는 것을 특징으로 할 수 있다. The synthetic contract model system through selective combination of unit contracts according to the present invention is a synthetic contract system for enterprise-wide data processing according to a predetermined command, a unit formed as a set of predetermined configuration data constituting the synthetic contract. A contract unit consisting of a model; and a sub-contract unit formed as a set of sub-configuration data corresponding to a sub-configuration receiving the predetermined configuration data of the contract unit.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은, 상기 합성 컨트랙트의 외부에서 입력된 데이터를 상기 합성 컨트랙트 내부의 상기 컨트랙트 유닛의 입력으로 매핑해주는 인풋 매핑부; 상기 컨트랙트 유닛과 상기 서브 컨트랙트 유닛 간에 입출력을 매핑해주는 인사이드 매핑부; 및 상기 서브 컨트랙트 유닛의 출력과 상기 합성 컨트랙트의 출력을 매핑해주는 아웃풋 매핑부를 포함하는 것을 특징으로 할 수 있다. The composite contract model system through selective combination of unit contracts according to the present invention includes an input mapping unit that maps data input from outside the composite contract to the input of the contract unit inside the composite contract; an inside mapping unit that maps input and output between the contract unit and the sub-contract unit; and an output mapping unit that maps the output of the sub-contract unit and the output of the composite contract.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 상기 단위 모델은, 소정의 파라미터가 입력되고, 요구되는 데이터의 내용과 형식에 따라 결과 값이 출력되는 것을 특징으로 할 수 있다. The unit model of the synthetic contract model system through selective combination of unit contracts according to the present invention may be characterized in that predetermined parameters are input and result values are output according to the content and format of the required data.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 상기 단위 모델은, 상기 단위 모델이 복수 개로 형성된 합성 모델의 집합으로 형성되어 선택적인 합성 모델을 형성하는 것을 특징으로 할 수 있다. The unit model of the synthetic contract model system through selective combination of unit contracts according to the present invention may be characterized in that the unit model is formed as a set of a plurality of synthetic models to form a selective synthetic model.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 상기 합성 컨트랙트는, 상기 컨트랙트 유닛으로부터 상기 서브 컨트랙트 유닛까지 입출력 관계가 형성되며, 상기 서브 컨트랙트 유닛은 상기 컨트랙트 유닛의 상기 소정의 구성 데이터의 집합을 바탕으로 입출력 데이터를 형성하는 것을 특징으로 할 수 있다. The composite contract of the composite contract model system through the selective combination of unit contracts according to the present invention forms an input-output relationship from the contract unit to the sub-contract unit, and the sub-contract unit has the predetermined configuration of the contract unit. It may be characterized by forming input/output data based on a set of data.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 상기 단위 모델은, 상기 단위 모델을 구성하는 상기 소정의 구성 데이터의 집합으로 형성되는 세트 스테이트부; 입력되는 상기 소정의 파라미터를 상기 세트 스테이트부의 원소 데이터로 변환하는 인풋 트랜잭션부; 상기 소정의 구성 데이터의 연산을 통해 상기 소정의 구성 데이터의 집합에 대한 상태를 변환하는 스테이트 트랜잭션부; 및 상기 요구되는 데이터의 내용과 형식에 따라 결과 값을 출력하는 아웃풋 트랜잭션부를 포함하는 것을 특징으로 할 수 있다. The unit model of the synthetic contract model system through a selective combination of unit contracts according to the present invention includes a set state unit formed as a set of the predetermined configuration data constituting the unit model; an input transaction unit that converts the predetermined input parameter into element data of the set state unit; a state transaction unit that converts the state of the set of predetermined configuration data through calculation of the predetermined configuration data; and an output transaction unit that outputs a result value according to the content and format of the requested data.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 상기 단위 모델은, 상기 소정의 명령에 대하여 상기 인풋 트랜잭션부, 상기 스테이트 트랜잭션부, 상기 아웃풋 트랜잭션부의 연속적인 작업을 통하여 상기 소정의 명령에 대한 오퍼레이션을 수행하는 것을 특징으로 할 수 있다. The unit model of the synthetic contract model system through a selective combination of unit contracts according to the present invention is to generate the predetermined command through successive operations of the input transaction unit, the state transaction unit, and the output transaction unit in response to the predetermined command. It may be characterized by performing an operation on a command.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 상기 합성 컨트랙트는, 상기 단위 모델이 선택적으로 선별되어, 상기 단위 모델의 조합을 통하여 상기 합성 컨트랙트가 구성되는 것을 특징으로 할 수 있다. The synthetic contract of the synthetic contract model system through a selective combination of unit contracts according to the present invention may be characterized in that the unit model is selectively selected and the synthetic contract is constructed through a combination of the unit models. .
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은, 미리 설정된 바운더리 내 존재하는 복수 개의 노드에 상기 합성 컨트랙트의 트랜잭션 정보가 상호 공유되도록 하는 복수 개의 노드 유닛을 포함하는 것을 특징으로 할 수 있다. The synthetic contract model system through the selective combination of unit contracts according to the present invention is characterized by including a plurality of node units that allow transaction information of the synthetic contract to be mutually shared with a plurality of nodes existing within a preset boundary. You can.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 상기 복수 개의 노드 유닛은, 상기 복수 개의 노드 각각이 상기 합성 컨트랙트와 상기 트랜잭션 정보를 상호 매칭 비교하여 상기 합성 컨트랙트와 상기 트랜잭션 정보가 상호 매칭되는지 확인하는 것을 특징으로 할 수 있다. The plurality of node units of the synthetic contract model system through a selective combination of unit contracts according to the present invention is such that each of the plurality of nodes matches and compares the synthetic contract and the transaction information, so that the synthetic contract and the transaction information are It may be characterized by checking whether they match each other.
이상과 같은 구성의 본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은 다음과 같은 효과를 제공한다.The composite contract model system through the selective combination of unit contracts according to the present invention configured as described above provides the following effects.
첫째, 동일한 성능을 필요로 하는 컨트랙트들이 동일한 단위 모델을 호출하게 되므로 전체 컴퓨팅 자원을 효율적으로 사용할 수 있도록 한다.First, contracts that require the same performance call the same unit model, allowing efficient use of overall computing resources.
둘째, 가상 머신을 사용하지 않고 하드웨어에서 직접 실행하기에 타 스마트 컨트랙트에 비해 탁월한 성능이 발휘되도록 한다. Second, it provides superior performance compared to other smart contracts because it runs directly on hardware without using a virtual machine.
셋째, 정의된 모델에 대한 명세에 따라 자신이 선호하는 프로그래밍 언어를 사용하여 구현하기에, 새로운 컨트랙트 모델 개발이 효율적이고 안전하게 구현될 수 있도록 한다. Third, it allows the development of new contract models to be implemented efficiently and safely because it is implemented using one's preferred programming language according to the specifications of the defined model.
발명의 효과는 이상에서 언급한 것들에 한정되지 않으며, 언급되지 아니한 다른 효과들은 아래의 기재로부터 당업자에게 명확하게 이해될 수 있을 것이다.The effects of the invention are not limited to those mentioned above, and other effects not mentioned will be clearly understood by those skilled in the art from the description below.
도 1은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템에서 합성 컨트랙트와 합성 컨트랙트를 구성하는 집합과 함수에 대하여 도시한 것이다.
도 2는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 인풋 매핑부, 컨트랙트 유닛, 인사이드 매핑부, 서브 컨트랙트 유닛, 아웃풋 매핑부를 포함하는 합성 컨트랙트를 도시한 것이다.
도 3은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 합성 컨트랙트를 구성하는 단위 모델의 구성을 도시한 것이다.
도 4는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 인풋 트랜잭션부, 세트 스테이트부, 스테이트 트랜잭션부, 아웃풋 트랜잭션부를 포함하는 단위 모델을 도시한 것이다.
도 5는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 합성 컨트랙트에 대한 예시로서 NFT 담보 대출 컨트랙트 모델로 구현된 것을 도시한 것이다.
도 6은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 단위 모델의 세트 스테이트부가 모델을 구성하는 데이터의 집합을 도시한 것이다.
도 7은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 단위 모델의 인풋 트랜잭션부를 통해 수행된 입력 데이터에 대한 결과가 세트 스테이트부에 결과로 제공된 것을 도시한 것이다.
도 8은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 단위 모델의 스테이트 트랜잭션부를 통해 수행된 결과가 세트 스테이트부에 결과로 제공된 것을 도시한 것이다.
도 9는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 합성 컨트랙트가 복수 개의 노드 유닛에 공유되어 각각의 노드들에 의해 검증 및 합의 과정을 거치는 것을 도시한 것이다.
도 10은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 합성 컨트랙트 시스템에 대한 합성 컨트랙트가 NFT 담보 대출 컨트랙트 모델로 형성된 것을 도시한 예시적인 개념도이다.Figure 1 illustrates a synthetic contract and the sets and functions constituting the synthetic contract in a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention.
Figure 2 illustrates a synthetic contract including an input mapping unit, a contract unit, an inside mapping unit, a sub-contract unit, and an output mapping unit of a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention. .
Figure 3 shows the configuration of a unit model constituting a synthetic contract of a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention.
Figure 4 shows a unit model including an input transaction unit, a set state unit, a state transaction unit, and an output transaction unit among the synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention.
Figure 5 shows an example of a synthetic contract among the synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention, implemented as an NFT collateral loan contract model.
Figure 6 illustrates a set state portion of a unit model in a synthetic contract model system through selective combination of unit contracts according to an embodiment of the present invention, showing a set of data constituting the model.
Figure 7 shows that the results of input data performed through the input transaction unit of the unit model among the synthetic contract model system through selective combination of unit contracts according to an embodiment of the present invention are provided as results to the set state unit. .
Figure 8 shows that the results performed through the state transaction unit of the unit model of the composite contract model system through selective combination of unit contracts according to an embodiment of the present invention are provided as results to the set state unit.
Figure 9 illustrates that among the synthetic contract model system through selective combination of unit contracts according to an embodiment of the present invention, the synthetic contract is shared by a plurality of node units and undergoes verification and consensus processes by each node. .
Figure 10 is an exemplary conceptual diagram showing that a synthetic contract for a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention is formed as an NFT collateral loan contract model.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은 다양한 변경을 가할 수 있고 여러 가지 실시예를 가질 수 있는바, 특정 실시예들을 도면에 예시하고 상세한 설명에 상세하게 설명하고자 한다. 그러나, 이는 본 발명을 특정한 실시 형태에 대해 한정하려는 것이 아니며, 본 발명의 기술적 사상 및 기술 범위에 포함되는 모든 변경, 균등물 내지 대체물을 포함하는 것으로 이해되어야 한다. The composite contract model system through selective combination of unit contracts according to the present invention can make various changes and have several embodiments. Specific embodiments will be illustrated in the drawings and explained in detail in the detailed description. However, this is not intended to limit the present invention to specific embodiments, and should be understood to include all changes, equivalents, and substitutes included in the technical spirit and scope of the present invention.
도 1은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템에서 합성 컨트랙트와 합성 컨트랙트를 구성하는 집합과 함수에 대하여 도시한 것이다. 도 2는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 인풋 매핑부, 컨트랙트 유닛, 인사이드 매핑부, 서브 컨트랙트 유닛, 아웃풋 매핑부를 포함하는 합성 컨트랙트를 도시한 것이다. 도 3은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 합성 컨트랙트를 구성하는 단위 모델의 구성을 도시한 것이다. 도 4는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 인풋 트랜잭션부, 세트 스테이트부, 스테이트 트랜잭션부, 아웃풋 트랜잭션부를 포함하는 단위 모델을 도시한 것이다. 도 5는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 합성 컨트랙트에 대한 예시로서 NFT 담보 대출 컨트랙트 모델로 구현된 것을 도시한 것이다. 도 6은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 단위 모델의 세트 스테이트부가 모델을 구성하는 데이터의 집합을 도시한 것이다. 도 7은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 단위 모델의 인풋 트랜잭션부를 통해 수행된 입력 데이터에 대한 결과가 세트 스테이트부에 결과로 제공된 것을 도시한 것이다. 도 8은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 단위 모델의 스테이트 트랜잭션부를 통해 수행된 결과가 세트 스테이트부에 결과로 제공된 것을 도시한 것이다. 도 9는 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템 중 합성 컨트랙트가 복수 개의 노드 유닛에 공유되어 각각의 노드들에 의해 검증 및 합의 과정을 거치는 것을 도시한 것이다. 도 10은 본 발명의 일 실시예에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 합성 컨트랙트 시스템에 대한 합성 컨트랙트가 NFT 담보 대출 컨트랙트 모델로 형성된 것을 도시한 예시적인 개념도이다.Figure 1 illustrates a synthetic contract and the sets and functions constituting the synthetic contract in a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention. Figure 2 shows a synthetic contract including an input mapping unit, a contract unit, an inside mapping unit, a sub-contract unit, and an output mapping unit of a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention. . Figure 3 shows the configuration of a unit model constituting a synthetic contract of a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention. Figure 4 shows a unit model including an input transaction unit, a set state unit, a state transaction unit, and an output transaction unit among the synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention. Figure 5 shows an example of a synthetic contract among the synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention, implemented as an NFT collateral loan contract model. FIG. 6 illustrates a set of data constituting a set state unit model of a unit model in a synthetic contract model system through selective combination of unit contracts according to an embodiment of the present invention. Figure 7 shows that the results of input data performed through the input transaction unit of the unit model among the synthetic contract model system through selective combination of unit contracts according to an embodiment of the present invention are provided as results to the set state unit. . Figure 8 shows that the results performed through the state transaction unit of the unit model of the composite contract model system through selective combination of unit contracts according to an embodiment of the present invention are provided as results to the set state unit. Figure 9 illustrates that among the synthetic contract model system through selective combination of unit contracts according to an embodiment of the present invention, the synthetic contract is shared by a plurality of node units and undergoes verification and consensus processes by each node. . Figure 10 is an exemplary conceptual diagram showing that a synthetic contract for a synthetic contract model system through a selective combination of unit contracts according to an embodiment of the present invention is formed as an NFT collateral loan contract model.
본 발명의 경우, 프로토콘(Protocon)의 컨트랙트 모델(contract model)에 관한 것으로, 여기서 프로토콘이라 함은, 프로토콜 기반으로 스스로 운영되는 디지털 경제를 구축하는 것을 목표로 하는 블록체인 프로젝트를 가르킨다. In the case of the present invention, it relates to the contract model of Protocon, where Protocon refers to a blockchain project that aims to build a digital economy that operates itself based on a protocol.
프로토콘은 PBFT알고리즘과 스마트 컨트랙트를 새롭게 정의한 미텀(Mitum)을 기반으로 한다. Protocon is based on Mitum, which redefines the PBFT algorithm and smart contract.
종래의 스마트 컨트랙트의 경우, 코드를 통하여 스스로 실행되도록 하는 전산화된 거래 약속에 대한 것이며, 본원 발명의 컨트랙트 모델의 경우, 종래의 스마트 컨트랙트의 모든 기능을 수용하면서 동시에 단점을 보완한 새로운 컨트랙트 모델에 해당한다. In the case of a conventional smart contract, it is about a computerized transaction promise that is executed on its own through code, and in the case of the contract model of the present invention, it corresponds to a new contract model that accommodates all the functions of the conventional smart contract while complementing its shortcomings. do.
컨트랙트 모델은 블록체인에 연동되는 수많은 응용 시스템과 응용 서비스의 신뢰성(reliability)과 보안성(security)을 보장하는 기반이 될 수 있다. 또한, 프로그램 언어 기반의 종래의 스마트 컨트랙트와는 달리 성능과 블록체인 사용 비용 측면, 개발 효율성 측면, 보안성 측면에서 우수성을 제공할 수 있다. The contract model can be the basis for ensuring the reliability and security of numerous application systems and application services linked to blockchain. In addition, unlike conventional smart contracts based on programming languages, it can provide excellence in terms of performance, blockchain usage cost, development efficiency, and security.
모델 기반의 개발 방법론(Model-based Development 혹은 Model-based systems engineering)의 경우, 높은 복잡도를 가지면서 높은 신뢰성과 보안성을 요구하는 시스템(예컨대, 항공기, 군사무기 등)을 개발할 때 주로 적용하는 방법론에 해당하는 것으로, 본원 발명의 모델 기반의 컨트랙트 모델 유닛(100)의 경우, 종래의 해킹 등의 보안 위협에 대한 스마트 컨트랙트에 대하여 뛰어난 신뢰성과 보안성을 제공할 수 있는 것이다. Model-based development or Model-based systems engineering is a methodology that is mainly applied when developing systems that have high complexity and require high reliability and security (e.g., aircraft, military weapons, etc.) Corresponding to this, the model-based contract model unit 100 of the present invention can provide excellent reliability and security for smart contracts against security threats such as conventional hacking.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 경우, 단위 모델(unit model, M)과 합성 컨트랙트(composite contract, C)에 대하여 기재하고 있는데, 단위 모델(M)의 경우, 더 이상 쪼갤 수 없는 기본 모델에 해당하며, 합성 컨트랙트(C)의 경우, 하나 이상의 단위 모델(M)을 조합하여 만들어내는 컨트랙트 모델에 해당한다. In the case of a composite contract model system through a selective combination of unit contracts according to the present invention, a unit model (M) and a composite contract (C) are described. In the case of the unit model (M), It corresponds to a basic model that cannot be further divided, and in the case of a composite contract (C), it corresponds to a contract model created by combining one or more unit models (M).
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 경우, 소정의 명령에 따른 전사적 데이터 처리를 위한 합성 컨트랙트 시스템에 관한 것이다. The synthetic contract model system through selective combination of unit contracts according to the present invention relates to a synthetic contract system for enterprise-wide data processing according to predetermined commands.
전사적이라 함은, 금융 등 광의적 개념의 모든 자원을 다루겠다는 것으로, 금융자원에 대한 데이터의 처리뿐만 아니라, 넓은 의미로의 자원을 의미할 수 있다. Company-wide refers to handling all resources in a broad sense, such as finance, and can mean not only the processing of data on financial resources, but also resources in a broad sense.
소정의 명령의 경우, 요구되는 출력 값에 대한 입력되는 값에 해당할 수 있다. In the case of a given command, it may correspond to an input value for a required output value.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은, 컨트랙트 유닛(100), 서브 컨트랙트 유닛(200)을 포함할 수 있다. A synthetic contract model system through a selective combination of unit contracts according to the present invention may include a contract unit 100 and a sub-contract unit 200.
컨트랙트 유닛(100)의 경우, 합성 컨트랙트를 구성하는 소정의 구성 데이터의 집합으로 형성되는 단위 모델로 구성될 수 있다. In the case of the contract unit 100, it may be composed of a unit model formed as a set of predetermined configuration data constituting a synthetic contract.
서브 컨트랙트 유닛(200)의 경우, 컨트랙트 유닛(100)의 소정의 구성 데이터를 전달받는 하위 구성에 해당하는 하위 구성 데이터의 집합으로 형성되어질 수 있다. In the case of the sub-contract unit 200, it may be formed as a set of sub-configuration data corresponding to the sub-configuration that receives predetermined configuration data of the contract unit 100.
서브 컨트랙트 유닛(200)은 컨트랙트 유닛(100)이 출력되는 데이터를 바탕으로 데이터의 결과에 따라 오퍼레이션(operation)을 수행할 수 있다. The sub-contract unit 200 can perform an operation based on the data output by the contract unit 100 according to the results of the data.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은 인풋 매핑부(300), 인사이드 매핑부(400), 아웃풋 매핑부(500)를 포함하는 구성이다. The synthetic contract model system through selective combination of unit contracts according to the present invention includes an input mapping unit 300, an inside mapping unit 400, and an output mapping unit 500.
인풋 매핑부(300), 인사이드 매핑부(400), 아웃풋 매핑부(500)의 경우, 내부의 단위 모델(M)간에 데이터에 대하여 매핑(mapping)하는 것으로, 여기서의 매핑은, 연관성을 관계하여 연결시켜주는 의미를 가진 것으로 볼 수 있다. In the case of the input mapping unit 300, the inside mapping unit 400, and the output mapping unit 500, data is mapped between internal unit models (M), and the mapping here is related to correlation. It can be seen as having a connecting meaning.
먼저, 인풋 매핑부(300)의 경우, 합성 컨트랙트(C)의 외부에서 입력된 데이터를 합성 컨트랙트(C) 내부의 컨트랙트 유닛(100)의 입력으로 매핑해 주는 관계로 구성된다. First, the input mapping unit 300 is configured to map data input from outside the synthesis contract (C) to the input of the contract unit 100 inside the synthesis contract (C).
인사이드 매핑부(400)의 경우, 컨트랙트 유닛(100)과 서브 컨트랙트 유닛 (200)간에 입출력을 매핑해주는 관계로 구성된다. In the case of the inside mapping unit 400, it is configured to map input and output between the contract unit 100 and the sub-contract unit 200.
아웃풋 매핑부(500)의 경우, 서브 컨트랙트 유닛(200)의 출력과 합성 컨트랙트(C)의 출력을 매핑해주는 관계로 구성된다.In the case of the output mapping unit 500, it is configured to map the output of the sub-contract unit 200 and the output of the synthesis contract (C).
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 단위 모델(unit model, M)은, 소정의 파라미터가 입력되고, 요구되는 데이터의 내용과 형식에 따라 결과 값이 출력된다. In the unit model (M) of the synthetic contract model system through selective combination of unit contracts according to the present invention, predetermined parameters are input, and the result is output according to the content and format of the required data.
단위 모델(M)의 경우, 더 이상 쪼갤 수 없는 기본적인 모델에 해당한다. In the case of the unit model (M), it corresponds to a basic model that cannot be further divided.
도 3에 도시된 바와 같이, 단위 모델(M)의 경우, 3개의 함수가 포함되어질 수 있는데, 3개의 함수의 경우, 입력변환 함수(input transform function, λ), 상태변이 함수(state transition function, δ), 출력 함수(output transform function, μ)로 구성될 수 있다.As shown in Figure 3, in the case of the unit model (M), three functions may be included. In the case of the three functions, an input transform function (λ) and a state transition function (state transition function, δ) and an output transform function (μ).
단위 모델(M)에 입력되는 소정의 파라미터의 경우, 입력 값에 해당하는 것으로, 입력 데이터를 의미한다. 입력되는 값의 경우, 입력의 집합(a set of input, X)에 해당하며, 출력되는 값의 경우, 출력의 집합(a set of output, Y)에 해당할 수 있다. In the case of a predetermined parameter input to the unit model (M), it corresponds to an input value and means input data. In the case of an input value, it may correspond to a set of input (X), and in the case of an output value, it may correspond to a set of output (Y).
소정의 파라미터가 입력되면, 단위 모델(M)에 포함된 함수를 통하여 입력 데이터에 의하여 결과 값이 출력되도록 한다. When a predetermined parameter is input, a result value is output based on the input data through a function included in the unit model (M).
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 단위 모델(M)은 단위 모델(M)이 복수 개로 형성되어 선택적인 합성 모델(B)을 형성한다. The unit model (M) of the synthetic contract model system through selective combination of unit contracts according to the present invention is formed by a plurality of unit models (M) to form a selective synthetic model (B).
도 1내지 도 2에 도시된 바와 같이, 단위 모델(M)은 복수 개의 단위 모델(M)로 형성된 합성 모델(B)을 형성할 수 있다. As shown in Figures 1 and 2, the unit model (M) may form a composite model (B) formed of a plurality of unit models (M).
예컨대, 도 5에 도시된 바와 같이, 합성 모델(B)에 해당하는 담보 대출 컨트랙트 모델의 경우, 단위 모델(M2)에 해당하는 담보 컨트랙트 모델과 단위 모델(M3)에 해당하는 대출 컨트랙트 모델이로 형성되어질 수 있는 것이다. For example, as shown in Figure 5, in the case of the collateral loan contract model corresponding to the composite model (B), the collateral contract model corresponding to the unit model (M2) and the loan contract model corresponding to the unit model (M3) It can be formed.
합성 모델(B)의 경우, 복수 개의 단위 모델(M)을 선택적으로 조합함에 따라 다양한 합성 모델(B)에 대한 개발이 가능할 수 있다. In the case of the synthetic model (B), it may be possible to develop various synthetic models (B) by selectively combining a plurality of unit models (M).
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 합성 컨트랙트(C)는, 컨트랙트 유닛(100)으로부터 서브 컨트랙트 유닛(200)까지 입출력 관계가 형성되며, 서브 컨트랙트 유닛(200)은 컨트랙트 유닛(100)의 소정의 구성 데이터의 집합을 바탕으로 입출력 데이터를 형성한다.The synthetic contract (C) of the synthetic contract model system through the selective combination of unit contracts according to the present invention forms an input-output relationship from the contract unit 100 to the sub-contract unit 200, and the sub-contract unit 200 Input/output data is formed based on a set of predetermined configuration data of the contract unit 100.
도 1에 도시된 바와 같이 합성 컨트랙트(C)는, 4개의 집합과 3개의 관계쌍의 집합으로 구성되어진다. As shown in Figure 1, the composite contract (C) is composed of four sets and three relationship pairs.
4개의 집합의 경우, 입력(a set of inputs, X)과 출력(a set of outputs, Y)의 집합, 합성 컨트랙트(C)를 구성하는 단위 모델(M)의 집합(a set of unit contract models, Mi), 하위 합성 모델(B)(또는 단위 모델(M))의 집합(a set of unit composite contract models, Cj)에 해당한다. In the case of four sets, a set of inputs (X) and a set of outputs (Y), a set of unit contract models (M) constituting the composite contract (C) , M i ), corresponds to a set of unit composite contract models (C j ) of the sub-composite model (B) (or unit model (M)).
3개의 관계 쌍의 경우, 합성 컨트랙트(C) 외부에서 입력된 데이터를 내부 단위 모델(M)의 입력으로 매핑해주는 관계(Rxx), 내부 단위 모델(M) 간 입출력을 매핑해주는 관계(Rxy), 내부 단위 모델(M)의 출력과 합성 컨트랙트(C)의 출력을 매핑해주는 관계(Ryy)로 구성되어진다. In the case of three relationship pairs, a relationship (Rxx) that maps data input from outside the composite contract (C) to the input of the internal unit model (M), a relationship (Rxy) that maps input and output between the internal unit models (M), It consists of a relationship (Ryy) that maps the output of the internal unit model (M) and the output of the synthesis contract (C).
또한, 3개의 관계 쌍의 경우, 매핑을 형성해주는 관계를 제공할 수 있다. Additionally, in the case of three relationship pairs, the relationship that forms the mapping can be provided.
3개의 관개 쌍에서 외부에서 입력된 데이터를 내부 단위 모델(M)의 입력으로 매핑해주는 관계(Rxx)는 와 같은 함수에 해당할 수 있다.The relationship (Rxx) that maps externally input data from the three irrigation pairs to the input of the internal unit model (M) is It may correspond to a function such as .
또한, 3개의 관개 쌍에서 내부 단위 모델(M) 간 입출력을 매핑해주는 관계(Rxy)는, 와 같은 함수에 해당할 수 있다. In addition, the relationship (Rxy) that maps the input and output between the internal unit models (M) in the three irrigation pairs is, It may correspond to a function such as .
아울러, 3개의 관개 쌍에서 내부 단위 모델(M)의 출력과 합성 컨트랙트(C)의 출력을 매핑해주는 관계(Ryy)의 경우, 와 같은 함수에 해당할 수 있다.In addition, in the case of the relationship (Ryy) that maps the output of the internal unit model (M) and the output of the synthetic contract (C) in the three irrigation pairs, It may correspond to a function such as .
NFT를 담보로 하는 담보대출 합성 컨트랙트 모델의 경우를 예로 살펴보면, 도 5에 도시된 바와 같이, NFT컨트랙트 모델(M1)은 NFT 입력을 받아 단위 모델 내에 어카운트에 NFT를 보유하며, NFT를 바탕으로 담보 증권을 만들어내는 담보 컨트랙트 모델(M2), 담보 증권을 바탕으로 대출 결과에 따라 암호화폐를 대출자에게 전달하는 대출 컨트랙트 모델(M3)로 도 5에 표시된 화살표와 같이 입출력 관계를 형성할 수 있다. Looking at the example of a collateral loan synthetic contract model using NFT as collateral, as shown in Figure 5, the NFT contract model (M1) receives NFT input, holds the NFT in the account within the unit model, and collateralizes based on the NFT. An input-output relationship can be formed as shown by the arrow in Figure 5 with a collateral contract model (M2) that creates securities and a loan contract model (M3) that delivers cryptocurrency to the borrower according to the loan results based on collateral securities.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 단위 모델(M)은, 세트 스테이트부(20), 인풋 트랜잭션부(10), 스테이트 트랜잭션부(30), 아웃풋 트랜잭션부(40)를 포함하는 구성이다. The unit model (M) of the synthetic contract model system through a selective combination of unit contracts according to the present invention includes a set state unit 20, an input transaction unit 10, a state transaction unit 30, and an output transaction unit 40. ) is a composition that includes.
먼저, 세트 스테이트부(20)의 경우, 단위 모델(M)을 구성하는 소정의 구성 데이터의 집합(a set of states, S)으로 형성된다.First, in the case of the set state unit 20, it is formed as a set of states (S) of predetermined configuration data constituting the unit model (M).
도 4에 도시된 바와 같이 단위 모델(M)의 경우, 단위 모델(M)내에 세트 스테이트부(20)가 제공되는데, 세트 스테이트부(20)는 데이터의 집합으로 형성된다. As shown in FIG. 4, in the case of the unit model (M), a set state unit 20 is provided within the unit model (M), and the set state unit 20 is formed as a set of data.
세트 스테이트부(20)는 데이터의 집합으로서 단위 모델(M)의 모델의 상태를 나타낼 수 있는데, 모델의 상태는 모델(model)을 구성하는 데이터의 집합을 의미한다. The set state unit 20 is a set of data and can represent the model state of the unit model (M). The model state means a set of data constituting the model.
예컨대, 단위 모델(M)이 블록체인 상에서 어카운트(account) 간 토큰을 전송하는 오퍼레이션(operation)을 수행하는 경우, 세트 스테이트부(20)의 경우, 도 6에 도시된 바와 같이, 생성된 토큰을 보유하고 있는 어카운트(account)와 토큰의 개수(Token account)를 쌍으로 하는 데이터의 집합에 해당할 수 있다. For example, when the unit model (M) performs an operation to transfer tokens between accounts on the blockchain, in the case of the set state unit 20, as shown in FIG. 6, the generated token It may correspond to a set of data that pairs the account held and the number of tokens (Token account).
데이터의 집합의 경우, 모델 유닛(M)의 상태(예컨대, 어카운트와 생성된 토큰의 개수 및 토큰의 보유 수)를 나타낼 수 있는 것이다. In the case of a set of data, it can represent the status of the model unit (M) (eg, the number of accounts and tokens created and the number of tokens held).
도 6에 대한 예시는 단위 모델(M)의 구조와 이해를 돕기 위한 것으로서, 미텀 커런시(Mitum currency)모델을 예시로 들어 도시하고 설명한 것이다.The example in FIG. 6 is intended to aid the structure and understanding of the unit model (M), and is shown and explained using the Mitum currency model as an example.
인풋 트랜잭션부(10)의 경우, 입력되는 소정의 파라미터를 세트 스테이트부(20)의 원소 데이터로 변환한다. In the case of the input transaction unit 10, predetermined input parameters are converted into element data of the set state unit 20.
인풋 트랜잭션부(10)는 입력변환 함수(input transform function, λ)에 해당할 수 있다. The input transaction unit 10 may correspond to an input transform function (λ).
입력변환 함수(input transform function, λ)의 경우, X(a set of inputs)→S(a set of states)로 입력된 데이터를 상태집합의 원소로 변환한다. In the case of the input transform function (λ), the input data is converted into elements of the state set as X (a set of inputs) → S (a set of states).
원소 데이터의 경우, 입력된 데이터(파라미터)가 상태집합의 원소로 변환되는 것으로, 집합을 이루는 요소로 변환되는 것에 해당할 수 있다.In the case of element data, input data (parameters) are converted into elements of a state set, which may correspond to conversion into elements forming a set.
도 7에 도시된 바와 같이, 예컨대, 어카운트 0xa374에서 어카운트0xb28d로 25개의 토큰을 전송하는 경우, 인풋 트랜잭션부(10)에 입력되는 입력 데이터는 다음과 같이 입력되어질 수 있다. As shown in FIG. 7, for example, when transferring 25 tokens from account 0xa374 to account 0xb28d, input data input to the input transaction unit 10 may be input as follows.
x = (0xa374, 0xa28d, 25) ∈ Xx = (0xa374, 0xa28d, 25) ∈ X
입력된 입력 데이터에 따라, 인풋 트랜잭션부(10)의 입력변환 함수(λ)의 수행결과는 도 6과 같이 세트 스테이트부(20)의 어카운트(account), 토큰개수(token account), Difference를 통하여 모델을 구성하는 데이터의 집합으로 나타날 수 있다. According to the input data, the execution result of the input conversion function (λ) of the input transaction unit 10 is calculated through the account, token number, and difference of the set state unit 20, as shown in FIG. 6. It can appear as a set of data that constitutes a model.
스테이트 트랜잭션부(30)는, 소정의 구성 데이터의 연산을 통해 소정의 구성 데이터의 집합에 대한 상태를 변환한다.The state transaction unit 30 converts the state of a set of predetermined configuration data through operations on the predetermined configuration data.
스테이트 트랜잭션부(30)의 경우, 상태변이 함수(state transition function, δ)에 해당할 수 있다. In the case of the state transaction unit 30, it may correspond to a state transition function (δ).
상태변이 함수(state transition function, δ)의 경우, S(a set of states)→S(a set of states)로 상태 데이터에 대한 연산을 통해 상태를 바꾸는 연산을 수행하게 된다. In the case of the state transition function (δ), an operation to change the state is performed through an operation on the state data from S(a set of states) → S(a set of states).
인풋 트랜잭션부(10)를 통해 입력된 파라미터의 경우, 세트 스테이트 트랜잭션부(30)를 통하여 구성 데이터에 대한 상태가 변환되도록 하고, 도 8에 도시된 바와 같이, 변화된 어카운트(account)에 대한 상태 집합을 나타낼 수 있다.In the case of parameters input through the input transaction unit 10, the state for the configuration data is converted through the set state transaction unit 30, and as shown in FIG. 8, the state set for the changed account (account) can indicate.
아웃풋 트랜잭션부(40)의 경우, 요구되는 데이터의 내용과 형식에 따라 결과 값을 출력한다. In the case of the output transaction unit 40, the result value is output according to the content and format of the requested data.
아웃풋 트랜잭션부(40)는 출력 함수(output transform function, μ)에 해당할 수 있다. The output transaction unit 40 may correspond to an output function (output transform function, μ).
출력 함수(output transform function, μ)의 경우, S(a set of states)→Y(a set of outputs)로 상태 데이터에서 요구되는 데이터 내용과 형식에 따라 값을 출력해 주는 함수에 해당한다. In the case of the output transform function (μ), it corresponds to a function that outputs a value according to the data content and format required in the state data as S (a set of states) → Y (a set of outputs).
도 8에 도시된 바와 같이, 예컨대, 세트 스테이트부(20)가 구성하는 구성 데이터의 집합이 어카운트(account)와 토큰의 개수(token account)에 대한 구성 데이터의 집합에 해당하는 경우, 출력 데이터는, 변화된 토큰의 개수(count)에 대한 데이터를 출력데이터로 제공할 수 있는 것이다. As shown in FIG. 8, for example, if the set of configuration data constituted by the set state unit 20 corresponds to a set of configuration data for an account and the number of tokens (token account), the output data is , data on the number (count) of changed tokens can be provided as output data.
아웃풋 트랜잭션부(30)는 요구되는 데이터의 내용과 형식에 따라 오퍼레이션 수행결과의 성공 여부 또는 변화된 구성 데이터의 집합 정보 중 어느 하나에 대하여 출력 값으로 설정할 수 있다. The output transaction unit 30 can set either the success of the operation performance result or the set information of changed configuration data as an output value depending on the content and format of the requested data.
예컨대, 출력되는 출력 값이 구성 데이터의 집합 정보의 경우, 어카운트(account)의 토큰 카운트(token count)에 해당할 수도 있으며, 토큰 전송에 대한 성공 여부에 해당할 수도 있는 것이다.For example, if the output value is set information of configuration data, it may correspond to the token count of the account or whether the token transmission was successful.
아울러, 다양한 단위 모델(M)을 개발하는 경우, 인풋 트랜잭션부(10)의 입력변환 함수(λ), 스테이트 트랜잭션부(30)의 상태변이 함수(δ), 아웃풋 트랜잭션부(40)의 출력 함수(μ)와 세트 스테이트부(20)의 모델의 집합, 입력 값, 출력 값을 정의하고, 정의된 내용에 따라 프로그래밍 언어에 종속되지 않고 단위 컨트랙트의 개발이 가능하도록 하는 구성이다. In addition, when developing various unit models (M), the input conversion function (λ) of the input transaction unit 10, the state transition function (δ) of the state transaction unit 30, and the output function of the output transaction unit 40 It is a configuration that defines the model set, input value, and output value of (μ) and the set state unit 20, and enables the development of a unit contract according to the defined contents without being dependent on the programming language.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 단위 모델(M)은, 단위 모델(M)의 동작의 경우, 인풋 트랜잭션부(10)의 입력변환 함수(λ), 스테이트 트랜잭션부(30)의 상태변이 함수(δ), 아웃풋 트랜잭션부(40)의 출력 함수(μ)의 연속동작으로 하나의 오퍼레이션을 수행하는 것이다. The unit model (M) of the synthetic contract model system through the selective combination of unit contracts according to the present invention is, in the case of operation of the unit model (M), the input conversion function (λ) of the input transaction unit 10, the state transaction One operation is performed through continuous operation of the state transition function (δ) of the unit 30 and the output function (μ) of the output transaction unit 40.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 합성 컨트랙트(C)는 단위 모델(M)이 선택적으로 선별되어, 단위 모델(M)의 조합을 통하여 합성 컨트랙트(C)가 구성될 수 있다. In the synthetic contract (C) of the synthetic contract model system through selective combination of unit contracts according to the present invention, the unit model (M) is selectively selected, and the synthetic contract (C) is formed through the combination of the unit models (M). It can be.
합성 컨트랙트(C)의 경우, 이미 검증된 단위 모델(M)들을 구성요소로 하여, 예컨대, 레고 블록을 이용하여 다양한 완성품을 만드는 것과 같이, 단위 모델(M)들을 하나하나 쌓아 나가는 방식으로 형성되는 것이다. In the case of a synthetic contract (C), it is formed by using already verified unit models (M) as components and building up the unit models (M) one by one, for example, like making various finished products using Lego blocks. will be.
합성 컨트랙트(C)의 경우, 블록처럼 쌓아가며 형성됨으로 인하여, 미숙하거나 잘못된 프로그래밍 언어의 사용으로 인한 보안 취약성 발생 소지를 예방할 수 있다. In the case of synthetic contracts (C), since they are formed by stacking them like blocks, it is possible to prevent security vulnerabilities due to the use of immature or incorrect programming languages.
예컨대, 도 5 및 도 10에 도시된 바와 같이, 합성 컨트랙트(C)를 NFT담보 대출 컨트랙트 모델로 형성하고자 하는 경우, NFT를 입력받아 합성 컨트랙트(C) 내 컨트랙트 어카운트에 NFT를 보유하는 NFT 단위 모델(M)과, 담보를 바탕으로 대출을 발생시키는 담보 대출 합성 모델(B)로 구성된다. 또한, 담보 대출 합성 모델(B)은 담보를 바탕으로 담보 증권을 만들어 내는 담보 단위 모델(M)과 담보 증권을 바탕으로 대출 결과에 따라 암호화페를 대출자에게 전달하는 대출 단위 모델(M)로 구성되어지는 것이다. For example, as shown in Figures 5 and 10, if you want to form a synthetic contract (C) as an NFT collateral loan contract model, an NFT unit model that receives NFT as input and holds the NFT in the contract account within the synthetic contract (C) It consists of (M) and a collateral loan synthesis model (B) that generates loans based on collateral. In addition, the collateral loan synthesis model (B) consists of a collateral unit model (M) that creates collateral securities based on collateral and a loan unit model (M) that delivers cryptocurrency to the borrower according to the loan results based on collateral securities. It will be done.
예시적으로 도면 및 설명과 같이, 합성 컨트랙트(C)에는 충분히 검증된 단위 모델(M)들을 조합하여, 시장 및 고객의 요구사항을 충족시키는 다양한 합성 컨트랙트(C)를 만들어낼 수 있다. As an example, as shown in the drawing and explanation, the composite contract (C) can be combined with sufficiently verified unit models (M) to create various composite contracts (C) that meet market and customer requirements.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템은 복수 개의 노드 유닛(600)을 포함하는 구성이다. The synthetic contract model system through selective combination of unit contracts according to the present invention is configured to include a plurality of node units 600.
복수 개의 노드 유닛(600)의 경우, 미리 설정된 바운더리 내 존재하는 복수 개의 노드에 합성 컨트랙트(C)의 트랜잭션 정보가 상호 공유되도록 한다. In the case of a plurality of node units 600, transaction information of the synthesis contract (C) is shared with a plurality of nodes existing within a preset boundary.
복수 개의 노드 유닛(600)의 경우, 미리 설정된 바운더리(boundary) 내 존재하는 복수 개의 노드(Node)에 합성 컨트랙트(C)의 트랜잭션 정보가 상호 공유되도록 한다. In the case of a plurality of node units 600, transaction information of the synthesis contract (C) is shared with a plurality of nodes existing within a preset boundary.
복수 개의 노드(Node)의 경우, 미리 설정된 합의 그룹으로 형성될 수 있다. In the case of multiple nodes, they can be formed into preset consensus groups.
트랜잭션 정보의 경우, 합성 컨트랙트(C)의 형성, 합성 컨트랙트(C)에 반영되는 함수에 대한 구성, 합성 컨트랙트(C)에 대한 이벤트 기록, 합성 컨트랙트(C)의 수정, 변경 등에 대한 합성 컨트랙트(C)에 부수될 수 있는 모든 이벤트를 총 망라하게 된다. In the case of transaction information, the synthetic contract ( It encompasses all events that may be incidental to C).
복수 개의 노드(Node)의 경우, 미리 설정된 합의 그룹으로 형성되는 것으로 복수 개의 노드 유닛(600)의 경계를 구획하는 바운더리(boundary)와 노드의 개수 그리고 어떤 노드에 포함할지에 대한 정보는 미리 설정하는 것이 바람직하다. In the case of a plurality of nodes, which are formed from a preset consensus group, the boundary delimiting the plurality of node units 600, the number of nodes, and information on which nodes to include are preset. It is desirable.
본 발명에 따른 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템의 복수 개의 노드 유닛(600)은, 복수 개의 노드 각각이 합성 컨트랙트(C)과 트랜잭션 정보를 상호 매칭 비교하여 합성 컨트랙트(C)과 합성 컨트랙트(C)의 트랜잭션 정보가 상호 매칭되는지 확인할 수 있다. The plurality of node units 600 of the synthetic contract model system through the selective combination of unit contracts according to the present invention allows each of the plurality of nodes to match and compare the synthetic contract (C) and transaction information to create a synthetic contract (C) and You can check whether the transaction information of the synthetic contract (C) matches each other.
복수 개의 노드 유닛(600)의 경우, 각각의 노드는 합성 컨트랙트(C)와 트랜잭션 정보를 상호 교차적으로 매칭 비교함을 통하여 합성 컨트랙트(C)과 트랜잭션 정보가 상호 정합되는지를 매칭 비교하고 발생된 이벤트에 대하여서는 합치되도록 하는 것이 바람직하다. In the case of a plurality of node units 600, each node cross-matches and compares the synthetic contract (C) and the transaction information to determine whether the synthetic contract (C) and the transaction information match each other, and generates It is desirable to ensure that events are consistent.
도 9에 도시된 바와 같이, 복수 개의 노드(Node 1~8) 중 어느 하나의 노드(Node)에서 합성 컨트랙트(C)에 대한 트랜잭션 정보가 발생되면, 복수 개의 노드에 공유된 합성 컨트랙트(C)에 대한 트랜잭션 정보를 각각 비교하고, 복수 개의 노드 중 어느 하나의 노드를 통하여 합성 컨트랙트(C)에서 발생된 이벤트에 대한 수정 또는 변경 여부를 결정한다. As shown in Figure 9, when transaction information for the synthetic contract (C) is generated in any one of the plurality of nodes (Nodes 1 to 8), the synthetic contract (C) shared by the plurality of nodes The transaction information for each is compared, and whether to modify or change the event occurring in the synthetic contract (C) is determined through one of the plurality of nodes.
어느 하나의 노드에서 발생된 이벤트를 통하여 노드 상호 간의 데이터에 대한 정합이 이루어지지 않으면, 컨트랙트 유닛(100), 서브 컨트랙트 유닛(200), 인풋 매핑부(300), 인사이드 매핑부(400), 아웃풋 매핑부(500)로부터 소싱되지 않은 정보는 선택적으로 제거되고, 노드 상호 간에 데이터에 대한 정합이 이루어지도록 한다.If data between nodes is not matched through an event occurring in one node, the contract unit 100, sub-contract unit 200, input mapping unit 300, inside mapping unit 400, output Information that is not sourced from the mapping unit 500 is selectively removed, and data matching is achieved between nodes.
종래의 스마트 컨트랙트의 경우, 예컨대, 이더리움이 제시한 스마트 컨트랙트는 구조상 동일한 기능을 하는 컨트랙트들이 프로젝트별로 중복으로 다수의 블록에 저장되고 실행된 것인데 반해, 본원 발명의 합성 컨트랙트(C)의 경우, 동일한 기능을 필요로 하는 컨트랙트들은 동일한 단위 모델(M) 호출하게 되므로 전체 컴퓨팅 자원을 효율적으로 사용할 수 있으며, 코드의 무분별한 하드포크(프로토콜이 어느 한 시점에서 급격하게 변경되는 것)에 따른 보안 취약성을 방지할 수 있게 되었다. In the case of a conventional smart contract, for example, the smart contract proposed by Ethereum is a structure in which contracts with the same function are stored and executed in multiple blocks in duplicate for each project, whereas in the case of the synthetic contract (C) of the present invention, Contracts that require the same function call the same unit model (M), so overall computing resources can be used efficiently, and security vulnerabilities caused by indiscriminate hard forks of the code (where the protocol changes suddenly at any point) are eliminated. It was possible to prevent it.
본 발명의 권리 범위는 특허청구범위에 기재된 사항에 의해 결정되며, 특허 청구범위에 사용된 괄호는 선택적 한정을 위해 기재된 것이 아니라, 명확한 구성요소를 위해 사용되었으며, 괄호 내의 기재도 필수적 구성요소로 해석되어야 한다.The scope of rights of the present invention is determined by the matters stated in the patent claims, and the parentheses used in the patent claims are not used for selective limitation, but are used for clear elements, and the descriptions within the parentheses are also interpreted as essential elements. It has to be.
C: 합성 컨트랙트(composite contract)
M: 단위 모델(unit model)
B: 합성 모델
10: 인풋 트랜잭션부
20: 세트 스테이트부
30: 스테이트 트랜잭션부
40: 아웃풋 트랜잭션부
100: 컨트랙트 유닛(contract unit)
200: 서브 컨트랙트 유닛(sub contract unit)
300: 인풋 매핑부
400: 인사이드 매핑부
500: 아웃풋 매핑부
600: 복수 개의 노드 유닛C: composite contract
M: unit model
B: synthetic model
10: Input transaction unit
20: Set state section
30: State transaction unit
40: Output transaction unit
100: contract unit
200: sub contract unit
300: Input mapping unit
400: Inside mapping unit
500: Output mapping unit
600: Multiple node units
Claims (10)
상기 합성 컨트랙트를 구성하는 소정의 구성 데이터의 집합으로 형성되는 단위 모델로 구성되는 컨트랙트 유닛(contract unit); 및
상기 컨트랙트 유닛의 상기 소정의 구성 데이터를 전달받는 하위 구성에 해당하는 하위 구성 데이터의 집합으로 형성되는 서브 컨트랙트 유닛(sub contract unit)을 포함하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
In a synthetic contract system for enterprise-wide data processing according to a predetermined command,
a contract unit consisting of a unit model formed from a set of predetermined configuration data constituting the synthetic contract; and
Composition through selective combination of unit contracts, characterized in that it includes a sub-contract unit formed as a set of sub-configuration data corresponding to a sub-configuration that receives the predetermined configuration data of the contract unit. Contract model system.
상기 합성 컨트랙트의 외부에서 입력된 데이터를 상기 합성 컨트랙트 내부의 상기 컨트랙트 유닛의 입력으로 매핑해주는 인풋 매핑부;
상기 컨트랙트 유닛과 상기 서브 컨트랙트 유닛 간에 입출력을 매핑해주는 인사이드 매핑부; 및
상기 서브 컨트랙트 유닛의 출력과 상기 합성 컨트랙트의 출력을 매핑해주는 아웃풋 매핑부를 포함하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The system of claim 1, wherein:
an input mapping unit that maps data input from outside the composite contract to an input of the contract unit inside the composite contract;
an inside mapping unit that maps input and output between the contract unit and the sub-contract unit; and
A composite contract model system through selective combination of unit contracts, comprising an output mapping unit that maps the output of the sub-contract unit and the output of the composite contract.
소정의 파라미터가 입력되고, 요구되는 데이터의 내용과 형식에 따라 결과 값이 출력되는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The method of claim 2, wherein the unit model is:
A synthetic contract model system through selective combination of unit contracts, characterized in that predetermined parameters are input and result values are output according to the content and format of the required data.
상기 단위 모델이 복수 개로 형성된 합성 모델의 집합으로 형성되어 선택적인 합성 모델을 형성하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The method of claim 3, wherein the unit model is:
A synthetic contract model system through selective combination of unit contracts, characterized in that the unit model is formed as a set of a plurality of synthetic models to form a selective synthetic model.
상기 컨트랙트 유닛으로부터 상기 서브 컨트랙트 유닛까지 입출력 관계가 형성되며,
상기 서브 컨트랙트 유닛은 상기 컨트랙트 유닛의 상기 소정의 구성 데이터의 집합을 바탕으로 입출력 데이터를 형성하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The method of claim 4, wherein the synthetic contract is:
An input-output relationship is formed from the contract unit to the sub-contract unit,
A synthetic contract model system through selective combination of unit contracts, wherein the sub-contract unit forms input and output data based on the set of predetermined configuration data of the contract unit.
상기 단위 모델을 구성하는 상기 소정의 구성 데이터의 집합으로 형성되는 세트 스테이트부;
입력되는 상기 소정의 파라미터를 상기 세트 스테이트부의 원소 데이터로 변환하는 인풋 트랜잭션부;
상기 소정의 구성 데이터의 연산을 통해 상기 소정의 구성 데이터의 집합에 대한 상태를 변환하는 스테이트 트랜잭션부; 및
상기 요구되는 데이터의 내용과 형식에 따라 결과 값을 출력하는 아웃풋 트랜잭션부를 포함하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The method of claim 4, wherein the unit model is:
a set state unit formed as a set of the predetermined configuration data constituting the unit model;
an input transaction unit that converts the predetermined input parameter into element data of the set state unit;
a state transaction unit that converts the state of the set of predetermined configuration data through calculation of the predetermined configuration data; and
A synthetic contract model system through selective combination of unit contracts, comprising an output transaction unit that outputs a result value according to the content and format of the requested data.
상기 소정의 명령에 대하여 상기 인풋 트랜잭션부, 상기 스테이트 트랜잭션부, 상기 아웃풋 트랜잭션부의 연속적인 작업을 통하여 상기 소정의 명령에 대한 오퍼레이션을 수행하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The method of claim 6, wherein the unit model is:
A composite contract through a selective combination of unit contracts, characterized in that an operation for the given command is performed through successive operations of the input transaction unit, the state transaction unit, and the output transaction unit. model system.
상기 단위 모델이 선택적으로 선별되어, 상기 단위 모델의 조합을 통하여 상기 합성 컨트랙트가 구성되는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The method of claim 1, wherein the synthetic contract is:
A synthetic contract model system through selective combination of unit contracts, characterized in that the unit model is selectively selected and the synthetic contract is constructed through a combination of the unit models.
미리 설정된 바운더리 내 존재하는 복수 개의 노드에 상기 합성 컨트랙트의 트랜잭션 정보가 상호 공유되도록 하는 복수 개의 노드 유닛을 포함하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The system of claim 1, wherein:
A synthetic contract model system through selective combination of unit contracts, characterized in that it includes a plurality of node units that allow transaction information of the synthetic contract to be mutually shared with a plurality of nodes existing within a preset boundary.
상기 복수 개의 노드 각각이 상기 합성 컨트랙트와 상기 트랜잭션 정보를 상호 매칭 비교하여 상기 합성 컨트랙트와 상기 트랜잭션 정보가 상호 매칭되는지 확인하는 것을 특징으로 하는, 단위 컨트랙트의 선택적인 조합을 통한 합성 컨트랙트 모델 시스템.
The method of claim 9, wherein the plurality of node units are:
A synthetic contract model system through selective combination of unit contracts, characterized in that each of the plurality of nodes matches and compares the synthetic contract and the transaction information to check whether the synthetic contract and the transaction information match each other.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020220091813A KR20240014271A (en) | 2022-07-25 | 2022-07-25 | System for composite contract model though combining of unit contracts selectively |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020220091813A KR20240014271A (en) | 2022-07-25 | 2022-07-25 | System for composite contract model though combining of unit contracts selectively |
Publications (1)
Publication Number | Publication Date |
---|---|
KR20240014271A true KR20240014271A (en) | 2024-02-01 |
Family
ID=89859198
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1020220091813A KR20240014271A (en) | 2022-07-25 | 2022-07-25 | System for composite contract model though combining of unit contracts selectively |
Country Status (1)
Country | Link |
---|---|
KR (1) | KR20240014271A (en) |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20210056745A (en) | 2019-11-11 | 2021-05-20 | 한국전자기술연구원 | Method for providing intelligent smart contract |
KR20210090611A (en) | 2018-08-30 | 2021-07-20 | 뉴럴리아 테크놀로지스 아이엔씨. | Methods and systems for improved blockchain-implemented smart contracts |
KR20210094866A (en) | 2020-01-22 | 2021-07-30 | 한국전자통신연구원 | Method and apparatus for generating random number in smart contract |
-
2022
- 2022-07-25 KR KR1020220091813A patent/KR20240014271A/en not_active Application Discontinuation
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20210090611A (en) | 2018-08-30 | 2021-07-20 | 뉴럴리아 테크놀로지스 아이엔씨. | Methods and systems for improved blockchain-implemented smart contracts |
KR20210056745A (en) | 2019-11-11 | 2021-05-20 | 한국전자기술연구원 | Method for providing intelligent smart contract |
KR20210094866A (en) | 2020-01-22 | 2021-07-30 | 한국전자통신연구원 | Method and apparatus for generating random number in smart contract |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Dhillon et al. | The DAO hacked | |
Bai et al. | Formal modeling and verification of smart contracts | |
Modi | Solidity Programming Essentials: A beginner's guide to build smart contracts for Ethereum and blockchain | |
CN111681017B (en) | Goods batch true checking method and device based on block chain and electronic equipment | |
WO2021017440A1 (en) | Blockchain-based text similarity detection method and apparatus, and electronic device | |
Lu et al. | NeuCheck: A more practical Ethereum smart contract security analysis tool | |
CN112650978B (en) | Infringement detection method and device based on block chain and electronic equipment | |
CN111539731A (en) | Block chain-based federal learning method and device and electronic equipment | |
Buterin | Ethereum white paper | |
US20200250374A1 (en) | Blockchain-based text similarity detection method, apparatus and electronic device | |
TW202036328A (en) | Blockchain-based resource allocation method and apparatus | |
US10872170B2 (en) | Blockchain-based copyright distribution | |
Garcia Bringas et al. | BlockChain platforms in financial services: current perspective | |
Saini et al. | Blockchain 2. O: A smart contract | |
Kumar et al. | The blockchain technology for secure and smart applications across industry verticals | |
CN111597269A (en) | Block chain-based contract implementation method, device and equipment | |
Altaleb et al. | Decentralized autonomous organizations review, importance, and applications | |
Huang et al. | Deep Smart Contract Intent Detection | |
KR20240014271A (en) | System for composite contract model though combining of unit contracts selectively | |
Dong et al. | A new approach to prevent reentrant attack in solidity smart contracts | |
Singhal et al. | How Ethereum Works | |
KR20240014270A (en) | Contract system though providing verification and agreement of the contract model through sharing of the node | |
Li et al. | Research on blockchain smart contracts vulnerability and a code audit tool based on matching rules | |
Kushnir et al. | Developing instrument for investigation of blockchain technology | |
Zahnentferner | Multi-currency ledgers |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
E902 | Notification of reason for refusal |