零知识证明算法实现

如何使用此库？

TL;DR

• cargo build (应在examples/protos中生成编译后的protobuf文件。注意build.rs文件仅用于编译示例文件夹中的proto文件。)
• 启动服务器：cargo run --package chaum_pedersen_auth --example server
• 启动客户端：cargo run --package chaum_pedersen_auth --example client
• 查看示例文件夹，其中实现了使用gRPC协议的客户端和服务器。

理论

资产

• Bob的资产：私钥：$x, k$
• Alice的资产：随机密钥 $c$
• 共享资产：生成器 $\alpha , \beta$。

注册

$\alpha^x \mod q$ , $\beta^x \mod q$

认证

Bob发送 $\alpha^k \mod q$ , $\beta^k \mod q$

• Bob计算：$s = k - cx$
• Alice验证：$\alpha^s (\alpha^x)^c \mod q$ , $\beta^s (\beta^x)^c\mod q$

使用

• 将以下crates放入Cargo工作空间
  • zkp_grpc_client
  • zkp_protobuf
  • zkp_grpc_server