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

Guessing that transforming the cast data to be efficiently processed onchain essentially invalidates the proof, since the cast signatures are of the raw cast data. 🤔

Ok I’m just describing a dumbed down zk rollup. The data could be merklized so only a state root is submitted + the proof.

Main thing I’m unsure about is how difficult it would be to write the zk circuit.

if you use a zkvm this is actually pretty easy

https://material.work


prev: https://persistence.wtf / https://nouns.build

Any in particular you recommend I look at?

succinct is production ready and has the best devx imo: https://succinct.xyz/

risc0 is also production ready
https://www.risczero.com/