Universal Anon Counter

Protocol need to be independent of specific provider. It could be achieved by pure mathematical approach: creating proof for pair - identity, service. So when website want to serve only real people, data from provider and service is combined and person generate ZK proof by running algorithms on local machine

But Proof of Personhood is not enough. We could extend it with additional information: How many identities anon has in this platform. Because every comment and post should not be connected to one profile.

Social media can restrict and display how many identities anon's source generated (without knowing who it is). For example: somebody who has 420 identities seems a little sus. But 2 or 3 - not that crazy.

Pool of Identity Providers

To increase freedom and security for users platforms could accept many identity providers. But it creates problem: "How to make sure that identity from second provider looks the same?".

Most straightforward solution: let identity integrity be created from hash of unique information that is same for every provider.

More complex: user create ZK proof that his identity was used only in one provider for specific website. But this also needs some way to share identity between different providers.

Using Counter for Voting

Another layer can be added - identity, service, proposal. By restricting counter to one, every vote would be disconnected from others.

Other way: recursion. A pair of anon and proposal generate anon². Quantity of possible anons is restricted for users to amount of proposals. Then user generate ZK proof that none of his identity voted in specific proposal before.

Future of Anon Counter

I don't have any experience with ZK proofs and my understanding of this tech just started to emerge. Not to mention socioeconomic status to build something like that for public... But this stuff is interesting, so when I will have more time, I will experiment with Anon Counting on generic level.

And hopefully tech will mature and goes from math and academicism into high-level tools - easy to jump python libraries that allow everybody to build castles in sandpits.