KR102339833B1 - 다변수 패킹을 이용하는 연산 장치 및 방법 - Google Patents

다변수 패킹을 이용하는 연산 장치 및 방법 Download PDF

Info

Publication number
KR102339833B1
KR102339833B1 KR1020190160996A KR20190160996A KR102339833B1 KR 102339833 B1 KR102339833 B1 KR 102339833B1 KR 1020190160996 A KR1020190160996 A KR 1020190160996A KR 20190160996 A KR20190160996 A KR 20190160996A KR 102339833 B1 KR102339833 B1 KR 102339833B1
Authority
KR
South Korea
Prior art keywords
messages
ciphertext
matrix
multivariate
homomorphic
Prior art date
Application number
KR1020190160996A
Other languages
English (en)
Other versions
KR20200070121A (ko
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 US17/311,578 priority Critical patent/US12063290B2/en
Priority to PCT/KR2019/017237 priority patent/WO2020117015A1/ko
Publication of KR20200070121A publication Critical patent/KR20200070121A/ko
Application granted granted Critical
Publication of KR102339833B1 publication Critical patent/KR102339833B1/ko

Links

Images

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/30—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
    • H04L9/3006—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy underlying computational problems or public-key parameters
    • H04L9/3026—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy underlying computational problems or public-key parameters details relating to polynomials generation, e.g. generation of irreducible polynomials
    • 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/008—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols involving homomorphic encryption
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/16—Matrix or vector computation, e.g. matrix-matrix or matrix-vector multiplication, matrix factorization
    • 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/30—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
    • H04L9/3093—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy involving Lattices or polynomial equations, e.g. NTRU scheme
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
    • H04L2209/04—Masking or blinding
    • H04L2209/046—Masking or blinding of operations, operands or results of the operations
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
    • H04L2209/34—Encoding or coding, e.g. Huffman coding or error correction

Landscapes

  • Engineering & Computer Science (AREA)
  • Signal Processing (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Computer Security & Cryptography (AREA)
  • Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Pure & Applied Mathematics (AREA)
  • Mathematical Optimization (AREA)
  • Computing Systems (AREA)
  • Mathematical Analysis (AREA)
  • Algebra (AREA)
  • Data Mining & Analysis (AREA)
  • Computational Mathematics (AREA)
  • Databases & Information Systems (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Storage Device Security (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Arrangements For Transmission Of Measured Signals (AREA)

Abstract

암호화 방법이 개시된다. 본 암호화 방법은 복수의 메시지를 입력받는 단계, 복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하는 단계, 및 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하는 단계를 포함한다.

Description

다변수 패킹을 이용하는 연산 장치 및 방법{COMPUTING APPARATUS USING MULTI-VARIABLE PACKING AND METHOD THEREOF}
본 개시는 다변수 패킹을 이용하는 연산 장치 및 방법에 관한 것으로, 복수의 메시지를 다변수를 이용한 다차원 행렬로 배치하여 하나의 암호문으로 생성할 수 있는 연산 장치 및 방법에 관한 것이다.
통신 기술이 발달하고, 전자 장치의 보급이 활발해짐에 따라, 전자 장치 간의 통신 보안을 유지하기 위한 노력이 지속적으로 이루어지고 있다. 이에 따라, 대부분의 통신 환경에서는 암호화/복호화 기술이 사용되고 있다.
암호화 기술에 의해 암호화된 메시지가 상대방에게 전달되면, 상대방은 메시지를 이용하기 위해서는 복호화를 수행하여야 한다. 이 경우, 상대방은 암호화된 데이터를 복호화하는 과정에서 자원 및 시간 낭비가 발생하게 된다. 또한, 상대방이 연산을 위해 일시적으로 메시지를 복호화한 상태에서 제3자의 해킹이 이루어지는 경우, 메시지가 제3자에게 손쉽게 유출될 수 있다는 문제점도 있었다.
이러한 문제를 해결하기 위하여 동형 암호화 방법이 연구되고 있다. 동형 암호화에 따르면, 암호화된 정보를 복호화하지 않고 암호문 자체에서 연산을 하더라도, 평문에 대해 연산한 후 암호화한 값과 동일한 결과를 얻을 수 있다. 따라서, 암호문을 복호화하지 않은 상태에서 각종 연산을 수행할 수 있다.
그러나 종래의 동형 암호화 방식은 행렬 곱에서 속도 및 비용에서 비효율이 있었다.
따라서 본 개시는 상술한 바와 같은 문제점을 해결하기 위한 고안된 것으로, 복수의 메시지를 다변수를 이용한 다차원 행렬로 배치하여 하나의 암호문으로 생성할 수 있는 연산 장치 및 방법을 제공하는 데 있다.
본 개시는 이상과 같은 목적을 달성하기 위한 것으로, 본 암호문 연산 방법은 복수의 메시지를 입력받는 단계, 상기 복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하는 단계, 및 상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하는 단계를 포함한다.
이 경우, 상기 인코딩하는 단계는, 상기 다변수의 개수에 대응되는 다차원 텐서(tensor)로 배치하고, 상기 다차원 탠서로 배치된 복수의 메시지를 다항식으로 인코딩할 수 있다.
한편, 상기 다변수는 제1 변수 및 제2 변수를 포함하고, 상기 인코딩하는 단계는, 상기 복수의 메시지를 복수의 열 및 복수의 행으로 구성되는 행렬 형태로 배치하고, 상기 행렬 형태로 배치된 복수의 메시지를 제1 변수 및 제2 변수로 정의되는 다항식으로 인코딩할 수 있다.
이 경우, 상기 인코딩하는 단계는, 상기 행렬의 슬롯 각각을 상기 제1 변수 및 상기 제2 변수로 정의되는 다항식의 계수로 변환할 수 있다.
한편, 본 암호화 방법은 복수의 동형 암호문에 대한 연산 처리를 수행하는 단계를 더 포함할 수 있다.
이 경우, 상기 연산 처리는 행렬 곱이며, 상기 연산 처리를 수행하는 단계는, 상기 복수의 동형 암호문에 대한 하다마다 곱 연산을 수행하는 단계, 상기 하다마다 곱 연산 결과의 성분 합산을 통하여 행렬 곱 결과의 일부 성분 값을 산출하는 단계, 및 상기 복수의 동형 암호문 중 하나의 동형 암호문 내의 성분 위치를 이동하여 상기 하다마다 곱 연산을 수행하는 단계 및 상기 산출하는 단계를 반복하는 단계를 포함할 수 있다.
이 경우, 상기 하다마다 곱 연산을 수행하는 단계는, 상기 복수의 동형 암호문을 구성하는 복수의 성분 중 상기 일부 성분 값 산출에 반영되는 성분만 하다마다 곱 연산을 수행할 수 있다.
한편, 본 개시의 일 실시 예에 따른 연산 장치는 적어도 하나의 인스트럭션(instruction) 및 기결정된 복수의 소수 정보를 저장하는 메모리, 및 상기 적어도 하나의 인스트럭션을 실행하는 프로세서를 포함하고, 상기 프로세서는, 상기 적어도 하나의 인스트럭션을 실행함으로써, 복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하고, 상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성할 수 있다.
이 경우, 상기 프로세서는, 상기 다변수의 개수에 대응되는 다차원 텐서(tensor)로 배치하고, 상기 다차원 탠서로 배치된 복수의 메시지를 다항식으로 인코딩할 수 있다.
한편, 상기 다변수는 제1 변수 및 제2 변수를 포함하고, 상기 프로세서는, 상기 복수의 메시지를 복수의 열 및 복수의 행으로 구성되는 행렬 형태로 배치하고, 상기 행렬 형태로 배치된 복수의 메시지를 제1 변수 및 제2 변수로 정의되는 다항식으로 인코딩할 수 있다.
이 경우, 상기 프로세서는, 상기 행렬의 슬롯 각각을 상기 제1 변수 및 상기 제2 변수로 정의되는 다항식의 계수로 변환할 수 있다.
한편, 상기 프로세서는, 복수의 동형 암호문에 대한 연산 처리를 수행할 수 있다.
이 경우, 상기 연산 처리는 행렬 곱이며, 상기 프로세서는, 상기 복수의 동형 암호문에 대한 하다마다 곱 연산을 수행하고, 상기 하다마다 곱 연산 결과의 성분 합산을 통하여 행렬 곱 결과의 일부 성분 값을 산출하고, 상기 복수의 동형 암호문 중 하나의 동형 암호문 내의 성분 위치를 이동하여 상기 하다마다 곱 연산 및 상기 산출하는 동작을 반복하여 상기 행렬 곱 결과의 전체 성분 값을 산출할 수 있다.
이 경우, 상기 프로세서는, 상기 복수의 동형 암호문을 구성하는 복수의 성분 중 상기 일부 성분 값 산출에 반영되는 성분만 하다마다 곱 연산을 수행할 수 있다.
이상과 같은 본 개시의 다양한 실시 예들에 따르면, 복수의 메시지를 다변수를 활용하여 다차원으로 패킹할 수 있는바, 다변수로 패킹된 암호문에 대한 행렬 곱 과정에서 낮은 복잡도로 연산이 가능하다.
도 1은 본 개시의 일 실시 예에 따른 네트워크 시스템의 구조를 설명하기 위한 도면,
도 2는 본 개시의 일 실시 예에 따른 연산 장치의 구성을 나타낸 블럭도,
도 3은 본 개시의 일 실시 예에 따른 암호화 방법을 설명하기 위한 흐름도,
도 4는 본 개시의 일 실시 예에 따른 행(row) 합산 방법을 설명하기 위한 도면,
도 5는 본 개시의 일 실시 예에 따른 대각 추출(Diagonal Extraction) 방법을 설명하기 위한 도면,
도 6은 본 개시의 일 실시 예에 따른 벡터 곱(Matrix by Vector Multiplication) 방법을 설명하기 위한 도면,
도 7은 본 개시의 일 실시 예에 따른 행렬 곱(Matrix Multiplication) 방법을 설명하기 위한 도면,
도 8은 본 개시의 일 실시 예에 따른 치환 행렬(Permutation Matrix)의 행렬 곱을 설명하기 위한 도면,
도 9는 본 개시의 일 실시 예에 따른 전치(transposition) 행렬 생성방법을 설명하기 위한 도면,
도 10은 본 개시의 일 실시 예에 따른 역행렬 연산 방법을 설명하기 위한 도면,
도 11은 본 개시의 일 실시 예에 따른 열(column)에서 행(row)로 선형 변환 방법을 설명하기 위한 도면, 그리고,
도 12는 본 개시의 일 실시 예에 따른 행(row)에서 열(column)로 선형 변환 방법을 설명하기 위한 도면이다.
이하에서는 첨부 도면을 참조하여 본 개시에 대해서 자세하게 설명한다. 본 개시에서 수행되는 정보(데이터) 전송 과정은 필요에 따라서 암호화/복호화가 적용될 수 있으며, 본 개시 및 특허청구범위에서 정보(데이터) 전송 과정을 설명하는 표현은 별도로 언급되지 않더라도 모두 암호화/복호화하는 경우도 포함하는 것으로 해석되어야 한다. 본 개시에서 "A로부터 B로 전송(전달)" 또는 "A가 B로부터 수신"과 같은 형태의 표현은 중간에 다른 매개체가 포함되어 전송(전달) 또는 수신되는 것도 포함하며, 반드시 A로부터 B까지 직접 전송(전달) 또는 수신되는 것만을 표현하는 것은 아니다.
본 개시의 설명에 있어서 각 단계의 순서는 선행 단계가 논리적 및 시간적으로 반드시 후행 단계에 앞서서 수행되어야 하는 경우가 아니라면 각 단계의 순서는 비제한적으로 이해되어야 한다. 즉, 위와 같은 예외적인 경우를 제외하고는 후행 단계로 설명된 과정이 선행단계로 설명된 과정보다 앞서서 수행되더라도 개시의 본질에는 영향이 없으며 권리범위 역시 단계의 순서에 관계없이 정의되어야 한다. 그리고 본 명세서에서 "A 또는 B"라고 기재한 것은 A와 B 중 어느 하나를 선택적으로 가리키는 것뿐만 아니라 A와 B 모두를 포함하는 것도 의미하는 것으로 정의된다. 또한, 본 개시에서 "포함"이라는 용어는 포함하는 것으로 나열된 요소 이외에 추가로 다른 구성요소를 더 포함하는 것도 포괄하는 의미를 가진다.
본 개시에서는 본 개시의 설명에 필요한 필수적인 구성요소만을 설명하며, 본 개시의 본질과 관계가 없는 구성요소는 언급하지 아니한다. 그리고 언급되는 구성요소만을 포함하는 배타적인 의미로 해석되어서는 안 되며 다른 구성요소도 포함할 수 있는 비배타적인 의미로 해석되어야 한다.
그리고 본 개시에서 "값"이라 함은 스칼라값뿐만 아니라 벡터, 다항식 형태도 포함하는 개념으로 정의된다.
후술하는 본 개시의 각 단계의 수학적 연산 및 산출은 해당 연산 또는 산출을 하기 위해 공지되어 있는 코딩 방법 및/또는 본 개시에 적합하게 고안된 코딩에 의해서 컴퓨터 연산으로 구현될 수 있다.
이하에서 설명하는 구체적인 수학식은 가능한 여러 대안 중에서 예시적으로 설명되는 것이며, 본 개시의 권리 범위가 본 개시에 언급된 수학식에 제한되는 것으로 해석되어서는 아니된다.
설명의 편의를 위해서, 본 개시에서는 다음과 같이 표기를 정하기로 한다.
a ← D : 분포(D)에 따라서 원소(a)를 선택함
s1, s2 ∈ R : S1, S2 각각은 R 집합에 속하는 원소이다.
mod(q) : q 원소로 모듈(modular) 연산
「-」 : 내부 값을 반올림함
이하에서는 첨부된 도면을 이용하여 본 개시의 다양한 실시 예들에 대하여 구체적으로 설명한다.
도 1은 본 개시의 일 실시 예에 따른 네트워크 시스템의 구조를 설명하기 위한 도면이다.
도 1을 참조하면, 네트워크 시스템은 복수의 전자 장치(100-1 ~ 100-n), 제1 서버 장치(200), 제2 서버 장치(300)를 포함할 수 있으며, 각 구성들은 네트워크(10)를 통해 서로 연결될 수 있다.
네트워크(10)는 다양한 형태의 유무선 통신 네트워크, 방송 통신 네트워크, 광통신 네트워크, 클라우드 네트워크 등으로 구현될 수 있으며, 각 장치들은 별도의 매개체 없이 와이파이, 블루투스, NFC(Near Field Communication) 등과 같은 방식으로 연결될 수도 있다.
도 1에서는 전자 장치가 복수개(100-1 ~ 100-n)인 것으로 도시하였으나, 반드시 복수개의 전자 장치가 사용되어야 하는 것은 아니며 하나의 장치가 사용될 수도 있다. 일 예로, 전자 장치(100-1 ~ 100-n)는 스마트폰, 태블릿, 게임 플레이어, PC, 랩톱 PC, 홈서버, 키오스크 등과 같은 다양한 형태의 장치로 구현될 수 있으며, 이밖에 IoT 기능이 적용된 가전 제품 형태로도 구현될 수 있다.
사용자는 자신이 사용하는 전자 장치(100-1 ~ 100-n)를 통해서 다양한 정보를 입력할 수 있다. 입력된 정보는 전자 장치(100-1 ~ 100-n) 자체에 저장될 수도 있지만, 저장 용량 및 보안 등을 이유로 외부 장치로 전송되어 저장될 수도 있다. 도 1에서 제1 서버 장치(200)는 이러한 정보들을 저장하는 역할을 수행하고, 제2 서버 장치(300)는 제1 서버 장치(200)에 저장된 정보의 일부 또는 전부를 이용하는 역할을 수행할 수 있다.
각 전자 장치(100-1 ~ 100-n)는 입력된 정보를 동형 암호화하여, 동형 암호문을 제1 서버 장치(200)로 전송할 있다.
각 전자 장치(100-1 ~ 100-n)는 동형 암호화를 수행하는 과정에서 산출되는 암호화 노이즈, 즉, 에러를 암호문에 포함시킬 수 있다. 예를 들어, 각 전자 장치(100-1 ~ 100-n)에서 생성하는 동형 암호문은, 추후에 비밀 키를 이용하여 복호화하였을 때 메시지 및 에러 값을 포함하는 결과 값이 복원되는 형태로 생성될 수 있다.
일 예로, 전자 장치(100-1 ~ 100-n)에서 생성하는 동형 암호문은 비밀 키를 이용하여 복호화 하였을 때 다음과 같은 성질을 만족하는 형태로 생성될 수 있다.
[수학식 1]
Dec(ct, sk) = <ct, sk> = M+e(mod q)
여기서 < , >는 내적 연산(usual inner product), ct는 암호문, sk는 비밀 키, M은 평문 메시지, e는 암호화 에러 값, mod q는 암호문의 모듈러스(Modulus)를 의미한다. q는 스케일링 팩터(scaling factor)(Δ)가 메시지에 곱해진 결과 값 M보다 크게 선택되어야 한다. 에러 값 e의 절대값이 M에 비해서 충분히 작다면, 암호문의 복호화 값 M+e 는 유효숫자연산에서 원래의 메시지를 동일한 정밀도로 대체할 수 있는 값이다. 복호화된 데이터 중에서 에러는 최하위 비트(LSB) 측에 배치되고, M은 차하위 비트 측에 배치될 수 있다.
메시지의 크기가 너무 작거나 너무 큰 경우, 스케일링 팩터를 이용하여 그 크기를 조절할 수도 있다. 스케일링 팩터를 사용하게 되면, 정수 형태의 메시지뿐만 아니라 실수 형태의 메시지까지도 암호화할 수 있게 되므로, 활용성이 크게 증대할 수 있다. 또한, 스케일링 팩터를 이용하여 메시지의 크기를 조절함으로써, 연산이 이루어지고 난 이후의 암호문에서 메시지들이 존재하는 영역, 즉, 유효 영역의 크기도 조절될 수 있다.
실시 예에 따라, 암호문 모듈러스 q는 다양한 형태로 설정되어 사용될 수 있다. 일 예로, 암호문의 모듈러스는 스케일링 팩터 Δ의 지수승 q=ΔL 형태로 설정될 수 있다. Δ가 2라면, q=210 과 같은 값으로 설정될 수 있다. 또는, q는 도 8에 도시된 바와 같이 일정 조건을 만족하는 2의 지수승의 조합으로 표현될 수 있다.
또 다른 예로, 암호문 모듈러스는 복수의 서로 다른 스케일링 팩터들을 곱한 값으로 설정될 수도 있다. 각 팩터들은 유사 범위 이내의 값, 즉, 서로 비슷한 크기의 값으로 설정될 수 있다. 예를 들어, q=q1 q2 q3 ··· qx로 설정될 수 있으며, q1, q2, q3 ,…, qx 각각은 스케일링 인수 Δ와 비슷한 크기이며 서로 소 관계의 값으로 설정될 수 있다.
한편, 각 전자 장치(100-1 ~ 100-n)는 복수의 정보를 하나의 동형 암호문으로 생성할 수 있다. 예를 들어, 전자 장치(100)는 GPS 정보, 사용자 ID 정보, 성별 정보 등 여러 정보를 저장할 수 있으며, 전자 장치(100)는 상술한 바와 같은 여러 정보를 패킹하여 하나의 동형 암호문으로 생성할 수 있다. 패킹 동작에 대해서는 후술한다.
제1 서버 장치(200)는 수신된 동형 암호문을 복호화하지 않고, 암호문 상태로 저장할 수 있다.
제2 서버 장치(300)는 동형 암호문에 대한 특정 처리 결과를 제1 서버 장치(200)로 요청할 수 있다. 제1 서버 장치(200)는 제2 서버 장치(300)의 요청에 따라 특정 연산을 수행한 후, 그 결과를 제2 서버 장치(300)로 전송할 수 있다.
일 예로, 두 개의 전자 장치(100-1, 100-2)가 전송한 암호문 ct1, ct2가 제1 서버 장치(200)에 저장된 경우, 제2 서버 장치(300)는 두 전자 장치(100-1, 100-2)로부터 제공된 정보들을 합산한 값을 제1 서버 장치(200)로 요청할 수 있다. 제1 서버 장치(200)는 요청에 따라 두 암호문을 합산하는 연산을 수행한 후, 그 결과 값(ct1 + ct2)을 제2 서버 장치(300)로 전송할 수 있다.
동형 암호문의 성질상, 제1 서버 장치(200)는 복호화를 하지 않은 상태에서 연산을 수행할 수 있고, 그 결과 값도 암호문 형태가 될 수 있다.
제1 서버 장치(200)는 연산 결과 암호문을 제2 서버 장치(300)로 전송할 수 있다. 제2 서버 장치(300)는 수신된 연산 결과 암호문을 복호화하여, 각 동형 암호문들에 포함된 데이터들의 연산 결과값을 획득할 수 있다. 그리고 제1 서버 장치(200)는 사용자 요청에 따라 연산을 수차례 수행할 수 있다.
한편, 제1 서버 장치(200)는 기설정된 결과를 출력하기 위한 학습 모델을 저장할 수 있으며, 제1 서버 장치(200)는 학습 모델을 상술한 동형 암호문을 이용하여 학습하거나, 학습 모델에 동형 암호문을 넣어 연산 결과를 출력할 수 있다. 이러한 학습 모델은 심층 신경망(DNN, Deep Neural Network) 구조일 수 있다.
한편, 도 1에서는 제1 전자 장치 및 제2 전자 장치에서 암호화를 수행하고, 제2 서버 장치가 복호화를 수행하는 경우를 도시하였으나, 이에 한정되는 것은 아니다.
도 2는 본 개시의 일 실시 예에 따른 연산 장치의 구성을 나타낸 블럭도이다.
예를 들어, 도 1의 시스템에서 제1 전자 장치, 제2 전자 장치 등과 같이 동형 암호화를 수행하는 장치, 제1 서버 장치 등과 같이 동형 암호문을 연산하는 장치, 제2 서버 장치 등과 같이 동형 암호문을 복호하는 장치 등을 연산 장치라고 지칭할 수 있다. 이러한 연산 장치는 PC(Personal computer), 노트북, 스마트폰, 태블릿, 서버 등 다양한 장치일 수 있다.
도 2를 참조하면, 연산 장치(400)는 통신 장치(410), 메모리(420), 디스플레이(430), 조작 입력 장치(440) 및 프로세서(450)를 포함할 수 있다.
통신 장치(410)는 연산 장치(400)를 외부 장치(미도시)와 연결하기 위해 형성되고, 근거리 통신망(LAN: Local Area Network) 및 인터넷망을 통해 외부 장치에 접속되는 형태뿐만 아니라, USB(Universal Serial Bus) 포트 또는 무선 통신(예를 들어, WiFi 802.11a/b/g/n, NFC, Bluetooth) 포트를 통하여 접속되는 형태도 가능하다. 이러한 통신 장치(410)는 송수신부(transceiver)로 지칭될 수도 있다.
통신 장치(410)는 공개 키를 외부 장치로부터 수신할 수 있으며, 연산 장치(400) 자체적으로 생성한 공개 키를 외부 장치로 전송할 수 있다.
그리고 통신 장치(410)는 외부 장치로부터 메시지를 수신할 수 있으며, 생성한 동형 암호문을 외부 장치로 송신할 수 있다.
또한, 통신 장치(410)는 암호문 생성에 필요한 각종 파라미터를 외부 장치로부터 수신할 수 있다. 한편, 구현시에 각종 파라미터는 후술하는 조작 입력 장치(440)를 통하여 사용자로부터 직접 입력받을 수 있다.
또한, 통신 장치(410)는 외부 장치로부터 동형 암호문에 대한 연산을 요청받을 수 있으며, 그에 따라 계산된 결과를 외부 장치에 전송할 수 있다. 여기서 요청받은 연산은 덧셈, 뺄셈, 곱셈(예를 들어, 모듈러 곱셈 연산)과 같은 연산일 수 있으며, 행렬 합, 행렬 변환 등일 수 있다. 각종 연산 동작에 대해서는 도 4 내지 도 12을 참조하여 후술한다.
메모리(420)에는 연산 장치(400)에 관한 적어도 하나의 인스트럭션(instruction)이 저장될 수 있다. 예를 들어, 메모리(420)에는 본 개시의 다양한 실시 예에 따라 연산 장치(400)가 동작하기 위한 각종 프로그램(또는 소프트웨어)이 저장될 수 있다.
이러한 메모리(420)는 RAM이나 ROM, 플래시 메모리, HDD, 외장 메모리, 메모리 카드 등과 같은 다양한 형태로 구현될 수 있으며, 어느 하나로 한정되는 것은 아니다.
메모리(420)는 암호화할 메시지를 저장할 수 있다. 여기서 메시지는 사용자가 각종 인용한 각종 신용 정보, 개인 정보 등일 수 있으며, 연산 장치(400)에서 사용되는 위치 정보, 인터넷 사용 시간 정보 등 사용 이력 등과 관련된 정보일 수도 있다.
그리고 메모리(420)는 공개 키를 저장할 수 있으며, 연산 장치(400)가 직접 공개 키를 생성한 장치인 경우, 비밀 키뿐만 아니라, 공개 키 및 비밀 키 생성에 필요한 각종 파라미터를 저장할 수 있다.
그리고 메모리(420)는 후술한 과정에서 생성된 동형 암호문을 저장할 수 있다. 그리고 메모리(420)는 외부 장치에서 전송한 동형 암호문을 저장할 수도 있다. 또한, 메모리(420)는 후술하는 연산 과정에서의 결과물인 연산 결과 암호문을 저장할 수도 있다.
메모리(420)는 학습 모델을 저장할 수 있다. 이러한 학습 모델은 동형 암호문을 이용하여 학습될 수 있으며, 학습 모델의 연산 과정에서는 행렬 연산이 이용될 수 있다.
디스플레이(430)는 연산 장치(400)가 지원하는 기능을 선택받기 위한 사용자 인터페이스 창을 표시한다. 예를 들어, 디스플레이(430)는 연산 장치(400)가 제공하는 각종 기능을 선택받기 위한 사용자 인터페이스 창을 표시할 수 있다. 이러한 디스플레이(430)는 LCD(liquid crystal display), OLED(Organic Light Emitting Diodes) 등과 같은 모니터일 수 있으며, 후술할 조작 입력 장치(440)의 기능을 동시에 수행할 수 있는 터치 스크린으로 구현될 수도 있다.
디스플레이(430)는 비밀 키 및 공개 키 생성에 필요한 파라미터의 입력을 요청하는 메시지를 표시할 수 있다. 한편, 구현시에 암호화 대상은 사용자가 직접 선택할 수도 있고, 자동으로 선택될 수 있다. 즉, 암호화가 필요한 개인 정보 등은 사용자가 직접 메시지를 선택하지 않더라도 자동으로 설정될 수 있다.
조작 입력 장치(440)는 사용자로부터 연산 장치(400)의 기능 선택 및 해당 기능에 대한 제어 명령을 입력받을 수 있다. 예를 들어, 조작 입력 장치(440)는 사용자로부터 비밀 키 및 공개 키 생성에 필요한 파라미터를 입력받을 수 있다. 또한, 조작 입력 장치(440)는 사용자로부터 암호화될 메시지를 설정받을 수 있다.
프로세서(450)는 연산 장치(400)의 전반적인 동작을 제어한다. 예를 들어, 프로세서(450)는 메모리(420)에 저장된 적어도 하나의 인스트럭션을 실행함으로써 연산 장치(400)의 동작을 전반적으로 제어할 수 있다. 이러한 프로세서(450)는 CPU(central processing unit), ASIC(application-specific integrated circuit)과 같은 단일 장치로 구성될 수 있으며, CPU, GPU(Graphics Processing Unit) 등의 복수의 장치로 구성될 수도 있다.
프로세서(450)는 전송하고자 하는 메시지가 입력되면 메모리(420)에 저장할 수 있다. 그리고 프로세서(450)는 메모리(420)에 저장된 각종 설정 값 및 프로그램을 이용하여, 메시지를 동형 암호화할 수 있다. 이 경우, 공개 키가 사용될 수 있다.
프로세서(450)는 암호화를 수행하는데 필요한 공개 키를 자체적으로 생성하여 사용할 수도 있고, 외부 장치로부터 수신하여 사용할 수도 있다. 일 예로, 복호화를 수행하는 제2 서버 장치(300)가 공개 키를 다른 장치들에게 배포할 수 있다.
자체적으로 키를 생성하는 경우, 프로세서(450)는 Ring-LWE 기법을 이용하여 공개 키를 생성할 수 있다. 예를 들어 설명하면, 프로세서(450)는 먼저 각종 파라미터 및 링을 설정하여, 메모리(420)에 저장할 수 있다. 파라미터의 예로는 평문 메시지 비트의 길이, 공개 키 및 비밀 키의 크기 등이 있을 수 있다.
링은 다음과 같은 수학식으로 표현될 수 있다.
[수학식 2]
Figure 112019126037137-pat00001
여기서 R은 링, Zq는 계수, f(x)는 n차 다항식이다.
링(Ring)이란 기설정된 계수를 가지는 다항식의 집합으로, 원소들 사이에 덧셈과 곱셈이 정의되어 있으며 덧셈과 곱셈에 대해서 닫혀 있는 집합을 의미한다. 이러한 링은 환으로 지칭될 수 있다.
일 예로, 링은 계수가 Zq인 n차 다항식의 집합을 의미한다. 예를 들어, n이 Φ(N)일 때, N차 사이클로토믹 다항식 (N-th cyclotomic polynomial)을 의미할 수 있다. (f(x))란 f(x)로 생성되는 Zq[x]의 이데알(ideal)을 나타낸다. Euler totient 함수 Φ(N)이란 N과 서로 소이고 N보다 작은 자연수의 개수를 의미한다. ΦN(x)를 N차 사이클로토믹 다항식으로 정의하면, 링은 다음과 같은 수학식 3으로도 표현될 수 있다.
[수학식 3]
Figure 112019126037137-pat00002
한편, 상술한 수학식 3의 링은 평문 공간에서 복소수를 가질 수 있다. 한편, 동형 암호문에 대한 연산 속도를 향상하기 위하여, 상술한 링의 집합 중 평문 공간이 실수인 집합만을 이용할 수도 있다.
이와 같은 링이 설정되면, 프로세서(450)는 링으로부터 비밀 키(sk)를 산출할 수 있다.
[수학식 4]
Figure 112019126037137-pat00003
여기서, s(x)는 작은 계수로 랜덤하게 생성한 다항식을 의미한다.
그리고 프로세서(450)는 링으로부터 제1 랜덤 다항식(a(x))을 산출할 수 있다. 제1 랜덤 다항식은 다음과 같이 표현될 수 있다.
[수학식 5]
Figure 112019126037137-pat00004
또한, 프로세서(450)는 에러를 산출할 수 있다. 예를 들어, 프로세서(450)는 이산 가우시안 분포 또는 그와 통계적 거리가 가까운 분포로부터 에러를 추출할 수 있다. 이러한 에러는 다음과 같이 표현될 수 있다.
[수학식 6]
Figure 112019126037137-pat00005
에러까지 산출되면, 프로세서(450)는 제1 랜덤 다항식 및 비밀 키에 에러를 모듈 연산하여 제2 랜덤 다항식을 산출할 수 있다. 제2 랜덤 다항식은 다음과 같이 표현될 수 있다.
[수학식 7]
Figure 112019126037137-pat00006
최종적으로 공개 키(pk)는 제1 랜덤 다항식 및 제2 랜덤 다항식을 포함하는 형태로 다음과 같이 설정될 수 있다.
[수학식 8]
Figure 112019126037137-pat00007
상술한 키 생성 방법은 일 예에 불과하므로, 반드시 이에 한정되는 것은 아니며, 이 밖에 다른 방법으로 공개 키 및 비밀 키를 생성할 수도 있음은 물론이다.
한편, 프로세서(450)는 공개 키가 생성되면, 다른 장치들에 전송되도록 통신 장치(410)를 제어할 수 있다.
그리고 프로세서(450)는 메시지에 대한 동형 암호문을 생성할 수 있다. 예를 들어, 프로세서(450)는 메시지에 대해서 앞서 생성된 공개 키를 적용하여 동형 암호문을 생성할 수 있다.
복호화할 메시지는 외부 소스로부터 수신할 수도 있고, 연산 장치(400)에 직접 구비 또는 연결된 입력 장치로부터 입력될 수도 있다. 예를 들어, 연산 장치(400)가 터치 스크린이나 키 패드를 포함하는 경우, 프로세서(450)는 사용자가 터치 스크린이나 키 패드를 통해 입력하는 데이터를 메모리(420)에 저장한 후, 암호화할 수 있다. 생성된 동형 암호문은 복호화하였을 때 메시지에 스케일링 팩터를 반영한 값에 에러를 더한 결과값으로 복원되는 형태가 될 수 있다.
그리고 프로세서(450)는 동형 암호문이 생성되면 메모리(420)에 저장하거나, 사용자 요청 또는 기 설정된 디폴트 명령에 따라 동형 암호문을 다른 장치에 전송하도록 통신 장치(410)를 제어할 수 있다.
한편, 본 개시의 일 실시 예에 따르면, 암호화 시에 패킹(packing)이 수행될 수 있다. 여기서 패킹은 복수의 메시지를 하나의 암호문으로 생성하는 것이다.
이와 같이 동형 암호화에서 패킹을 이용하게 되면, 다수의 메시지를 하나의 암호문으로 암호화하는 것이 가능해진다. 이 경우, 연산 장치(400)에서 각 암호문들 간의 연산을 수행하게 되면, 결과적으로 다수의 메시지에 대한 연산이 병렬적으로 처리되므로 연산 부담이 크게 줄어들게 된다.
예를 들어, 프로세서(450)는 메시지가 복수의 메시지 벡터로 이루어지는 경우, 복수의 메시지 벡터를 병렬적으로 암호화할 수 있는 형태의 다항식으로 변환할 수 있다.
이때, 프로세서(450)는 복수의 메시지를 다변수로 정의되는 다항식으로 변환하여 동형 암호문을 생성할 수 있다. 예를 들어, 프로세서(450)는 복수의 메시지를 다변수 개수에 대응되는 다차원 덴서로 배치하고, 다차원 탠서로 배치되는 복수의 메시지를 다항식으로 변환할 수 있다. 여기서, 다변수(multivariate)는 독립 변수가 복수개인 것을 의미하며, 텐서(tensor)는 두개 이상의 독립적인 방향을 표시할 때 사용되는 기하학적인 양이다.
즉, 다변수가 제1 변수(x), 제2 변수(y)로 구성되는 2개 변수를 갖는 경우, 복수의 메시지를 복수의 열 및 복수의 행으로 구성되는 행렬 형태로 배치하고, 행렬 형태로 배치된 복수의 메시지(즉, 행렬의 슬롯 각각)를 제1 변수 및 제2 변수로 정의되는 다항식의 계수로 변환하여 인코딩을 수행할 수 있다. 이와 같은 다변수 패킹 동작의 구체적인 동작은 후술한다. 이에 따라, 복수의 메시지 벡터를 패킹한 암호문을 생성할 수 있다.
그리고 프로세서(450)는 생성된 다항식에 스케일링 팩터를 승산하고 공개 키를 이용하여 동형 암호화할 수도 있다.
그리고 프로세서(450)는 동형 암호문에 대한 복호가 필요한 경우, 동형 암호문에 비밀 키를 적용하여 다항식 형태의 복호문을 생성하고, 다항식 형태의 복호문을 디코딩하여 메시지를 생성할 수 있다. 이때 생성한 메시지는 앞서 설명한 수학식 1에서 언급한 바와 같이 에러를 포함할 수 있다.
그리고 프로세서(450)는 암호문에 대한 연산을 수행할 수 있다. 예를 들어, 프로세서(450)는 동형 암호문에 대해서 암호화된 상태를 유지한 상태에서 덧셈, 뺄셈, 또는 곱셈 등의 연산을 수행할 수 있다. 또한, 프로세서(450)는 동형 암호문에 대해서 암호된 상태에서 행렬 연산을 수행할 수 있다.
구체적으로, 복수의 메시지를 다차원 텐서로 배치하는 경우, 메시지 상태에서의 행렬 변환과 암호화된 상태(즉, 동형 암호문 상태)에서의 행렬 변환은 동일하다. 암호문에 대한 행렬 연산이 필요한 경우에도, 암호문을 평문으로 복호할 필요 없이 암호문 상태에서 연산을 수행할 수 있다.
한편, 단말 장치(100)는 연산이 완료되면, 연산 결과 데이터로부터 유효 영역의 데이터를 검출할 수 있다. 예를 들어, 단말 장치(100)는 연산 결과 데이터를 라운딩 처리를 수행하여 유효 영역의 데이터를 검출할 수 있다.
여기서, 라운딩 처리란 암호화된 상태에서 메시지의 반올림(round-off)을 진행하는 것을 의미하며, 다르게는 리스케일링(rescaling)이라고 할 수도 있다. 예를 들어, 단말 장치(100)는 암호문 각각의 성분에 스케일링 인수의 역수인 Δ-1을 곱하고 반올림하여, 노이즈 영역을 제거할 수 있다. 노이즈 영역은 스케일링 팩터의 크기에 대응되도록 결정될 수 있다. 결과적으로 노이즈 영역이 제외된 유효 영역의 메시지를 검출할 수 있다. 암호화 상태에서 진행되므로 추가적인 에러가 발생하지만 크기는 충분히 작으므로 무시할 수 있다.
또한, 단말 장치(100)는 연산 결과 암호문 내의 근사 메시지 비중이 임계치를 초과하면, 연산 결과 암호문의 평문 공간을 확장할 수 있다. 예를 들어, 상술한 수학식 1에서 q가 M보다 작다면 M+e(mod q)는 M+e와 다른 값을 가지므로 복호화가 불가능해진다. 따라서, q 값은 항상 M보다 크게 유지되어야 한다. 하지만, 연산이 진행됨에 따라 q 값은 점차 감소하게 된다. 평문 공간의 확장이란 암호문 ct를 더 큰 모듈러스(modulus)를 가지는 암호문으로 변화시키는 것을 의미한다. 평문 공간을 확장하는 동작은 다르게는 재부팅(rebooting)이라 할 수도 있다. 재부팅을 수행함에 따라, 암호문은 다시 연산이 가능한 상태가 될 수 있다.
한편, 이하에서는 본 개시에 따른 패킹 동작을 설명한다.
이하에서 설명할 MHEAAN은 탠서(tensor) 패킹 방법과 다차원의 회전을 이용하여 HEAAN을 일반화한 것이다.
먼저, m-RLWE(Multivariate RLWE)는 기존의 Ring-LWE 기법을 다음의 수학식 9와 같이 다변수로 적용한 것이다.
[수학식 9]
Figure 112019126037137-pat00008
여기서, N0 및 N1은 2의 거듭제곱이다.
한편,
Figure 112019126037137-pat00009
을 가정하면, 수학식 9는
Figure 112019126037137-pat00010
로 표현할 수 있으며, 이는 기존의 Ring-LWE 기법과 같게 된다.
이와 같이 본 개시의 MHEAAN 기술은 사이클로토믹 다항식을 만족하는 x1, x2(일반적으로는 x1, …. xs)갖는 m-RLWE에 기초한다.
상술한 바와 같이 MHEAAN은 HEAAN을 M 거듭제곱의 경우로 일반화한 것이다. 예를 들어, MHEAAN에서의 암호화 처리는 다음과 같이 나타낼 수 있다.
먼저, 1)
Figure 112019126037137-pat00011
크기의 복소수 값의 텐서를
Figure 112019126037137-pat00012
을 이용하여 인코딩하여 링에 속하는 m(x)을 생성할 수 있다. 그리고 2) 링(R'l)에 대응하는 m-RLWE 인스턴스(a(x), b(x))의 결과로 마스크 처리하고, 3) 텐서(
Figure 112019126037137-pat00013
)가 인코딩된 메시지(m(x))를 암호화 처리하여 동형 암호문(ct)을 생성하는 것이다. 이러한 과정을 통하여 생성된 암호문은 텐서를 암호화하였다고 지칭될 수 있다.
상술한 바와 같은 HEAAN은 아래의 수학식 10과 같이 MHEAAN에서 s=0인 특별한 경우로 나타낼 수 있다.
[수학식 10]
Figure 112019126037137-pat00014
한편, s=1인 경우, 즉 2차원 패킹은 다음과 같은 수학식 11로 나타낼 수 있다.
[수학식 11]
Figure 112019126037137-pat00015
구체적으로, 수학식 11을 참조하면, 복수의 메시지는 다변수로 정의되는 메시지로 인코딩되고, 해당 메시지는 암호화되어 동형 암호문을 생성할 수 있다.
이하에서는 MHEAAN에서의 각종 연산 동작을 설명한다.
- 키 생성(MHEAAN.KeyGEN(1λ))
키 생성은 MHEAAN에 필요한 각종 파라미터 값을 생성하는 연산으로, 보안 매개변수(λ)가 주어지는 경우, 사이클로토믹 링에 대응되는 정수(M), 가장 큰 암호문 모듈러스 레벨에 대응되는 정수(L), 분산 파라미터(ρ, σ, h)가 설정(또는 출력)될 수 있다.
그리고 비밀, 에러, 암호 각각의 과정에서 사용될 분포(Xenc=ZO(ρ), Xerr=DG(σ), Xkey=HWT(h))가 설정될 수 있으며, 상기 설정된 분포로부터 비밀(s ←Xkey), 랜덤(a←R'L), 에러(e←Xerr) 등이 산출될 수 있다.
또한, 산출된 비밀, 랜덤, 에러를 이용하여 비밀 키(sk←(s, 1)), 제2 랜덤(b←-a·s + e + 2Ls(mod R'2·L)) 및 공개 키(pk←(a, b)∈R'2 L )를 산출할 수 있다. 그리고,
- 키 생성(MHEAAN.KeyGENsk(s))
암호문 연산과정에서 사용될 스위칭 키(Switching key) 및 평가 키(evaluation key)를 생성하는 연산으로, 스위칭 키는 다음의 수학식 12과 같이 출력될 수 있으며, 평가 키는 다음의 수학식 13과 같이 출력될 수 있다.
[수학식 12]
Figure 112019126037137-pat00016
여기서, a는 R'2·L에서 산출되는 값, b는 -a·s + e + 2Ls(mod R'2·L)에서 산출되는 값이다.
[수학식 13]
Figure 112019126037137-pat00017
- 인코딩(MHEAAN.Encode(
Figure 112019126037137-pat00018
))
인코딩은 복수의 메시지를 다변수의 개수에 대응되는 다차원 텐서로 배치하고, 다차원 탠서로 배치된 복수의 메시지를 다항식으로 인코딩하는 연산으로, 아래의 수학식 14를 참조하여, 복수의 메시지에 대응되는 텐서를 다항식으로 변환할 수 있다.
[수학식 14]
Figure 112019126037137-pat00019
여기서 m 은 다변수를 갖는 다항식,
Figure 112019126037137-pat00020
텐서로
Figure 112019126037137-pat00021
을 만족하고, n는 N/2와 같거나 작고, p는 l보다 작은 정수이다.
-디코딩(MHEAAN.Decode(m, p))
디코딩 연산은 평문(다항식)을 다음과 같은 수학식 15를 이용하여 탠서로 변환하는 연산이다.
[수학식 15]
Figure 112019126037137-pat00022
Figure 112019126037137-pat00023
여기서,
Figure 112019126037137-pat00024
는
Figure 112019126037137-pat00025
을 만족하는 텐서, p는 정밀 비트(precision bit), m은 다항식 형태의 평문이다.
- 암호화(MHEAAN.Encpk(m))
암호화 연산은 다항식 형태의 평문을 동형 암호문으로 변환하는, 즉 암호화 처리하는 연산이다.
[수학식 16]
Figure 112019126037137-pat00026
여기서 ct는 암호문, v는 Xenc에서 산출된 값, e0, e1 각각은 Xerr에서 샘플링된 에러이고, pk는 공개 키이다.
- 복호화(MHEAAN.Decsk(ct))
복호화는 암호문을 평문으로 변환하는 연산이다. 이러한 복호화 연산 과정에서는 다변수로 정의되는 암호문(ct = (co, c1) ∈ R'2 l))에 대해서 co·s + c1(mod R'l)을 출력할 수 있다.
- 덧셈연산(MHEAAN.Add(ct1, ct2))
입력된 두 동형 암호문(ct1, ct2)의 합산 값(ctadd ←ct1 + ct2)을 출력하는 연산으로, 합산 값(ctadd)은 텐서
Figure 112019126037137-pat00027
에 대한 암호문일 수 있다.
- 상수 곱셈 연산(MHEAAN.CMulteevk(ct,C,p))
상수 곱셈 연산은 동형 암호문에 상수 값을 곱셈하는 연산으로, 상수 값에 대응되는 상수 텐서를 인코딩하고, 인코딩된 텐서와 암호문을 이용하여 다음과 같은 수학식 17을 연산할 수 있다.
[수학식 17]
Figure 112019126037137-pat00028
여기서, c는 인코딩된 상수 텐서(
Figure 112019126037137-pat00029
)이고, ct는 암호문이고, Ctcmult는 동형 암호문에 대한 상수곱 값으로,
Figure 112019126037137-pat00030
에 대한 암호문일 수 있다.
- 다항식 곱셈 연산(MHEAAN.PolyMultevk(ct, g, p))
다항식 곱셈 연산은 동형 암호문에 다항식 형태의 상수(c)를 곱하는 연산으로, 상수 텐서를 인코딩하는 단계가 없다는 점을 빼고는 앞서 설명한 상수 곱셈 연산과 동일하다.
- 곱셈 연산(MHEAAN.Multevk(ct1, ct2))
입력된 두 동형 암호문(ct1 = (a1, b1), ct2 = (a2, b2))의 곱셈 값(ctmult ← (d1, d2) + 「2-L·d0·evk」(mod R'l)을 출력하는 연산으로, 곱셈 값(ctmult)은 텐서
Figure 112019126037137-pat00031
에 대한 암호문일 수 있다. 여기서, (d0, d1, d2) = (a1a2, a1b2+a2b1, b1b2)(mod R'l)이다.
- 리스케일링(MHEAAN.Decsk(ct,p))
리스케일링은 입력된 암호문에 정수(p)를 이용하여 모듈 연산하는 것으로, 다음과 같은 수학식 18을 연산할 수 있다.
[수학식 18]
Figure 112019126037137-pat00032
여기서, ct는 입력된 암호문, ct는 리스케일링된 암호문이다.
한편, 정수 벡터(k=(k0,...,ks))에 대해서 다음의 수학식 18을 만족하는 경우, 수학식 19과 같은 변환 동작은 컨쥬게이터 또는 회전 연산에 이용될 수 있다.
[수학식 19]
Figure 112019126037137-pat00033
- 컨쥬게이트(MHEAAN.Conjugatecjk(ct))
컨쥬게이트 키(conjugation key, cjk)를 수학식 20과 같이 설정한다면, 수학식 21과 같은 컨쥬게이션 결과를 출력할 수 있다.
[수학식 20]
Figure 112019126037137-pat00034
[수학식 21]
Figure 112019126037137-pat00035
여기서, (a', b')는 (k-1(a), k-1(b))(mod R'l)이고, ctcj는 컨쥬게이션 결과로, 컨쥬게이션된 평문 텐서에 대한 암호문일 수 있다.
- 행렬 회전(MHEAAN.Rotaterrtk(ct;r))
회전 키(rotation key, rtk)를 수학식 22과 같이 설정한다면, 수학식 23과 같은 회전 결과를 출력할 수 있다.
[수학식 22]
Figure 112019126037137-pat00036
[수학식 23]
Figure 112019126037137-pat00037
여기서, (a', b')는 (kgr(a), kgr(b))(mod R'l)이고, ctrt는 회전 결과로, i차원에서 평문이 ri에 의해 회전된 평문(rt(
Figure 112019126037137-pat00038
,r))에 대한 암호문일 수 있다.
이와 같이, 링(ring)에 대한 m-RLWE 문제의 경도는 RLWE 문제로부터 감소한 것으로 나타난다. 그리고 MHEAAN은 리스케일 처리와 같은 HEAAN의 모든 이점을 갖는다. 그리고 이 스킴은 복소수 값의 근사계산에 대한 힙리적인 솔루션이 될 수 있다. 이하에서는 2차원 구조 표준 HE 연산과 같은 행렬 연산을 지원하는 2차원 구조를 설명한다.
이와 같이 본 개시에 따른 MHEAAN 기술이 적용되는 경우, 평문 슬롯의 행렬에 대응하는 2차원 경우에, 행렬 곱은 Fox 행렬 곱 알고리즘을 이용하여 손쉽게 수행될 수 있다. 그리고 링의 급수적으로 클 것을 요구하지 않으며, 복소수 알고리즘의 일부분으로 행렬 곱을 수행할 수 있다.
또한, 분할 및 정복(conqurer) 알고리즘과의 결합도 가능하기 때문에 행렬 크기도 문제되지 않는다. 행렬 전환과 같은 다양한 행렬 연산을 수행할 수 있다.
이상과 같이 본 개시에 따른 연산 장치는 복수의 메시지를 다변수를 활용하여 다차원으로 패킹할 수 있는바, 다변수로 패킹된 암호문에 대한 행렬 곱 과정에서 낮은 복잡도로 연산이 가능하다.
한편, 도 2를 도시하고 설명함에 있어, 연산 장치가 키도 생성하고, 메시지 암호화를 수행하고, 암호문에 대한 복호화도 수행하는 것으로 설명하였지만, 구현시에 연산 장치는 키만을 생성하거나, 암호화 동작만을 수행하거나, 암호문에 대한 연산만을 수행하는 등 일부 동작만을 수행할 수도 있다.
도 3은 본 개시의 일 실시 예에 따른 암호화 방법을 설명하기 위한 흐름도이다.
도 3을 참조하면, 먼저 복수의 메시지를 입력받는다(S310). 예를 들어, 복수의 메시지는 외부 장치로부터 수신된 것일 수 있으며, 장치 내부적으로 생성하거나 사용자가 입력한 것일 수 있다. 또한, 복수의 메시지 중 일부는 자체적으로 생성한 것이고, 나머지는 외부에서 수신되거나 사용자가 입력한 것일 수 있다.
복수의 메시지를 다변수로 정의되는 다항식으로 인코딩한다(S320). 구체적으로, 다변수의 개수에 대응되는 다차원 텐서(tensor)로 배치하고, 다차원 탠서로 배치된 복수의 메시지를 다항식으로 인코딩할 수 있다. 예를 들어, 다변수가 x, y로 구성되는 2개의 변수인 경우, 복수의 메시지를 복수의 열 및 복수의 행으로 구성되는 행렬 형태로 배치하고, 행렬 형태로 배치된 복수의 메시지를 제1 변수(x) 및 제2 변수(y)로 정의되는 다항식으로 인코딩할 수 있다.
그리고 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성할 수 있다.
한편, 상술한 바와 같은 동형 암호문이 생성되면, 생성된 동형 암호문에 대한 연산 처리를 수행할 수 있다. 이러한 연산 처리는 하나의 동형 암호문을 대상으로 할 수 있으며, 복수의 동형 암호문에 대한 덧셈, 곱셈, 뺄셈, 행렬 곱 등의 연산일 수 있다. 이하에서는 도 4 내지 도 12를 참조하면, 본 개시에 따른 다양한 연산 동작을 설명한다.
상술한 바와 같이 본 개시의 암호화 방법은 복수의 메시지를 다변수를 활용하여 다차원으로 패킹할 수 있는바, 다변수로 패킹된 암호문에 대한 행렬 곱 과정에서 낮은 복잡도로 연산이 가능하다. 도 3과 같은 암호화 방법은 도 2의 연산 장치에서 수행될 수 있으며, 각 단계들을 수행하기 위한 프로그램 코드 형태로 구현될 수도 있다.
도 4는 본 개시의 일 실시 예에 따른 행(row) 합산 방법을 설명하기 위한 도면이다. 이하에서는 설명을 용이하게 하기 위하여, 행렬(A)을 텐서를 이용하여 다변수로 정의된 다항식으로 인코딩하여 암호화한 암호문을 ctA라고 지칭한다.
도 4를 참조하면, 행 합산(또는 열 합산)은 암호문(ctA)의 회전 처리와 회전 처리 결과와 입력된 암호문의 덧셈 동작을 기설정된 횟수만큼 반복하는 것으로 구현할 수 있다.
계산 결과는 행렬(A)의 행 합산 값에 대한 암호문과 유사할 수 있다.
도 5는 본 개시의 일 실시 예에 따른 대각 추출(Diagonal Extraction) 방법을 설명하기 위한 도면이다.
도 5를 참조하면, 대각 추출 동작은 입력된 암호문을 상수(Ik)와의 곱셈 처리하는 동작과 곱셈 처리된 결과를 리스케일링하는 동작으로 수행될 수 있다. 여기서, Ik는 rt(I, (k,0))로 단위 행렬(identity matrix)일 수 있다.
도 6은 본 개시의 일 실시 예에 따른 벡터 곱(Matrix by Vector Multiplication) 방법을 설명하기 위한 도면이다.
암호문(ctv)이 n×1 행렬 크기를 갖는 벡터 v의 암호문인 경우, ctv는 벡터의 같은 열로 구성되는 n 행렬 크기를 갖는 암호문으로 볼 수 있다.
만약, ctA T에 ctv을 곱하고 열 합산(col Sum) 알고리즘을 적용한다면, 1×n 크기를 갖는 wT=(Av)T가 암호화된 암호문을 얻을 수 있다.
이러한 벡터 곱은 도 6과 같이 ctA T에 대한 암호문 곱셈, ct(Av) T에 대한 리스케일링, 리스케이링된 ct(Av) T에 대한 열 합산 동작으로 수행될 수 있다.
도 7은 본 개시의 일 실시 예에 따른 행렬 곱(Matrix Multiplication) 방법을 설명하기 위한 도면이다.
암호화된 행렬 곱셈에 대해서 폭스 행렬 곱셈 알고리즘을 이용할 수 있다. 예를 들어, (ctA, βA·2p, 2p, l), (ctB, βB·2p, 2p, l) 각각을 A, B에 대한 암호문인 경우, 행렬 곱은 C=AB에 대한 암호문인 (ctC, βC·2p, 2p, l)를 출력할 수 있다. 여기서, βC = βA+ βB+ (log n +1)·β* 이다.
도 7을 참조하면, C을 구성하는 복수의 성분 중 일부 성분 값을 산출하기 위하여, ctB에 대한 대각 추출, ctBk에 대한 회전 처리, 회전 처리 결과와 대각 추출결과를 합산하는 단계, ctA에 대한 회전 처리, 회전 처리 결과에 대한 모드 다운 처리, ctAk와 ctBk의 행렬 곱 연산과 ctC와 ctCk 덧셈 연산을 반복적으로 수행하여 C의 모든 성분 값을 산출할 수 있다.
예를 들어, C=A×B 행렬 곱을 수행하는 경우, 먼저, 두 행렬(A, B)을 벡터로 변환할 수 있다(이때, m2≤n).
그리고 m×m 행렬 A의 성분 ai,j 를 벡터의 m(i-1)+j 번째 성분에 배치할 수 있으며, m×m 행렬 B의 성분 bi,j 를 벡터의 m(k-1)+j 번째 성분에 배치할 수 있다.
한편, 두 행렬의 곱셈은 하다마드 곱으로 표현할 수 있다. 예를 들어, 하다마드 곱의 처음 n개의 성분은 a11b11, a12b21, …, a1mbm1, 그 다음 n개의 성분은 a21b12, a22b22, …,a2mbm2, 순으로 나열될 수 있다.
그리고 슬롯 이동을 통해 벡터의 성분들을 m개씩 더할 수 있다. 그 결과로 얻는 벡터는 첫 자리가 c11, m+1번째 자리가 c22, 2m+1번째 자리가 c33,.. 로 나타날 수 있다.
이와 같은 과정을 통하여 C의 일부 성분 값이 추출되며, A의 성분 배치를 m 자리 이동하고 상술한 곱셈 등의 동작을 반복하여 C의 나머지 성분 값도 추출할 수 있다.
위 과정에서 각 단계별로 얻는 벡터는 전체 m2개의 성분 중 m 개만을 사용하며, 남은 성분들은 알고리즘 상 연산하게 되지만 실제 행렬 곱의 결과에는 반영되지 않는 결과이므로 연산에 낭비가 일어난다. 예를 들어, 하다마드 곱으로 얻은 벡터를 슬롯 이동하여 더했을 경우, 두 번째 성분은 a12b21 + ...+ a1mbm1 + a21b12가 나오고 이 값은 C의 성분에 관계가 없는 연산이다.
따라서, 구현시에는 연산 결과에 반영되지 않은 부분에 대해서는 연산을 수행하지 않음으로써 연산 속도 및 리소스를 줄일 수 있다.
기저 링의 차원이 N일 때, HEAAN의 행렬 곱은 덧셈, 곱셈을 O(N2) 정도 사용해야 되는데 반해, MHEAAN에서는 O(N)정도 사용하는 것으로 개선될 수 있다.
한편, 상술한 행렬 곱은 수학식 24와 같이 B', C" 치환을 이용하여, 보다 효율적으로 수행될 수도 있다.
[수학식 24]
Figure 112019126037137-pat00039
A 및 B'에 대한 암호화를 수행하는 경우, 도 8의 알고리즘에 따르면 행렬 C에 대한 치환 행렬인 C"을 출력할 수 있다.
도 8은 본 개시의 일 실시 예에 따른 치환 행렬(Permutation Matrix)의 행렬 곱을 설명하기 위한 도면이다.
도 8을 참조하면, 두 행렬(ctA, ctB)의 회전 처리, 곱셈 연산, 곱셈 결과의 덧셈 처리를 반복적으로 수행하는 동작을 통하여 행렬 곱 연산을 수행할 수 있다.
예를 들어, 행렬 곱은 복수의 동형 암호문에 대한 하다마다 곱 연산, 그리고, 하다마다 곱 연산 결과의 성분 합산을 통하여 행렬 곱 결과의 일부 성분 값 추출 동작으로 구성될 수 있다. 그리고 복수의 동형 암호문 중 하나에 대해서 회전 처리(슬롯 이동)를 하여 상술한 동작을 반복함으로써 C의 모든 성분 값을 추출하는 동작을 수행할 수 있다.
도 9는 본 개시의 일 실시 예에 따른 전치(transposition) 행렬 생성방법을 설명하기 위한 도면이다. 여기서 전치 행렬이란 임의의 행렬 A에 대해서 행과 열을 바꾼 행렬(AT)을 의미한다.
한편, 대각 추출 알고리즘을 이용하여 행렬 A의 이동된 대각들 모두를 추출할 수 있다. 이는 전치 행렬(AT)은 행렬 A의 이동된 대각(Ak)들로 구성됨을 확인할 수 있다.
이러한 점에서, 도 9를 참조하면, 암호문에 대한 전치 행렬을 찾는 동작은, 해당 암호문에 대한 대각 추출 동작, 추출된 대각을 회전하는 동작, 회전된 값을 합산하는 동작을 기설정된 회수를 반복하여 수행될 수 있다.
도 10은 본 개시의 일 실시 예에 따른 역행렬 연산 방법을 설명하기 위한 도면이다.
역행렬 연산은 Schulze 알고리즘을 근사 인버스 회로에 적용하여 구현할 수 있다. 구체적으로, 도 10에 도시된 바와 같이, I 값에 대한 인코딩, 모드 다운 처리, ctA에 대한 행렬 곱 처리, ctA 행렬 곱 처리에 대한 리스케일링, ctV 행렬 곱 처리, ctV 행렬 곱 처리에 대한 리스케일링 과정을 통하여 산출될 수 있다.
한편, MHEAAN은 임의의 수의 레이어를 가진 DNN 분류 알고리즘에 적용될 수 있다. 이러한 알고리즘은 비대화식이며, 모델 자체를 암호화된 상태로 유지할 수 있다.
이러한 DNN 분류 모델은 l+1개의 레이어로 구성될 수 있으며, 각 레이어 ni개의 노드를 포함할 수 있다. 여기서 0번째 레이어는 입력 레이어이고, l번째 레이어는 출력 레이어이고, 나머지 레이어는 히든 레이어일 수 있다.
각 히든 레이어와 출력 레이어는 대응되는 가중 매트릭스(Wi), 바이어스 벡터(bi)을 가지며, 입력 벡터(a0)에 대해서 각 히든 레이어에서 선형 변환 부분(zi = W iai-1 +bi) 및 활성화 부분(a i = gi(z i))을 연속적으로 계산할 수 있다.
그리고 출력 레이어에서, 선형 변환 부분(zl = W lal-1 +bl) 및 zl에서 가장 큰 값의 인덱스를 계산할 수 있다.
상술한 설명에서의 선형 변환 부분은 도 11 또는 도 12의 알고리즘이 이용될 수 있다. 예를 들어, 모든 히든 레이어 대해서, 시그모이드(sigmoid)을 활성화 함수를 이용할 수 있으며, 활성화 부분에 대해서는 시그모이드 함수의 다항식 근사를 이용할 수 있다. 특히, 7차 방정식을 이용할 수 있으며, 그 예는 수학식 25와 같다.
[수학식 25]
Figure 112019126037137-pat00040
한편, 도 11과 같은 알고리즘을 이용하여, 해당 알고리즘에 cta0, ctW1 T, ctb1 T를 입력하고, ctz1 T를 얻을 수 있다.
그러면, 시그모이드 함수의 다항식 근사(g(x))를 이용하여 cta1 T를 평가할 수 있다.
이후에 도 12와 같은 알고리즘을 이용하여, 각 선형 변환부에 대해서 p 계수 비트를 잃고, 각 활성화 부에서 3p+3 모듈러스 비트를 잃게 된다. 초기 계수 비트 L이 충분히 크고, 부트 스크래핑을 이용하기 때문에 임의의 레이어 수를 갖는 DNN 분류에 대한 평가를 수행할 수 있게 된다.
한편, 이상에서는 심층 신경망에 대해서만 언급하였지만, 구현시에는 CNN(Convolutional Neural Network) 또는 RNN(Recurrent Neural Network)에서도 적용될 수 있다.
도 11은 본 개시의 일 실시 예에 따른 열(column)에서 행(row)로 선형 변환 방법을 설명하기 위한 도면이다.
도 11을 참조하면, 도 6에 도시된 바와 같은 벡터 곱 연산을 이용하여, cta, ctW T에 대한 벡터 곱 연산을 수행하고, 그 연산 결과(ct(Wa) T)와 ctb T를 합산하여, ctz T을 출력할 수 있다.
도 12는 본 개시의 일 실시 예에 따른 행(row)에서 열(column)로 선형 변환 방법을 설명하기 위한 도면이다.
도 12를 참조하면, 도 6에 도시된 바와 같은 벡터 곱 연산을 이용하여, cta T, ctW에 대한 벡터 곱 연산을 수행하고, 그 연산 결과(ctWa)와 ctb를 합산하여, ctz을 출력할 수 있다.
이와 같이 본 개시에 따른 MHEAAN은 근사 동형을 수행하는 HEAAN을 이용하며, 다차원 패킹을 통하여 행렬에서 효율적인 작업을 수행할 수 있으며, 많은 슬롯을 갖는 경우에도 잘 동작하는 부트스트랩핑을 지원한다.
한편, 상술한 다양한 실시 예에 따른 암호화 방법은 각 단계들을 수행하기 위한 프로그램 코드 형태로 구현되어, 기록 매체에 저장되고 배포될 수도 있다. 이 경우, 기록 매체가 탑재된 장치는 상술한 암호화 또는 암호문 처리 등의 동작들을 수행할 수 있다.
이러한 기록 매체는, ROM, RAM, 메모리 칩, 메모리 카드, 외장형 하드, 하드, CD, DVD, 자기 디스크 또는 자기 테이프 등과 같은 다양한 유형의 컴퓨터 판독 가능 매체가 될 수 있다.
이상 첨부 도면을 참고하여 본 개시에 대해서 설명하였지만 본 개시의 권리범위는 후술하는 특허청구범위에 의해 결정되며 전술한 실시 예 및/또는 도면에 제한되는 것으로 해석되어서는 안 된다. 그리고 특허청구범위에 기재된 개시의, 당업자에게 자명한 개량, 변경 및 수정도 본 개시의 권리범위에 포함된다는 점이 명백하게 이해되어야 한다.
100: 전자 장치 200: 제1 서버 장치
300: 제2 서버 장치 400: 연산 장치
410: 통신 장치 420: 메모리
430: 디스플레이 440: 조작 입력 장치
450: 프로세서

Claims (14)

  1. 복수의 메시지를 입력받는 단계;
    상기 복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하는 단계; 및
    상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하는 단계;를 포함하며,
    상기 인코딩하는 단계는,
    상기 다변수의 개수에 대응되는 다차원 텐서(tensor)로 배치하고, 상기 다차원 텐서로 배치된 복수의 메시지를 다항식으로 인코딩하는 암호화 방법.
  2. 삭제
  3. 복수의 메시지를 입력받는 단계;
    상기 복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하는 단계; 및
    상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하는 단계;를 포함하며,
    상기 다변수는 제1 변수 및 제2 변수를 포함하고,
    상기 인코딩하는 단계는,
    상기 복수의 메시지를 복수의 열 및 복수의 행으로 구성되는 행렬 형태로 배치하고, 상기 행렬 형태로 배치된 복수의 메시지를 제1 변수 및 제2 변수로 정의되는 다항식으로 인코딩하는 암호화 방법.
  4. 제3항에 있어서,
    상기 인코딩하는 단계는,
    상기 행렬의 슬롯 각각을 상기 제1 변수 및 상기 제2 변수로 정의되는 다항식의 계수로 변환하는 암호화 방법.
  5. 복수의 메시지를 입력받는 단계;
    상기 복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하는 단계;
    상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하는 단계; 및
    복수의 동형 암호문에 대한 연산 처리를 수행하는 단계;를 포함하며,
    상기 연산 처리는 행렬 곱이며,
    상기 연산 처리를 수행하는 단계는,
    상기 복수의 동형 암호문에 대한 하다마다 곱 연산을 수행하는 단계;
    상기 하다마다 곱 연산 결과의 성분 합산을 통하여 행렬 곱 결과의 일부 성분 값을 산출하는 단계; 및
    상기 복수의 동형 암호문 중 하나의 동형 암호문 내의 성분 위치를 이동하여 상기 하다마다 곱 연산을 수행하는 단계 및 상기 산출하는 단계를 반복하는 단계;를 포함하는 암호화 방법.
  6. 삭제
  7. 제5항에 있어서,
    상기 하다마다 곱 연산을 수행하는 단계는,
    상기 복수의 동형 암호문을 구성하는 복수의 성분 중 상기 일부 성분 값 산출에 반영되는 성분만 하다마다 곱 연산을 수행하는 암호화 방법.
  8. 연산 장치에 있어서,
    적어도 하나의 인스트럭션(instruction) 및 기결정된 복수의 소수 정보를 저장하는 메모리; 및
    상기 적어도 하나의 인스트럭션을 실행하는 프로세서;를 포함하고,
    상기 프로세서는,
    상기 적어도 하나의 인스트럭션을 실행함으로써,
    복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하고,
    상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하며,
    상기 인코딩은,
    상기 다변수의 개수에 대응되는 다차원 텐서(tensor)로 배치하고, 상기 다차원 텐서로 배치된 복수의 메시지를 다항식으로 인코딩하는 연산 장치.
  9. 삭제
  10. 연산 장치에 있어서,
    적어도 하나의 인스트럭션(instruction) 및 기결정된 복수의 소수 정보를 저장하는 메모리; 및
    상기 적어도 하나의 인스트럭션을 실행하는 프로세서;를 포함하고,
    상기 프로세서는,
    상기 적어도 하나의 인스트럭션을 실행함으로써,
    복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하고,
    상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하며,
    상기 다변수는 제1 변수 및 제2 변수를 포함하고,
    상기 인코딩은,
    상기 복수의 메시지를 복수의 열 및 복수의 행으로 구성되는 행렬 형태로 배치하고, 상기 행렬 형태로 배치된 복수의 메시지를 제1 변수 및 제2 변수로 정의되는 다항식으로 인코딩하는 연산 장치.
  11. 제10항에 있어서,
    상기 프로세서는,
    상기 행렬의 슬롯 각각을 상기 제1 변수 및 상기 제2 변수로 정의되는 다항식의 계수로 변환하는 연산 장치.
  12. 연산 장치에 있어서,
    적어도 하나의 인스트럭션(instruction) 및 기결정된 복수의 소수 정보를 저장하는 메모리; 및
    상기 적어도 하나의 인스트럭션을 실행하는 프로세서;를 포함하고,
    상기 프로세서는,
    상기 적어도 하나의 인스트럭션을 실행함으로써,
    복수의 메시지를 다변수로 정의되는 다항식으로 인코딩하고,
    상기 다변수로 정의되는 다항식을 암호화하여 동형 암호문을 생성하고,
    복수의 동형 암호문에 대한 연산 처리를 수행하며,
    상기 연산 처리는 행렬 곱이며,
    상기 수행하는 연산 처리는,
    상기 복수의 동형 암호문에 대한 하다마다 곱 연산을 수행하고,
    상기 하다마다 곱 연산 결과의 성분 합산을 통하여 행렬 곱 결과의 일부 성분 값을 산출하고,
    상기 복수의 동형 암호문 중 하나의 동형 암호문 내의 성분 위치를 이동하여 상기 하다마다 곱 연산 및 상기 산출하는 동작을 반복하여 상기 행렬 곱 결과의 전체 성분 값을 산출하는 연산 장치.
  13. 삭제
  14. 제12항에 있어서,
    상기 프로세서는,
    상기 복수의 동형 암호문을 구성하는 복수의 성분 중 상기 일부 성분 값 산출에 반영되는 성분만 하다마다 곱 연산을 수행하는 연산 장치.
KR1020190160996A 2018-12-07 2019-12-05 다변수 패킹을 이용하는 연산 장치 및 방법 KR102339833B1 (ko)

Priority Applications (2)

Application Number Priority Date Filing Date Title
US17/311,578 US12063290B2 (en) 2018-12-07 2019-12-06 Operating device and method using multivariate packing
PCT/KR2019/017237 WO2020117015A1 (ko) 2018-12-07 2019-12-06 다변수 패킹을 이용하는 연산 장치 및 방법

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US201862776883P 2018-12-07 2018-12-07
US62/776,883 2018-12-07

Publications (2)

Publication Number Publication Date
KR20200070121A KR20200070121A (ko) 2020-06-17
KR102339833B1 true KR102339833B1 (ko) 2021-12-16

Family

ID=71405480

Family Applications (2)

Application Number Title Priority Date Filing Date
KR1020190128403A KR102297536B1 (ko) 2018-12-07 2019-10-16 암호문에 대한 비다항식 연산을 수행하는 장치 및 방법
KR1020190160996A KR102339833B1 (ko) 2018-12-07 2019-12-05 다변수 패킹을 이용하는 연산 장치 및 방법

Family Applications Before (1)

Application Number Title Priority Date Filing Date
KR1020190128403A KR102297536B1 (ko) 2018-12-07 2019-10-16 암호문에 대한 비다항식 연산을 수행하는 장치 및 방법

Country Status (4)

Country Link
EP (1) EP3893429A4 (ko)
KR (2) KR102297536B1 (ko)
CN (1) CN113169860A (ko)
SG (1) SG11202105753TA (ko)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20220040309A (ko) 2020-09-23 2022-03-30 삼성전자주식회사 동형 암호화 장치 및 그 동작 방법
KR102409958B1 (ko) 2020-11-10 2022-06-20 서울대학교산학협력단 전자 장치, 그 제어 방법 및 서버
KR20220078155A (ko) 2020-12-03 2022-06-10 삼성전자주식회사 암호 프로세서, 암호 프로세서의 동작 방법 및 이를 포함한 전자 장치
US11870889B2 (en) 2021-02-23 2024-01-09 Samsung Electronics Co., Ltd. Method and apparatus with homomorphic encryption
KR102304992B1 (ko) * 2021-04-07 2021-09-27 서울대학교산학협력단 동형 암호문에 대한 비다항식 연산을 수행하는 장치 및 방법
US11477007B1 (en) 2021-04-13 2022-10-18 International Business Machines Corporation Packing arbitrary tensors into tiles with descriptive shapes

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20170147835A1 (en) 2015-11-25 2017-05-25 International Business Machines Corporation Efficient two party oblivious transfer using a leveled fully homomorphic encryption
KR101861089B1 (ko) * 2016-07-28 2018-05-25 서울대학교산학협력단 근사 복소수 연산을 지원하는 복수 개의 메시지의 동형 암호화 방법

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2012149395A1 (en) * 2011-04-29 2012-11-01 International Business Machines Corporation Fully homomorphic encryption
US9281941B2 (en) * 2012-02-17 2016-03-08 International Business Machines Corporation Homomorphic evaluation including key switching, modulus switching, and dynamic noise management
US9819650B2 (en) * 2014-07-22 2017-11-14 Nanthealth, Inc. Homomorphic encryption in a healthcare network environment, system and methods
US9900147B2 (en) * 2015-12-18 2018-02-20 Microsoft Technology Licensing, Llc Homomorphic encryption with optimized homomorphic operations
US20170293913A1 (en) * 2016-04-12 2017-10-12 The Governing Council Of The University Of Toronto System and methods for validating and performing operations on homomorphically encrypted data
KR101971215B1 (ko) * 2016-06-17 2019-04-22 서울대학교산학협력단 유효 숫자 연산을 지원하는 동형 암호문의 생성 방법 및 그러한 방법에 의해서 생성된 동형 암호문에 대한 유효 숫자 연산 방법

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20170147835A1 (en) 2015-11-25 2017-05-25 International Business Machines Corporation Efficient two party oblivious transfer using a leveled fully homomorphic encryption
KR101861089B1 (ko) * 2016-07-28 2018-05-25 서울대학교산학협력단 근사 복소수 연산을 지원하는 복수 개의 메시지의 동형 암호화 방법

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
MATTHEW FRANKLIN 외 1명, Efficient and Secure Evaluation of Multivariate Polynomials and Applications, ACNS 2010, LNCS 6123, pp.236-254 (2010.06.)*

Also Published As

Publication number Publication date
SG11202105753TA (en) 2021-06-29
EP3893429A1 (en) 2021-10-13
CN113169860A (zh) 2021-07-23
KR20200070121A (ko) 2020-06-17
KR102297536B1 (ko) 2021-09-03
KR20200070090A (ko) 2020-06-17
EP3893429A4 (en) 2022-08-24

Similar Documents

Publication Publication Date Title
EP3793127B1 (en) Terminal device performing homomorphic encryption, server device processing cipher text thereof, and methods thereof
KR102339833B1 (ko) 다변수 패킹을 이용하는 연산 장치 및 방법
US11239995B2 (en) Apparatus for processing approximately encrypted messages and methods thereof
US12063290B2 (en) Operating device and method using multivariate packing
KR102349855B1 (ko) 공간 복잡도를 고려한 동형 암호화 또는 복호화 방법
KR102167565B1 (ko) 근사 암호화된 암호문에 대한 재부팅 연산을 수행하는 장치 및 방법
KR102393942B1 (ko) 비밀 키에 대한 정족수 설계를 수행하는 장치 및 방법
KR20220121221A (ko) 동형 암호문의 변환 장치 및 방법
JP7170878B2 (ja) 暗号文に対する非多項式演算を行う装置及び方法
KR102304992B1 (ko) 동형 암호문에 대한 비다항식 연산을 수행하는 장치 및 방법
US20240235809A1 (en) Method for homomorphic encryption or decryption in consideration of spatial complexity
KR102452181B1 (ko) 근사 암호화된 암호문에 대한 정렬 장치 및 방법
KR102160294B1 (ko) 비밀 키에 대한 정족수 설계를 수행하는 장치 및 방법
KR102393941B1 (ko) 근사 암호화된 암호문에 대한 인코딩 또는 디코딩
KR102418016B1 (ko) 래티스를 기반으로 하는 신원 기반 암호화 방법
US20230344617A1 (en) Apparatus for bootstrap processing homomorphic encrypted message and method thereof
US20240039695A1 (en) Electronic apparatus for generating homomorphic encrypted message and method therefor
KR20230049052A (ko) 격자전자서명의 비밀 키 생성 방법 및 이를 이용한 장치
KR20240101372A (ko) 동형 암호문 처리 방법 및 전자 장치
KR20240108784A (ko) 동형 암호문 처리 방법 및 전자 장치
KR20240102803A (ko) 동형 암호문의 선형변환 장치 및 방법
CN118830224A (zh) 用于自举处理同态加密消息的装置及其方法

Legal Events

Date Code Title Description
E902 Notification of reason for refusal
E701 Decision to grant or registration of patent right