KR20230094701A - 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치 - Google Patents

스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치 Download PDF

Info

Publication number
KR20230094701A
KR20230094701A KR1020210184059A KR20210184059A KR20230094701A KR 20230094701 A KR20230094701 A KR 20230094701A KR 1020210184059 A KR1020210184059 A KR 1020210184059A KR 20210184059 A KR20210184059 A KR 20210184059A KR 20230094701 A KR20230094701 A KR 20230094701A
Authority
KR
South Korea
Prior art keywords
contract
written
smart contract
smart
information
Prior art date
Application number
KR1020210184059A
Other languages
English (en)
Inventor
박용범
Original Assignee
단국대학교 산학협력단
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 단국대학교 산학협력단 filed Critical 단국대학교 산학협력단
Priority to KR1020210184059A priority Critical patent/KR20230094701A/ko
Publication of KR20230094701A publication Critical patent/KR20230094701A/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/433—Dependency analysis; Data or control flow analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/53—Decompilation; Disassembly

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치가 제공된다. 상기 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법은, 서면 계약서를 나타내는 서면 계약서 정보를 중간 언어로 번역하는 단계, 서면 계약서와 제1 번역 문서의 일치 여부를 확인하는 단계, 중간 언어를 기초로 스마트 컨트랙트를 작성하는 단계 및 서면 계약서와 스마트 컨트랙트의 일치 여부를 검증하는 단계를 포함한다.

Description

