Module zk_set_membership 

Zero-knowledge set membership proof.

Proves that a committed value belongs to a set, WITHOUT revealing which element it is. Uses a Merkle tree: the prover shows they know an inclusion proof for some element in the set.

Structs

MerkleStep

One step in a Merkle proof.

SetMembershipProof

A ZK set membership proof.

Enums

Direction

Direction of a Merkle proof step.

Functions

build_merkle_tree

Build a Merkle tree from a set of elements.

generate_proof

Generate an inclusion proof for element at index in the set.

verify_proof

Verify a set membership proof.