@tokamak-zk-evm/synthesizer/src/constants/storage-layouts/USDT.json

Tokamak zk-EVM Synthesizer - Processes Ethereum transactions into wire maps for Tokamak zk-SNARK proof generation

{
  "storageLayout": {
    "storage": [
      {
        "astId": 1,
        "contract": "Ownable",
        "label": "owner",
        "offset": 0,
        "slot": "0",
        "type": "address"
      },
      {
        "astId": 2,
        "contract": "BasicToken",
        "label": "_totalSupply",
        "offset": 0,
        "slot": "1",
        "type": "uint256"
      },
      {
        "astId": 3,
        "contract": "BasicToken",
        "label": "balances",
        "offset": 0,
        "slot": "2",
        "type": "mapping(address => uint256)"
      },
      {
        "astId": 4,
        "contract": "BasicToken",
        "label": "basisPointsRate",
        "offset": 0,
        "slot": "3",
        "type": "uint256"
      },
      {
        "astId": 5,
        "contract": "BasicToken",
        "label": "maximumFee",
        "offset": 0,
        "slot": "4",
        "type": "uint256"
      },
      {
        "astId": 6,
        "contract": "StandardToken",
        "label": "allowed",
        "offset": 0,
        "slot": "5",
        "type": "mapping(address => mapping(address => uint256))"
      },
      {
        "astId": 7,
        "contract": "BlackList",
        "label": "isBlackListed",
        "offset": 0,
        "slot": "6",
        "type": "mapping(address => bool)"
      },
      {
        "astId": 8,
        "contract": "TetherToken",
        "label": "name",
        "offset": 0,
        "slot": "7",
        "type": "string"
      },
      {
        "astId": 9,
        "contract": "TetherToken",
        "label": "symbol",
        "offset": 0,
        "slot": "8",
        "type": "string"
      },
      {
        "astId": 10,
        "contract": "TetherToken",
        "label": "decimals",
        "offset": 0,
        "slot": "9",
        "type": "uint256"
      },
      {
        "astId": 11,
        "contract": "TetherToken",
        "label": "upgradedAddress",
        "offset": 0,
        "slot": "10",
        "type": "address"
      }
    ],
    "types": {
      "address": {
        "encoding": "inplace",
        "label": "address",
        "numberOfBytes": "20"
      },
      "bool": {
        "encoding": "inplace",
        "label": "bool",
        "numberOfBytes": "1"
      },
      "mapping(address => bool)": {
        "encoding": "mapping",
        "key": "address",
        "label": "mapping(address => bool)",
        "numberOfBytes": "32",
        "value": "bool"
      },
      "mapping(address => uint256)": {
        "encoding": "mapping",
        "key": "address",
        "label": "mapping(address => uint256)",
        "numberOfBytes": "32",
        "value": "uint256"
      },
      "mapping(address => mapping(address => uint256))": {
        "encoding": "mapping",
        "key": "address",
        "label": "mapping(address => mapping(address => uint256))",
        "numberOfBytes": "32",
        "value": "mapping(address => uint256)"
      },
      "string": {
        "encoding": "bytes",
        "label": "string",
        "numberOfBytes": "32"
      },
      "uint256": {
        "encoding": "inplace",
        "label": "uint256",
        "numberOfBytes": "32"
      }
    }
  }
}