# Implementing Zero Knowledge Proof For Authentication

> 零知识证明（ZKP）允许证明者在不泄露秘密本身的情况下证明对某个秘密（如密码或私钥）的了解。本技能实现 Schnorr 身份识别协议和使用离散对数问题的简化 ZKPP，使服务器永远不需要获取用户密码即可完成认证。

- Skill: `killvxk/implementing-zero-knowledge-proof-for-authentication` (Agent Skill, multi-file: 6 files)
- Install (CLI): `npx skillmds@latest add killvxk/implementing-zero-knowledge-proof-for-authentication`
- Raw SKILL.md: https://api.skillmd.com/api/skills/killvxk/implementing-zero-knowledge-proof-for-authentication/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- License: Apache-2.0
- Author: killvxk (https://skillmd.com/u/killvxk)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/killvxk/implementing-zero-knowledge-proof-for-authentication

---

# 为认证实现零知识证明

## 概述

零知识证明（ZKP，Zero-Knowledge Proof）允许证明者（prover）在不泄露秘密本身的情况下证明对某个秘密（如密码或私钥）的了解。本技能实现 Schnorr 身份识别协议和使用离散对数问题的简化 ZKPP（Zero-Knowledge Password Proof，零知识密码证明），使认证过程中服务器永远不需要获取用户密码。

## 目标

- 实现用于 ZKP 认证的 Schnorr 身份识别协议
- 使用 Fiat-Shamir 启发式构建非交互式 ZKP
- 实现零知识密码证明（ZKPP）
- 演示完备性、可靠性和零知识属性
- 比较 ZKP 认证与传统密码验证

## 核心概念

### ZKP 属性

| 属性 | 描述 |
|------|------|
| 完备性（Completeness）| 诚实的证明者总能说服诚实的验证者 |
| 可靠性（Soundness）| 不诚实的证明者无法说服验证者（除极小概率外）|
| 零知识（Zero-Knowledge）| 验证者除了陈述的真实性外不学习任何信息 |

### Schnorr 协议

1. **设置**：公共生成器 g，素数 p，q（g 的阶）
2. **注册**：证明者计算 y = g^x mod p（从秘密 x 得到公钥）
3. **承诺**：证明者发送 t = g^r mod p（随机 r）
4. **挑战**：验证者发送随机 c
5. **响应**：证明者发送 s = r + c*x mod q
6. **验证**：检查 g^s == t * y^c mod p

## 安全注意事项

- 使用密码安全随机数生成器
- 挑战必须是不可预测的（从验证者的角度）
- 对于非交互式证明，使用带抗碰撞哈希的 Fiat-Shamir
- ZKP 单独不提供前向保密；需结合 TLS 使用

## 验证标准

- [ ] 诚实的证明者始终验证成功（完备性）
- [ ] 没有秘密的随机响应无法通过验证（可靠性）
- [ ] 服务器永远不会收到秘密值
- [ ] 非交互式证明可离线验证
- [ ] 多次认证产生不同的证明记录
- [ ] 协议抵抗重放攻击