[영지식 증명 개념] 정의 : 정보의 참, 거짓인 결과를 제외하고 그 이외 정보는 노출되지 않도록 하는 절차 ▶정보의 익명성을 제공하는 암호학 기술. 명제 증명자 검증자 증명 하려는 사실, 참 혹은 거짓 참 임을 증명하는 사람 (특정한 결과 값을 가지게 된다.) 참 임을 검증하는 사람 (요구(쿼리)를 한다) [알리바바 동굴 예제] ● 명제: 위에서 지칭한대로 2갈래의 길이 한 지점에서 모임 -> 그 지점은 잠겨 있음 증명자 => 페기 검증자 => 빅터 ● 증명자는 A,B 두 통로중 무작위로 선택 -> 검증자는 동굴입구에서 A,B중 무작위로 아무통로 나오라고 요구 ->증명자가 나오는 케이스는 2가지 (이때 증명자는 키소유 여부를 노출하지 않으면서 키가 있다는 사실을 동굴입구 검증자 에게 증명하려 한다.) ..
