📝Improved Fraud Prevention Design

DApp-chain supports the use of Optimistic Rollup, which is optimistic about the honesty of the sequencer. We have adopted Optimism's fraud proof design and brought improvements.

Fraud proof working mechanism:

  • If no challenge is received during the Challenge Window, the block is finalized, and subsequently, the ME Network main chain will accept withdrawal proofs regarding the DApp-chain, thereby ensuring the success of users' asset transactions.

  • If a state submission is challenged within the challenge period, any participant can submit a fraud proof without authorization and broadcast it. Other validator nodes will then verify it, and if it is ultimately deemed fraudulent, that state submission will be invalidated and replaced by another proposal.

Of course, it's important to note that a successful challenge does not roll back the ME Network mainnet. The order of transactions and the state of the mainnet are not affected; only the published state submission is impacted.

Participants in the sequencer network are required to stake a certain amount of token assets as collateral, meaning there is a cost to acting maliciously. The collateral of malicious sequencers will be slashed, with a portion of the rewards given to the fraud proof publisher. To maintain consensus security, ME Network has set up incentive mechanisms, where any node that successfully verifies fraudulent behavior receives a reward.

Additionally, to prevent malicious challenges, we implement staking requirements for challengers and apply corresponding penalties for false accusations. Furthermore, sequencers do not operate independently but form a decentralized sequencer network, thereby reducing the chances of malicious behavior.

Dispute Resolution Mechanism:

To meet the needs of multi-chain integration, we introduce MVM, a Turing-complete virtual machine. ME Network has introduced a new dispute resolution mechanism that simulates a fully isolated and independent Rollup-chain execution environment within the settlement hub. Being Turing-complete, all computations produce deterministic outputs. This mechanism not only meets the needs of multi-chain integration but also resolves disputes that may arise in various execution environments. Moreover, this simulated environment is not permanently added to ME Network's settlement layer. It is initiated and runs in a container only when a challenge arises, and the container is discarded once the challenge is resolved.

  • Public: Challenges are initiated publicly without the need for permission from the ME DAO, free from restrictions and barriers. This is crucial for building a decentralized and trustworthy environment.

  • Decentralized Sequencers: In contrast to networks like Optimism, where the sequencer is provided by a single party, leading to potential centralization issues, ME Network employs a decentralized network of sequencers.

  • Containerized Dispute Resolution System.

Last updated