SeaPlus

[비 대화형 영지식 증명 개념] 기존의 영지식 증명 시스템은 검증 결과의 확률을 높이기 위해 메시지 교환을 여러번 해야합니다. 이처럼 메시지 교환을 증가시키면, 시스템 결과의 안전성 이 증가하지만, 증명자와 검증자의 메시지 교환이 많아져서 효율성이 떨어 지게 됩니다. ● 비대화형 영지식 증명 => 증명자가 검증자의 검증 결과의 안정성을 높이기 위해 대화형 영지식 증명처럼 메시지를 반복하여 교환할 필요가 없다. [zk-SNARKs] -> zk-SNARKs 는 대표적인 비대화형 영지식 증명 시스템이다. 1. zk-SNARKs에는 믿어야 하는 제 3자(Trusted Party)가 있는습니다. 2. Trusted Party는 증명자 가 증거를 만들고, 검증자가 증거를 검사할 때 필요한 정보를 제공합니다. 3. ..

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