Private and confidential.

Introduction

Unruggable Gateways implements a complete solution for fetching proofs of data from rollup chains and verifying that data on Layer 1 Ethereum.

These gateways will be utilised as a middleware piece for fetching proven data from rollup chains. Initially these gateways will be operated in the context of cross chain reverse resolution. Later they will be used for forward resolution of ENS names as part of the ENS v2 roadmap.

The scope of this security audit is the Virtual Machine (GatewayVM.sol) that interprets requests sent to our HTTP gateways, and the verifier contracts (that will be deployed on Layer 1 Ethereum) that verify proofs returned from the aforementioned gateway server in response to a ERC-3668 CCIP requests.

The initial release will support Arbitrum, Base, Linea, Optimism, and Scroll so the scope will be constrained to the verifiers for those chains.

1. Repository Links

• https://github.com/unruggable-labs/unruggable-gateways

2. Branches

• unruggable-gateways: main

3. Contract Design

• The *Verifier.sol contracts are called from the ERC3668 callback function and verify the proof data returned from the gateway giving consideration to chain specific rollup architecture.
  • *Verifier.sol contracts inherit from AbstractVerifier.sol and implement the IGatewayVerifier.sol interface.
• The *VerifierHooks.sol contain the logic for the chain specific verification of both account state and storage state.
  • *VerifierHooks.sol contracts implement the IVerifierHooks.sol interface.