{"snippets": ["df4ca4d9b0709e5e6d1ccbee9b13f8ad98ee91e19be89791ce5f469fd5253b3a"]}

{"snippets": ["df4ca4d9b0709e5e6d1ccbee9b13f8ad98ee91e19be89791ce5f469fd5253b3a"]}

{"functions": ["bridge_remove_operator", "bridge_set_outgoing_price", "bridge_outgoing", "bridge_incoming", "bridge_set_operator"], "snippet": "def bridge_incoming(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'bridge_incoming'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    operator, _ = get(tick, 'bridge_operator', None)\n    assert operator is not None, \"Bridge is not initialized\"\n    sender = info['sender']\n    assert sender == operator, \"Only the operator can perform this operation\"\n\n    amount = int(args['a'][1])\n    assert amount > 0\n\n    receiver = args['a'][2].lower()\n    assert len(receiver) <= 42\n    assert type(receiver) is str\n    if len(receiver) == 42:\n        assert receiver.startswith('0x')\n        assert set(receiver[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(receiver) > 4\n\n    chain = args['a'][3].lower()\n    assert chain in ['base']\n    tx_hash = args['a'][4].lower().replace('0x', '')\n    assert len(tx_hash) == 64\n\n    balance, _ = get(tick, 'balance', 0, receiver)\n    balance = int(balance)\n    balance += amount\n    put(receiver, tick, 'balance', balance, receiver)\n\n    total, _ = get(tick, 'total', 0)\n    total = int(total)\n    total += amount\n    asset_owner, _ = get('asset', 'owner', None, tick)\n    assert asset_owner\n    put(asset_owner, tick, 'total', total)\n\n    event('BridgeIn', [tick, amount, receiver, chain, tx_hash])\n\n\ndef bridge_outgoing(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'bridge_outgoing'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    amount = int(args['a'][1])\n    assert amount > 0\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance = int(balance)\n    assert balance - amount >= 0\n    balance -= amount\n    put(addr, tick, 'balance', balance, addr)\n\n    total, _ = get(tick, 'total', 0)\n    total = int(total)\n    assert total - amount >= 0\n    total -= amount\n    asset_owner, _ = get('asset', 'owner', None, tick)\n    assert asset_owner\n    put(asset_owner, tick, 'total', total)\n\n    chain = args['a'][2]\n    assert chain in ['base']\n\n    event('BridgeOut', [tick, amount, sender, chain])\n\n\ndef bridge_set_operator(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'bridge_set_operator'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    asset_owner, _ = get('asset', 'owner', None, tick)\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    # print('bridge_set_operator', asset_owner, addr)\n    assert sender == asset_owner, \"Only the asset owner can perform this operation\"\n\n    operator = args['a'][1].lower()\n    assert type(operator) is str\n    # assert len(operator) == 42\n    assert operator.startswith('0x')\n    assert set(operator[2:]) <= set(string.digits+'abcdef')\n\n    put(addr, tick, 'bridge_operator', operator)\n    event('BridgeOperaterSet', [tick, operator])\n\n\ndef bridge_unset_operator(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'bridge_unset_operator'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    asset_owner, _ = get('asset', 'owner', None, tick)\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    assert addr == asset_owner, \"Only the asset owner can perform this operation\"\n\n    put(addr, tick, 'bridge_operator', None)\n    event('BridgeOperaterUnset', [tick])\n\ndef bridge_set_outgoing_fee(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'bridge_set_outgoing_fee'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    chain = args['a'][1]\n    assert chain in ['base']\n\n    fee = int(args['a'][2])\n    assert fee > 0\n\n    asset_owner, _ = get('asset', 'owner', None, tick)\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    assert addr == asset_owner, \"Only the asset owner can perform this operation\"\n\n    put(asset_owner, tick, 'bridgeout_fee', fee)\n    event('BridgeOutFeeChanged', [tick, fee])\n"}

{"votes": [], "snippets": ["a692da14dcdec54a8302245323d719c7082184f045e7b64e64a27287602393d8"], "functions": ["bridge_incoming", "bridge_outgoing", "bridge_set_operator", "bridge_remove_operator", "bridge_set_outgoing_price"]}

{"snippets": ["a692da14dcdec54a8302245323d719c7082184f045e7b64e64a27287602393d8"]}

{"snippets": ["a692da14dcdec54a8302245323d719c7082184f045e7b64e64a27287602393d8"]}

