When we build the fraud proof functionality we need a way to know that they work.
The testing setup will look something like:
- Create an initial state
- Have the sequencer generate a new block with an invalid state transition from the initial state
- Generate a fraud proof that demonstrates that the chain head's state root doesn't match the generate state root
When we build the fraud proof functionality we need a way to know that they work.
The testing setup will look something like: