It’s live - 33bits.xyz, post anon on Farcaster 

ZK prove your FID is <= 10001 and cast on @33bits feed without disclosing your account.

@fastfourier.eth and i built it with the intention to provoke open dialogues and explore how the FC community will use (or abuse) their privacy.

Full-time builder. @pimlico | @33bits | @66bits | farcaster-solidity | x.com/potekhin_sergey. Zero-knowledge and asynchronous transactions evangelist.

Foster open dialogues on Farcaster | Zk prove your fid & cast privately | Cast: https://33bits.xyz

maxxing on /morpho 🦋 | pursuing a higher self w /higher-athletics | consistently curious

This is neat! Is it possible to ban specific fid without knowing its value?

/frametown citizen. Amusement, wonder, and uncertainty ✴︎ libred.org

That’s interesting!

@33bits could become a victim of spam 

I wonder if this could be solved somehow. Possibly directly in proof logic?

Ty! fids remain private at all times, so the simple answer is no.

Yep, this is possible for the same reason why only the first 10k FIDs have access. Excluding specific FID from the Merkle tree makes impossible for it to prove the inclusion.