Contract 0x178169B423a011fff22B9e3F3abeA13414dDD0F1 2

Tornado.Cash OFAC Sanctions Lists 
 
 

Txn Hash
Method
Block
From
To
Value
Latest 25 internal transaction
Parent Txn Hash Block From To Value
0xdff9efc8057e8f229921197c4221f9ae9a115b7448618671673c7438054e2754155529912022-09-17 11:25:3571 days 17 hrs ago Tornado.Cash: 0.1 WBTC0x4b600f45327624a7304a98cf3e11556684c2d7e90.00120874 Ether
0xdff9efc8057e8f229921197c4221f9ae9a115b7448618671673c7438054e2754155529912022-09-17 11:25:3571 days 17 hrs ago 0x00fce327a1c64b24a626c353e68222275d184c40 Tornado.Cash: 0.1 WBTC0.00120874 Ether
0x8249a88f137ba0a36bdff7d22a1a52a191d69d3f5a81477cf205f8dbebe20885155529862022-09-17 11:24:3571 days 17 hrs ago Tornado.Cash: 0.1 WBTC0x4b600f45327624a7304a98cf3e11556684c2d7e90.00117748 Ether
0x8249a88f137ba0a36bdff7d22a1a52a191d69d3f5a81477cf205f8dbebe20885155529862022-09-17 11:24:3571 days 17 hrs ago 0x00fce327a1c64b24a626c353e68222275d184c40 Tornado.Cash: 0.1 WBTC0.00117748 Ether
0x24ee5167c7fb06e93130060ca3be3aaedc4eaea922c580d9a9aa33a169e7a43a155529772022-09-17 11:22:4771 days 17 hrs ago Tornado.Cash: 0.1 WBTC0x4b600f45327624a7304a98cf3e11556684c2d7e90.00119366 Ether
0x24ee5167c7fb06e93130060ca3be3aaedc4eaea922c580d9a9aa33a169e7a43a155529772022-09-17 11:22:4771 days 17 hrs ago 0x00fce327a1c64b24a626c353e68222275d184c40 Tornado.Cash: 0.1 WBTC0.00119366 Ether
0xf66bf071499d552b9baedfc12139209b3b6cd054da44158065e2ac9e23564098153034302022-08-08 19:27:33111 days 9 hrs ago Tornado.Cash: 0.1 WBTC0x97ce22bceb1bd5f5d2ed3f996beba149eeebe9e40.0052093 Ether
0xf66bf071499d552b9baedfc12139209b3b6cd054da44158065e2ac9e23564098153034302022-08-08 19:27:33111 days 9 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.0052093 Ether
0x13ca84fbb9a382e04616bf0797c07f8e11a2502349335d9434384d929f589dcc153034252022-08-08 19:27:04111 days 9 hrs ago Tornado.Cash: 0.1 WBTC0x97ce22bceb1bd5f5d2ed3f996beba149eeebe9e40.0050971 Ether
0x13ca84fbb9a382e04616bf0797c07f8e11a2502349335d9434384d929f589dcc153034252022-08-08 19:27:04111 days 9 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.0050971 Ether
0x0aeb836fd49c267c55ca2ba7c356c25534928dd8123e8262879d473eea22dda9153034202022-08-08 19:25:58111 days 9 hrs ago Tornado.Cash: 0.1 WBTC0x97ce22bceb1bd5f5d2ed3f996beba149eeebe9e40.00520951 Ether
0x0aeb836fd49c267c55ca2ba7c356c25534928dd8123e8262879d473eea22dda9153034202022-08-08 19:25:58111 days 9 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.00520951 Ether
0x6c0d09819f22c8a9af0521efd11f1d5f31dd1ab81b6a1d8bfe34d808714ec2d6153032442022-08-08 18:49:02111 days 10 hrs ago Tornado.Cash: 0.1 WBTC0x9935946cc59950912616b243f3c83be78a9a62360.00542997 Ether
0x6c0d09819f22c8a9af0521efd11f1d5f31dd1ab81b6a1d8bfe34d808714ec2d6153032442022-08-08 18:49:02111 days 10 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.00542997 Ether
0x31b00fe42236a7682a6300c3fc86ce33bf97cb7cb34e760eb89cb9a36c03e5f3153031732022-08-08 18:33:25111 days 10 hrs ago Tornado.Cash: 0.1 WBTC0x9935946cc59950912616b243f3c83be78a9a62360.0047368 Ether
0x31b00fe42236a7682a6300c3fc86ce33bf97cb7cb34e760eb89cb9a36c03e5f3153031732022-08-08 18:33:25111 days 10 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.0047368 Ether
0xb2c43ac75f586b66a044b12d7b5a93e2de448b0795bcf7bb160b42f00e86813f153030832022-08-08 18:12:40111 days 11 hrs ago Tornado.Cash: 0.1 WBTC0x9935946cc59950912616b243f3c83be78a9a62360.00562649 Ether
0xb2c43ac75f586b66a044b12d7b5a93e2de448b0795bcf7bb160b42f00e86813f153030832022-08-08 18:12:40111 days 11 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.00562649 Ether
0x7cde567eb1c8e81dd4f6d2a6da547fd7a76409ca0f7f278dd229bd90099b5923151204802022-07-11 9:18:56139 days 20 hrs ago Tornado.Cash: 0.1 WBTC0x9305cf37d727e7152f1e817fd12b542f07e3974c0.0027812 Ether
0x7cde567eb1c8e81dd4f6d2a6da547fd7a76409ca0f7f278dd229bd90099b5923151204802022-07-11 9:18:56139 days 20 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.0027812 Ether
0x1954bbe669a7a8d5204e004ecbff6ab4a447b29784c51ce85068a5e9036f7cba149641112022-06-14 22:08:48166 days 7 hrs ago Tornado.Cash: 0.1 WBTC0x8b0717f8d9e04415b5550f2e8c411bd26f310bbf0.0113713 Ether
0x1954bbe669a7a8d5204e004ecbff6ab4a447b29784c51ce85068a5e9036f7cba149641112022-06-14 22:08:48166 days 7 hrs ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.0113713 Ether
0x4c56f69dcf4627b17b1006bcaa65b3e90a4370922bba81da939850cd27922404148948932022-06-03 3:42:43178 days 1 hr ago Tornado.Cash: 0.1 WBTC0xa143bbfbad2fb1d22c9f3e50eb34142221be60270.0077656 Ether
0x4c56f69dcf4627b17b1006bcaa65b3e90a4370922bba81da939850cd27922404148948932022-06-03 3:42:43178 days 1 hr ago Tornado.Cash: Router Tornado.Cash: 0.1 WBTC0.0077656 Ether
0xd9409742a7bd0583b044df6cba89560df9db7a8ea018b83631f8b418afa60b7c148948782022-06-03 3:38:23178 days 1 hr ago Tornado.Cash: 0.1 WBTC0xa143bbfbad2fb1d22c9f3e50eb34142221be60270.0096237 Ether
[ Download CSV Export 
Loading

Contract Source Code Verified (Exact Match)

Contract Name:
ERC20Tornado

Compiler Version
v0.7.6+commit.7338295f

Optimization Enabled:
Yes with 200 runs

Other Settings:
default evmVersion, MIT license

Contract Source Code (Solidity)

/**
 *Submitted for verification at Etherscan.io on 2021-03-19
*/

// https://tornado.cash
/*
 * d888888P                                           dP              a88888b.                   dP
 *    88                                              88             d8'   `88                   88
 *    88    .d8888b. 88d888b. 88d888b. .d8888b. .d888b88 .d8888b.    88        .d8888b. .d8888b. 88d888b.
 *    88    88'  `88 88'  `88 88'  `88 88'  `88 88'  `88 88'  `88    88        88'  `88 Y8ooooo. 88'  `88
 *    88    88.  .88 88       88    88 88.  .88 88.  .88 88.  .88 dP Y8.   .88 88.  .88       88 88    88
 *    dP    `88888P' dP       dP    dP `88888P8 `88888P8 `88888P' 88  Y88888P' `88888P8 `88888P' dP    dP
 * ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
 */

// File: contracts/MerkleTreeWithHistory.sol

pragma solidity ^0.7.0;
// SPDX-License-Identifier: MIT
interface IHasher {
  function MiMCSponge(uint256 in_xL, uint256 in_xR) external pure returns (uint256 xL, uint256 xR);
}

contract MerkleTreeWithHistory {
  uint256 public constant FIELD_SIZE = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
  uint256 public constant ZERO_VALUE = 21663839004416932945382355908790599225266501822907911457504978515578255421292; // = keccak256("tornado") % FIELD_SIZE

  IHasher public immutable hasher;
  uint32 public immutable levels;

  // the following variables are made public for easier testing and debugging and
  // are not supposed to be accessed in regular code

  // filledSubtrees and roots could be bytes32[size], but using mappings makes it cheaper because
  // it removes index range check on every interaction
  mapping(uint256 => bytes32) public filledSubtrees;
  mapping(uint256 => bytes32) public roots;
  uint32 public constant ROOT_HISTORY_SIZE = 30;
  uint32 public currentRootIndex = 0;
  uint32 public nextIndex = 0;

  constructor(uint32 _levels, IHasher _hasher) {
    require(_levels > 0, "_levels should be greater than zero");
    require(_levels < 32, "_levels should be less than 32");
    levels = _levels;
    hasher = _hasher;

    for (uint32 i = 0; i < _levels; i++) {
      filledSubtrees[i] = zeros(i);
    }

    roots[0] = zeros(_levels - 1);
  }

  /**
    @dev Hash 2 tree leaves, returns MiMC(_left, _right)
  */
  function hashLeftRight(
    IHasher _hasher,
    bytes32 _left,
    bytes32 _right
  ) public pure returns (bytes32) {
    require(uint256(_left) < FIELD_SIZE, "_left should be inside the field");
    require(uint256(_right) < FIELD_SIZE, "_right should be inside the field");
    uint256 R = uint256(_left);
    uint256 C = 0;
    (R, C) = _hasher.MiMCSponge(R, C);
    R = addmod(R, uint256(_right), FIELD_SIZE);
    (R, C) = _hasher.MiMCSponge(R, C);
    return bytes32(R);
  }

  function _insert(bytes32 _leaf) internal returns (uint32 index) {
    uint32 _nextIndex = nextIndex;
    require(_nextIndex != uint32(2)**levels, "Merkle tree is full. No more leaves can be added");
    uint32 currentIndex = _nextIndex;
    bytes32 currentLevelHash = _leaf;
    bytes32 left;
    bytes32 right;

    for (uint32 i = 0; i < levels; i++) {
      if (currentIndex % 2 == 0) {
        left = currentLevelHash;
        right = zeros(i);
        filledSubtrees[i] = currentLevelHash;
      } else {
        left = filledSubtrees[i];
        right = currentLevelHash;
      }
      currentLevelHash = hashLeftRight(hasher, left, right);
      currentIndex /= 2;
    }

    uint32 newRootIndex = (currentRootIndex + 1) % ROOT_HISTORY_SIZE;
    currentRootIndex = newRootIndex;
    roots[newRootIndex] = currentLevelHash;
    nextIndex = _nextIndex + 1;
    return _nextIndex;
  }

  /**
    @dev Whether the root is present in the root history
  */
  function isKnownRoot(bytes32 _root) public view returns (bool) {
    if (_root == 0) {
      return false;
    }
    uint32 _currentRootIndex = currentRootIndex;
    uint32 i = _currentRootIndex;
    do {
      if (_root == roots[i]) {
        return true;
      }
      if (i == 0) {
        i = ROOT_HISTORY_SIZE;
      }
      i--;
    } while (i != _currentRootIndex);
    return false;
  }

  /**
    @dev Returns the last root
  */
  function getLastRoot() public view returns (bytes32) {
    return roots[currentRootIndex];
  }

  /// @dev provides Zero (Empty) elements for a MiMC MerkleTree. Up to 32 levels
  function zeros(uint256 i) public pure returns (bytes32) {
    if (i == 0) return bytes32(0x2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c);
    else if (i == 1) return bytes32(0x256a6135777eee2fd26f54b8b7037a25439d5235caee224154186d2b8a52e31d);
    else if (i == 2) return bytes32(0x1151949895e82ab19924de92c40a3d6f7bcb60d92b00504b8199613683f0c200);
    else if (i == 3) return bytes32(0x20121ee811489ff8d61f09fb89e313f14959a0f28bb428a20dba6b0b068b3bdb);
    else if (i == 4) return bytes32(0x0a89ca6ffa14cc462cfedb842c30ed221a50a3d6bf022a6a57dc82ab24c157c9);
    else if (i == 5) return bytes32(0x24ca05c2b5cd42e890d6be94c68d0689f4f21c9cec9c0f13fe41d566dfb54959);
    else if (i == 6) return bytes32(0x1ccb97c932565a92c60156bdba2d08f3bf1377464e025cee765679e604a7315c);
    else if (i == 7) return bytes32(0x19156fbd7d1a8bf5cba8909367de1b624534ebab4f0f79e003bccdd1b182bdb4);
    else if (i == 8) return bytes32(0x261af8c1f0912e465744641409f622d466c3920ac6e5ff37e36604cb11dfff80);
    else if (i == 9) return bytes32(0x0058459724ff6ca5a1652fcbc3e82b93895cf08e975b19beab3f54c217d1c007);
    else if (i == 10) return bytes32(0x1f04ef20dee48d39984d8eabe768a70eafa6310ad20849d4573c3c40c2ad1e30);
    else if (i == 11) return bytes32(0x1bea3dec5dab51567ce7e200a30f7ba6d4276aeaa53e2686f962a46c66d511e5);
    else if (i == 12) return bytes32(0x0ee0f941e2da4b9e31c3ca97a40d8fa9ce68d97c084177071b3cb46cd3372f0f);
    else if (i == 13) return bytes32(0x1ca9503e8935884501bbaf20be14eb4c46b89772c97b96e3b2ebf3a36a948bbd);
    else if (i == 14) return bytes32(0x133a80e30697cd55d8f7d4b0965b7be24057ba5dc3da898ee2187232446cb108);
    else if (i == 15) return bytes32(0x13e6d8fc88839ed76e182c2a779af5b2c0da9dd18c90427a644f7e148a6253b6);
    else if (i == 16) return bytes32(0x1eb16b057a477f4bc8f572ea6bee39561098f78f15bfb3699dcbb7bd8db61854);
    else if (i == 17) return bytes32(0x0da2cb16a1ceaabf1c16b838f7a9e3f2a3a3088d9e0a6debaa748114620696ea);
    else if (i == 18) return bytes32(0x24a3b3d822420b14b5d8cb6c28a574f01e98ea9e940551d2ebd75cee12649f9d);
    else if (i == 19) return bytes32(0x198622acbd783d1b0d9064105b1fc8e4d8889de95c4c519b3f635809fe6afc05);
    else if (i == 20) return bytes32(0x29d7ed391256ccc3ea596c86e933b89ff339d25ea8ddced975ae2fe30b5296d4);
    else if (i == 21) return bytes32(0x19be59f2f0413ce78c0c3703a3a5451b1d7f39629fa33abd11548a76065b2967);
    else if (i == 22) return bytes32(0x1ff3f61797e538b70e619310d33f2a063e7eb59104e112e95738da1254dc3453);
    else if (i == 23) return bytes32(0x10c16ae9959cf8358980d9dd9616e48228737310a10e2b6b731c1a548f036c48);
    else if (i == 24) return bytes32(0x0ba433a63174a90ac20992e75e3095496812b652685b5e1a2eae0b1bf4e8fcd1);
    else if (i == 25) return bytes32(0x019ddb9df2bc98d987d0dfeca9d2b643deafab8f7036562e627c3667266a044c);
    else if (i == 26) return bytes32(0x2d3c88b23175c5a5565db928414c66d1912b11acf974b2e644caaac04739ce99);
    else if (i == 27) return bytes32(0x2eab55f6ae4e66e32c5189eed5c470840863445760f5ed7e7b69b2a62600f354);
    else if (i == 28) return bytes32(0x002df37a2642621802383cf952bf4dd1f32e05433beeb1fd41031fb7eace979d);
    else if (i == 29) return bytes32(0x104aeb41435db66c3e62feccc1d6f5d98d0a0ed75d1374db457cf462e3a1f427);
    else if (i == 30) return bytes32(0x1f3c6fd858e9a7d4b0d1f38e256a09d81d5a5e3c963987e2d4b814cfab7c6ebb);
    else if (i == 31) return bytes32(0x2c7a07d20dff79d01fecedc1134284a8d08436606c93693b67e333f671bf69cc);
    else revert("Index out of bounds");
  }
}

// File: @openzeppelin/contracts/utils/ReentrancyGuard.sol


pragma solidity >=0.6.0 <0.8.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor () internal {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;

        _;

        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }
}

