C#实现零知识证明

零知识证明（Zero-Knowledge Proof, ZKP）是密码学中的一种技术，允许一方（证明者）向另一方（验证者）证明自己知道某个秘密信息，而不泄露任何关于该秘密的信息。

以下是一个基于.NET 6的C#代码示例，用来模拟一个简单的零知识证明场景：

场景说明

假设证明者知道一个整数 x，它是一个大素数的平方 y = x^2 的平方根，验证者想验证证明者是否知道 x，但不能直接获知 x 的值。

实现步骤

1. 证明者选择一个随机值 r 并计算 $t=r^2\mathrm{mod}y$ 发送给验证者。
2. 验证者随机选择一个挑战位 c∈{ 0,1}c \in \{0, 1\}c∈{ 0,1} 并发送给证明者。
3. 证明者根据 c 的值返回：
   • 若 c = 0 ，返回 $r$ 。
   • 若 c = 1 ，返回 $r\cdot x\mathrm{mod}$