Lei Yang

And this in part is achieved by censorship resistance because to exit, you have to submit a transaction on layer two.

And if the sequencer does not allow you to do so, you go through the mechanism I just described.

And then the layer two will be forced to allow you to exit by proposing a transaction

state proposal certifying that your exit or your withdrawal is valid.

And this is achieved by allowing anyone observing the layer two to provide such certification.

So even if MegaEth decides to disappear tomorrow, anyone else can just come and submit those certifications and you can use this certification to claim your money from the layer one end of the layer one, layer two bridge to MegaEth, right?

You can just take your money.

And also a few other guarantees.

For example, your transactions will not be miscalculated.

It will not be erroneously executed because there is the fraud-proof system.

And with that, we're actually using a ZK-based optimistic fraud-proof system in the sense that if the chain, if the sequencer ever makes a mistake, anyone can just permissionlessly submit a proof

a ZK proof showing to a layer one contract that the sequencer is doing something wrong.

And at that stage, the sequencer is going to be slashed and you can stay assured that no one can claim your money that does not belong to them, right?

So these are the assurances.

So censorship resistance,

guarantee the correctness of execution and guarantee the ability for you to just escape whenever you want.

And if so, how?

Very interesting question.

Thanks for the reminder.

Yes, you also have to trust that the Security Council is not going to