Основные понятия
동형 암호를 이용한 계산 결과의 무결성을 검증할 수 있는 두 가지 새로운 인코딩 기법을 제안한다. 이를 통해 기존 동형 암호 기반 애플리케이션의 계산 무결성을 보장할 수 있다.
Аннотация
이 논문은 동형 암호를 이용한 계산 결과의 무결성을 검증할 수 있는 두 가지 새로운 인코딩 기법을 제안한다.
첫 번째 인코딩은 복제 기반으로, 데이터를 복제하고 도전 값을 추가하여 확장된 벡터를 생성한다. 서버가 계산을 수행한 후 클라이언트는 이 벡터를 복호화하여 무결성을 검증할 수 있다.
두 번째 인코딩은 다항식 기반으로, 메시지를 이차 다항식으로 인코딩한다. 서버가 계산을 수행한 후 클라이언트는 이 다항식을 평가하여 무결성을 검증할 수 있다.
두 인코딩 기법은 다양한 애플리케이션 환경에 적용할 수 있도록 서로 다른 효율성 트레이드오프를 제공한다. 또한 이를 활용하여 VERITAS 라이브러리를 구현하였으며, 다양한 사례 연구를 통해 기존 솔루션 대비 우수한 성능을 보였다.
Статистика
복제 기반 인코딩의 선형 연산 시간은 보안 매개변수 λ에 비례하여 증가한다.
다항식 기반 인코딩의 선형 연산 시간은 λ의 영향을 크게 받지 않는다.
복제 기반 인코딩의 곱셈 연산 시간은 일정하지만, 다항식 기반 인코딩의 곱셈 연산 시간은 계산 깊이에 따라 증가한다.
다항식 기반 인코딩의 인증 크기는 계산 깊이에 따라 선형적으로 증가한다.
Цитаты
"동형 암호를 이용한 계산 결과의 무결성을 보장하는 것은 중요하지만, 기존 솔루션은 제한적이었다."
"우리는 동형 암호 기반 애플리케이션의 모든 연산을 지원할 수 있는 실용적인 솔루션을 제공한다."