{"snippets": ["a692da14dcdec54a8302245323d719c7082184f045e7b64e64a27287602393d8"]}

{"snippets": ["a692da14dcdec54a8302245323d719c7082184f045e7b64e64a27287602393d8"]}

{"snippets": ["a692da14dcdec54a8302245323d719c7082184f045e7b64e64a27287602393d8"]}

{"functions": ["asset_update_ownership", "asset_batch_create", "asset_create", "asset_update_functions"], "snippet": "def asset_create(info, args):\n    assert args['f'] == 'asset_create'\n\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert not owner\n\n    put(addr, 'asset', 'owner', addr, tick)\n    put(addr, 'asset', 'functions', ['asset_update_ownership', 'asset_update_functions'], tick)\n    event('AssetCreated', [tick])\n\n\ndef asset_update_ownership(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'asset_update_ownership'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    receiver = args['a'][1]\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    # DO THIS to change the owner using receiver's Zentra token\n    functions, _ = get('asset', 'functions', None, tick)\n    assert type(functions) is list\n    assert functions\n    put(receiver, 'asset', 'owner', receiver, tick)\n    put(receiver, 'asset', 'functions', functions, tick)\n    event('AssetOwnershipUpdated', [tick, receiver])\n\ndef asset_update_functions(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'asset_update_functions'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    functions = args['a'][1]\n    assert type(functions) is list\n    assert functions\n    put(addr, 'asset', 'functions', functions, tick)\n    event('AssetFunctionsUpdated', [tick, functions])\n\n\ndef asset_batch_create(info, args):\n    assert args['f'] == 'asset_batch_create'\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    committee_members, _ = get('committee', 'members', [])\n    committee_members = set(committee_members)\n    assert addr in committee_members\n\n    ticks = args['a'][0]\n    assert type(ticks) is list\n    for tick in ticks:\n        assert type(tick) is str\n        assert len(tick) > 0 and len(tick) < 42\n        assert tick[0] in string.ascii_uppercase\n        assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n        addr = handle_lookup(sender)\n        owner, _ = get('asset', 'owner', None, tick)\n\n        if not owner:\n            put(addr, 'asset', 'owner', addr, tick)\n            put(addr, 'asset', 'functions', ['asset_update_ownership', 'asset_update_functions'], tick)\n"}

{"votes": [], "snippets": ["6ca5dd4b49af31a27123ff3ff3622d81c1778f2e47255c5442c45064b9ed5ae8"], "functions": ["asset_create", "asset_update_ownership", "asset_update_functions", "asset_batch_create"]}

