Content
@
0 reply
20 recasts
20 reactions
phil
@phil
A Farcaster client someone should build: Anoncaster Allow users to link an alt account & zk-prove they control another account with at least n followers, without revealing which account it is. Display a leaderboard and make it easy to follow. This would help people bootstrap anon accounts without doxxing themselves.
8 replies
11 recasts
80 reactions
Thomas
@aviationdoctor.eth
I very much like the idea & could see myself playing with an anon alt. Two alternatives to zk-proving the follower count would be zk-proving that the main account has an FID < n (i.e., proof of OG-ness), has contributed at least n casts (i.e., proof of participation), or has an engagement metric > n (i.e., popularity)
1 reply
0 recast
1 reaction
Thomas
@aviationdoctor.eth
(I guess those are three* alternatives) On a related note, how difficult is it to build such zk-proofs? Are there cryptographic libraries for that now?
1 reply
0 recast
0 reaction
EmpiricalLagrange
@eulerlagrange.eth
It’s tricky because the casts are stored in a CRDT, which is a structure that is unnatural for ZKPs to work on. Also the ed25519 signatures. You’d want to do it as a recursive ZKP where you go through each follow cast. Also need to verify the cast is from a valid FID, so you could use a zkEVM.
1 reply
0 recast
0 reaction
