맞춤기술찾기

이전대상기술

GAS 절감이 가능한 스마트 컨트랙트 분석 장치 및 방법

  • 기술번호 : KST2020004910
  • 담당센터 : 서울서부기술혁신센터
  • 전화번호 : 02-6124-6930
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 GAS 절감이 가능한 스마트 컨트랙트 분석 장치 및 방법에 관한 것이다. 상기 블록체인 네트워크의 스마트 컨트랙트 분석 장치에 의한 스마트 컨트랙트 분석 방법은, (a) 스마트 컨트랙트의 코드를 파싱하는 단계; (b) 상기 파싱된 스마트 컨트랙트 코드로부터 GAS 소모가 많은 사전 설정된 패턴을 검출하는 단계; (c) 상기 (b)단계에서 사전 설정된 패턴이 검출된 결과를 출력하는 단계; 를 구비하고, 상기 사전 설정된 패턴은 분리형 증감문 패턴 또는 AND 연산자 다중 조건문 패턴이다. 본 발명에 따른 스마트 컨트랙트 분석 장치는, 스마트 컨트랙트 코드에서 GAS 소모가 많은 분리형 증감문 패턴 또는 AND 연산자 다중 조건문 패턴을 검출하여 GAS 소모가 작은 패턴으로 개선하도록 함으로써, GAS 소모를 절약할 수 있도록 한다.
Int. CL G06Q 20/36 (2012.01.01) G06Q 10/04 (2012.01.01) G06Q 20/38 (2012.01.01) H04L 9/06 (2006.01.01) G06Q 40/04 (2012.01.01)
CPC G06Q 20/3678(2013.01) G06Q 20/3678(2013.01) G06Q 20/3678(2013.01) G06Q 20/3678(2013.01) G06Q 20/3678(2013.01) G06Q 20/3678(2013.01)
출원번호/일자 1020180134285 (2018.11.05)
출원인 서강대학교산학협력단
등록번호/일자 10-2187293-0000 (2020.11.30)
공개번호/일자 10-2020-0051218 (2020.05.13) 문서열기
공고번호/일자 (20201204) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2018.11.05)
심사청구항수 6

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 서강대학교산학협력단 대한민국 서울특별시 마포구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 정다은 서울특별시 마포구
2 박수용 서울특별시 마포구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 이지연 대한민국 서울특별시 관악구 남부순환로 ****, ***호 제니스국제특허법률사무소 (봉천동, 청동빌딩)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 서강대학교 산학협력단 서울특별시 마포구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2018.11.05 수리 (Accepted) 1-1-2018-1093128-41
2 [출원서등 보정]보정서
[Amendment to Patent Application, etc.] Amendment
2018.11.07 수리 (Accepted) 1-1-2018-1105512-08
3 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.01.22 수리 (Accepted) 4-1-2019-5014626-89
4 선행기술조사의뢰서
Request for Prior Art Search
2019.02.14 수리 (Accepted) 9-1-9999-9999999-89
5 선행기술조사보고서
Report of Prior Art Search
2019.04.11 발송처리완료 (Completion of Transmission) 9-6-2020-0034263-29
6 의견제출통지서
Notification of reason for refusal
2020.03.20 발송처리완료 (Completion of Transmission) 9-5-2020-0206018-16
7 [거절이유 등 통지에 따른 의견]의견서·답변서·소명서
2020.05.22 수리 (Accepted) 1-1-2020-0519092-91
8 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2020.05.22 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2020-0519093-36
9 등록결정서
Decision to grant
2020.10.29 발송처리완료 (Completion of Transmission) 9-5-2020-0750830-34
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
스마트 컨트랙트의 코드를 파싱하는 코드 파싱부;상기 파싱된 스마트 컨트랙트 코드로부터 GAS 소모가 많은 사전 설정된 패턴들을 검출하는 패턴 검출부; 상기 패턴 검출부에 의한 검출 결과를 출력하는 패턴 보고서 출력부; 및상기 패턴 검출부에 의해 GAS 소모가 많은 사전 설정된 패턴이 검출된 경우, 검출된 패턴과 동일한 기능을 수행하면서도 GAS 소모가 작은 개선 패턴을 출력하는 개선 패턴 출력부;를 구비하고, 상기 사전 설정된 패턴은 분리형 증감문 패턴 또는 AND 연산자 다중 조건문 패턴인 것을 특징으로 하는 GAS 절감이 가능한 스마트 컨트랙트 분석 장치
2 2
제1항에 있어서, 상기 패턴 검출부는, 상기 파싱된 스마트 컨트랙트 코드에 'for 구문' 이 있는지 여부를 판단하고, 'for 구문'에 증감문이 있는지 여부를 판단하고, 증감되는 루프(loop) 변수가 'for 구문'의 Body에 사용되었는지 여부를 판단하여, 상기 스마트 컨트랙트 코드에서 분리형 증감문 패턴을 검출하는 것을 특징으로 하는 GAS 절감이 가능한 스마트 컨트랙트 분석 장치
3 3
제1항에 있어서, 상기 패턴 검출부는 상기 파싱된 스마트 컨트랙트 코드에 조건문이 있는지 여부를 판단하고, 상기 조건문이 다중 조건문인지 여부를 판단하고, 다중 조건문이 AND로만 이루어져있는지 여부를 판단하여, 상기 스마트 컨트랙트 코드에서 AND 연산자 다중 조건문 패턴을 검출하는 것을 특징으로 하는 GAS 절감이 가능한 스마트 컨트랙트 분석 장치
4 4
삭제
5 5
블록체인 네트워크의 스마트 컨트랙트 분석 장치에 의한 스마트 컨트랙트 분석 방법에 있어서, (a) 스마트 컨트랙트의 코드를 파싱하는 단계;(b) 상기 파싱된 스마트 컨트랙트 코드로부터 GAS 소모가 많은 사전 설정된 패턴을 검출하는 단계;(c) 상기 (b)단계에서 사전 설정된 패턴이 검출된 결과를 출력하는 단계; 및(d) GAS 소모가 많은 사전 설정된 패턴이 검출된 경우, 검출된 패턴과 동일한 기능을 수행하면서도 GAS 소모가 작은 개선 패턴을 출력하는 단계;를 구비하고, 상기 사전 설정된 패턴은 분리형 증감문 패턴 또는 AND 연산자 다중 조건문 패턴인 것을 특징으로 하는 GAS 절감이 가능한 스마트 컨트랙트 분석 방법
6 6
제5항에 있어서, 상기 (b) 단계는, 상기 파싱된 스마트 컨트랙트 코드에 'for 구문' 이 있는지 여부를 판단하고, 'for 구문'에 증감문이 있는지 여부를 판단하고, 증감되는 루프(loop) 변수가 'for 구문'의 Body에 사용되었는지 여부를 판단하여, 상기 스마트 컨트랙트 코드에서 분리형 증감문 패턴을 검출하는 것을 특징으로 하는 GAS 절감이 가능한 스마트 컨트랙트 분석 방법
7 7
제5항에 있어서, 상기 (b) 단계는, 상기 파싱된 스마트 컨트랙트 코드에 조건문이 있는지 여부를 판단하고, 상기 조건문이 다중 조건문인지 여부를 판단하고, 다중 조건문이 AND로만 이루어져있는지 여부를 판단하여, 상기 스마트 컨트랙트 코드에서 AND 연산자 다중 조건문 패턴을 검출하는 것을 특징으로 하는 GAS 절감이 가능한 스마트 컨트랙트 분석 방법
8 8
삭제
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 과학기술정보통신부 서강대학교 산학협력단 정보통신기술인력양성 적응형 블록체인 플랫폼 기술 개발 및 전문 인력 양성