Contract

Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.9;

import "@openzeppelin/contracts/token/ERC20/IERC20.sol";

interface IVerifier {
    function verify(bytes memory flag) external returns(bool);
}

contract Verifier7 {
    address public alice;
    IVerifier _verifier;
    IERC20 _rhol;
    uint value = 0xFF;

    constructor(address verifier, address token) {
        _verifier = IVerifier(verifier);
        _rhol = IERC20(token);
    }

    function verify(bytes memory flag) external returns(bool){
        value = _rhol.totalSupply() / 10**18;
        value += _rhol.balanceOf(0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE);
        value = value - 1331;
        require(uint(uint8(flag[6])) == value);
        return _verifier.verify(flag);
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}

{
  "optimizer": {
    "enabled": false,
    "runs": 200
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"verifier","type":"address"},{"internalType":"address","name":"token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"alice","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"flag","type":"bytes"}],"name":"verify","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405260ff60035534801561001557600080fd5b5060405161096e38038061096e83398181016040528101906100379190610123565b81600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050610163565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006100f0826100c5565b9050919050565b610100816100e5565b811461010b57600080fd5b50565b60008151905061011d816100f7565b92915050565b6000806040838503121561013a576101396100c0565b5b60006101488582860161010e565b92505060206101598582860161010e565b9150509250929050565b6107fc806101726000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80638e760afe1461003b578063fb47e3a21461006b575b600080fd5b61005560048036038101906100509190610468565b610089565b60405161006291906104cc565b60405180910390f35b6100736102ea565b6040516100809190610528565b60405180910390f35b6000670de0b6b3a7640000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610101573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101259190610579565b61012f9190610604565b600381905550600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a0823173eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee6040518263ffffffff1660e01b81526004016101a49190610528565b602060405180830381865afa1580156101c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101e59190610579565b600360008282546101f69190610635565b9250508190555061053360035461020d9190610669565b6003819055506003548260068151811061022a5761022961069d565b5b602001015160f81c60f81b60f81c60ff161461024557600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16638e760afe836040518263ffffffff1660e01b81526004016102a0919061074b565b6020604051808303816000875af11580156102bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102e39190610799565b9050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6103758261032c565b810181811067ffffffffffffffff821117156103945761039361033d565b5b80604052505050565b60006103a761030e565b90506103b3828261036c565b919050565b600067ffffffffffffffff8211156103d3576103d261033d565b5b6103dc8261032c565b9050602081019050919050565b82818337600083830152505050565b600061040b610406846103b8565b61039d565b90508281526020810184848401111561042757610426610327565b5b6104328482856103e9565b509392505050565b600082601f83011261044f5761044e610322565b5b813561045f8482602086016103f8565b91505092915050565b60006020828403121561047e5761047d610318565b5b600082013567ffffffffffffffff81111561049c5761049b61031d565b5b6104a88482850161043a565b91505092915050565b60008115159050919050565b6104c6816104b1565b82525050565b60006020820190506104e160008301846104bd565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610512826104e7565b9050919050565b61052281610507565b82525050565b600060208201905061053d6000830184610519565b92915050565b6000819050919050565b61055681610543565b811461056157600080fd5b50565b6000815190506105738161054d565b92915050565b60006020828403121561058f5761058e610318565b5b600061059d84828501610564565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061060f82610543565b915061061a83610543565b92508261062a576106296105a6565b5b828204905092915050565b600061064082610543565b915061064b83610543565b9250828201905080821115610663576106626105d5565b5b92915050565b600061067482610543565b915061067f83610543565b9250828203905081811115610697576106966105d5565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600081519050919050565b600082825260208201905092915050565b60005b838110156107065780820151818401526020810190506106eb565b60008484015250505050565b600061071d826106cc565b61072781856106d7565b93506107378185602086016106e8565b6107408161032c565b840191505092915050565b600060208201905081810360008301526107658184610712565b905092915050565b610776816104b1565b811461078157600080fd5b50565b6000815190506107938161076d565b92915050565b6000602082840312156107af576107ae610318565b5b60006107bd84828501610784565b9150509291505056fea2646970667358221220e61f3d41ad4848a0143c2c0b2c7605f718f0211ec0e78b531f809fd57cacad5764736f6c63430008110033000000000000000000000000639d7b5a3cbc0338660f445e08d961e4bcfbd9c10000000000000000000000000f117ce0915a7e4afff87f180c87491ce3bf4e49

0x608060405234801561001057600080fd5b50600436106100365760003560e01c80638e760afe1461003b578063fb47e3a21461006b575b600080fd5b61005560048036038101906100509190610468565b610089565b60405161006291906104cc565b60405180910390f35b6100736102ea565b6040516100809190610528565b60405180910390f35b6000670de0b6b3a7640000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610101573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101259190610579565b61012f9190610604565b600381905550600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a0823173eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee6040518263ffffffff1660e01b81526004016101a49190610528565b602060405180830381865afa1580156101c1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101e59190610579565b600360008282546101f69190610635565b9250508190555061053360035461020d9190610669565b6003819055506003548260068151811061022a5761022961069d565b5b602001015160f81c60f81b60f81c60ff161461024557600080fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16638e760afe836040518263ffffffff1660e01b81526004016102a0919061074b565b6020604051808303816000875af11580156102bf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102e39190610799565b9050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6103758261032c565b810181811067ffffffffffffffff821117156103945761039361033d565b5b80604052505050565b60006103a761030e565b90506103b3828261036c565b919050565b600067ffffffffffffffff8211156103d3576103d261033d565b5b6103dc8261032c565b9050602081019050919050565b82818337600083830152505050565b600061040b610406846103b8565b61039d565b90508281526020810184848401111561042757610426610327565b5b6104328482856103e9565b509392505050565b600082601f83011261044f5761044e610322565b5b813561045f8482602086016103f8565b91505092915050565b60006020828403121561047e5761047d610318565b5b600082013567ffffffffffffffff81111561049c5761049b61031d565b5b6104a88482850161043a565b91505092915050565b60008115159050919050565b6104c6816104b1565b82525050565b60006020820190506104e160008301846104bd565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610512826104e7565b9050919050565b61052281610507565b82525050565b600060208201905061053d6000830184610519565b92915050565b6000819050919050565b61055681610543565b811461056157600080fd5b50565b6000815190506105738161054d565b92915050565b60006020828403121561058f5761058e610318565b5b600061059d84828501610564565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061060f82610543565b915061061a83610543565b92508261062a576106296105a6565b5b828204905092915050565b600061064082610543565b915061064b83610543565b9250828201905080821115610663576106626105d5565b5b92915050565b600061067482610543565b915061067f83610543565b9250828203905081811115610697576106966105d5565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600081519050919050565b600082825260208201905092915050565b60005b838110156107065780820151818401526020810190506106eb565b60008484015250505050565b600061071d826106cc565b61072781856106d7565b93506107378185602086016106e8565b6107408161032c565b840191505092915050565b600060208201905081810360008301526107658184610712565b905092915050565b610776816104b1565b811461078157600080fd5b50565b6000815190506107938161076d565b92915050565b6000602082840312156107af576107ae610318565b5b60006107bd84828501610784565b9150509291505056fea2646970667358221220e61f3d41ad4848a0143c2c0b2c7605f718f0211ec0e78b531f809fd57cacad5764736f6c63430008110033

000000000000000000000000639d7b5a3cbc0338660f445e08d961e4bcfbd9c10000000000000000000000000f117ce0915a7e4afff87f180c87491ce3bf4e49

-----Decoded View---------------
Arg [0] : verifier (address): 0x639D7b5a3cbc0338660f445e08D961e4bcfBd9c1
Arg [1] : token (address): 0x0f117cE0915a7e4aFff87f180c87491ce3bf4E49

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000639d7b5a3cbc0338660f445e08d961e4bcfbd9c1
Arg [1] : 0000000000000000000000000f117ce0915a7e4afff87f180c87491ce3bf4e49