Is this possible?

1. ZK prove set of casts that contain tips
2. Tip casts reduced to simple data structure and submitted onchain with proof from step 1
3. Smart contract verifies proof before taking additional actions based on the tip data (ex: updating balances)

musician & dev gigameshmusic.com github.com/gigamesh

sounds like for the circuit part you want to do some kind of regex match on cast text and verify the signature?

would recommend looking in zkemail. it does the same thing for email headers and DKIM signatures

You also have to prove the signature was made by a valid signer. Which is the hard part.

I’d start off by indexing keys into a ZK friendly structure

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

/opacity
/eulerlagrange

oh yes! how will you do that within the circuit?

maybe merkle proof with a list of valid signers? and with a zk friendly hash function