Skip to content

Latest commit

 

History

History
38 lines (34 loc) · 1.82 KB

README.md

File metadata and controls

38 lines (34 loc) · 1.82 KB
Raw

Chaum Pedersen ZKP

"Cryptography: An Introduction (3rd Edition) Nigel Smart" page 377 section "3. Sigma Protocols" subsection "3.2. Chaum–Pedersen Protocol."
Public parameters derived from RF 3526 - 2048

Changes

Fiat-shamir heuristic

Fiat-Shamir heuristic is a way to make the prover compute a challenge for themselves in a way they can’t control by computing the challenge as a hash.
I used this heuristic to implemnt non-interactive version of this protocol over Curve25519.

How to run

Without docker

Open two separate terminal windows, in one of the windows run:

  • RUST_LOG=info cargo run --bin zkp_server
  • Register:
    • Interactive
      • RUST_LOG=info cargo run --bin zkp_client register --name Nyan --password cat
      • Non-interactive
        • RUST_LOG=info cargo run --bin zkp_client register --name Nyan --password cat --algorithm non-interactive
  • Login:
    • Interactive
      • RUST_LOG=info cargo run --bin zkp_client login --name Nyan --password cat
    • Non-interactive
      • RUST_LOG=info cargo run --bin zkp_client login --name Nyan --password cat --algorithm non-interactive

With docker

  • docker-compose up will start the server
  • docker exec -it $(docker ps --filter "name=chaum_pedersen_protocol-zkp_server" --format "{{.ID}}") /bin/bash exec into the container
  • Register:
    • Interactive
      • RUST_LOG=info ./zkp_client register --name Nyan --password cat
      • Non-interactive
        • RUST_LOG=info ./zkp_client register --name Nyan --password cat --algorithm non-interactive
  • Login:
    • Interactive
      • RUST_LOG=info ./zkp_client login --name Nyan --password cat
    • Non-interactive
      • RUST_LOG=info ./zkp_client login --name Nyan --password cat --algorithm non-interactive