영지식 증명 (Zero-Knowledge Proof)

비밀을 밝히지 않고 증명하기.

블록체인의 개인 정보 보호 및 확장성(Zk-Rollups)에 필수적입니다. 금액을 공개하지 않고 거래를 증명할 수 있습니다. zk-SNARKs 및 zk-STARKs가 일반적입니다.

        graph LR
  Center["영지식 증명 (Zero-Knowledge Proof)"]:::main
  Rel_cryptography["cryptography"]:::related -.-> Center
  click Rel_cryptography "/terms/cryptography"
  Rel_zero_knowledge_proof["zero-knowledge-proof"]:::related -.-> Center
  click Rel_zero_knowledge_proof "/terms/zero-knowledge-proof"
  Rel_zero_knowledge_proof_zkp["zero-knowledge-proof-zkp"]:::related -.-> Center
  click Rel_zero_knowledge_proof_zkp "/terms/zero-knowledge-proof-zkp"
  classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
  classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
  classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
  classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
  linkStyle default stroke:#4b5563,stroke-width:2px;

      

🧒 5살도 이해할 수 있게 설명

비밀번호를 직접 말하지 않고도, 내가 그 비밀번호를 알고 있다는 사실만 확실하게 인증하는 방법입니다.

🤓 Expert Deep Dive

Zero-Knowledge Proofs (ZKPs) leverage advanced cryptography, such as zk-SNARKs (Succinct Non-Interactive Arguments of Knowledge) or zk-STARKs (Scalable Transparent Arguments of Knowledge), to enable a Prover to convince a Verifier of a statement's truth without revealing the underlying data. In the context of blockchain, this is critical for both privacy (e.g., Zcash) and scalability (e.g., ZK-Rollups). The 'Succinct' nature of SNARKs allows for very small proof sizes that are fast to verify, shifting the heavy computational burden off-chain while maintaining on-chain security. STARKs improve on this by eliminating the need for a 'trusted setup' and being quantum-resistant, though at the cost of larger proof sizes.

📚 출처