# 零知识证明

> 密码学中，零知识证明（英语：zero-knowledge proof）或零知识协议（zero-knowledge protocol）是一方（证明者）向另一方（检验者）证明某命题的方法，特点是过程中除“该命题为真”之事外，不泄露任何信息。因此，可理解成“零泄密证明”。

- ID: m00230
- 分类: technical
- 领域: 计算机科学

## 定义

> 零知识证明允许一方（证明者）向另一方证明某个命题为真，且不泄露除「真」之外的任何信息。其核心是交互式的挑战—应答机制，使验证者被说服却一无所获，是密码学中保护隐私的关键工具。

## 机制

零知识证明允许一方（证明者）向另一方证明某个命题为真，且不泄露除“真”之外的任何信息。其核心是交互式挑战-应答，使验证者信服而无所获。

## 练习

1）证明者构造可验证的承诺；2）验证者发起随机挑战；3）证明者给出对应应答；4）重复多轮直至验证者置信度足够，且不暴露秘密。

## 脚手架用法

密码学中，零知识证明（英语：zero-knowledge proof）或零知识协议（zero-knowledge protocol）是一方（证明者）向另一方（检验者）证明某命题的方法，特点是过程中除“该命题为真”之事外，不泄露任何信息。因此，可理解成“零泄密证明”。

[阅读网页](https://thinkingmodels.site/entries/detail/m00230)