{"functions": ["token_send", "token_transfer", "token_mint_once", "token_burn", "token_mint", "token_create", "token_accept"], "snippet": "def token_create(info, args):\n    assert args['f'] == 'token_create'\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    name = args['a'][1]\n    assert type(name) is str\n    decimal = int(args['a'][2])\n    assert type(decimal) is int\n    assert decimal >= 0 and decimal <= 18\n\n    functions = ['token_transfer', 'token_mint_once', 'asset_update_ownership', 'asset_update_functions']\n    if len(args['a']) == 4:\n        functions = args['a'][3]\n        assert type(functions) is list\n\n    put(addr, tick, 'name', name)\n    put(addr, tick, 'decimal', decimal)\n    put(addr, 'asset', 'functions', functions, tick)\n    event('TokenCreated', [tick, name, decimal, functions])\n\n\ndef token_mint_once(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_mint_once'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    value = int(args['a'][1])\n    assert value > 0\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    total, _ = get(tick, 'total', None)\n    assert total is None, \"Token already minted\"\n    put(addr, tick, 'total', value)\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance += value\n    put(addr, tick, 'balance', balance, addr)\n    event('TokenMintedOnce', [tick, total])\n\n\ndef token_mint(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_mint'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    value = int(args['a'][1])\n    assert value > 0\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance += value\n    put(addr, tick, 'balance', balance, addr)\n\n    total, _ = get(tick, 'total', 0)\n    total += value\n    put(addr, tick, 'total', total)\n    event('TokenMinted', [tick, value, total])\n\n\ndef token_burn(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_burn'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    value = int(args['a'][1])\n    assert value > 0\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance -= value\n    assert balance >= 0\n\n    total, _ = get(tick, 'total', 0, addr)\n    total -= value\n    assert total >= 0\n\n    put(addr, tick, 'balance', balance, addr)\n    put(addr, tick, 'total', total)\n    event('TokenBurned', [tick, value, total])\n\n\ndef token_transfer(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_transfer'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    receiver = args['a'][1].lower()\n    assert len(receiver) <= 42\n    assert type(receiver) is str\n    if len(receiver) == 42:\n        assert receiver.startswith('0x')\n        assert set(receiver[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(receiver) > 4\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    value = int(args['a'][2])\n    assert value > 0\n\n    sender_balance, _ = get(tick, 'balance', 0, addr)\n    assert sender_balance >= value\n    sender_balance -= value\n    put(addr, tick, 'balance', sender_balance, addr)\n    receiver_balance, _ = get(tick, 'balance', 0, receiver)\n    receiver_balance += value\n    put(receiver, tick, 'balance', receiver_balance, receiver)\n    event('TokenTransfer', [tick, addr, receiver, value])\n\n\ndef token_send(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_send'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    spender = args['a'][1].lower()  # the address allowed to spend\n    assert len(spender) <= 42\n    assert type(spender) is str\n    if len(spender) == 42:\n        assert spender.startswith('0x')\n        assert set(spender[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(spender) > 4\n\n    value = int(args['a'][2])\n    assert value >= 0\n\n    put(addr, tick, 'allowance', value, f'{addr},{spender}')\n    event('TokenSendApproval', [tick, addr, spender, value])\n\n\ndef token_accept(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_accept'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    from_addr = args['a'][1].lower()  # the address from which tokens are withdrawn\n    assert len(from_addr) <= 42\n    assert type(from_addr) is str\n    if len(from_addr) == 42:\n        assert from_addr.startswith('0x')\n        assert set(from_addr[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(from_addr) > 4\n\n    to_addr = info['sender']\n    to_addr = handle_lookup(to_addr)\n    value = int(args['a'][2])\n    assert value > 0\n\n    allowance, _ = get(tick, 'allowance', 0, f'{from_addr},{to_addr}')\n    from_balance, _ = get(tick, 'balance', 0, from_addr)\n    allowance -= value\n    assert allowance >= 0\n    from_balance -= value\n    assert from_balance >= 0\n    put(from_addr, tick, 'allowance', allowance, f'{from_addr},{to_addr}')\n    put(from_addr, tick, 'balance', from_balance, from_addr)\n\n    to_balance, _ = get(tick, 'balance', 0, to_addr)\n    to_balance += value\n    put(to_addr, tick, 'balance', to_balance, to_addr)\n\n    event('TokenSent', [tick, from_addr, to_addr, value])\n\n"}

{"votes": [], "snippets": ["f96093718b8cec85b36c8e1d43a0ab8f4fd3485f2f11ee213a95d556a76daca5"], "functions": ["token_create", "token_mint_once", "token_mint", "token_burn", "token_send", "token_accept", "token_transfer"]}

6

"Bridged USDC"

"0xe1288759446298f250c3bce5616706d25525ba7f"

1500000

52654786

500000

4000000

26654786

