Proof-less

"Prooflessness" is by far the most unique design of Divine Network compared to other rollups.

In the previous sections, we have seen the mentioning of nodes "running transactions" off-chain. But what if the transactions are faulty? The solution is simple, you just need to skip those transactions and only execute ones that are valid according to the predefined consensus rules. This actually works, the only reason that many rollups like Arbitrum or zksync requires optimistic fraud proof or zk proof is because they are reliant on the layer 1's native token, which introduces the act of bridging the token between the layer 1 and the layer 2. If they submit a faulty bridging transaction, you can not just skip it like you would in Divine's model, cause the layer 1 says otherwise without no proof. If we were to use our own native token for the rollup, then everything's fine, and that's what we do with Divine Network.

The prooflessness model is very powerful in that:

• It is efficient: Divine requires no potential optimistic dispute and no computationally extensive cryptographic proof.

• It solves the upgradability problem: Divine does not need to be upgraded through a centralized multisig or token governance which is controlled by the rich. The community can change their consensus rules to create a hard fork for an upgrade - something that can not be done with traditional rollups.

• It makes decentralized sequencers easy: Since sequencers can submit batches freely and nodes will discard any transaction that are faulty, sequencers don't need to worry about the duplication of some transactions that they might falsely submit from losing a slot to another sequencer. This means that decentralized sequencers with Divine can be done much easier, without clunky stake or bonds like Optimistic rollups.

• It is simple: The model is simple, so it does not carry potential risks to be manipulated by attackers. Meanwhile, Optimistic rollups are systemically complex through its fraud proof scheme, and ZK rollups have encapsulated complexity where cryptography can be easily broken if not done right/tested properly.