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?