스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치{METHOD AND APPARATUS FOR VERIFYING IDENTITY BETWEEN SMART CONTRACT AND ACTUAL CONTRACT}
본 발명은 스마트 컨트랙트 증명 방법 및 장치에 관한 것이다. 보다 상세하게는, 본 발명은 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치에 관한 것이다.
블록체인 플랫폼 사업이 진행됨에 따라 블록체인의 논리를 당담하고 있는 스마트 컨트랙트의 중요성 또한 높아지고 있다. 스마트 컨트랙트는 블록체인 네트워크에서 구동하는 프로그램이다. 스마트 컨트랙트는 실제 계약 조건에 따라서 자동 이체 등을 담당한다. 일반적으로, 실제 서면에 의한 계약은 계약서 자체의 위조 및 변조의 문제를 내포한다. 이를 방지하기 위해 제3자의 공증 등이 필요한데 공증에는 별도의 비용이 소요된다. 스마트 컨트랙트에 작성된 코드가 실제 계약서의 조건을 모두 만족했는지에 대한 검증은 블록체인이 하지 못한다.
등록공보 제10-2253238호, 2021.05.12
본 발명에 개시된 실시예는 스마트 컨트랙트와 서면 계약서 간의 동등성을 확인함으로써 사용자에게 계약에 관한 신뢰성을 제공하는데 그 목적이 있다.
본 발명이 해결하고자 하는 과제들은 이상에서 언급된 과제로 제한되지 않으며, 언급되지 않은 또 다른 과제들은 아래의 기재로부터 통상의 기술자에게 명확하게 이해될 수 있을 것이다.
상술한 기술적 과제를 달성하기 위한 본 발명에 일 측면에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법은, 서면 계약서를 나타내는 서면 계약서 정보를 중간 언어로 번역하여, 중간 언어로 번역된 제1 번역 문서를 나타내는 제1 번역 문서 정보를 생성하는 번역 단계, 서면 계약서 정보와 제1 번역 문서 정보를 기초로 서면 계약서와 제1 번역 문서 간의 일치 여부를 확인하는 확인 단계, 서면 계약서와 제1 번역 문서가 서로 일치함에 응답하여, 중간 언어를 기초로 스마트 컨트랙트를 작성하여 스마트 컨트랙트를 나타내는 스마트 컨트랙트 정보를 생성하는 스마트 컨트랙트 작성 단계, 서면 계약서 정보 및 스마트 컨트랙트 정보를 기초로, 중간 언어를 통해, 스마트 컨트랙트의 내용과 서면 계약서의 내용이 서로 일치하는 여부를 검증하는 검증 단계를 포함한다.
또한, 본 발명의 다른 측면에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치는, 서면 계약서를 나타내는 서면 계약서 정보를 중간 언어로 번역하여, 중간 언어로 번역된 제1 번역 문서를 나타내는 제1 번역 문서 정보를 생성하는 번역부, 서면 계약서 정보와 제1 번역 문서 정보를 기초로 서면 계약서와 제1 번역 문서 간의 일치 여부를 확인하는 확인부,
서면 계약서와 제1 번역 문서가 서로 일치함에 응답하여, 중간 언어를 기초로 스마트 컨트랙트를 작성하여 스마트 컨트랙트를 나타내는 스마트 컨트랙트 정보를 생성하는 스마트 컨트랙트 작성부, 및 서면 계약서 정보 및 스마트 컨트랙트 정보를 기초로, 중간 언어를 통해, 스마트 컨트랙트의 내용과 서면 계약서의 내용이 서로 일치하는 여부를 검증하는 검증부를 포함한다.
이 외에도, 본 발명을 구현하기 위한 다른 방법, 다른 시스템 및 방법을 실행하기 위한 컴퓨터 프로그램을 기록하는 컴퓨터 판독 가능한 기록 매체가 더 제공될 수 있다.
본 발명의 기타 구체적인 사항들은 상세한 설명 및 도면들에 포함되어 있다.
본 발명에 의하면, 스마트 컨트랙트와 서면 계약서 간의 동등성을 확인함으로써 사용자에게 계약에 관한 신뢰성을 제공하는 효과가 있다.
본 발명의 효과들은 이상에서 언급된 효과로 제한되지 않으며, 언급되지 않은 또 다른 효과들은 아래의 기재로부터 통상의 기술자에게 명확하게 이해될 수 있을 것이다.
도 1은 본 발명의 일 실시예에 따른 계약서 매칭 시스템을 설명하기 위한 도면이다.
도 2는 본 발명의 일 실시예에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치를 설명하기 위한 도면이다.
도 3은 본 발명의 일 실시예에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법을 설명하기 위한 흐름도이다.
도 4는 본 발명의 일 실시예에 따라 스마트 컨트랙트 정보를 생성하는 방법을 구체적으로 설명하기 위한 개념도이다.
도 5는 본 발명의 일 실시예에 따라 스마트 컨트랙트와 서면 계약서의 동등성을 검증하는 방법을 구체적으로 설명하기 위한 개념도이다.
도 6은 본 발명의 일 실시예에 따라 컴파일된 스마트 컨트랙트를 테스트하는 방법을 설명하기 구체적으로 설명하기 위한 개념도이다.
도 7은 본 발명의 일 실시예에 따라 중간 언어로 번역된 스마트 컨트랙트와 서면 계약서의 동등성을 검증하는 방법을 구체적으로 설명하기 위한 개념도이다.
명세서 전체에 걸쳐 동일 참조 부호는 동일 구성요소를 지칭한다. 본 명세서가 실시예들의 모든 요소들을 설명하는 것은 아니며, 본 발명이 속하는 기술분야에서 일반적인 내용 또는 실시예들 간에 중복되는 내용은 생략한다. 명세서에서 사용되는 '부, 모듈, 부재, 블록'이라는 용어는 소프트웨어 또는 하드웨어로 구현될 수 있으며, 실시예들에 따라 복수의 '부, 모듈, 부재, 블록'이 하나의 구성요소로 구현되거나, 하나의 '부, 모듈, 부재, 블록'이 복수의 구성요소들을 포함하는 것도 가능하다.
명세서 전체에서, 어떤 부분이 다른 부분과 "연결"되어 있다고 할 때, 이는 직접적으로 연결되어 있는 경우뿐만 아니라, 간접적으로 연결되어 있는 경우를 포함하고, 간접적인 연결은 무선 통신망을 통해 연결되는 것을 포함한다.
또한 어떤 부분이 어떤 구성요소를 "포함"한다고 할 때, 이는 특별히 반대되는 기재가 없는 한 다른 구성요소를 제외하는 것이 아니라 다른 구성요소를 더 포함할 수 있는 것을 의미한다.
제1, 제2 등의 용어는 하나의 구성요소를 다른 구성요소로부터 구별하기 위해 사용되는 것으로, 구성요소가 전술된 용어들에 의해 제한되는 것은 아니다.
단수의 표현은 문맥상 명백하게 예외가 있지 않는 한, 복수의 표현을 포함한다.
각 단계들에 있어 식별부호는 설명의 편의를 위하여 사용되는 것으로 식별부호는 각 단계들의 순서를 설명하는 것이 아니며, 각 단계들은 문맥상 명백하게 특정 순서를 기재하지 않는 이상 명기된 순서와 다르게 실시될 수 있다.
본 명세서에서 사용되는 용어 "정보" 및 "데이터"는 종종 서로 상호교환 가능하도록 사용될 수 있다.
이하 첨부된 도면들을 참고하여 본 발명의 작용 원리 및 실시예들에 대해 설명한다.
본 명세서에서 '본 발명에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치'에는 연산처리를 수행하여 사용자에게 결과를 제공할 수 있는 다양한 장치들이 모두 포함된다. 예를 들어, 본 발명에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치는, 컴퓨터, 서버 장치 및 휴대용 단말기를 모두 포함하거나, 또는 어느 하나의 형태가 될 수 있다.
여기에서, 컴퓨터는 예를 들어, 웹 브라우저(WEB Browser)가 탑재된 노트북, 데스크톱(desktop), 랩톱(laptop), 태블릿 PC, 슬레이트 PC 등을 포함할 수 있다. 서버 장치는 외부 장치와 통신을 수행하여 정보를 처리하는 서버로써, 애플리케이션 서버, 컴퓨팅 서버, 데이터베이스 서버, 파일 서버, 게임 서버, 메일 서버, 프록시 서버 및 웹 서버 등을 포함할 수 있다. 휴대용 단말기는 예를 들어, 휴대성과 이동성이 보장되는 무선 통신 장치일 수 있다. 휴대용 단말기는 모든 종류의 핸드헬드(Handheld) 기반의 무선 통신 장치 또는 웨어러블 장치일 수 있다. 핸드헬드 기반의 무선 통신 장치에는, 예를 들면, PCS(Personal Communication System), GSM(Global System for Mobile communications), PDC(Personal Digital Cellular), PHS(Personal Handyphone System), PDA(Personal Digital Assistant), IMT(International Mobile Telecommunication)-2000, CDMA(Code Division Multiple Access)-2000, W-CDMA(W-Code Division Multiple Access), WiBro(Wireless Broadband Internet) 단말, 스마트 폰(Smart Phone) 등이 포함될 수 있다. 웨어러블 장치는, 예를 들면, 시계, 반지, 팔찌, 발찌, 목걸이, 안경, 콘택트 렌즈, 또는 머리 착용형 장치(head-mounted-device(HMD) 등이 포함될 수 있다.
본 명세서에서의 계약이란 일정한 법률 효과를 발생시킬 목적으로 2인 이상의 당사자 간에 서로 방향을 달리하는 의사 표시의 합의를 말한다. 일방 당사자가 상대방에게 일정한 조건을 제시하고 상대방이 이를 승낙하면, 계약이 성립한다. 계약이 성립되면, 계약 내용에 따라 양 당사자가 구속되는 법적인 효과가 발생한다. 이러한 계약은 청약과 승낙이라는 행위만 있으면 성립되기 때문에 반드시 계약서가 필요한 것은 아니나, 계약서는 계약의 내용 및 절차를 정확히 하여 분쟁을 사전에 방지하고 계약에 관한 가장 기본적인 증거가 되기 때문에, 계약 당사자 간의 계약시에 계약서의 작성은 반드시 필요하다. 계약서를 작성하기 위해서는 법률 용어 및 법률적인 지식 필요하기 때문에 계약서 작성에는 많은 시간과 노력이 소모될 수 있다. 전문가를 고용하여 계약을 생성하는 경우 높은 비용이 발생하며, 계약 당사자들은 계약서 작성에 대한 많은 비용을 전문가에게 지불하여야 하고, 전문가가 서류를 완성해 줄 때까지 많은 시간을 기다려야 하므로, 계약서 작성에 많은 비용과 시간을 낭비하게 되는 문제점이 있다. 또한, 전문가마다 서로 다른 계약 템플릿을 이용할 수 있기 때문에 통일성이 줄어들 수 있다. 서로 다른 계약 템플릿이 난무하는 경우 매번 계약의 해석에 상당한 시간이 소요되어야 한다. 계약 간의 통일성 감소는 결국 가독성의 감소 및 신뢰성의 감소로 이어지게 된다. 또한 일반적인 구두 또는 서면에 의한 계약은 계약 자체의 위조 및 변조의 문제를 내포한다. 이를 방지하기 위해 제3자의 공증 등이 필요한데 공증에는 별도의 비용이 소요된다.
본 명세서에서의 거래는 재화의 소유권을 이전하는 행위를 넘어 모든 종류의 계약을 포함할 수 있다.
도 1은 본 발명의 일 실시예에 따른 계약서 매칭 시스템을 설명하기 위한 도면이다.
도 1을 참조하면, 계약서 매칭 시스템(1)은 사용자 간에 작성된 서면 계약서와 스마트 컨트랙트의 동등성을 검증하는 시스템일 수 있다.
스마트 컨트랙트(smart contract)란 스마트 계약이라고도 지칭되며 블록체인을 기반으로 금융거래, 부동산 계약, 공증 등 다양한 형태의 계약을 체결하고 이행하는 것을 의미한다. 예를 들어, 이더리움(Ethereum)은 스마트 컨트랙트가 구현될 수 있는 블록체인 기반의 암호화폐이다. 하지만, 이는 예시일 뿐이며, 스마트 컨트랙트를 구현할 수 있는 모든 종류의 블록체인에 계약서 매칭 시스템(1)은 적용될 수 있다. 스마트 컨트랙트에서는 스마트 컨트랙트 계좌를 가지고 있는 사람들끼리 트랜잭션(Transaction)이 수행될 수 있다. 즉, 스마트 컨트랙트를 통해 제3 자의 개입이 없이 트랜잭션이 수행될 수 있다. 개인이 다른 개인에게 트랜잭션을 만들 수 있을 뿐만 아니라 개인이 다수에게 또는 개인이 또 다른 스마트 컨트랙트에게 트랜잭션을 만들 수 있다. 각 스마트 컨트랙트는 각자 다른 상태와 로직을 포함하고, 바이트 코드의 형태로 존재할 수 있다. 바이트 코드는, 예를 들어, EVM(Ethereum Virtual Machine)에 의해 실행될 수 있다.
본 발명의 실시예들에 따른 스마트 컨트랙트는 분산 컴파일 및 보상 제공 과정을 수행하기 위한 디지털 언어로 작성되며 임의의 컴퓨팅 장치에서 실행될 수 있다. 즉, 스마트 컨트랙트에 포함된 코드 및/또는 함수가 실행되는 경우, 본 발명의 실시예들에 따른 임의의 형태의 분산 컴파일 및 분산 컴파일에 따른 보상의 제공이 수행될 수 있다.
본 발명의 실시예들에 따른 스마트 컨트랙트는, 새로운 스마트 컨트랙트를 생성하는 방식, 특정 스마트 컨트랙트상의 함수를 실행하는 방식, 또는 블록체인 네트워크에서 동작 가능한 코인을 전송하는 방식 중 적어도 하나에 의해 실행될 수 있다. 또한, 스마트 컨트랙트는 외부 소유 어카운트에 의해서 발생한 트랜잭션이나 다른 컨트랙트에 의해서 실행될 수 있다.
본 개시의 몇몇 실시예에 따른 계약을 생성하기 위한 스마트 컨트랙트는 예를 들어, 무한 반복같은 악의적인 코드를 막고 계약과 관련된 데이터의 무결성을 지키기 위해, 트랜잭션을 실행할 때 특정한 실행 비용을 지급하도록 규정할 수도 있다. 여기서 실행 비용이란 블록체인 네트워크에서 거래 가능한 임의의 형태의 코인 또는 코인과 연동될 수 있는 별도의 다른 형태의 매개체(예컨대, 가스(gas) 등)일 수 있다. 예를 들어, 트랜잭션의 기본 실행 비용은 21,000 가스로 설정될 수 있다. 예를 들어, 이와 같은 실행 비용에는 트랜잭션 발행자의 어카운트 주소에 대한 ECDSA(Elliptic Curve Digital Signature Algorithm)를 처리하기 위한 비용, 트랜잭션 저장을 위한 스토리지 비용, 네트워크 대역폭 비용이 포함될 수 있다. 이와 같이 스마트 컨트랙트 실행 시 특정 비용을 지불하도록 정의되는 경우, 의도적인 디도스 공격과 같은 무한 실행과 같은 악의적인 공격이 방지될 수 있다.
본 개시의 몇몇 실시예에 따른 계약을 구현하는데 있어서, 스마트 컨트랙트의 함수를 컴파일된 코드 형태로 트랜잭션에 포함하여 블록체인을 통해 동기화할 때, 트랜잭션에 포함된 정보를 함수의 입력으로 하여 코드로 표현된 함수를 실행한 후 그 결과를 별도의 상태로 보관하는 방식으로 스마트 컨트랙트가 구현될 수 있다.
블록체인 네트워크 구조는, 퍼블릭(Public) 형일 수도 있고, 프라이빗(Private) 형일 수도 있다. 퍼블릭 형 블록체인 네트워크의 경우 임의의 노드의 참여가 가능하기 때문에 저장된 데이터의 투명성 및 무결성에 있어서 장점이 존재할 수 있다. 또한, 프라이빗 형(또는 컨소시움 형) 블록체인의 경우 운영주체가 명확하기 때문에, 합의 시간, 트랜잭션 처리 속도 및 컴퓨팅 리소스의 사용 효율성의 측면에서는 효율적이라는 장점이 있다.
계약서 매칭 시스템(1)에 의해 비대면 계약이 수행될 수 있다. 계약서 매칭 시스템(1)은 전자상거래 분야에 적용될 수 있다. 계약서 매칭 시스템(1)은 전자상거래에 필용한 계약, 이행, 취소, 환불 등의 트랜잭션을 비대면으로 수행할 수 있다. 수행된 트랜잭션은 복수의 블록체인 노드에 의해 증명될 수 있다. 따라서, 당사자 간의 사기나 일방적인 계약 파기 등은 방지될 수 있다. 이처럼, 계약서 매칭 시스템(1)은 전자상거래 분야의 활성화를 촉진할 수 있다.
계약서 매칭 시스템(1)은 블록체인에 포함된 계약의 내용의 이행을 블록체인을 통해 수행할 수 있다. 계약의 내용의 이행은 하나의 트랜잭션을 형성할 수 있다. 새로 생성된 트랜잭션은 새로 생성된 블록에 포함되어 블록체인 상에 배포될 수 있다. 이를 통해, 계약의 이행은 다수의 블록체인 노드에 의해 증명될 수 있다.
계약서 매칭 시스템(1)은 블록체인에 포함된 계약의 내용의 변경을 블록체인을 통해 수행할 수 있다. 계약의 내용의 변경은 하나의 트랜잭션을 형성할 수 있다. 새로 생성된 트랜잭션은 새로 생성된 블록에 포함되어 블록체인 상에 배포될 수 있다. 이를 통해, 계약의 변경은 다수의 블록체인 노드에 의해 증명될 수 있다.
계약서 매칭 시스템(1)은 사용자 장치(10) 및 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)를 포함할 수 있다.
사용자 장치(10)는, 네트워크를 통해, 서면 계약서를 나타내는 서면 계약서 정보를 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)에 전송할 수 있다. 사용자 장치(10)는 사용자 단말로 지칭될 수 있다. 사용자 장치(10)는 네트워크를 통해 장치에 접속할 수 있는 컴퓨터나 휴대용 단말기로 구현될 수 있다. 여기서, 컴퓨터는 예를 들어, 웹 브라우저(WEB Browser)가 탑재된 노트북, 데스크톱(desktop), 랩톱(laptop), 태블릿 PC, 슬레이트 PC 등을 포함하고, 휴대용 단말기는 예를 들어, 휴대성과 이동성이 보장되는 무선 통신 장치로서, PCS(Personal Communication System), GSM(Global System for Mobile communications), PDC(Personal Digital Cellular), PHS(Personal Handyphone System), PDA(Personal Digital Assistant), IMT(International Mobile Telecommunication)-2000, CDMA(Code Division Multiple Access)-2000, W-CDMA(W-Code Division Multiple Access), WiBro(Wireless Broadband Internet) 단말, 스마트 폰(Smart Phone) 등과 같은 모든 종류의 핸드헬드(Handheld) 기반의 무선 통신 장치와 시계, 반지, 팔찌, 발찌, 목걸이, 안경, 콘택트 렌즈, 또는 머리 착용형 장치(head-mounted-device(HMD) 등과 같은 웨어러블 장치를 포함할 수 있다.
스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)는 사용자 장치(10)로부터 전송된 서면 계약서 정보를 기초로 스마트 컨트랙트를 작성하고, 스마트 컨트랙트와 서면 계약서의 일치 여부를 검증할 수 있다.
도 2는 본 발명의 일 실시예에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치를 설명하기 위한 도면이다.
도 1 및 도 2를 참조하면, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)는 번역부(110), 확인부(120), 스마트 컨트랙트 작성부(130), 검증부(140), 테스트부(150), 및 통신부(160)를 포함할 수 있다.
번역부(110)는, 서면 계약서 정보에 의한 서면 계약서를 중간 언어로 번역하여, 중간 언어로 번역된 제1 번역 문서를 나타내는 제1 번역 문서 정보를 생성할 수 있다. 일 실시에에서, 중간 언어는, 휴먼 리더블(human readable) 언어 및 머신 리더블(machine readable) 언어로 구성될 수 있으나, 이에 한정되는 것은 아니다.
번역부(110)는, 컴파일된 스마트 컨트랙트를 중간 언어로 번역하여, 중간 언어로 번역된 제2 번역 문서를 나타내는 제2 번역 문서 정보를 생성할 수 있다.
확인부(120)는, 서면 계약서 정보와 제1 번역 문서 정보를 기초로, 서면 계약서와 제1 번역 문서 간의 일치 여부를 확인할 수 있다.
확인부(120)는, 서면 계약 정보와 제2 번역 문서 정보를 기초로 서면 계약서와 제2 번역 문서 간의 일치 여부를 확인할 수 있다.
스마트 컨트랙트 작성부(130)는, 서면 계약서와 제1 번역 문서가 서로 일치함에 응답하여, 중간 언어를 기초로 스마트 컨트랙트를 작성하고, 스마트 컨트랙트를 나타내는 스마트 컨트랙트 정보를 생성할 수 있다.
일 실시예에서, 스마트 컨트랙트 작성부(130)는, 중간 언어를 통해서 작성된 스마트 컨트랙트를 컴파일(compile)할 수 있다. 컴파일된 스마트 컨트랙트는 검증부에 제공될 수 있다.
검증부(140)는, 서면 계약서 정보 및 스마트 컨트랙트 정보를 기초로, 중간 언어를 통해, 스마트 컨트랙트의 내용과 서면 계약서의 내용이 서로 일치하는 여부를 검증할 수 있다.
일 실시예에서, 검증부(140)는, 컴파일된 스마트 컨트랙트와 서면 계약서를 검증할 수 있다.
테스트부(150)는, 스마트 컨트랙트가 작성된 이후, 컴파일된 스마트 컨트랙트를 테스트 네트워크를 통하여 정상 작동되는지 여부를 테스트할 수 있다.
일 실시예에서, 테스트가 패스되면, 검증부(140)는, 테스트가 패스됨에 응답하여, 컴파일된 스마트 컨트랙트와 서면 계약서를 검증할 수 있다.
통신부(160)는, 사용자 장치(10)와 통신할 수 있다. 통신부(160)는, 예를 들어, 방송 수신 모듈, 유선 통신 모듈, 무선 통신 모듈, 근거리 통신 모듈, 위치정보 모듈 중 적어도 하나를 포함할 수 있다. 일 실시예에 따른 무선 통신 모듈은 와이파이(Wifi) 모듈, 와이브로(Wireless broadband) 모듈 외에도, GSM(global System for Mobile Communication), CDMA(Code Division Multiple Access), WCDMA(Wideband Code Division Multiple Access), UMTS(universal mobile telecommunications system), TDMA(Time Division Multiple Access), LTE(Long Term Evolution), 4G, 5G, 6G 등 다양한 무선 통신 방식을 지원하는 무선 통신 모듈을 포함할 수 있다. 무선 통신 모듈은 신호를 송신하는 안테나 및 송신기(Transmitter)를 포함하는 무선 통신 인터페이스를 포함할 수 있다. 무선 통신 모듈은 신호를 수신하는 안테나 및 수신기(Receiver)를 포함하는 무선 통신 인터페이스를 포함할 수 있다.
일 실시예에서, 통신부(160)는, 서면 계약서와 제2 번역 문서 간의 일치 여부를 나타내는 일치 정보를 신호로서 사용자 장치(10)에 전송할 수 있다.
도시되지 않았지만, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)는 각종 정보를 저장하는 메모리를 더 포함할 수 있다. 메모리는 본 장치의 다양한 기능을 지원하는 데이터와, 제어부의 동작을 위한 프로그램을 저장할 수 있고, 입/출력되는 데이터들(예를 들어, 음악 파일, 정지영상, 동영상 등)을 저장할 있고, 본 장치에서 구동되는 다수의 응용 프로그램(application program 또는 애플리케이션(application)), 본 장치의 동작을 위한 데이터들, 명령어들을 저장할 수 있다. 이러한 응용 프로그램 중 적어도 일부는, 무선 통신을 통해 외부 서버로부터 다운로드 될 수 있다. 이러한, 메모리는 플래시 메모리 타입(flash memory type), 하드디스크 타입(hard disk type), SSD 타입(Solid State Disk type), SDD 타입(Silicon Disk Drive type), 멀티미디어 카드 마이크로 타입(multimedia card micro type), 카드 타입의 메모리(예를 들어 SD 또는 XD 메모리 등), 램(random access memory; RAM), SRAM(static random access memory), 롬(read-only memory; ROM), EEPROM(electrically erasable programmable read-only memory), PROM(programmable read-only memory), 자기 메모리, 자기 디스크 및 광디스크 중 적어도 하나의 타입의 저장매체를 포함할 수 있다. 또한, 메모리는 본 장치와는 분리되어 있으나, 유선 또는 무선으로 연결된 데이터베이스가 될 수도 있다.
도 2에 도시된 구성 요소들의 성능에 대응하여 적어도 하나의 구성요소가 추가되거나 삭제될 수 있다. 또한, 구성 요소들의 상호 위치는 시스템의 성능 또는 구조에 대응하여 변경될 수 있다는 것은 당해 기술 분야에서 통상의 지식을 가진 자에게 용이하게 이해될 것이다.
한편, 도 2에서 도시된 각각의 구성요소는 소프트웨어 및/또는 Field Programmable Gate Array(FPGA) 및 주문형 반도체(ASIC, Application Specific Integrated Circuit)와 같은 하드웨어 구성요소를 의미한다.
도 3은 본 발명의 일 실시예에 따른 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법을 설명하기 위한 흐름도이다.
도 2 및 도 3을 참조하면, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법은 번역 단계(S10), 확인 단계(S20), 스마트 컨트랙트 작성 단계(S30), 테스트 단계(S40), 검증 단계(S50), 및 통신 단계(S60)를 포함할 수 있다.
번역 단계(S10)는, 번역부(110)가 서면 계약서 정보를 중간 언어로 번역하고, 제1 번역 문서 정보를 생성하는 단계이다.
확인 단계(S20)는, 확인부(120)가 서면 계약서와 번역 문서 간의 일치 여부를 확인하는 단계이다. 여기서, 번역 문서는, 예를 들면, 전술한 제1 번역 문서 또는 제2 번역 문서일 수 있다.
스마트 컨트랙트 작성 단계(S30)는, 서면 계약서와 제1 번역 문서가 서로 일치한 경우, 스마트 컨트랙트 작성부(130)가 중간 언어를 이용하여 스마트 컨트랙트를 작성하여 스마트 컨트랙트 정보를 생성하는 단계이다.
테스트 단계(S40)는, 테스트부(150)가 스마트 컨트랙트를 테스트하는 단계이다.
검증 단계(S50)는, 검증부(140)가 중간 언어를 통해, 스마트 컨트랙트의 내용과 서면 계약서의 내용이 서로 일치하는 여부를 검증하는 단계이다.
통신 단계(S60)는 통신부(160)가 사용자 장치(10)와 통신하는 단계로, 일 실시예에서, 통신 단계(S60)는 통신부가(160) 일치 정보를 사용자 장치(10)에 전송하는 단계이다.
도 4는 본 발명의 일 실시예에 따라 스마트 컨트랙트 정보를 생성하는 방법을 구체적으로 설명하기 위한 개념도이다.
도 2, 도 3, 및 도 4를 참조하면, 계약 동작(210)에서, 계약자 A(211)가 계약자 B(212)와 소정의 계약을 체결하고, 계약한 내용이 포함된 서면 계약서를 작성한다. 그리고, 계약자 A(211) 및/또는 계약자 B(212)는 자신이 사용하는 장치(예를 들면, 도 1에 도시된 사용자 장치(10))를 이용해 작성한 서면 계약서에 관한 서면 계약서 정보(220)를 데이터베이스에 저장한다. 계약자가 사용하는 장치(예를 들면, 도 1에 도시된 사용자 장치(10))는 저장된 서면 계약서 정보(220)를 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)에 전송한다.
스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)는 서면 계약서 정보(220)를 수신하고, 서면 계약서 정보(220)에 따른 서면 계약서에 기재된 내용을 중간 언어로 번역하며, 제1 번역 문서 정보(230)를 생성한다. 제1 번역 문서 정보(230)는 휴먼 리더블 언어 및 머신 리더블 언어로 구성된 제1 번역 문서를 나타내는 정보일 수 있다. 그리고, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)는 서면 계약서 정보(220)에 따른 서면 계약서의 내용과 제1 번역 문서의 내용을 비교하고, 두 구성이 일치하는 지 여부를 확인한다. 만약 서면 계약서의 내용과 제1 번역 문서의 내용이 일치하면, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)는 스마트 컨트랙트를 작성하고, 작성된 스마트 컨트랙트를 컴파일한다. 컴파일된 스마트 컨트랙트를 나타내는 컴파일된 스마트 컨트랙트 정보(340)는 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치(100)에 포함된 메모리(미도시)에 저장될 수 있다.
검증부(140)는, 컴파일된 스마트 컨트랙트의 내용과 서면 계약서의 내용이 일치하는지 여부를 검증한다.
도 5는 본 발명의 일 실시예에 따라 스마트 컨트랙트와 서면 계약서의 동등성을 검증하는 방법을 구체적으로 설명하기 위한 개념도이다.
도 2, 도 3, 및 도 5를 참조하면, 검증부(140)는 제1 동작(310) 및 제2 동작(320)을 수행한다. 제1 동작(310)은 검증부(140)가 서면 계약서 정보(311)와 서면 계약서의 계약 흐름(312) 간의 변환 동작일 수 있다. 예를 들면, 검증부(140)는 서면 계약서 정보(311)를 서면 계약서의 계약 흐름(312)으로 전환하거나 서면 계약서의 계약 흐름(312)을 서면 계약서 정보(311)로 전환할 수 있다. 제2 동작(320)은 검증부(140)가 컴파일된 스마트 컨트랙트 정보(321)와 제어 흐름 그래프(control flow graph, 이하 CFG)(322) 간의 변환 동작일 수 있다. 예를 들면, 검증부(140)는 컴파일된 스마트 컨트랙트 정보(321)를 스마트 컨트랙트의 CFG(322)로 변환하거나 CFG(322)를 컴파일된 스마트 컨트랙트 정보(321)로 변환할 수 있다.
검증부(140)는, 서면 계약서의 계약 흐름(312)과 스마트 컨트랙트의 CFG(322) 간의 유사성을 비교함으로써, 컴파일된 스마트 컨트랙트 정보(321)의 내용과 서면 계약서 정보(311)의 내용이 서로 일치하는 여부를 검증할 수 있다. 구체적으로, 검증부(140)는, 서면 계약서의 계약 흐름(312)과 스마트 컨트랙트의 CFG(322) 간의 유사성이 미리 설정된 기준 유사도 이상인 경우, 컴파일된 스마트 컨트랙트 정보(321)의 내용과 서면 계약서 정보(311)의 내용이 서로 일치하는 것으로 판단할 수 있다.
검증부(140)는, 미리 설정된 유사도 평가 모델(330)을 이용하여 서면 계약서의 계약 흐름(312)과 스마트 컨트랙트의 CFG(322) 간의 유사성을 비교할 수 있다. 유사도 평가 모델(330)에는, 예를 들면, 유클리디언 거리(Euclidean distance), 맨해탄 거리(Manhattan distance), 민코스키 거리(Minkowski distance), 코사인 유사도(Cosine similarity), 마할라노비스 거리(Mahalanobis distance), 자카드 유사도(Jaccard similarity), 평균제곱차이 유사도(Mean squared difference similarity), 피어슨 유사도(Pearson similarity) 등이 포함될 수 있으나, 이에 한정되는 것은 아니다.
검증부(140)는, 서면 계약서의 계약 흐름(312)과 스마트 컨트랙트의 CFG(322) 간의 동등성이 유사도 평가 모델(330)에 의하여 인정되면, 검증부(140)는, 중간 언어로 번역된 번역 문서(340)를 생성할 수 있다.
도 6은 본 발명의 일 실시예에 따라 컴파일된 스마트 컨트랙트를 테스트하는 방법을 설명하기 구체적으로 설명하기 위한 개념도이다.
도 1, 도 2, 및 도 6을 참조하면, 스마트 컨트랙트가 작성되고 작성된이후, 스마트 컨트랙트가 컴파일된 후, 테스트부(150)는, 컴파일된 스마트 컨트랙트 정보(410)를 테스트 네트워크(420)를 통하여 정상 작동되는지 여부를 테스트할 수 있다. 컴파일된 스마트 컨트랙트 정보(410)의 테스트가 패스(pass)하면 즉, 컴파일된 스마트 컨트랙트 정보(410)가 정상적으로 작동되면, 테스트부(150)는 테스트 인증 파일(430)을 생성한다.
검증부(140)는, 테스트부(150)로부터 테스트 인증 파일(430)을 수신하고, 테스트 인증 파일(430)에 의해 테스트가 패스했는지여부를 확인할 수 있다. 테스트 인증 파일(430)에 의해 테스트가 패스한 경우, 검증부(140)는 컴파일된 스마트 컨트랙트 정보(410)와 서면 계약서(예를 들면, 도 5에 도시된 311) 간의 검증을 개시할 수 있다.
도 7은 본 발명의 일 실시예에 따라 중간 언어로 번역된 스마트 컨트랙트와 서면 계약서의 동등성을 검증하는 방법을 구체적으로 설명하기 위한 개념도이다.
도 1, 도 2, 및 도 7을 참조하면, 번역부(110)는, 서면 계약 정보(510), 제2 번역 문서 정보(520), 및 컴파일된 스마트 컨트랙트 정보(530)를 생성할 수 있다. 예를 들면, 번역부(110)는, 컴파일된 스마트 컨트랙트 정보(530)를 이용하여, 컴파일된 스마트 컨트랙트를 중간 언어로 번역하고, 중간 언어로 번역된 제2 번역 문서를 나타내는 제2 번역 문서 정보(520)를 생성할 수 있다. 다른 예를 들면, 번역부(110)는, 제2 번역 문서 정보(520)를 이용하여, 제2 번역 문서를 중간 언어로 번역하고, 중간 언어로 번역된 서면 계약서를 나타나내는 서면 계약 정보(510)를 생성할 수 있다. 하지만, 이에 한정되는 것은 아니다.
확인부(120)는, 서면 계약 정보(510)와 제2 번역 문서 정보(520)를 기초로 서면 계약서와 제2 번역 문서 간의 일치 여부를 확인할 수있다. 서면 계약서와 제2 번역 문서가 서로 일치하면, 통신부(160)는 서면 계약서와 제2 번역 문서 간의 일치 여부를 나타내는 일치 정보를 사용자 장치(10)에 전송할 수 있다. 이에 따라, 사용자 장치(10)를 사용하는 사용자는, 필요한 경우에 언제든지 컴파일된 스마트 컨트랙트가 서면 계약서와 일치하는지 여부를 확인할 수 있다.
한편, 개시된 실시예들은 컴퓨터에 의해 실행 가능한 명령어를 저장하는 기록매체의 형태로 구현될 수 있다. 명령어는 프로그램 코드의 형태로 저장될 수 있으며, 프로세서에 의해 실행되었을 때, 프로그램 모듈을 생성하여 개시된 실시예들의 동작을 수행할 수 있다. 기록매체는 컴퓨터로 읽을 수 있는 기록매체로 구현될 수 있다.
컴퓨터가 읽을 수 있는 기록매체로는 컴퓨터에 의하여 해독될 수 있는 명령어가 저장된 모든 종류의 기록 매체를 포함한다. 예를 들어, ROM(Read Only Memory), RAM(Random Access Memory), 자기 테이프, 자기 디스크, 플래쉬 메모리, 광 데이터 저장장치 등이 있을 수 있다.
전술한 바에 의하면, 스마트 컨트랙트와 서면 계약서 간의 동등성을 확인함으로써 사용자에게 계약에 관한 신뢰성을 제공하는 효과가 있다.
이상에서와 같이 첨부된 도면을 참조하여 개시된 실시예들을 설명하였다. 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자는 본 발명의 기술적 사상이나 필수적인 특징을 변경하지 않고도, 개시된 실시예들과 다른 형태로 본 발명이 실시될 수 있음을 이해할 것이다. 개시된 실시예들은 예시적인 것이며, 한정적으로 해석되어서는 안 된다.
1 : 계약서 매칭 시스템
10 : 사용자 장치
100 : 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치
110 : 번역부
120 : 확인부
130 : 스마트 컨트랙트 작성부
140 : 검증부
150 : 테스트부
160 : 통신부

