Skip to content

Conversation

@sendra
Copy link
Collaborator

@sendra sendra commented Oct 20, 2025

Adds X Layer network bridge adapter (As X Layer will be migrated to the OP stack, we inherit from the OP adapter without the need to change any of the base logic. (same process used for all the OP Stack bridge adapters))

  • it also updates solidity-utils lib to the latest commit (so that it includes the X Layer configurations (scripts, chainIds, etc)

@sendra sendra merged commit 3d430b0 into aave-dao:main Oct 21, 2025
2 checks passed
@sendra sendra deleted the feat/x-layer branch October 21, 2025 10:21
@github-actions
Copy link

Certora Run Started (Certora Prover Run)

  • Group ID: 74a2316b-91b5-4be3-b95d-6e135c8e4c24
Config Status Link Log File
verifyCrossChainControllerWithEmergency.conf Submitted link security/certora/confs/verifyCrossChainControllerWithEmergency.conf-0d11e1a66c76.log
verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX Submitted link security/certora/confs/verifyCrossChainForwarder-encode-decode-correct.conf-d54b893ae1c5.log
verifyCrossChainForwarder-envelopRetry.conf Submitted link security/certora/confs/verifyCrossChainForwarder-envelopRetry.conf-e1556f506827.log
verifyCrossChainForwarder-invariants.conf Submitted link security/certora/confs/verifyCrossChainForwarder-invariants.conf-eca6d47fc2f9.log
verifyCrossChainForwarder-newEnvelope.conf Submitted link security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf-25d36b9b804d.log
verifyCrossChainForwarder-sanity.conf Submitted link security/certora/confs/verifyCrossChainForwarder-sanity.conf-6163e7e2cb36.log
verifyCrossChainForwarder-shuffle.conf Submitted link security/certora/confs/verifyCrossChainForwarder-shuffle.conf-f02bf1f43bc2.log
verifyCrossChainForwarder-simpleRules.conf Submitted link security/certora/confs/verifyCrossChainForwarder-simpleRules.conf-b99bb6bc4fb8.log
verifyCrossChainReceiver.conf Submitted link security/certora/confs/verifyCrossChainReceiver.conf-b3f640c3b0e9.log

Certora Run Summary

  • Started 9 jobs
  • 0 jobs failed

Download Logs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants