ゼロ知識証明(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.

📚 出典