uncomputable / zkp-workshop

Explore the world of zero-knowledge proofs from first principles.
Creative Commons Zero v1.0 Universal
37 stars 4 forks source link

Prove set membership #5

Open uncomputable opened 12 months ago

uncomputable commented 12 months ago

Set membership is an interesting problem that can be solved in ZKP using RSA accumulators.

Merkle trees using ZK-friendly hash functions (Poseidon etc.) or lookup arguments (lasso etc.) are probably too complicated.

Set non-membership will come later.