Claims (17)

  1. 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치에 의해 수행되는 방법에 있어서,
    서면 계약서를 나타내는 서면 계약서 정보를 중간 언어로 번역하여, 상기 중간 언어로 번역된 제1 번역 문서를 나타내는 제1 번역 문서 정보를 생성하는 번역 단계;
    상기 서면 계약서 정보와 상기 제1 번역 문서 정보를 기초로 상기 서면 계약서와 상기 제1 번역 문서 간의 일치 여부를 확인하는 확인 단계;
    상기 서면 계약서와 상기 제1 번역 문서가 서로 일치함에 응답하여, 상기 중간 언어를 기초로 스마트 컨트랙트를 작성하여 상기 스마트 컨트랙트를 나타내는 스마트 컨트랙트 정보를 생성하는 스마트 컨트랙트 작성 단계; 및
    상기 서면 계약서 정보 및 상기 스마트 컨트랙트 정보를 기초로, 상기 중간 언어를 통해, 상기 스마트 컨트랙트의 내용과 상기 서면 계약서의 내용이 서로 일치하는 여부를 검증하는 검증 단계를 포함하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  2. 제1 항에 있어서,
    상기 검증 단계는,
    상기 서면 계약서의 계약 흐름과 상기 스마트 컨트랙트의 제어 흐름 그래프(control flow graph, 이하 CFG) 간의 유사성을 비교함으로써, 검증하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  3. 제2 항에 있어서,
    상기 검증 단계는,
    미리 설정된 유사도 평가 모델을 이용하여 상기 서면 계약서의 계약 흐름과 상기 스마트 컨트랙트의 CFG의 유사성을 비교하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  4. 제3 항에 있어서,
    상기 스마트 컨트랙트 작성 단계는,
    상기 중간 언어를 통해서 작성된 상기 스마트 컨트랙트를 컴파일(compile)하고,
    상기 검증 단계는,
    컴파일된 스마트 컨트랙트와 상기 서면 계약서를 검증하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  5. 제4 항에 있어서,
    상기 스마트 컨트랙트가 작성된 이후, 상기 컴파일된 스마트 컨트랙트를 테스트 네트워크를 통하여 정상 작동되는지 여부를 테스트하는 테스트 단계를 더 포함하고,
    상기 검증 단계는,
    상기 테스트가 패스됨에 응답하여, 상기 컴파일된 스마트 컨트랙트와 상기 서면 계약서를 검증하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  6. 제5 항에 있어서,
    상기 번역 단계는,
    상기 컴파일된 스마트 컨트랙트를 상기 중간 언어로 번역하여, 상기 중간 언어로 번역된 제2 번역 문서를 나타내는 제2 번역 문서 정보를 생성하고,
    상기 확인 단계는,
    상기 서면 계약 정보와 상기 제2 번역 문서 정보를 기초로 상기 서면 계약서와 상기 제2 번역 문서 간의 일치 여부를 확인하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  7. 제6 항에 있어서,
    상기 서면 계약서와 상기 제2 번역 문서 간의 일치 여부를 나타내는 일치 정보를 사용자 장치에 전송하는 통신 단계를 더 포함하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  8. 제7 항에 있어서,
    상기 중간 언어는,
    휴먼 리더블(human readable) 언어 및 머신 리더블(machine readable) 언어로 구성되는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법.
  9. 하드웨어인 컴퓨터와 결합되어, 상기 제1 항 내지 제8 항 중 어느 한 항의 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법을 수행하기 위해 컴퓨터 판독 가능한 기록매체에 저장된, 컴퓨터 프로그램.
  10. 서면 계약서를 나타내는 서면 계약서 정보를 중간 언어로 번역하여, 상기 중간 언어로 번역된 제1 번역 문서를 나타내는 제1 번역 문서 정보를 생성하는 번역부;
    상기 서면 계약서 정보와 상기 제1 번역 문서 정보를 기초로 상기 서면 계약서와 상기 제1 번역 문서 간의 일치 여부를 확인하는 확인부;
    상기 서면 계약서와 상기 제1 번역 문서가 서로 일치함에 응답하여, 상기 중간 언어를 기초로 스마트 컨트랙트를 작성하여 상기 스마트 컨트랙트를 나타내는 스마트 컨트랙트 정보를 생성하는 스마트 컨트랙트 작성부; 및
    상기 서면 계약서 정보 및 상기 스마트 컨트랙트 정보를 기초로, 상기 중간 언어를 통해, 상기 스마트 컨트랙트의 내용과 상기 서면 계약서의 내용이 서로 일치하는 여부를 검증하는 검증부를 포함하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
  11. 제10 항에 있어서,
    상기 검증부는,
    상기 서면 계약서의 계약 흐름과 상기 스마트 컨트랙트의 제어 흐름 그래프(control flow graph, 이하 CFG) 간의 유사성을 비교함으로써, 검증하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
  12. 제11 항에 있어서,
    상기 검증부는,
    미리 설정된 유사도 평가 모델을 이용하여 상기 서면 계약서의 계약 흐름과 상기 스마트 컨트랙트의 CFG의 유사성을 비교하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
  13. 제12 항에 있어서,
    상기 스마트 컨트랙트 작성부는,
    상기 중간 언어를 통해서 작성된 상기 스마트 컨트랙트를 컴파일(compile)하고,
    상기 검증부는,
    컴파일된 스마트 컨트랙트와 상기 서면 계약서를 검증하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
  14. 제13 항에 있어서,
    상기 스마트 컨트랙트가 작성된 이후, 상기 컴파일된 스마트 컨트랙트를 테스트 네트워크를 통하여 정상 작동되는지 여부를 테스트하는 테스트부를 더 포함하고,
    상기 검증부는,
    상기 테스트가 패스됨에 응답하여, 상기 컴파일된 스마트 컨트랙트와 상기 서면 계약서를 검증하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
  15. 제14 항에 있어서,
    상기 번역부는,
    상기 컴파일된 스마트 컨트랙트를 상기 중간 언어로 번역하여, 상기 중간 언어로 번역된 제2 번역 문서를 나타내는 제2 번역 문서 정보를 생성하고,
    상기 확인부는,
    상기 서면 계약 정보와 상기 제2 번역 문서 정보를 기초로 상기 서면 계약서와 상기 제2 번역 문서 간의 일치 여부를 확인하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
  16. 제15 항에 있어서,
    상기 서면 계약서와 상기 제2 번역 문서 간의 일치 여부를 나타내는 일치 정보를 사용자 장치에 전송하는 통신부를 더 포함하는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
  17. 제16 항에 있어서,
    상기 중간 언어는,
    휴먼 리더블(human readable) 언어 및 머신 리더블(machine readable) 언어로 구성되는 것을 특징으로 하는, 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 장치.
