Do we have ZKP for nostr lists (assumedly of pockets)? Like private proof of inclusion in a given pubkey list? You can see the list but you can check that my pubkey is in a given list without knowing my pubkey? And is there some interaction with bloom filters for ZKPs? Like a proof on the data provider's side to show they didn't cheat or are notnwitholding things. Perhaps relays could do such a thing. 🤔
#asknostr
nostr:nprofile1qqsxwkuyle67y94tj378gw8w2xw2wa6nwmwlqhddlwnz0z7sztsaw2qpzdmhxue69uhhwmm59e6hg7r09ehkuef0t5r4mj nostr:nprofile1qqs93lfkaetywpwqkqteju07cr23hns9gt0m7l65d8n66ecfe7lh84spz4mhxue69uhk2er9dchxummnw3ezumrpdejqz9rhwden5te0wfjkccte9ejxzmt4wvhxjmcprpmhxue69uhhyetvv9ujuumwdae8gtnnda3kjctv00wvqk
As long as we're talking hundreds, not millions of keys, the more basic ring signature designs should work fine. It sounds like you don't even need linkability, so e.g Abe Ohkubo Suzuki 2002.
For huge keysets see Curve Trees which fit very nicely with bip340 keys.
