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?