Show HN: Prove set membership without exposing the set or the member · HackerTrans