고급 트랙 02
🔐
비밀을 공개하지 않고 증명하기
"나는 당신의 암호를 알고 있습니다" — 암호를 말하지 않고 증명할 수 있을까요?
영지식 증명은 정보를 공개하지 않고 사실을 수학적으로 증명합니다.
이 모듈에서 배울 것
- → 영지식 증명의 완전성·건전성·영지식성 세 가지 핵심 성질
- → SNARK와 STARK의 차이점과 각각의 장단점 비교
- → ZK Rollup·프라이버시 화폐·신원 증명 등 실제 활용 사례
🎯
완전성
참인 명제는 항상 증명 가능 (Completeness)
🔒
건전성
거짓 명제는 속일 수 없음 (Soundness)
🤫
영지식성
증명 과정에서 비밀이 전혀 새지 않음 (Zero-Knowledge)