EOE-ZKP : 타원 방정식을 기반으로 한 효율적이며 경량화된 ZKP
EOE-ZKP: Efficient and Lightweight Zero Knowledge Proof Based on the Equation of Ellipse
- 주제어 (키워드) 블록체인 , 영지식 증명 , 익명성 , 타원의 방정식 , 스마트 컨트랙트 , Blockchain , Zero Knowledge Proof , Anonymity , Equation of Ellipse , Smart contract
- 발행기관 서강대학교 일반대학원
- 지도교수 박수용
- 발행년도 2025
- 학위수여년월 2025. 2
- 학위명 석사
- 학과 및 전공 일반대학원 컴퓨터공학과
- 실제 URI http://www.dcollection.net/handler/sogang/000000079432
- UCI I804:11029-000000079432
- 본문언어 한국어
- 저작권 서강대학교 논문은 저작권 보호를 받습니다.
초록 (요약문)
현대사회에서는 익명성이란 사용자의 개인정보를 보호하기 위해 필수적이며, 관련한 다양한 기술 개발을 이끌고 있다. 영지식 증명(ZKP, Zero Knowledge proof) 알고리즘은 사용자 개인정보를 보호할 수 있는 잠재력이 있다는 것으로 알려져 있다. 그러나 기존 ZKP 알고리즘은 높은 계산 비용으로 인한 확장성 문제에 직면해 있다. 본 논문에서는 ZKP 알고리즘의 확장성 강화를 위한, 타원 방정식 기반의 경량화된 ZKP를 소개하고자 한다. 제안된 접근방안은 두 가지 방식이 있다: Simple Authentication, 초점 삼각형 변의 길이를 활용하고, Attribute Authentication, 초점 삼각형으로부터 생성된 각도를 활용한다. 또한 논문에서는 이러한 기술의 적용 가능성을 입증하기 위해 실제 사용이 가능한 시나리오를 제시한다. 위 접근방안은 ZKP에 필요한 핵심 속성을 충족하며 기존의 경량 화된 ZKP와 비교한 복잡도 분석을 특징으로 한다. 그리고 현재 ZKP 기술과의 성능 비교를 통해 위 접근방법의 효율성을 검증한다.
more초록 (요약문)
Anonymity is crucial for protecting user privacy in modern society, leading to the development of various technologies. Zero Knowledge Proof (ZKP) algorithms are increasingly recognized for their potential to safeguard user privacy. However, existing ZKP algorithms face scalability challenges due to high computational costs. This paper introduces a lightweight ZKP technique based on the Equation of Ellipse, aimed at enhancing the scalability of ZKP algorithms. The proposed approach includes two methods: Simple Authentication, which utilizes the lengths of the sides of the focal triangle, and Attribute Authentication, which uses the angles formed by the focal triangle. This paper also presents a practical use case scenario to demonstrate the applicability of these techniques. The approach meets the core properties required of ZKP and features a complexity analysis that compares it with existing lightweight ZKP efforts. Additionally, the efficiency of this approach is validated through performance comparisons with current ZKP technologies.
more목차
제 1 장 서론 1
제 2 장 배경지식 5
제 3 장 관련 연구 7
제 4 장 접근방안 10
4.1. Simple Authentication 11
4.2. Attribute Authentication 13
4.3. 활용 방안 16
4.3.1. 온라인 여론조사 16
4.3.2. 데이터 거래 16
제 5 장 실험 21
5.1. 보안 분석 21
5.1.1. 완전성 21
5.1.1.1. Simple Authentication 완전성 21
5.1.1.2. Attribute Authentication 완전성 22
5.1.2. 건전성 23
5.1.2.1. Simple Authentication 건전성 23
5.1.2.2. Attribute Authentication 건전성 24
5.1.3. 영지식 24
5.1.3.1. Simple Authentication 영지식 25
5.1.3.2. Attribute Authentication 영지식 25
5.1.4. 타원의 방정식 보안 26
5.2. 복잡도 분석 27
5.3. 성능 평가 31
제 6 장 결론 35
참고 문헌 36