// File: contracts/Tornado.sol

// https://tornado.cash
/*
 * d888888P                                           dP              a88888b.                   dP
 *    88                                              88             d8'   `88                   88
 *    88    .d8888b. 88d888b. 88d888b. .d8888b. .d888b88 .d8888b.    88        .d8888b. .d8888b. 88d888b.
 *    88    88'  `88 88'  `88 88'  `88 88'  `88 88'  `88 88'  `88    88        88'  `88 Y8ooooo. 88'  `88
 *    88    88.  .88 88       88    88 88.  .88 88.  .88 88.  .88 dP Y8.   .88 88.  .88       88 88    88
 *    dP    `88888P' dP       dP    dP `88888P8 `88888P8 `88888P' 88  Y88888P' `88888P8 `88888P' dP    dP
 * ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
 */

pragma solidity ^0.7.0;



interface IVerifier {
  function verifyProof(bytes memory _proof, uint256[6] memory _input) external returns (bool);
}

abstract contract Tornado is MerkleTreeWithHistory, ReentrancyGuard {
  IVerifier public immutable verifier;
  uint256 public immutable denomination;

  mapping(bytes32 => bool) public nullifierHashes;
  // we store all commitments just to prevent accidental deposits with the same commitment
  mapping(bytes32 => bool) public commitments;

  event Deposit(bytes32 indexed commitment, uint32 leafIndex, uint256 timestamp);
  event Withdrawal(address to, bytes32 nullifierHash, address indexed relayer, uint256 fee);

  /**
    @dev The constructor
    @param _verifier the address of SNARK verifier for this contract
    @param _hasher the address of MiMC hash contract
    @param _denomination transfer amount for each deposit
    @param _merkleTreeHeight the height of deposits' Merkle Tree
  */
  constructor(
    IVerifier _verifier,
    IHasher _hasher,
    uint256 _denomination,
    uint32 _merkleTreeHeight
  ) MerkleTreeWithHistory(_merkleTreeHeight, _hasher) {
    require(_denomination > 0, "denomination should be greater than 0");
    verifier = _verifier;
    denomination = _denomination;
  }

  /**
    @dev Deposit funds into the contract. The caller must send (for ETH) or approve (for ERC20) value equal to or `denomination` of this instance.
    @param _commitment the note commitment, which is PedersenHash(nullifier + secret)
  */
  function deposit(bytes32 _commitment) external payable nonReentrant {
    require(!commitments[_commitment], "The commitment has been submitted");

    uint32 insertedIndex = _insert(_commitment);
    commitments[_commitment] = true;
    _processDeposit();

    emit Deposit(_commitment, insertedIndex, block.timestamp);
  }

  /** @dev this function is defined in a child contract */
  function _processDeposit() internal virtual;

  /**
    @dev Withdraw a deposit from the contract. `proof` is a zkSNARK proof data, and input is an array of circuit public inputs
    `input` array consists of:
      - merkle root of all deposits in the contract
      - hash of unique deposit nullifier to prevent double spends
      - the recipient of funds
      - optional fee that goes to the transaction sender (usually a relay)
  */
  function withdraw(
    bytes calldata _proof,
    bytes32 _root,
    bytes32 _nullifierHash,
    address payable _recipient,
    address payable _relayer,
    uint256 _fee,
    uint256 _refund
  ) external payable nonReentrant {
    require(_fee <= denomination, "Fee exceeds transfer value");
    require(!nullifierHashes[_nullifierHash], "The note has been already spent");
    require(isKnownRoot(_root), "Cannot find your merkle root"); // Make sure to use a recent one
    require(
      verifier.verifyProof(
        _proof,
        [uint256(_root), uint256(_nullifierHash), uint256(_recipient), uint256(_relayer), _fee, _refund]
      ),
      "Invalid withdraw proof"
    );

    nullifierHashes[_nullifierHash] = true;
    _processWithdraw(_recipient, _relayer, _fee, _refund);
    emit Withdrawal(_recipient, _nullifierHash, _relayer, _fee);
  }

  /** @dev this function is defined in a child contract */
  function _processWithdraw(
    address payable _recipient,
    address payable _relayer,
    uint256 _fee,
    uint256 _refund
  ) internal virtual;

  /** @dev whether a note is already spent */
  function isSpent(bytes32 _nullifierHash) public view returns (bool) {
    return nullifierHashes[_nullifierHash];
  }

  /** @dev whether an array of notes is already spent */
  function isSpentArray(bytes32[] calldata _nullifierHashes) external view returns (bool[] memory spent) {
    spent = new bool[](_nullifierHashes.length);
    for (uint256 i = 0; i < _nullifierHashes.length; i++) {
      if (isSpent(_nullifierHashes[i])) {
        spent[i] = true;
      }
    }
  }
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


pragma solidity >=0.6.0 <0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @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 `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, 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 `sender` to `recipient` 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 sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @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);
}

// File: @openzeppelin/contracts/math/SafeMath.sol


pragma solidity >=0.6.0 <0.8.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        uint256 c = a + b;
        if (c < a) return (false, 0);
        return (true, c);
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        if (b > a) return (false, 0);
        return (true, a - b);
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) return (true, 0);
        uint256 c = a * b;
        if (c / a != b) return (false, 0);
        return (true, c);
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        if (b == 0) return (false, 0);
        return (true, a / b);
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        if (b == 0) return (false, 0);
        return (true, a % b);
    }

    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        return a - b;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) return 0;
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: division by zero");
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: modulo by zero");
        return a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        return a - b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryDiv}.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        return a % b;
    }
}

// File: @openzeppelin/contracts/utils/Address.sol


pragma solidity >=0.6.2 <0.8.0;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        // solhint-disable-next-line no-inline-assembly
        assembly { size := extcodesize(account) }
        return size > 0;
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
        (bool success, ) = recipient.call{ value: amount }("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain`call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
      return functionCall(target, data, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(address target, bytes memory data, uint256 value, string memory errorMessage) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        require(isContract(target), "Address: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.call{ value: value }(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data, string memory errorMessage) internal view returns (bytes memory) {
        require(isContract(target), "Address: static call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.staticcall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
        require(isContract(target), "Address: delegate call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

                // solhint-disable-next-line no-inline-assembly
                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

// File: @openzeppelin/contracts/token/ERC20/SafeERC20.sol


pragma solidity >=0.6.0 <0.8.0;




/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure (when the token
 * contract returns false). Tokens that return no value (and instead revert or
 * throw on failure) are also supported, non-reverting calls are assumed to be
 * successful.
 * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
    using SafeMath for uint256;
    using Address for address;

    function safeTransfer(IERC20 token, address to, uint256 value) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    /**
     * @dev Deprecated. This function has issues similar to the ones found in
     * {IERC20-approve}, and its usage is discouraged.
     *
     * Whenever possible, use {safeIncreaseAllowance} and
     * {safeDecreaseAllowance} instead.
     */
    function safeApprove(IERC20 token, address spender, uint256 value) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        // solhint-disable-next-line max-line-length
        require((value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).add(value);
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).sub(value, "SafeERC20: decreased allowance below zero");
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     */
    function _callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves. We use {Address.functionCall} to perform this call, which verifies that
        // the target address contains contract code and also asserts for success in the low-level call.

        bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
        if (returndata.length > 0) { // Return data is optional
            // solhint-disable-next-line max-line-length
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

// File: contracts/ERC20Tornado.sol

// https://tornado.cash
/*
 * d888888P                                           dP              a88888b.                   dP
 *    88                                              88             d8'   `88                   88
 *    88    .d8888b. 88d888b. 88d888b. .d8888b. .d888b88 .d8888b.    88        .d8888b. .d8888b. 88d888b.
 *    88    88'  `88 88'  `88 88'  `88 88'  `88 88'  `88 88'  `88    88        88'  `88 Y8ooooo. 88'  `88
 *    88    88.  .88 88       88    88 88.  .88 88.  .88 88.  .88 dP Y8.   .88 88.  .88       88 88    88
 *    dP    `88888P' dP       dP    dP `88888P8 `88888P8 `88888P' 88  Y88888P' `88888P8 `88888P' dP    dP
 * ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
 */

pragma solidity ^0.7.0;




contract ERC20Tornado is Tornado {
  using SafeERC20 for IERC20;
  IERC20 public immutable token;

  constructor(
    IVerifier _verifier,
    IHasher _hasher,
    uint256 _denomination,
    uint32 _merkleTreeHeight,
    IERC20 _token
  ) Tornado(_verifier, _hasher, _denomination, _merkleTreeHeight) {
    token = _token;
  }

  function _processDeposit() internal override {
    require(msg.value == 0, "ETH value is supposed to be 0 for ERC20 instance");
    token.safeTransferFrom(msg.sender, address(this), denomination);
  }

  function _processWithdraw(
    address payable _recipient,
    address payable _relayer,
    uint256 _fee,
    uint256 _refund
  ) internal override {
    require(msg.value == _refund, "Incorrect refund amount received by the contract");

    token.safeTransfer(_recipient, denomination - _fee);
    if (_fee > 0) {
      token.safeTransfer(_relayer, _fee);
    }

    if (_refund > 0) {
      (bool success, ) = _recipient.call{ value: _refund }("");
      if (!success) {
        // let's return _refund back to the relayer
        _relayer.transfer(_refund);
      }
    }
  }
}

Contract Security Audit

Contract ABI

[{"inputs":[{"internalType":"contract IVerifier","name":"_verifier","type":"address"},{"internalType":"contract IHasher","name":"_hasher","type":"address"},{"internalType":"uint256","name":"_denomination","type":"uint256"},{"internalType":"uint32","name":"_merkleTreeHeight","type":"uint32"},{"internalType":"contract IERC20","name":"_token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"commitment","type":"bytes32"},{"indexed":false,"internalType":"uint32","name":"leafIndex","type":"uint32"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"bytes32","name":"nullifierHash","type":"bytes32"},{"indexed":true,"internalType":"address","name":"relayer","type":"address"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"Withdrawal","type":"event"},{"inputs":[],"name":"FIELD_SIZE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ROOT_HISTORY_SIZE","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ZERO_VALUE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"commitments","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"currentRootIndex","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"denomination","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_commitment","type":"bytes32"}],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"filledSubtrees","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getLastRoot","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"contract IHasher","name":"_hasher","type":"address"},{"internalType":"bytes32","name":"_left","type":"bytes32"},{"internalType":"bytes32","name":"_right","type":"bytes32"}],"name":"hashLeftRight","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"hasher","outputs":[{"internalType":"contract IHasher","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_root","type":"bytes32"}],"name":"isKnownRoot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_nullifierHash","type":"bytes32"}],"name":"isSpent","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32[]","name":"_nullifierHashes","type":"bytes32[]"}],"name":"isSpentArray","outputs":[{"internalType":"bool[]","name":"spent","type":"bool[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"levels","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextIndex","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"nullifierHashes","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"roots","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"verifier","outputs":[{"internalType":"contract IVerifier","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"_proof","type":"bytes"},{"internalType":"bytes32","name":"_root","type":"bytes32"},{"internalType":"bytes32","name":"_nullifierHash","type":"bytes32"},{"internalType":"address payable","name":"_recipient","type":"address"},{"internalType":"address payable","name":"_relayer","type":"address"},{"internalType":"uint256","name":"_fee","type":"uint256"},{"internalType":"uint256","name":"_refund","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"i","type":"uint256"}],"name":"zeros","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"}]

610120604052600280546001600160401b03191690553480156200002257600080fd5b50604051620026e8380380620026e8833981810160405260a08110156200004857600080fd5b5080516020820151604083015160608401516080909401519293919290919084848484808363ffffffff8216620000b15760405162461bcd60e51b8152600401808060200182810382526023815260200180620026c56023913960400191505060405180910390fd5b60208263ffffffff16106200010d576040805162461bcd60e51b815260206004820152601e60248201527f5f6c6576656c732073686f756c64206265206c657373207468616e2033320000604482015290519081900360640190fd5b6001600160e01b031960e083901b1660a0526001600160601b0319606082901b1660805260005b8263ffffffff168163ffffffff16101562000179576200015a63ffffffff821662000233565b63ffffffff821660009081526020819052604090205560010162000134565b506200018f63ffffffff60001984011662000233565b60008052600160208190527fa6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb4991909155600355505081620002025760405162461bcd60e51b8152600401808060200182810382526025815260200180620026a06025913960400191505060405180910390fd5b506001600160601b0319606093841b811660c05260e0919091529290911b9091166101005250620008c19350505050565b6000816200026357507f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c620008bc565b81600114156200029557507f256a6135777eee2fd26f54b8b7037a25439d5235caee224154186d2b8a52e31d620008bc565b8160021415620002c757507f1151949895e82ab19924de92c40a3d6f7bcb60d92b00504b8199613683f0c200620008bc565b8160031415620002f957507f20121ee811489ff8d61f09fb89e313f14959a0f28bb428a20dba6b0b068b3bdb620008bc565b81600414156200032b57507f0a89ca6ffa14cc462cfedb842c30ed221a50a3d6bf022a6a57dc82ab24c157c9620008bc565b81600514156200035d57507f24ca05c2b5cd42e890d6be94c68d0689f4f21c9cec9c0f13fe41d566dfb54959620008bc565b81600614156200038f57507f1ccb97c932565a92c60156bdba2d08f3bf1377464e025cee765679e604a7315c620008bc565b8160071415620003c157507f19156fbd7d1a8bf5cba8909367de1b624534ebab4f0f79e003bccdd1b182bdb4620008bc565b8160081415620003f357507f261af8c1f0912e465744641409f622d466c3920ac6e5ff37e36604cb11dfff80620008bc565b81600914156200042457507e58459724ff6ca5a1652fcbc3e82b93895cf08e975b19beab3f54c217d1c007620008bc565b81600a14156200045657507f1f04ef20dee48d39984d8eabe768a70eafa6310ad20849d4573c3c40c2ad1e30620008bc565b81600b14156200048857507f1bea3dec5dab51567ce7e200a30f7ba6d4276aeaa53e2686f962a46c66d511e5620008bc565b81600c1415620004ba57507f0ee0f941e2da4b9e31c3ca97a40d8fa9ce68d97c084177071b3cb46cd3372f0f620008bc565b81600d1415620004ec57507f1ca9503e8935884501bbaf20be14eb4c46b89772c97b96e3b2ebf3a36a948bbd620008bc565b81600e14156200051e57507f133a80e30697cd55d8f7d4b0965b7be24057ba5dc3da898ee2187232446cb108620008bc565b81600f14156200055057507f13e6d8fc88839ed76e182c2a779af5b2c0da9dd18c90427a644f7e148a6253b6620008bc565b81601014156200058257507f1eb16b057a477f4bc8f572ea6bee39561098f78f15bfb3699dcbb7bd8db61854620008bc565b8160111415620005b457507f0da2cb16a1ceaabf1c16b838f7a9e3f2a3a3088d9e0a6debaa748114620696ea620008bc565b8160121415620005e657507f24a3b3d822420b14b5d8cb6c28a574f01e98ea9e940551d2ebd75cee12649f9d620008bc565b81601314156200061857507f198622acbd783d1b0d9064105b1fc8e4d8889de95c4c519b3f635809fe6afc05620008bc565b81601414156200064a57507f29d7ed391256ccc3ea596c86e933b89ff339d25ea8ddced975ae2fe30b5296d4620008bc565b81601514156200067c57507f19be59f2f0413ce78c0c3703a3a5451b1d7f39629fa33abd11548a76065b2967620008bc565b8160161415620006ae57507f1ff3f61797e538b70e619310d33f2a063e7eb59104e112e95738da1254dc3453620008bc565b8160171415620006e057507f10c16ae9959cf8358980d9dd9616e48228737310a10e2b6b731c1a548f036c48620008bc565b81601814156200071257507f0ba433a63174a90ac20992e75e3095496812b652685b5e1a2eae0b1bf4e8fcd1620008bc565b81601914156200074457507f019ddb9df2bc98d987d0dfeca9d2b643deafab8f7036562e627c3667266a044c620008bc565b81601a14156200077657507f2d3c88b23175c5a5565db928414c66d1912b11acf974b2e644caaac04739ce99620008bc565b81601b1415620007a857507f2eab55f6ae4e66e32c5189eed5c470840863445760f5ed7e7b69b2a62600f354620008bc565b81601c1415620007d957507e2df37a2642621802383cf952bf4dd1f32e05433beeb1fd41031fb7eace979d620008bc565b81601d14156200080b57507f104aeb41435db66c3e62feccc1d6f5d98d0a0ed75d1374db457cf462e3a1f427620008bc565b81601e14156200083d57507f1f3c6fd858e9a7d4b0d1f38e256a09d81d5a5e3c963987e2d4b814cfab7c6ebb620008bc565b81601f14156200086f57507f2c7a07d20dff79d01fecedc1134284a8d08436606c93693b67e333f671bf69cc620008bc565b6040805162461bcd60e51b815260206004820152601360248201527f496e646578206f7574206f6620626f756e647300000000000000000000000000604482015290519081900360640190fd5b919050565b60805160601c60a05160e01c60c05160601c60e0516101005160601c611d616200093f600039806114855280611505528061156252806118255250806105d852806109e75280611528528061184952508061070b528061090652508061093c528061164152806116ad52508061144f52806117395250611d616000f3fe6080604052600436106101355760003560e01c8063b214faa5116100ab578063e82955881161006f578063e8295588146104bc578063ec732959146104e6578063ed33639f146104fb578063f178e47c14610510578063fc0c546a1461053a578063fc7e9c6f1461054f57610135565b8063b214faa514610421578063ba70f7571461043e578063c2b40ae414610453578063cd87a3b41461047d578063e5285dcc1461049257610135565b80636d9833e3116100fd5780636d9833e314610299578063839df945146102c35780638bca6d16146102ed5780638ea3099e1461030257806390eeb02b146103415780639fa12d0b1461035657610135565b806317cc915c1461013a57806321a0adb6146101785780632b7ac3f314610213578063414a37ba146102445780634ecf518b1461026b575b600080fd5b34801561014657600080fd5b506101646004803603602081101561015d57600080fd5b5035610564565b604080519115158252519081900360200190f35b610211600480360360e081101561018e57600080fd5b810190602081018135600160201b8111156101a857600080fd5b8201836020820111156101ba57600080fd5b803590602001918460018302840111600160201b831117156101db57600080fd5b91935091508035906020810135906001600160a01b03604082013581169160608101359091169060808101359060a00135610579565b005b34801561021f57600080fd5b50610228610904565b604080516001600160a01b039092168252519081900360200190f35b34801561025057600080fd5b50610259610928565b60408051918252519081900360200190f35b34801561027757600080fd5b5061028061093a565b6040805163ffffffff9092168252519081900360200190f35b3480156102a557600080fd5b50610164600480360360208110156102bc57600080fd5b503561095e565b3480156102cf57600080fd5b50610164600480360360208110156102e657600080fd5b50356109d0565b3480156102f957600080fd5b506102596109e5565b34801561030e57600080fd5b506102596004803603606081101561032557600080fd5b506001600160a01b038135169060208101359060400135610a09565b34801561034d57600080fd5b50610280610bd7565b34801561036257600080fd5b506103d16004803603602081101561037957600080fd5b810190602081018135600160201b81111561039357600080fd5b8201836020820111156103a557600080fd5b803590602001918460208302840111600160201b831117156103c657600080fd5b509092509050610be3565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561040d5781810151838201526020016103f5565b505050509050019250505060405180910390f35b6102116004803603602081101561043757600080fd5b5035610c82565b34801561044a57600080fd5b50610259610da3565b34801561045f57600080fd5b506102596004803603602081101561047657600080fd5b5035610dbe565b34801561048957600080fd5b50610280610dd0565b34801561049e57600080fd5b50610164600480360360208110156104b557600080fd5b5035610dd5565b3480156104c857600080fd5b50610259600480360360208110156104df57600080fd5b5035610dea565b3480156104f257600080fd5b50610259611429565b34801561050757600080fd5b5061022861144d565b34801561051c57600080fd5b506102596004803603602081101561053357600080fd5b5035611471565b34801561054657600080fd5b50610228611483565b34801561055b57600080fd5b506102806114a7565b60046020526000908152604090205460ff1681565b600260035414156105d1576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b60026003557f000000000000000000000000000000000000000000000000000000000000000082111561064b576040805162461bcd60e51b815260206004820152601a60248201527f4665652065786365656473207472616e736665722076616c7565000000000000604482015290519081900360640190fd5b60008581526004602052604090205460ff16156106af576040805162461bcd60e51b815260206004820152601f60248201527f546865206e6f746520686173206265656e20616c7265616479207370656e7400604482015290519081900360640190fd5b6106b88661095e565b610709576040805162461bcd60e51b815260206004820152601c60248201527f43616e6e6f742066696e6420796f7572206d65726b6c6520726f6f7400000000604482015290519081900360640190fd5b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663695ef6f989896040518060c001604052808b60001c81526020018a60001c8152602001896001600160a01b03168152602001886001600160a01b03168152602001878152602001868152506040518463ffffffff1660e01b8152600401808060200183600660200280838360005b838110156107ba5781810151838201526020016107a2565b505050509050018281038252858582818152602001925080828437600081840152601f19601f820116905080830192505050945050505050602060405180830381600087803b15801561080c57600080fd5b505af1158015610820573d6000803e3d6000fd5b505050506040513d602081101561083657600080fd5b5051610882576040805162461bcd60e51b815260206004820152601660248201527524b73b30b634b2103bb4ba34323930bb90383937b7b360511b604482015290519081900360640190fd5b6000858152600460205260409020805460ff191660011790556108a7848484846114ba565b604080516001600160a01b038681168252602082018890528183018590529151918516917fe9e508bad6d4c3227e881ca19068f099da81b5164dd6d62b2eaf1e8bc6c349319181900360600190a250506001600355505050505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b600080516020611c6183398151915281565b7f000000000000000000000000000000000000000000000000000000000000000081565b60008161096d575060006109cb565b60025463ffffffff16805b63ffffffff81166000908152600160205260409020548414156109a0576001925050506109cb565b63ffffffff81166109af5750601e5b6000190163ffffffff8082169083161415610978576000925050505b919050565b60056020526000908152604090205460ff1681565b7f000000000000000000000000000000000000000000000000000000000000000081565b6000600080516020611c618339815191528310610a6d576040805162461bcd60e51b815260206004820181905260248201527f5f6c6566742073686f756c6420626520696e7369646520746865206669656c64604482015290519081900360640190fd5b600080516020611c618339815191528210610ab95760405162461bcd60e51b8152600401808060200182810382526021815260200180611c406021913960400191505060405180910390fd5b6040805163f47d33b560e01b8152600481018590526000602482018190528251869391926001600160a01b0389169263f47d33b592604480840193829003018186803b158015610b0857600080fd5b505afa158015610b1c573d6000803e3d6000fd5b505050506040513d6040811015610b3257600080fd5b5080516020909101519092509050600080516020611c618339815191528483089150856001600160a01b031663f47d33b583836040518363ffffffff1660e01b81526004018083815260200182815260200192505050604080518083038186803b158015610b9f57600080fd5b505afa158015610bb3573d6000803e3d6000fd5b505050506040513d6040811015610bc957600080fd5b5051925050505b9392505050565b60025463ffffffff1681565b60608167ffffffffffffffff81118015610bfc57600080fd5b50604051908082528060200260200182016040528015610c26578160200160208202803683370190505b50905060005b82811015610c7b57610c4f848483818110610c4357fe5b90506020020135610dd5565b15610c73576001828281518110610c6257fe5b911515602092830291909101909101525b600101610c2c565b5092915050565b60026003541415610cda576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b600260035560008181526005602052604090205460ff1615610d2d5760405162461bcd60e51b8152600401808060200182810382526021815260200180611c816021913960400191505060405180910390fd5b6000610d3882611628565b6000838152600560205260409020805460ff191660011790559050610d5b6117db565b6040805163ffffffff83168152426020820152815184927fa945e51eec50ab98c161376f0db4cf2aeba3ec92755fe2fcd388bdbbb80ff196928290030190a250506001600355565b60025463ffffffff1660009081526001602052604090205490565b60016020526000908152604090205481565b601e81565b60009081526004602052604090205460ff1690565b600081610e1857507f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c6109cb565b8160011415610e4857507f256a6135777eee2fd26f54b8b7037a25439d5235caee224154186d2b8a52e31d6109cb565b8160021415610e7857507f1151949895e82ab19924de92c40a3d6f7bcb60d92b00504b8199613683f0c2006109cb565b8160031415610ea857507f20121ee811489ff8d61f09fb89e313f14959a0f28bb428a20dba6b0b068b3bdb6109cb565b8160041415610ed857507f0a89ca6ffa14cc462cfedb842c30ed221a50a3d6bf022a6a57dc82ab24c157c96109cb565b8160051415610f0857507f24ca05c2b5cd42e890d6be94c68d0689f4f21c9cec9c0f13fe41d566dfb549596109cb565b8160061415610f3857507f1ccb97c932565a92c60156bdba2d08f3bf1377464e025cee765679e604a7315c6109cb565b8160071415610f6857507f19156fbd7d1a8bf5cba8909367de1b624534ebab4f0f79e003bccdd1b182bdb46109cb565b8160081415610f9857507f261af8c1f0912e465744641409f622d466c3920ac6e5ff37e36604cb11dfff806109cb565b8160091415610fc757507e58459724ff6ca5a1652fcbc3e82b93895cf08e975b19beab3f54c217d1c0076109cb565b81600a1415610ff757507f1f04ef20dee48d39984d8eabe768a70eafa6310ad20849d4573c3c40c2ad1e306109cb565b81600b141561102757507f1bea3dec5dab51567ce7e200a30f7ba6d4276aeaa53e2686f962a46c66d511e56109cb565b81600c141561105757507f0ee0f941e2da4b9e31c3ca97a40d8fa9ce68d97c084177071b3cb46cd3372f0f6109cb565b81600d141561108757507f1ca9503e8935884501bbaf20be14eb4c46b89772c97b96e3b2ebf3a36a948bbd6109cb565b81600e14156110b757507f133a80e30697cd55d8f7d4b0965b7be24057ba5dc3da898ee2187232446cb1086109cb565b81600f14156110e757507f13e6d8fc88839ed76e182c2a779af5b2c0da9dd18c90427a644f7e148a6253b66109cb565b816010141561111757507f1eb16b057a477f4bc8f572ea6bee39561098f78f15bfb3699dcbb7bd8db618546109cb565b816011141561114757507f0da2cb16a1ceaabf1c16b838f7a9e3f2a3a3088d9e0a6debaa748114620696ea6109cb565b816012141561117757507f24a3b3d822420b14b5d8cb6c28a574f01e98ea9e940551d2ebd75cee12649f9d6109cb565b81601314156111a757507f198622acbd783d1b0d9064105b1fc8e4d8889de95c4c519b3f635809fe6afc056109cb565b81601414156111d757507f29d7ed391256ccc3ea596c86e933b89ff339d25ea8ddced975ae2fe30b5296d46109cb565b816015141561120757507f19be59f2f0413ce78c0c3703a3a5451b1d7f39629fa33abd11548a76065b29676109cb565b816016141561123757507f1ff3f61797e538b70e619310d33f2a063e7eb59104e112e95738da1254dc34536109cb565b816017141561126757507f10c16ae9959cf8358980d9dd9616e48228737310a10e2b6b731c1a548f036c486109cb565b816018141561129757507f0ba433a63174a90ac20992e75e3095496812b652685b5e1a2eae0b1bf4e8fcd16109cb565b81601914156112c757507f019ddb9df2bc98d987d0dfeca9d2b643deafab8f7036562e627c3667266a044c6109cb565b81601a14156112f757507f2d3c88b23175c5a5565db928414c66d1912b11acf974b2e644caaac04739ce996109cb565b81601b141561132757507f2eab55f6ae4e66e32c5189eed5c470840863445760f5ed7e7b69b2a62600f3546109cb565b81601c141561135657507e2df37a2642621802383cf952bf4dd1f32e05433beeb1fd41031fb7eace979d6109cb565b81601d141561138657507f104aeb41435db66c3e62feccc1d6f5d98d0a0ed75d1374db457cf462e3a1f4276109cb565b81601e14156113b657507f1f3c6fd858e9a7d4b0d1f38e256a09d81d5a5e3c963987e2d4b814cfab7c6ebb6109cb565b81601f14156113e657507f2c7a07d20dff79d01fecedc1134284a8d08436606c93693b67e333f671bf69cc6109cb565b6040805162461bcd60e51b8152602060048201526013602482015272496e646578206f7574206f6620626f756e647360681b604482015290519081900360640190fd5b7f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c81565b7f000000000000000000000000000000000000000000000000000000000000000081565b60006020819052908152604090205481565b7f000000000000000000000000000000000000000000000000000000000000000081565b600254600160201b900463ffffffff1681565b8034146114f85760405162461bcd60e51b8152600401808060200182810382526030815260200180611bea6030913960400191505060405180910390fd5b61154f6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016857f000000000000000000000000000000000000000000000000000000000000000085900361186f565b8115611589576115896001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016848461186f565b8015611622576040516000906001600160a01b0386169083908381818185875af1925050503d80600081146115da576040519150601f19603f3d011682016040523d82523d6000602084013e6115df565b606091505b5050905080611620576040516001600160a01b0385169083156108fc029084906000818181858888f1935050505015801561161e573d6000803e3d6000fd5b505b505b50505050565b6002805460009163ffffffff600160201b9092048216917f0000000000000000000000000000000000000000000000000000000000000000811690910a168114156116a45760405162461bcd60e51b8152600401808060200182810382526030815260200180611cfc6030913960400191505060405180910390fd5b8083600080805b7f000000000000000000000000000000000000000000000000000000000000000063ffffffff168163ffffffff1610156117755760018516611718578392506116f98163ffffffff16610dea565b63ffffffff821660009081526020819052604090208590559150611734565b63ffffffff811660009081526020819052604090205492508391505b61175f7f00000000000000000000000000000000000000000000000000000000000000008484610a09565b9350600263ffffffff86160494506001016116ab565b505060028054601e63ffffffff8083166001908101821692909206811663ffffffff199093168317845560009283526020829052604090922094909455815493860116600160201b0267ffffffff00000000199093169290921790915550909392505050565b34156118185760405162461bcd60e51b8152600401808060200182810382526030815260200180611ca26030913960400191505060405180910390fd5b61186d6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001633307f00000000000000000000000000000000000000000000000000000000000000006118c6565b565b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663a9059cbb60e01b1790526118c190849061191c565b505050565b604080516001600160a01b0380861660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526116229085905b6000611971826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166119cd9092919063ffffffff16565b8051909150156118c15780806020019051602081101561199057600080fd5b50516118c15760405162461bcd60e51b815260040180806020018281038252602a815260200180611cd2602a913960400191505060405180910390fd5b60606119dc84846000856119e4565b949350505050565b606082471015611a255760405162461bcd60e51b8152600401808060200182810382526026815260200180611c1a6026913960400191505060405180910390fd5b611a2e85611b3f565b611a7f576040805162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015290519081900360640190fd5b600080866001600160a01b031685876040518082805190602001908083835b60208310611abd5780518252601f199092019160209182019101611a9e565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114611b1f576040519150601f19603f3d011682016040523d82523d6000602084013e611b24565b606091505b5091509150611b34828286611b45565b979650505050505050565b3b151590565b60608315611b54575081610bd0565b825115611b645782518084602001fd5b8160405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611bae578181015183820152602001611b96565b50505050905090810190601f168015611bdb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fdfe496e636f727265637420726566756e6420616d6f756e742072656365697665642062792074686520636f6e7472616374416464726573733a20696e73756666696369656e742062616c616e636520666f722063616c6c5f72696768742073686f756c6420626520696e7369646520746865206669656c6430644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000154686520636f6d6d69746d656e7420686173206265656e207375626d69747465644554482076616c756520697320737570706f73656420746f206265203020666f7220455243323020696e7374616e63655361666545524332303a204552433230206f7065726174696f6e20646964206e6f7420737563636565644d65726b6c6520747265652069732066756c6c2e204e6f206d6f7265206c65617665732063616e206265206164646564a2646970667358221220370d4490aab00a53c86bf091220fe84f014e404351c49421330bfe88a91d89f164736f6c6343000706003364656e6f6d696e6174696f6e2073686f756c642062652067726561746572207468616e20305f6c6576656c732073686f756c642062652067726561746572207468616e207a65726f000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe000000000000000000000000000000000000000000000000000000000098968000000000000000000000000000000000000000000000000000000000000000140000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

Constructor Arguments (ABI-Encoded and is the last bytes of the Contract Creation Code above)

000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe000000000000000000000000000000000000000000000000000000000098968000000000000000000000000000000000000000000000000000000000000000140000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

-----Decoded View---------------
Arg [0] : _verifier (address): 0xce172ce1F20EC0B3728c9965470eaf994A03557A
Arg [1] : _hasher (address): 0x83584f83f26aF4eDDA9CBe8C730bc87C364b28fe
Arg [2] : _denomination (uint256): 10000000
Arg [3] : _merkleTreeHeight (uint32): 20
Arg [4] : _token (address): 0x2260FAC5E5542a773Aa44fBCfeDf7C193bc2C599

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a
Arg [1] : 00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe
Arg [2] : 0000000000000000000000000000000000000000000000000000000000989680
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000014
Arg [4] : 0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599


Deployed ByteCode Sourcemap

38430:1155:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11820:47;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11820:47:0;;:::i;:::-;;;;;;;;;;;;;;;;;;13900:878;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;13900:878:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;13900:878:0;;;;;;;;;;;;-1:-1:-1;13900:878:0;-1:-1:-1;13900:878:0;;;;;;;;-1:-1:-1;;;;;13900:878:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11736:35;;;;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;11736:35:0;;;;;;;;;;;;;;1043:114;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1358:30;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3831:410;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3831:410:0;;:::i;11964:43::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11964:43:0;;:::i;11776:37::-;;;;;;;;;;;;;:::i;2341:493::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;2341:493:0;;;;;;;;;;;;;:::i;1838:34::-;;;;;;;;;;;;;:::i;15233:305::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;15233:305:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;15233:305:0;;;;;;;;;;-1:-1:-1;15233:305:0;;-1:-1:-1;15233:305:0;-1:-1:-1;15233:305:0;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13051:332;;;;;;;;;;;;;;;;-1:-1:-1;13051:332:0;;:::i;4292:96::-;;;;;;;;;;;;;:::i;1743:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1743:40:0;;:::i;1788:45::-;;;;;;;;;;;;;:::i;15050:119::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15050:119:0;;:::i;4476:3512::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4476:3512:0;;:::i;1162:114::-;;;;;;;;;;;;;:::i;1322:31::-;;;;;;;;;;;;;:::i;1689:49::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1689:49:0;;:::i;38499:29::-;;;;;;;;;;;;;:::i;1877:27::-;;;;;;;;;;;;;:::i;11820:47::-;;;;;;;;;;;;;;;:::o;13900:878::-;9745:1;10351:7;;:19;;10343:63;;;;;-1:-1:-1;;;10343:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9745:1;10484:7;:18;14158:12:::1;14150:20:::0;::::1;;14142:59;;;::::0;;-1:-1:-1;;;14142:59:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;14217:31;::::0;;;:15:::1;:31;::::0;;;;;::::1;;14216:32;14208:76;;;::::0;;-1:-1:-1;;;14208:76:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;14299:18;14311:5;14299:11;:18::i;:::-;14291:59;;;::::0;;-1:-1:-1;;;14291:59:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;14406:8;-1:-1:-1::0;;;;;14406:20:0::1;;14437:6;;14406:153;;;;;;;;14463:5;14455:14;;14406:153;;;;14479:14;14471:23;;14406:153;;;;14504:10;-1:-1:-1::0;;;;;14496:19:0::1;14406:153;;;;14525:8;-1:-1:-1::0;;;;;14517:17:0::1;14406:153;;;;14536:4;14406:153;;;;14542:7;14406:153;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;::::1;::::0;;;::::1;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;14406:153:0;14390:209:::1;;;::::0;;-1:-1:-1;;;14390:209:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;14390:209:0;;;;;;;;;;;;;::::1;;14608:31;::::0;;;:15:::1;:31;::::0;;;;:38;;-1:-1:-1;;14608:38:0::1;14642:4;14608:38;::::0;;14653:53:::1;14670:10:::0;14682:8;14692:4;14698:7;14653:16:::1;:53::i;:::-;14718:54;::::0;;-1:-1:-1;;;;;14718:54:0;;::::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;;;;;::::1;::::0;::::1;::::0;;;;;;;::::1;-1:-1:-1::0;;9701:1:0;10663:7;:22;-1:-1:-1;;;;;;13900:878:0:o;11736:35::-;;;:::o;1043:114::-;-1:-1:-1;;;;;;;;;;;1043:114:0;:::o;1358:30::-;;;:::o;3831:410::-;3888:4;3905:10;3901:45;;-1:-1:-1;3933:5:0;3926:12;;3901:45;3979:16;;;;;4037:180;4062:8;;;;;;;:5;:8;;;;;;4053:17;;4049:55;;;4090:4;4083:11;;;;;;4049:55;4116:6;;;4112:54;;-1:-1:-1;1831:2:0;4112:54;-1:-1:-1;;4174:3:0;4193:22;;;;;;;;;4037:180;;4230:5;4223:12;;;;3831:410;;;;:::o;11964:43::-;;;;;;;;;;;;;;;:::o;11776:37::-;;;:::o;2341:493::-;2453:7;-1:-1:-1;;;;;;;;;;;2477:27:0;;2469:72;;;;;-1:-1:-1;;;2469:72:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2556:28:0;;2548:74;;;;-1:-1:-1;;;2548:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2691:24;;;-1:-1:-1;;;2691:24:0;;;;;;;;2629:9;2691:24;;;;;;;;2649:5;;2629:9;;-1:-1:-1;;;;;2691:18:0;;;;;:24;;;;;;;;;;:18;:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2691:24:0;;;;;;;;;-1:-1:-1;2691:24:0;-1:-1:-1;;;;;;;;;;;;2744:6:0;2733:1;2726:38;2722:42;;2780:7;-1:-1:-1;;;;;2780:18:0;;2799:1;2802;2780:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2780:24:0;;-1:-1:-1;;;2341:493:0;;;;;;:::o;1838:34::-;;;;;;:::o;15233:305::-;15315:19;15362:16;15351:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15351:35:0;;15343:43;;15398:9;15393:140;15413:27;;;15393:140;;;15460:28;15468:16;;15485:1;15468:19;;;;;;;;;;;;;15460:7;:28::i;:::-;15456:70;;;15512:4;15501:5;15507:1;15501:8;;;;;;;;:15;;;:8;;;;;;;;;;;:15;15456:70;15442:3;;15393:140;;;;15233:305;;;;:::o;13051:332::-;9745:1;10351:7;;:19;;10343:63;;;;;-1:-1:-1;;;10343:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9745:1;10484:7;:18;13135:24:::1;::::0;;;:11:::1;:24;::::0;;;;;::::1;;13134:25;13126:71;;;;-1:-1:-1::0;;;13126:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13206:20;13229;13237:11;13229:7;:20::i;:::-;13256:24;::::0;;;:11:::1;:24;::::0;;;;:31;;-1:-1:-1;;13256:31:0::1;13283:4;13256:31;::::0;;13206:43;-1:-1:-1;13294:17:0::1;:15;:17::i;:::-;13325:52;::::0;;::::1;::::0;::::1;::::0;;13361:15:::1;13325:52;::::0;::::1;::::0;;;13333:11;;13325:52:::1;::::0;;;;;;::::1;-1:-1:-1::0;;9701:1:0;10663:7;:22;13051:332::o;4292:96::-;4365:16;;;;4336:7;4359:23;;;:5;:23;;;;;;4292:96;:::o;1743:40::-;;;;;;;;;;;;;:::o;1788:45::-;1831:2;1788:45;:::o;15050:119::-;15112:4;15132:31;;;:15;:31;;;;;;;;;15050:119::o;4476:3512::-;4523:7;4543:6;4539:3443;;-1:-1:-1;4566:66:0;4551:82;;4539:3443;4649:1;4654;4649:6;4645:3337;;;-1:-1:-1;4672:66:0;4657:82;;4645:3337;4755:1;4760;4755:6;4751:3231;;;-1:-1:-1;4778:66:0;4763:82;;4751:3231;4861:1;4866;4861:6;4857:3125;;;-1:-1:-1;4884:66:0;4869:82;;4857:3125;4967:1;4972;4967:6;4963:3019;;;-1:-1:-1;4990:66:0;4975:82;;4963:3019;5073:1;5078;5073:6;5069:2913;;;-1:-1:-1;5096:66:0;5081:82;;5069:2913;5179:1;5184;5179:6;5175:2807;;;-1:-1:-1;5202:66:0;5187:82;;5175:2807;5285:1;5290;5285:6;5281:2701;;;-1:-1:-1;5308:66:0;5293:82;;5281:2701;5391:1;5396;5391:6;5387:2595;;;-1:-1:-1;5414:66:0;5399:82;;5387:2595;5497:1;5502;5497:6;5493:2489;;;-1:-1:-1;5520:66:0;5505:82;;5493:2489;5603:1;5608:2;5603:7;5599:2383;;;-1:-1:-1;5627:66:0;5612:82;;5599:2383;5710:1;5715:2;5710:7;5706:2276;;;-1:-1:-1;5734:66:0;5719:82;;5706:2276;5817:1;5822:2;5817:7;5813:2169;;;-1:-1:-1;5841:66:0;5826:82;;5813:2169;5924:1;5929:2;5924:7;5920:2062;;;-1:-1:-1;5948:66:0;5933:82;;5920:2062;6031:1;6036:2;6031:7;6027:1955;;;-1:-1:-1;6055:66:0;6040:82;;6027:1955;6138:1;6143:2;6138:7;6134:1848;;;-1:-1:-1;6162:66:0;6147:82;;6134:1848;6245:1;6250:2;6245:7;6241:1741;;;-1:-1:-1;6269:66:0;6254:82;;6241:1741;6352:1;6357:2;6352:7;6348:1634;;;-1:-1:-1;6376:66:0;6361:82;;6348:1634;6459:1;6464:2;6459:7;6455:1527;;;-1:-1:-1;6483:66:0;6468:82;;6455:1527;6566:1;6571:2;6566:7;6562:1420;;;-1:-1:-1;6590:66:0;6575:82;;6562:1420;6673:1;6678:2;6673:7;6669:1313;;;-1:-1:-1;6697:66:0;6682:82;;6669:1313;6780:1;6785:2;6780:7;6776:1206;;;-1:-1:-1;6804:66:0;6789:82;;6776:1206;6887:1;6892:2;6887:7;6883:1099;;;-1:-1:-1;6911:66:0;6896:82;;6883:1099;6994:1;6999:2;6994:7;6990:992;;;-1:-1:-1;7018:66:0;7003:82;;6990:992;7101:1;7106:2;7101:7;7097:885;;;-1:-1:-1;7125:66:0;7110:82;;7097:885;7208:1;7213:2;7208:7;7204:778;;;-1:-1:-1;7232:66:0;7217:82;;7204:778;7315:1;7320:2;7315:7;7311:671;;;-1:-1:-1;7339:66:0;7324:82;;7311:671;7422:1;7427:2;7422:7;7418:564;;;-1:-1:-1;7446:66:0;7431:82;;7418:564;7529:1;7534:2;7529:7;7525:457;;;-1:-1:-1;7553:66:0;7538:82;;7525:457;7636:1;7641:2;7636:7;7632:350;;;-1:-1:-1;7660:66:0;7645:82;;7632:350;7743:1;7748:2;7743:7;7739:243;;;-1:-1:-1;7767:66:0;7752:82;;7739:243;7850:1;7855:2;7850:7;7846:136;;;-1:-1:-1;7874:66:0;7859:82;;7846:136;7953:29;;;-1:-1:-1;;;7953:29:0;;;;;;;;;;;;-1:-1:-1;;;7953:29:0;;;;;;;;;;;;;;1162:114;1199:77;1162:114;:::o;1322:31::-;;;:::o;1689:49::-;;;;;;;;;;;;;;:::o;38499:29::-;;;:::o;1877:27::-;;;-1:-1:-1;;;1877:27:0;;;;;:::o;38983:599::-;39165:7;39152:9;:20;39144:81;;;;-1:-1:-1;;;39144:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39234:51;-1:-1:-1;;;;;39234:5:0;:18;39253:10;39265:12;:19;;;39234:18;:51::i;:::-;39296:8;;39292:65;;39315:34;-1:-1:-1;;;;;39315:5:0;:18;39334:8;39344:4;39315:18;:34::i;:::-;39369:11;;39365:212;;39410:37;;39392:12;;-1:-1:-1;;;;;39410:15:0;;;39434:7;;39392:12;39410:37;39392:12;39410:37;39434:7;39410:15;:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39391:56;;;39461:7;39456:114;;39534:26;;-1:-1:-1;;;;;39534:17:0;;;:26;;;;;39552:7;;39534:26;;;;39552:7;39534:17;:26;;;;;;;;;;;;;;;;;;;;;39456:114;39365:212;;38983:599;;;;:::o;2840:914::-;2931:9;;;2890:12;;2931:9;-1:-1:-1;;;2931:9:0;;;;;;2980:6;2969:17;;;;;2955:31;;;;2947:92;;;;-1:-1:-1;;;2947:92:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3068:10;3112:5;3046:19;;;3165:371;3188:6;3184:10;;:1;:10;;;3165:371;;;3214:16;;;3210:231;;3255:16;3248:23;;3290:8;3296:1;3290:8;;:5;:8::i;:::-;3309:17;;;:14;:17;;;;;;;;;;:36;;;3282:16;-1:-1:-1;3210:231:0;;;3379:17;;;:14;:17;;;;;;;;;;;;-1:-1:-1;3415:16:0;;-1:-1:-1;3210:231:0;3468:34;3482:6;3490:4;3496:5;3468:13;:34::i;:::-;3449:53;-1:-1:-1;3527:1:0;3511:17;;;;;-1:-1:-1;3196:3:0;;3165:371;;;-1:-1:-1;;3567:16:0;;;1831:2;3566:42;3567:16;;;;:20;;;3566:42;;;;;;3615:31;;-1:-1:-1;;3615:31:0;;;;;;;-1:-1:-1;3653:19:0;;;;;;;;;;;:38;;;;3698:26;;3710:14;;;3698:26;-1:-1:-1;;;3698:26:0;-1:-1:-1;;3698:26:0;;;;;;;;;;-1:-1:-1;3710:14:0;;;-1:-1:-1;;;2840:914:0:o;38774:203::-;38834:9;:14;38826:75;;;;-1:-1:-1;;;38826:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;38908:63;-1:-1:-1;;;;;38908:5:0;:22;38931:10;38951:4;38958:12;38908:22;:63::i;:::-;38774:203::o;34511:177::-;34621:58;;;-1:-1:-1;;;;;34621:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;34621:58:0;-1:-1:-1;;;34621:58:0;;;34594:86;;34614:5;;34594:19;:86::i;:::-;34511:177;;;:::o;34696:205::-;34824:68;;;-1:-1:-1;;;;;34824:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;34824:68:0;-1:-1:-1;;;34824:68:0;;;34797:96;;34817:5;;36816:761;37240:23;37266:69;37294:4;37266:69;;;;;;;;;;;;;;;;;37274:5;-1:-1:-1;;;;;37266:27:0;;;:69;;;;;:::i;:::-;37350:17;;37240:95;;-1:-1:-1;37350:21:0;37346:224;;37492:10;37481:30;;;;;;;;;;;;;;;-1:-1:-1;37481:30:0;37473:85;;;;-1:-1:-1;;;37473:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29506:195;29609:12;29641:52;29663:6;29671:4;29677:1;29680:12;29641:21;:52::i;:::-;29634:59;29506:195;-1:-1:-1;;;;29506:195:0:o;30558:530::-;30685:12;30743:5;30718:21;:30;;30710:81;;;;-1:-1:-1;;;30710:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30810:18;30821:6;30810:10;:18::i;:::-;30802:60;;;;;-1:-1:-1;;;30802:60:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;30936:12;30950:23;30977:6;-1:-1:-1;;;;;30977:11:0;30997:5;31005:4;30977:33;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;30977:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30935:75;;;;31028:52;31046:7;31055:10;31067:12;31028:17;:52::i;:::-;31021:59;30558:530;-1:-1:-1;;;;;;;30558:530:0:o;26588:422::-;26955:20;26994:8;;;26588:422::o;33098:742::-;33213:12;33242:7;33238:595;;;-1:-1:-1;33273:10:0;33266:17;;33238:595;33387:17;;:21;33383:439;;33650:10;33644:17;33711:15;33698:10;33694:2;33690:19;33683:44;33598:148;33793:12;33786:20;;-1:-1:-1;;;33786:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

Swarm Source

ipfs://370d4490aab00a53c86bf091220fe84f014e404351c49421330bfe88a91d89f1
Block Transaction Difficulty Gas Used Reward
Block Uncle Number Difficulty Gas Used Reward
Loading
Loading
Make sure to use the "Vote Down" button for any spammy posts, and the "Vote Up" for interesting conversations.

A contract address hosts a smart contract, which is a set of code stored on the blockchain that runs when predetermined conditions are met. Learn more about addresses in our Knowledge Base.