A place for talking about the Ethereum Virtual Machine on Farcaster.

Anyone got good ideas for empowering users to challenge your validity proofs when building a validium?

Especially thinking about the idea of proving censorship when data availability is off-chain

Building Proof of IRL Human Connection at https://paired.world • Nanotechnology postgrad @ St Catz, Oxford 

eg: users can make activity A in my dApp. Computation for A is handled off-chain for privacy. Instead, a SNARK is generated of this computation. 

SNARKs are hashed into a merkle tree whose root is stored on-chain. What can a user really do if we just omit their leaf from the tree? How can I empower them here?

Afaik if a proof is emitted in a zk rollup context, verifier rejects and no state transitions should happen. In a social media context, there’s no append only “chain” where the state simply halts if the proof fails—but  users should prob see an ‘uncurated’ feed if the feed algorithm zkp fails?

But ig being able to verify that a feed is untouched by server side recommendations is also difficult, imo if the proofs ever fail or are omitted, the app should simply halt for the user