KR1020210184059A 2021-12-21 2021-12-21 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치 KR20230094701A (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020210184059A KR20230094701A (ko) 2021-12-21 2021-12-21 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020210184059A KR20230094701A (ko) 2021-12-21 2021-12-21 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치

Publications (1)

Publication Number Publication Date
KR20230094701A true KR20230094701A (ko) 2023-06-28

Family

ID=86994305

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020210184059A KR20230094701A (ko) 2021-12-21 2021-12-21 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치

Country Status (1)

Country Link
KR (1) KR20230094701A (ko)

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102253238B1 (ko) 2020-12-09 2021-05-18 넷마블 주식회사 분산 컴파일링을 검증하는 방법

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102253238B1 (ko) 2020-12-09 2021-05-18 넷마블 주식회사 분산 컴파일링을 검증하는 방법

Similar Documents

Publication Publication Date Title
US11514431B2 (en) Using on-demand applications to generate virtual numbers for a contactless card to securely autofill forms
CN109716707B (zh) 分布式电子记录和交易历史的服务器设备和方法
US20210051027A1 (en) User identity information authentication and verification methods and devices
CN110914857B (zh) 在区块链网络中使用智能合约进行产品促销
US20200294033A1 (en) Automatically assigning cryptographic tokens to cryptocurrency wallet addresses via a smart contract in response to analysis of transaction data
US10673831B2 (en) Systems and methods for automating security controls between computer networks
US11568401B2 (en) Digital payment system
AU2019237372B2 (en) System and method for composite-key based blockchain device control
US20130219493A1 (en) Remote Security Self-Assessment Framework
US11017398B2 (en) Systems and methods for processing an access request
CN106503996A (zh) 基于web的支付业务提供设备、方法以及系统
WO2018222757A1 (en) Notification based provisioning of card accounts
AU2019201798A1 (en) Automatically assigning cryptographic tokens to cryptocurrency wallet addresses via a smart contract in response to analysis of transaction data
CN111311259A (zh) 票据处理方法、装置、终端及计算机可读存储介质
KR20160140218A (ko) 계좌번호를 대체하는 식별정보를 이용한 금융 오픈 플랫폼과 금융 서비스 제공 방법 및 이를 위한 컴퓨터 프로그램
KR102163930B1 (ko) 블록체인 보상을 통한 분산 컴파일 시스템
KR101737559B1 (ko) 계좌번호를 대체하기 위한 식별정보 생성 장치 및 방법과 이를 위한 컴퓨터 프로그램
WO2023273832A1 (zh) 数据验证的方法和装置
CN108052842B (zh) 签名数据的存储、验证方法及装置
US11107068B2 (en) Inline authorization structuring for activity data transmission
US20190026736A1 (en) Electronic signature processing apparatus and methods
KR101502944B1 (ko) 휴대단말을 이용한 전자서명 시스템
KR20230094701A (ko) 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치
CN110580624A (zh) 链码升级方法及装置
WO2014130045A1 (en) Remote security self-assessment framework

Legal Events

Date Code Title Description
E902 Notification of reason for refusal