./categories/tech
영지식 증명(ZKP) 개념·용어
ZKP (Zero-Knowledge Proof)
비밀(Witness)을 노출하지 않고 Statement가 참임을 증명.
3알고리즘
- Setup: CRS(Common Reference String) 생성
- Prove: Statement + Witness → Proof
- Verify: CRS + Proof로 검증 (Witness 미노출)
안전성
- Completeness: 정당한 증명은 항상 통과
- Soundness: Witness 없이는 통과 불가
- Zero-knowledge: 검증자가 Witness를 알 수 없음
용어
| 용어 | 의미 |
|---|---|
| Statement | 증명할 내용 (예: 나이>19) |
| Witness | 비밀값 (예: 나이=23) |
| Instance | 공개 파라미터 |
| CRS | NIZK용 공통 참조 문자열 |
| zk-SNARK | Succinct NIZK Argument of Knowledge |
사례
Zcash(거래 은닉), Hyperledger Indy(DID), Mina(블록 압축 증명), ZK Rollup(ETH L2)
./comments