{
  "_format": "hh-sol-artifact-1",
  "contractName": "BondManager",
  "sourceName": "contracts/L1/verification/BondManager.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "_libAddressManager",
          "type": "address"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "constructor"
    },
    {
      "inputs": [
        {
          "internalType": "address",
          "name": "_who",
          "type": "address"
        }
      ],
      "name": "isCollateralized",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "uint256",
          "name": "_chainId",
          "type": "uint256"
        },
        {
          "internalType": "address",
          "name": "_who",
          "type": "address"
        },
        {
          "internalType": "address",
          "name": "_prop",
          "type": "address"
        }
      ],
      "name": "isCollateralizedByChainId",
      "outputs": [
        {
          "internalType": "bool",
          "name": "",
          "type": "bool"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [],
      "name": "libAddressManager",
      "outputs": [
        {
          "internalType": "contract Lib_AddressManager",
          "name": "",
          "type": "address"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "string",
          "name": "_name",
          "type": "string"
        }
      ],
      "name": "resolve",
      "outputs": [
        {
          "internalType": "address",
          "name": "",
          "type": "address"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "bytecode": "0x608060405234801561001057600080fd5b5060405161096238038061096283398101604081905261002f91610054565b600080546001600160a01b0319166001600160a01b0392909216919091179055610084565b60006020828403121561006657600080fd5b81516001600160a01b038116811461007d57600080fd5b9392505050565b6108cf806100936000396000f3fe608060405234801561001057600080fd5b506004361061004c5760003560e01c806302ad4d2a14610051578063299ca47814610079578063461a4478146100be578063f3b96f1c146100d1575b600080fd5b61006461005f36600461050c565b6100e4565b60405190151581526020015b60405180910390f35b6000546100999073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610070565b6100996100cc36600461055f565b610159565b6100646100df36600461062e565b6101f7565b60006101246040518060400160405280600c81526020017f4f564d5f50726f706f7365720000000000000000000000000000000000000000815250610159565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b600080546040517fbf40fac100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9091169063bf40fac1906101b09085906004016106a0565b602060405180830381865afa1580156101cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101f191906106f1565b92915050565b60008173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610293576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f73656e646572206d757374207468652070726f706f736572210000000000000060448201526064015b60405180910390fd5b6102c361029f85610387565b6040516020016102af919061070e565b604051602081830303815290604052610159565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461037d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f50726f706f73657220646f6573206e6f74206d6174636820746869732063686160448201527f696e2e0000000000000000000000000000000000000000000000000000000000606482015260840161028a565b5060019392505050565b6060816000036103ca57505060408051808201909152600181527f3000000000000000000000000000000000000000000000000000000000000000602082015290565b8160005b81156103f457806103de8161077e565b91506103ed9050600a836107b6565b91506103ce565b60008167ffffffffffffffff81111561040f5761040f610530565b6040519080825280601f01601f191660200182016040528015610439576020820181803683370190505b509050815b85156104de5761044f6001826107f1565b9050600061045e600a886107b6565b61046990600a610808565b61047390886107f1565b61047e906030610845565b905060008160f81b90508084848151811061049b5761049b61086a565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053506104d5600a896107b6565b9750505061043e565b50949350505050565b73ffffffffffffffffffffffffffffffffffffffff8116811461050957600080fd5b50565b60006020828403121561051e57600080fd5b8135610529816104e7565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60006020828403121561057157600080fd5b813567ffffffffffffffff8082111561058957600080fd5b818401915084601f83011261059d57600080fd5b8135818111156105af576105af610530565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f011681019083821181831017156105f5576105f5610530565b8160405282815287602084870101111561060e57600080fd5b826020860160208301376000928101602001929092525095945050505050565b60008060006060848603121561064357600080fd5b833592506020840135610655816104e7565b91506040840135610665816104e7565b809150509250925092565b60005b8381101561068b578181015183820152602001610673565b8381111561069a576000848401525b50505050565b60208152600082518060208401526106bf816040850160208701610670565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b60006020828403121561070357600080fd5b8151610529816104e7565b60008251610720818460208701610670565b7f5f4d564d5f50726f706f73657200000000000000000000000000000000000000920191825250600d01919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036107af576107af61074f565b5060010190565b6000826107ec577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000828210156108035761080361074f565b500390565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156108405761084061074f565b500290565b600060ff821660ff84168060ff038211156108625761086261074f565b019392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fdfea264697066735822122060a65a34ea897b045f211a572b2227ab29e5237093686e93eeceec594a0966f964736f6c634300080f0033",
  "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061004c5760003560e01c806302ad4d2a14610051578063299ca47814610079578063461a4478146100be578063f3b96f1c146100d1575b600080fd5b61006461005f36600461050c565b6100e4565b60405190151581526020015b60405180910390f35b6000546100999073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610070565b6100996100cc36600461055f565b610159565b6100646100df36600461062e565b6101f7565b60006101246040518060400160405280600c81526020017f4f564d5f50726f706f7365720000000000000000000000000000000000000000815250610159565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b600080546040517fbf40fac100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9091169063bf40fac1906101b09085906004016106a0565b602060405180830381865afa1580156101cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101f191906106f1565b92915050565b60008173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614610293576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f73656e646572206d757374207468652070726f706f736572210000000000000060448201526064015b60405180910390fd5b6102c361029f85610387565b6040516020016102af919061070e565b604051602081830303815290604052610159565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461037d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f50726f706f73657220646f6573206e6f74206d6174636820746869732063686160448201527f696e2e0000000000000000000000000000000000000000000000000000000000606482015260840161028a565b5060019392505050565b6060816000036103ca57505060408051808201909152600181527f3000000000000000000000000000000000000000000000000000000000000000602082015290565b8160005b81156103f457806103de8161077e565b91506103ed9050600a836107b6565b91506103ce565b60008167ffffffffffffffff81111561040f5761040f610530565b6040519080825280601f01601f191660200182016040528015610439576020820181803683370190505b509050815b85156104de5761044f6001826107f1565b9050600061045e600a886107b6565b61046990600a610808565b61047390886107f1565b61047e906030610845565b905060008160f81b90508084848151811061049b5761049b61086a565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053506104d5600a896107b6565b9750505061043e565b50949350505050565b73ffffffffffffffffffffffffffffffffffffffff8116811461050957600080fd5b50565b60006020828403121561051e57600080fd5b8135610529816104e7565b9392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60006020828403121561057157600080fd5b813567ffffffffffffffff8082111561058957600080fd5b818401915084601f83011261059d57600080fd5b8135818111156105af576105af610530565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f011681019083821181831017156105f5576105f5610530565b8160405282815287602084870101111561060e57600080fd5b826020860160208301376000928101602001929092525095945050505050565b60008060006060848603121561064357600080fd5b833592506020840135610655816104e7565b91506040840135610665816104e7565b809150509250925092565b60005b8381101561068b578181015183820152602001610673565b8381111561069a576000848401525b50505050565b60208152600082518060208401526106bf816040850160208701610670565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b60006020828403121561070357600080fd5b8151610529816104e7565b60008251610720818460208701610670565b7f5f4d564d5f50726f706f73657200000000000000000000000000000000000000920191825250600d01919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036107af576107af61074f565b5060010190565b6000826107ec577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000828210156108035761080361074f565b500390565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156108405761084061074f565b500290565b600060ff821660ff84168060ff038211156108625761086261074f565b019392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fdfea264697066735822122060a65a34ea897b045f211a572b2227ab29e5237093686e93eeceec594a0966f964736f6c634300080f0033",
  "linkReferences": {},
  "deployedLinkReferences": {}
}