a small zero knowledge proof system written in zig (made out of boredom)

goal: implement something minimal and clean

project

• zk proof: schnorr proof of knowledge (fiat shamir)
• group: 256 bit safe prime subgroup of integers mod p
• hash: sha256 via zig std

build

• zig build
• zig build run -- prove
• zig build run -- verify
• zig build run -- rangeprove
  prints a prf <hex> blob
• zig build run -- rangeverify 0x...
  verifies the provided blob
• zig test src/lib.zig