Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.24;

contract Pausable {
    event Paused(uint256 duration);

    // SEAL_DURATION_SECONDS = 11 days on mainnet
    function pauseFor(uint256 duration) external {
        emit Paused(duration);
    }
}

contract CSAccounting is Pausable {}

contract CSEjector is Pausable {}

contract CSFeeOracle is Pausable {}

contract CSModule is Pausable {}

contract CSVerifier is Pausable {}

contract VettedGate is Pausable {}

contract GateSeal {
    function seal(address[] memory sealables) external {
        for (uint256 i; i < sealables.length; ++i) {
            Pausable(sealables[i]).pauseFor(11 days);
        }
    }
}

{
  "remappings": [
    "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
    "ds-test/=lib/openzeppelin-contracts/lib/forge-std/lib/ds-test/src/",
    "erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/",
    "forge-std/=lib/forge-std/src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/"
  ],
  "optimizer": {
    "enabled": false,
    "runs": 200
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "evmVersion": "cancun",
  "viaIR": false,
  "libraries": {}
}

[{"inputs":[{"internalType":"address[]","name":"sealables","type":"address[]"}],"name":"seal","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b506103af8061001d5f395ff3fe608060405234801561000f575f80fd5b5060043610610029575f3560e01c8063fc20bdfe1461002d575b5f80fd5b610047600480360381019061004291906102a1565b610049565b005b5f5b81518110156100e257818181518110610067576100666102e8565b5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1663f3f449c7620e80806040518263ffffffff1660e01b81526004016100aa9190610360565b5f604051808303815f87803b1580156100c1575f80fd5b505af11580156100d3573d5f803e3d5ffd5b5050505080600101905061004b565b5050565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b610141826100fb565b810181811067ffffffffffffffff821117156101605761015f61010b565b5b80604052505050565b5f6101726100e6565b905061017e8282610138565b919050565b5f67ffffffffffffffff82111561019d5761019c61010b565b5b602082029050602081019050919050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6101db826101b2565b9050919050565b6101eb816101d1565b81146101f5575f80fd5b50565b5f81359050610206816101e2565b92915050565b5f61021e61021984610183565b610169565b90508083825260208201905060208402830185811115610241576102406101ae565b5b835b8181101561026a578061025688826101f8565b845260208401935050602081019050610243565b5050509392505050565b5f82601f830112610288576102876100f7565b5b813561029884826020860161020c565b91505092915050565b5f602082840312156102b6576102b56100ef565b5b5f82013567ffffffffffffffff8111156102d3576102d26100f3565b5b6102df84828501610274565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f819050919050565b5f61034a61034561034084610315565b610327565b61031e565b9050919050565b61035a81610330565b82525050565b5f6020820190506103735f830184610351565b9291505056fea2646970667358221220625c6cf47e728893436dcb11834ce9761294a11468f9531b543c99fae280bfea64736f6c63430008180033

0x608060405234801561000f575f80fd5b5060043610610029575f3560e01c8063fc20bdfe1461002d575b5f80fd5b610047600480360381019061004291906102a1565b610049565b005b5f5b81518110156100e257818181518110610067576100666102e8565b5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1663f3f449c7620e80806040518263ffffffff1660e01b81526004016100aa9190610360565b5f604051808303815f87803b1580156100c1575f80fd5b505af11580156100d3573d5f803e3d5ffd5b5050505080600101905061004b565b5050565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b610141826100fb565b810181811067ffffffffffffffff821117156101605761015f61010b565b5b80604052505050565b5f6101726100e6565b905061017e8282610138565b919050565b5f67ffffffffffffffff82111561019d5761019c61010b565b5b602082029050602081019050919050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6101db826101b2565b9050919050565b6101eb816101d1565b81146101f5575f80fd5b50565b5f81359050610206816101e2565b92915050565b5f61021e61021984610183565b610169565b90508083825260208201905060208402830185811115610241576102406101ae565b5b835b8181101561026a578061025688826101f8565b845260208401935050602081019050610243565b5050509392505050565b5f82601f830112610288576102876100f7565b5b813561029884826020860161020c565b91505092915050565b5f602082840312156102b6576102b56100ef565b5b5f82013567ffffffffffffffff8111156102d3576102d26100f3565b5b6102df84828501610274565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f819050919050565b5f61034a61034561034084610315565b610327565b61031e565b9050919050565b61035a81610330565b82525050565b5f6020820190506103735f830184610351565b9291505056fea2646970667358221220625c6cf47e728893436dcb11834ce9761294a11468f9531b543c99fae280bfea64736f6c63430008180033