feat: Add plasma network

[sendra]

Add plasma network.

• Add plasma id for LayerZero adapter to enable communication for the path Eth -> Plasma

[github-actions]

Certora Run Started (Certora Prover Run)

• Group ID: bd9be9bc-95ca-47c4-b44c-ce258ed38e6e

Config	Status	Link	Log File
verifyCrossChainControllerWithEmergency.conf	Submitted	link	security/certora/confs/verifyCrossChainControllerWithEmergency.conf-62baa6298c12.log
verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX	Submitted	link	security/certora/confs/verifyCrossChainForwarder-encode-decode-correct.conf-f94b227125d1.log
verifyCrossChainForwarder-envelopRetry.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-envelopRetry.conf-18e6792c6027.log
verifyCrossChainForwarder-invariants.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-invariants.conf-2b954f9a8d0e.log
verifyCrossChainForwarder-newEnvelope.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf-2f176bcef1f6.log
verifyCrossChainForwarder-sanity.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-sanity.conf-46a997c98123.log
verifyCrossChainForwarder-shuffle.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-shuffle.conf-2524b8a6a7d3.log
verifyCrossChainForwarder-simpleRules.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-simpleRules.conf-282d4f02bcf2.log
verifyCrossChainReceiver.conf	Submitted	link	security/certora/confs/verifyCrossChainReceiver.conf-b7d81375be3c.log

Certora Run Summary

• Started 9 jobs
• 0 jobs failed

Download Logs