영지식 증명

영지식 증명(ZKP)은 한쪽 당사자(증명자)가 다른 당사자(검증자)에게 어떤 명제가 참이라는 사실을, 그 명제의 참 여부 외에는 어떤 정보도 드러내지 않고 증명할 수 있게 해주는 암호학 기법입니다.

• zk-SNARKs: Succinct Non-interactive Arguments of Knowledge의 약자입니다. 증명 크기가 작고 검증이 빠르지만 신뢰 설정(trusted setup) 세리머니가 필요합니다. Zcash가 사용합니다.
• zk-STARKs: Scalable Transparent Arguments of Knowledge의 약자입니다. 증명 크기는 크지만 신뢰 설정이 필요 없고 양자 내성을 가집니다. StarkNet이 사용합니다.
• PLONK: 어떤 회로에도 사용할 수 있는 범용·업데이트 가능한 신뢰 설정으로, 애플리케이션마다 세리머니를 반복할 필요를 줄여줍니다.

• ZK 롤업: ZK 증명으로 오프체인에서 묶은 거래를 검증한 뒤 L1에 기록(zkSync, StarkNet, Polygon zkEVM)
• 프라이버시: 잔액을 공개하지 않고도 거래에 필요한 토큰을 보유하고 있음을 증명(Zcash 보호 거래)
• 신원: 생년월일을 밝히지 않고도 만 18세 이상임을 증명
• 투표: 누구에게 투표했는지 밝히지 않고도 투표했다는 사실을 증명

• 완전성: 참인 명제는 항상 받아들여집니다
• 건전성: 거짓인 명제는 (거의) 항상 거부됩니다
• 영지식성: 검증자는 명제가 참이라는 사실 외에는 아무것도 알 수 없습니다