{"functions": ["token_burn", "token_mint_once", "token_create", "token_transfer", "token_mint", "token_accept", "token_send"], "snippet": "def token_create(info, args):\n    assert args['f'] == 'token_create'\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    name = args['a'][1]\n    assert type(name) is str\n    decimal = int(args['a'][2])\n    assert type(decimal) is int\n    assert decimal >= 0 and decimal <= 18\n\n    functions = ['token_transfer', 'token_mint_once', 'asset_update_ownership', 'asset_update_functions']\n    if len(args['a']) == 4:\n        functions = args['a'][3]\n        assert type(functions) is list\n\n    put(addr, tick, 'name', name)\n    put(addr, tick, 'decimal', decimal)\n    put(addr, 'asset', 'functions', functions, tick)\n    event('TokenCreated', [tick, name, decimal, functions])\n\n\ndef token_mint_once(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_mint_once'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    value = int(args['a'][1])\n    assert value > 0\n\n    total, _ = get(tick, 'total', None)\n    assert total is None, \"Token already minted\"\n    put(addr, tick, 'total', value)\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance += value\n    put(addr, tick, 'balance', balance, addr)\n    event('TokenMintedOnce', [tick, total])\n\n\ndef token_mint(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_mint'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    value = int(args['a'][1])\n    assert value > 0\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance += value\n    put(addr, tick, 'balance', balance, addr)\n\n    total, _ = get(tick, 'total', 0)\n    total += value\n    put(addr, tick, 'total', total)\n    event('TokenMinted', [tick, value, total])\n\n\ndef token_burn(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_burn'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    value = int(args['a'][1])\n    assert value > 0\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance -= value\n    assert balance >= 0\n\n    total, _ = get(tick, 'total', 0, addr)\n    total -= value\n    assert total >= 0\n\n    put(addr, tick, 'balance', balance, addr)\n    put(addr, tick, 'total', total)\n    event('TokenBurned', [tick, value, total])\n\n\ndef token_transfer(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_transfer'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    receiver = args['a'][1].lower()\n    assert len(receiver) <= 42\n    assert type(receiver) is str\n    if len(receiver) == 42:\n        assert receiver.startswith('0x')\n        assert set(receiver[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(receiver) > 4\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    value = int(args['a'][2])\n    assert value > 0\n\n    sender_balance, _ = get(tick, 'balance', 0, addr)\n    assert sender_balance >= value\n    sender_balance -= value\n    put(addr, tick, 'balance', sender_balance, addr)\n    receiver_balance, _ = get(tick, 'balance', 0, receiver)\n    receiver_balance += value\n    put(receiver, tick, 'balance', receiver_balance, receiver)\n    event('TokenTransfer', [tick, addr, receiver, value])\n\n\ndef token_send(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_send'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    spender = args['a'][1].lower()  # the address allowed to spend\n    assert len(spender) <= 42\n    assert type(spender) is str\n    if len(spender) == 42:\n        assert spender.startswith('0x')\n        assert set(spender[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(spender) > 4\n\n    value = int(args['a'][2])\n    assert value >= 0\n\n    put(addr, tick, 'allowance', value, f'{addr},{spender}')\n    event('TokenSendApproval', [tick, addr, spender, value])\n\n\ndef token_accept(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_accept'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    from_addr = args['a'][1].lower()  # the address from which tokens are withdrawn\n    assert len(from_addr) <= 42\n    assert type(from_addr) is str\n    if len(from_addr) == 42:\n        assert from_addr.startswith('0x')\n        assert set(from_addr[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(from_addr) > 4\n\n    to_addr = info['sender']\n    to_addr = handle_lookup(to_addr)\n    value = int(args['a'][2])\n    assert value > 0\n\n    allowance, _ = get(tick, 'allowance', 0, f'{from_addr},{to_addr}')\n    from_balance, _ = get(tick, 'balance', 0, from_addr)\n    allowance -= value\n    assert allowance >= 0\n    from_balance -= value\n    assert from_balance >= 0\n    put(from_addr, tick, 'allowance', allowance, f'{from_addr},{to_addr}')\n    put(from_addr, tick, 'balance', from_balance, from_addr)\n\n    to_balance, _ = get(tick, 'balance', 0, to_addr)\n    to_balance += value\n    put(to_addr, tick, 'balance', to_balance, to_addr)\n\n    event('TokenSent', [tick, from_addr, to_addr, value])\n\n"}

{"votes": [], "snippets": ["ddf674a068b72f7fbe88a704b3994d6a10619d60316a423df6146028491b52a8"], "functions": ["token_create", "token_mint_once", "token_mint", "token_burn", "token_send", "token_accept", "token_transfer"]}

