이런 이유로 이 Path를 추천해요

영지식 증명은 어떤 명제가 참이라는 사실을 증명하면서도, 그 사실 이외의 추가 정보를 공개하지 않는 암호학적 기술입니다. 이러한 특성으로 인해 블록체인, 인증, 프라이버시 보호 등 다양한 분야에서 활용되고 있으며, 현대 암호학에서 중요한 연구 주제로 자리 잡고 있습니다.
영지식 증명을 제대로 이해하기 위해서는 단순히 개별 프로토콜의 동작 방식을 익히는 것을 넘어, 완전성·건전성·영지식성과 같은 기본 성질과 각 증명 시스템이 어떠한 가정 아래 안전성을 보장하는지 이해해야 합니다. 본 Path에서는 영지식 증명의 기본 모델과 성질을 바탕으로 Schnorr 증명, Σ-프로토콜, Fiat–Shamir 변환의 핵심 원리를 살펴보고, Commitment를 이용한 NP 명제의 영지식 증명까지 단계적으로 학습합니다. 이를 통해 다양한 영지식 증명 프로토콜의 구조를 이해하고, 그 안전성을 분석할 수 있는 기초를 익힐 수 있습니다.

이런 내용을 배워요

• 영지식 증명의 기본 모델과 성질
• Schnorr 증명, Σ-프로토콜, Fiat–Shamir 변환의 핵심 원리
• Commitment를 이용한 NP 명제의 영지식 증명 구성 및 안전성 분석

이런 분께 추천해요

• 암호학 기초를 바탕으로 더 심화된 주제를 학습하고 싶은 분
• 비밀을 공개하지 않고도 사실을 증명하는 기술에 관심이 있는 분
• 영지식 증명의 이론적 기초부터 현대적 증명 프로토콜까지 체계적으로 학습하고 싶은 분

이런 선수 지식이 필요해요

• 암호학 기초 이론에 대한 이해
• 암호학의 기반이 되는 수학 이론에 대한 이해
• Python 및 SageMath의 기초적인 사용법