1 |
1
컨볼루션 신경망 모델을 검증하는 방법에 있어서,(a) 상기 컨볼루션 신경망 모델을 구성하는 복수의 구성 중 제1 구성에 대해 다항식 회로식을 생성하는 단계;(b) 상기 다항식 회로식을 기초로 영지식 증명 스킴을 적용하여 제1 약정값 및 제1 증명값을 생성하는 단계;(c) 상기 복수의 구성 중 제2 구성에 대해 산술 회로식을 생성하는 단계;(d) 상기 산술 회로식을 기초로 영지식 증명 스킴을 적용하여 제2 약정값 및 제2 증명값을 생성하는 단계; 및(e) 상기 제1 약정값과 상기 제2 약정값을 연결하는 연결 증명값을 생성하는 단계를 포함하는 컨볼루션 신경망 모델 검증 방법
|
2 |
2
제1 항에 있어서,상기 제1 구성은 컨볼루션 연산이며,상기 제2 구성은 상기 콘볼루션 연산을 제외한 나머지 연산인 것을 특징으로 하는 컨볼루션 신경망 모델 검증 방법
|
3 |
3
제2 항에 있어서,상기 다항식 회로식은 단일 곱셈 게이트로 구성되되, 상기 단일 곱셈 게이트는, 두개의 입력 다항식 회로식과 하나의 출력 다항식 회로식을 포함하되, 상기 두개의 입력 다항식 회로식 중 어느 하나는 상기 컨볼루션 연산에 대한 입력값들을 각각의 차수의 계수로 가지는 다항식이며, 다른 하나는 상기 컨볼루션 연산의 커널의 각 요소값들을 각각의 차수의 계수로 가지는 다항식 회로식이되, 상기 출력 다항식 회로식은 상기 두개의 입력 다항식 회로식의 결과의 곱에 대한 다항식 회로식인 것을 특징으로 하는 컨볼루션 신경망 모델 검증 방법
|
4 |
4
제3 항에 있어서,상기 다항식 회로식은 불확정 중간 변수(Z)를 더 고려하여 생성되는 것을 특징으로 하는 컨볼루션 신경망 모델 검증 방법
|
5 |
5
제4 항에 있어서,상기 불확정 중간 변수(Z)는 상기 두개의 입력 다항식 회로에 모두 적용되는 것을 특징으로 하는 컨볼루션 신경망 모델 검증 방법
|
6 |
6
제1 항에 있어서,상기 다항식 회로식은 QPP(Quadratic Polynomial Program) 기반 회로식이며, 상기 산술 회로식은 QAP(Quadratic Arithmetic Program) 기반 회로식이되,상기 연결 증명은 레고(Lego)-SNARK에 기반하여 생성되는 것을 특징으로 하는 컨볼루션 신경망 모델 검증 방법
|
7 |
7
제1 항에 있어서,상기 제1 약정값, 상기 제2 약정값, 상기 연결 증명값, 제1 증명값 및 제2 증명값을 이용하여 상기 콘볼루션 신경망 모델을 증명하는 단계를 더 포함하는 컨볼루션 신경망 모델 검증 방법
|
8 |
8
제1 항 내지 제7 항 중 어느 하나의 항에 따른 방법을 수행하기 위한 프로그램 코드를 기록한 컴퓨터로 판독 가능한 기록매체 제품
|
9 |
9
적어도 하나의 명령어를 저장하는 메모리; 및상기 메모리에 저장된 명령어를 실행하는 프로세서를 포함하되,상기 명령어들은, (a) 상기 컨볼루션 신경망 모델을 구성하는 컨볼루션 연산 대한 다항식 회로식을 생성하는 단계;(b) 상기 다항식 회로식을 기초로 영지식 증명 스킴을 적용하여 제1 약정값 및 제1 증명값을 생성하는 단계;(c) 상기 컨볼루션 신경망 모델을 구성하는 컨볼루션 연산을 제외한 나머지 연산에 대해 산술 회로식을 생성하는 단계;(d) 상기 산술 회로식을 기초로 영지식 증명 스킴을 적용하여 제2 약정값 및 제2 증명값을 생성하는 단계; 및(e) 상기 제1 약정값과 상기 제2 약정값을 연결하는 연결 증명값을 생성하는 단계를 수행하는 것을 특징으로 하는 컨볼루션 신경망 검증 장치
|
10 |
10
제9 항에 있어서, 상기 다항식 회로식은 단일 곱셈 게이트로 구성되되, 상기 단일 곱셈 게이트는, 두개의 입력 다항식 회로식과 하나의 출력 다항식 회로식을 포함하되, 상기 두개의 입력 다항식 회로식 중 어느 하나는 상기 컨볼루션 연산에 대한 입력값들을 각각의 차수의 계수로 가지는 다항식이며, 다른 하나는 상기 컨볼루션 연산의 커널의 각 요소값들을 각각의 차수의 계수로 가지는 다항식이되, 상기 출력 다항식 회로식은 상기 두개의 입력 다항식 회로식의 결과의 곱에 대한 다항식 회로식인 것을 특징으로 하는 컨볼루션 신경망 검증 장치
|
11 |
11
제8 항에 있어서, 상기 다항식 회로식은 불확정 중간 변수(Z)를 더 고려하여 생성되는 것을 특징으로 하는 컨볼루션 신경망 검증 장치
|
12 |
12
제9 항에 있어서, 상기 (e) 단계 이후에, 상기 제1 약정값, 상기 제2 약정값, 상기 연결 증명값, 제1 증명값 및 제2 증명값을 이용하여 상기 콘볼루션 신경망 모델을 증명하는 단계를 더 수행하는 것을 특징으로 하는 컨볼루션 신경망 검증 장치
|