{"functions": ["token_burn", "token_mint_once", "token_create", "token_transfer", "token_mint", "token_accept", "token_send"], "snippet": "def token_create(info, args):\n    assert args['f'] == 'token_create'\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    name = args['a'][1]\n    assert type(name) is str\n    decimal = int(args['a'][2])\n    assert type(decimal) is int\n    assert decimal >= 0 and decimal <= 18\n\n    functions = ['token_transfer', 'token_mint_once', 'asset_update_ownership', 'asset_update_functions']\n    if len(args['a']) == 4:\n        functions = args['a'][3]\n        assert type(functions) is list\n\n    put(addr, tick, 'name', name)\n    put(addr, tick, 'decimal', decimal)\n    put(addr, 'asset', 'functions', functions, tick)\n    event('TokenCreated', [tick, name, decimal, functions])\n\n\ndef token_mint_once(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_mint_once'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    value = int(args['a'][1])\n    assert value > 0\n\n    total, _ = get(tick, 'total', None)\n    assert total is None, \"Token already minted\"\n    put(addr, tick, 'total', value)\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance += value\n    put(addr, tick, 'balance', balance, addr)\n    event('TokenMintedOnce', [tick, total])\n\n\ndef token_mint(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_mint'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    value = int(args['a'][1])\n    assert value > 0\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance += value\n    put(addr, tick, 'balance', balance, addr)\n\n    total, _ = get(tick, 'total', 0)\n    total += value\n    put(addr, tick, 'total', total)\n    event('TokenMinted', [tick, value, total])\n\n\ndef token_burn(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_burn'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n    owner, _ = get('asset', 'owner', None, tick)\n    assert owner == addr\n\n    value = int(args['a'][1])\n    assert value > 0\n\n    balance, _ = get(tick, 'balance', 0, addr)\n    balance -= value\n    assert balance >= 0\n\n    total, _ = get(tick, 'total', 0)\n    total -= value\n    assert total >= 0\n\n    put(addr, tick, 'balance', balance, addr)\n    put(addr, tick, 'total', total)\n    event('TokenBurned', [tick, value, total])\n\n\ndef token_transfer(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_transfer'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    receiver = args['a'][1].lower()\n    assert len(receiver) <= 42\n    assert type(receiver) is str\n    if len(receiver) == 42:\n        assert receiver.startswith('0x')\n        assert set(receiver[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(receiver) > 4\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    value = int(args['a'][2])\n    assert value > 0\n\n    sender_balance, _ = get(tick, 'balance', 0, addr)\n    assert sender_balance >= value\n    sender_balance -= value\n    put(addr, tick, 'balance', sender_balance, addr)\n    receiver_balance, _ = get(tick, 'balance', 0, receiver)\n    receiver_balance += value\n    put(receiver, tick, 'balance', receiver_balance, receiver)\n    event('TokenTransfer', [tick, addr, receiver, value])\n\n\ndef token_send(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_send'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    sender = info['sender']\n    addr = handle_lookup(sender)\n\n    spender = args['a'][1].lower()  # the address allowed to spend\n    assert len(spender) <= 42\n    assert type(spender) is str\n    if len(spender) == 42:\n        assert spender.startswith('0x')\n        assert set(spender[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(spender) > 4\n\n    value = int(args['a'][2])\n    assert value >= 0\n\n    put(addr, tick, 'allowance', value, f'{addr},{spender}')\n    event('TokenSendApproval', [tick, addr, spender, value])\n\n\ndef token_accept(info, args):\n    tick = args['a'][0]\n    assert type(tick) is str\n    assert len(tick) > 0 and len(tick) < 42\n    assert tick[0] in string.ascii_uppercase\n    assert set(tick) <= set(string.ascii_uppercase+string.digits+'_')\n\n    assert args['f'] == 'token_accept'\n    functions, _ = get('asset', 'functions', [], tick)\n    assert args['f'] in functions\n\n    from_addr = args['a'][1].lower()  # the address from which tokens are withdrawn\n    assert len(from_addr) <= 42\n    assert type(from_addr) is str\n    if len(from_addr) == 42:\n        assert from_addr.startswith('0x')\n        assert set(from_addr[2:]) <= set(string.digits+'abcdef')\n    else:\n        assert len(from_addr) > 4\n\n    to_addr = info['sender']\n    to_addr = handle_lookup(to_addr)\n    value = int(args['a'][2])\n    assert value > 0\n\n    allowance, _ = get(tick, 'allowance', 0, f'{from_addr},{to_addr}')\n    from_balance, _ = get(tick, 'balance', 0, from_addr)\n    allowance -= value\n    assert allowance >= 0\n    from_balance -= value\n    assert from_balance >= 0\n    put(from_addr, tick, 'allowance', allowance, f'{from_addr},{to_addr}')\n    put(from_addr, tick, 'balance', from_balance, from_addr)\n\n    to_balance, _ = get(tick, 'balance', 0, to_addr)\n    to_balance += value\n    put(to_addr, tick, 'balance', to_balance, to_addr)\n\n    event('TokenSent', [tick, from_addr, to_addr, value])\n\n"}

{"votes": [], "snippets": ["df4ca4d9b0709e5e6d1ccbee9b13f8ad98ee91e19be89791ce5f469fd5253b3a"], "functions": ["token_create", "token_mint_once", "token_mint", "token_burn", "token_send", "token_accept", "token_transfer"]}

20000000

["asset_update_ownership", "asset_update_functions"]

"0xe1288759446298f250c3bce5616706d25525ba7f"

["asset_update_ownership", "asset_update_functions"]

"0xe1288759446298f250c3bce5616706d25525ba7f"