"0xe1288759446298f250c3bce5616706d25525ba7f"{"functions": ["bridge_set_outgoing_fee", "bridge_incoming", "bridge_unset_operator", "bridge_set_operator", "bridge_outgoing"], "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 # decuct balance and total\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": ["820fab69a582b09490a6f161b7921556a9e75364849e542c256c043fff11cd78"], "functions": ["bridge_incoming", "bridge_outgoing", "bridge_set_operator", "bridge_unset_operator", "bridge_set_outgoing_fee"]}{"functions": [], "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_transfer", "token_send", "token_accept"]}{"votes": [], "snippets": ["820fab69a582b09490a6f161b7921556a9e75364849e542c256c043fff11cd78"], "functions": ["bridge_incoming", "bridge_outgoing", "bridge_set_operator", "bridge_unset_operator", "bridge_set_outgoing_fee"]}{"functions": ["token_accept", "token_send", "token_burn", "token_transfer", "token_mint_once", "token_mint", "token_mint_free", "token_create"], "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"}{"functions": ["token_accept", "token_send", "token_burn", "token_transfer", "token_mint_once", "token_mint", "token_create", "token_free_mint"], "snippet": "\ndef token_mint_free(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_free'\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 owner, _ = get('asset', 'owner', None, tick)\n assert owner == addr\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('TokenMintedFree', [tick, value, total])\n\n"}{"votes": [], "snippets": ["ddf674a068b72f7fbe88a704b3994d6a10619d60316a423df6146028491b52a8", "ef1256037fdb5f3bbd261292758905c0aa165d106e874a7d5059388820284d32"], "functions": ["token_create", "token_mint_once", "token_mint", "token_burn", "token_transfer", "token_send", "token_accept", "token_free_mint"]}{"snippets": ["ddf674a068b72f7fbe88a704b3994d6a10619d60316a423df6146028491b52a8", "ef1256037fdb5f3bbd261292758905c0aa165d106e874a7d5059388820284d32"]}{"votes": [], "snippets": ["275453fa7f22675f43408e5470eba7e07625350744a1717e54a9c39ca043c30b"], "functions": ["trade_limit_order", "trade_market_order", "trade_limit_order_cancel", "trade_pair_create", "trade_set_quote_token"]}{"functions": ["token_accept", "token_send", "token_burn", "token_transfer", "token_mint_once", "token_mint", "token_create"], "snippet": "\ndef token_mint_free(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_free'\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 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('TokenMintedFree', [tick, value, total])\n\n"}{"votes": [], "snippets": ["ddf674a068b72f7fbe88a704b3994d6a10619d60316a423df6146028491b52a8", "5efa1f2df9ee471ea1e7eeffb22b9bb42d0749b7f9afe2398422776ec63c1826"], "functions": ["token_create", "token_mint_once", "token_mint", "token_burn", "token_transfer", "token_send", "token_accept", "token_mint_free"]}{"snippets": ["ddf674a068b72f7fbe88a704b3994d6a10619d60316a423df6146028491b52a8", "5efa1f2df9ee471ea1e7eeffb22b9bb42d0749b7f9afe2398422776ec63c1826"]}13200000{"functions": ["token_accept", "token_send", "token_burn", "token_transfer", "token_mint_once", "token_mint", "token_create"], "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", "5efa1f2df9ee471ea1e7eeffb22b9bb42d0749b7f9afe2398422776ec63c1826"], "functions": ["token_create", "token_transfer", "token_mint_once", "token_mint", "token_burn", "token_send", "token_accept"]}["privacy_init", "privacy_update", "privacy_deposit", "privacy_transfer", "privacy_withdraw", "asset_update_ownership", "asset_update_functions"]"0xe1288759446298f250c3bce5616706d25525ba7f"{"functions": ["privacy_withdraw_cancel", "privacy_deposit_cancel", "privacy_send_cancel", "privacy_accept", "privacy_enter", "privacy_init", "privacy_send", "privacy_exit", "privacy_withdraw", "privacy_deposit"], "snippet": "# Paillier helpers + privacy transfer flow (ZIP23)\n\ndef _egcd(a, b):\n x0, y0 = 1, 0\n x1, y1 = 0, 1\n while b != 0:\n q = a // b\n a, b = b, a % b\n x0, x1 = x1, x0 - q * x1\n y0, y1 = y1, y0 - q * y1\n return a, x0, y0\n\ndef _modinv(a, n):\n g, x, _ = _egcd(a, n)\n assert g == 1\n return x % n\n\ndef _homomorphic_add(pub, c1, c2):\n n = pub\n n2 = n * n\n return (c1 * c2) % n2\n\ndef _homomorphic_sub(pub, c1, c2):\n n = pub\n n2 = n * n\n inv = _modinv(c2, n2)\n return (c1 * inv) % n2\n\n\n# Elliptic Curve parameters for secp256k1\nP = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F\nA = 0\nB = 7\nGx = 55066263022277343669578718895168534326250603453777594175500187360389116729240\nGy = 32670510020758816978083085130507043184471273380659243275938904335757337482424\nG = (Gx, Gy)\nN = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141\n\ndef _inverse_mod(k, p):\n if k == 0:\n raise\n return pow(k, p - 2, p)\n\ndef _is_on_curve(point):\n if point is None:\n return True\n x, y = point\n return (y * y - (x * x * x + A * x + B)) % P == 0\n\ndef _point_add(point1, point2):\n if point1 is None:\n return point2\n if point2 is None:\n return point1\n x1, y1 = point1\n x2, y2 = point2\n if x1 == x2 and y1 != y2:\n return None\n if x1 == x2:\n m = (3 * x1 * x1 + A) * _inverse_mod(2 * y1, P)\n else:\n m = (y2 - y1) * _inverse_mod(x2 - x1, P)\n m %= P\n x3 = (m * m - x1 - x2) % P\n y3 = (m * (x1 - x3) - y1) % P\n return (x3, y3)\n\ndef _scalar_mult(k, point):\n result = None\n addend = point\n while k:\n if k & 1:\n result = _point_add(result, addend)\n addend = _point_add(addend, addend)\n k >>= 1\n return result\n\ndef _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n assert public_key_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n if not (1 <= r < N and 1 <= s < N):\n return False\n point = (int(public_key_hex[2:66], 16), int(public_key_hex[66:], 16))\n e = int(msg_hash_hex[2:], 16)\n w = _inverse_mod(s, N)\n u1 = (e * w) % N\n u2 = (r * w) % N\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n if q is None:\n return False\n x, y = q\n return r == x % N\n\ndef _ecdsa_recover(msg_hash_hex, signature_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n z = int(msg_hash_hex[2:], 16)\n\n if len(signature_hex[2:]) == 130:\n v = int(signature_hex[130:], 16)\n if v >= 27:\n recovery_id = v - 27\n else:\n recovery_id = v\n recovery_ids = [recovery_id]\n else:\n recovery_ids = [0, 1]\n\n for recovery_id in recovery_ids:\n for j in range(2):\n x = r + j * N\n if x >= P:\n continue\n\n y_squared = (pow(x, 3, P) + A * x + B) % P\n y = pow(y_squared, (P + 1) // 4, P)\n\n if y % 2 != recovery_id:\n y = P - y\n\n point = (x, y)\n if not _is_on_curve(point):\n continue\n\n r_inv = _inverse_mod(r, N)\n u1 = (-z * r_inv) % N\n u2 = (s * r_inv) % N\n\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n\n if q is None:\n continue\n\n public_key_hex = f\"0x{q[0]:064x}{q[1]:064x}\"\n if _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n return public_key_hex\n\n return None\n\ndef _pubkey_to_address(public_key_hex):\n public_key_bytes = bytes.fromhex(public_key_hex[2:])\n address_bytes = keccak(public_key_bytes)[-20:]\n return '0x' + address_bytes.hex()\n\ndef _message_hash(payload):\n payload_hash = keccak(text=payload)\n prefix = b\"\\x19Ethereum Signed Message:\\n32\"\n return keccak(prefix + payload_hash)\n\ndef _addr_recover(msg, signature_hex):\n if not signature_hex.startswith('0x'):\n signature_hex = '0x' + signature_hex\n msg_hash = _message_hash(msg)\n msg_hash_hex = '0x' + msg_hash.hex()\n public_key_hex = _ecdsa_recover(msg_hash_hex, signature_hex)\n if not public_key_hex:\n return False\n recovered = _pubkey_to_address(public_key_hex)\n return recovered.lower()\n\n\ndef _normalize_addr(addr):\n #addr = addr.lower()\n assert len(addr) <= 42\n if len(addr) == 42:\n assert addr.startswith('0x')\n assert set(addr[2:]) <= set(string.digits + 'abcdef')\n else:\n assert len(addr) > 4\n return addr\n\ndef _resolve_account(addr):\n addr = _normalize_addr(addr)\n if len(addr) == 42:\n return handle_lookup(addr)\n return addr\n\ndef _check_tick(tick):\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\ndef _get_pubkey(privacy_tick):\n pub, _ = get(privacy_tick, 'privacy_pub', None)\n if pub is None:\n return None\n return int(pub)\n\n\ndef privacy_init(info, args):\n assert args['f'] == 'privacy_init'\n\n tick = args['a'][0]\n _check_tick(tick)\n privacy_tick = args['a'][1]\n _check_tick(privacy_tick)\n provider_addr = args['a'][2]\n paillier_pub = args['a'][3]\n\n sender = info['sender']\n\n existing_provider, _ = get(privacy_tick, 'privacy_provider', None)\n if existing_provider is not None:\n return\n\n put(provider_addr, privacy_tick, 'tick', tick)\n put(provider_addr, privacy_tick, 'transaction_count', 0)\n put(provider_addr, privacy_tick, 'privacy_pub', int(paillier_pub))\n put(provider_addr, privacy_tick, 'privacy_provider', provider_addr)\n\n\ndef privacy_update(info, args):\n assert args['f'] == 'privacy_update'\n\n # TODO\n\n\ndef privacy_deposit(info, args):\n assert args['f'] == 'privacy_deposit'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n addr = handle_lookup(sender)\n\n existing_deposit, _ = get(privacy_tick, 'privacy_deposit', None, addr)\n if existing_deposit:\n return\n\n amount = int(args['a'][1])\n assert amount >= 0\n\n amount_cipher = int(args['a'][2])\n assert amount_cipher >= 0\n\n balance, _ = get(tick, 'balance', 0, f'{sender}')\n assert balance >= amount\n balance_updated = balance - amount\n put(sender, tick, 'balance', balance_updated, f'{sender}')\n\n transaction_id, privacy_tick_owner = get(privacy_tick, 'transaction_count', 0)\n transaction_id += 1\n put(privacy_tick_owner, privacy_tick, 'transaction_count', transaction_id)\n\n put(addr, privacy_tick, 'privacy_deposit', f'{str(amount)},{str(amount_cipher)},{str(transaction_id)}', f'{addr}')\n event('PrivacyDeposit', [privacy_tick, addr, amount, amount_cipher, transaction_id])\n\n\ndef privacy_deposit_cancel(info, args):\n assert args['f'] == 'privacy_deposit_cancel'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n addr = handle_lookup(sender)\n\n deposit_info, _ = get(privacy_tick, 'privacy_deposit', None, addr)\n if not deposit_info:\n return\n\n parts = deposit_info.split(',')\n assert len(parts) == 3\n amount = int(parts[0])\n amount_cipher = int(parts[1])\n transaction_id = int(parts[2])\n\n balance, _ = get(tick, 'balance', 0, sender)\n balance_updated = balance + amount\n put(sender, tick, 'balance', balance_updated, sender)\n\n put(addr, privacy_tick, 'privacy_deposit', None, addr)\n\n event('PrivacyDepositCancel', [privacy_tick, addr, amount, amount_cipher, transaction_id])\n\n\ndef privacy_enter(info, args):\n assert args['f'] == 'privacy_enter'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n\n sender = info['sender']\n transaction_id = int(args['a'][1])\n signature_hex = args['a'][2]\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n deposit_info, owner = get(privacy_tick, 'privacy_deposit', 0, f'{sender}')\n assert deposit_info is not None\n parts = deposit_info.split(',')\n assert len(parts) == 3\n amount = int(parts[0])\n amount_cipher = int(parts[1])\n tx_id = int(parts[2])\n assert tx_id == transaction_id\n put(owner, privacy_tick, 'privacy_deposit', None, f'{sender}')\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_deposit,{str(amount)},{str(amount_cipher)},{str(transaction_id)}'\n\n if provider_addr.lower() != _addr_recover(msg_to_sign, signature_hex):\n return\n\n balance, _ = get(tick, 'balance', 0, f'{privacy_tick}')\n assert balance >= 0\n balance_updated = balance + amount\n put(sender, tick, 'balance', balance_updated, f'{privacy_tick}')\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, f'{sender},1')\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, f'{sender},1')\n\n event('PrivacyEnter', [tick, sender, balance_cipher_updated])\n\n\ndef privacy_withdraw(info, args):\n assert args['f'] == 'privacy_withdraw'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n\n existing_withdraw, _ = get(privacy_tick, 'privacy_withdraw', None, from_addr)\n if existing_withdraw:\n return\n\n # to_addr = _resolve_account(args['a'][1])\n amount = int(args['a'][1])\n amount_cipher = int(args['a'][2])\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n balance_key = f'{from_addr},1'\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, balance_key)\n \n balance_cipher_updated = _homomorphic_sub(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, balance_key)\n\n transaction_id, privacy_tick_owner = get(privacy_tick, 'transaction_count', 0)\n transaction_id += 1\n put(privacy_tick_owner, privacy_tick, 'transaction_count', transaction_id)\n\n put(sender, privacy_tick, 'privacy_withdraw', f'{str(balance_cipher)},{str(amount)},{str(amount_cipher)},{str(transaction_id)}', from_addr)\n\n event('PrivacyWithdraw', [privacy_tick, balance_cipher, amount, amount_cipher, transaction_id])\n\n\ndef privacy_withdraw_cancel(info, args):\n assert args['f'] == 'privacy_withdraw_cancel'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n\n withdraw_info, _ = get(privacy_tick, 'privacy_withdraw', None, from_addr)\n if not withdraw_info:\n return\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n parts = withdraw_info.split(',')\n assert len(parts) == 4\n addr = parts[0]\n amount = int(parts[1])\n amount_cipher = int(parts[2])\n transaction_id = int(parts[3])\n\n balance_key = f'{from_addr},1'\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, balance_key)\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, balance_key)\n\n put(sender, privacy_tick, 'privacy_withdraw', None, from_addr)\n\n event('PrivacyWithdrawCancel', [privacy_tick, from_addr, amount, amount_cipher, transaction_id])\n\n\ndef privacy_exit(info, args):\n assert args['f'] == 'privacy_exit'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n transaction_id = int(args['a'][1])\n signature_hex = args['a'][2]\n\n withdraw_info, _ = get(privacy_tick, 'privacy_withdraw', None, sender)\n if not withdraw_info:\n return\n\n parts = withdraw_info.split(',')\n assert len(parts) == 4\n balance_cipher = parts[0]\n amount = int(parts[1])\n amount_cipher = int(parts[2])\n tx_id = int(parts[3])\n assert tx_id == transaction_id\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_withdraw,{str(amount)},{str(transaction_id)}'\n\n if provider_addr.lower() != _addr_recover(msg_to_sign, signature_hex):\n return\n\n pool_balance, _ = get(tick, 'balance', 0, privacy_tick)\n assert pool_balance >= amount\n put(sender, tick, 'balance', pool_balance - amount, privacy_tick)\n\n balance, _ = get(tick, 'balance', 0, sender)\n put(sender, tick, 'balance', balance + amount, sender)\n\n put(sender, privacy_tick, 'privacy_withdraw', None, sender)\n\n event('PrivacyExit', [privacy_tick, sender, amount_cipher])\n\n\ndef privacy_send(info, args):\n assert args['f'] == 'privacy_send'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n from_subaccount = int(args['a'][1])\n assert from_subaccount > 0\n to_addr = _resolve_account(args['a'][2])\n to_subaccount = int(args['a'][3])\n assert to_subaccount > 0\n amount_cipher = int(args['a'][4])\n\n send_info, _ = get(privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n if send_info:\n return\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', from_subaccount, f'{from_addr},{str(from_subaccount)}')\n balance_cipher_updated = _homomorphic_sub(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, f'{from_addr},{str(from_subaccount)}')\n\n transaction_id, privacy_tick_owner = get(privacy_tick, 'transaction_count', 0)\n transaction_id += 1\n put(privacy_tick_owner, privacy_tick, 'transaction_count', transaction_id)\n put(sender, privacy_tick, 'privacy_send', f'{str(balance_cipher)},{str(amount_cipher)},{to_addr},{str(to_subaccount)},{str(transaction_id)}', f'{sender},{str(from_subaccount)}')\n\n event('PrivacySend', [privacy_tick, from_addr, from_subaccount, to_addr, to_subaccount, balance_cipher, amount_cipher, transaction_id])\n\n\ndef privacy_accept(info, args):\n assert args['f'] == 'privacy_accept'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n from_addr = args['a'][1]\n from_subaccount = int(args['a'][2])\n assert from_subaccount > 0\n signature_hex = args['a'][3]\n to_subaccount = int(args['a'][4])\n sender = info['sender']\n\n send_info, _ = get(privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n if not send_info:\n return\n parts = send_info.split(',')\n assert len(parts) == 5\n # senderbalance_cipher = int(parts[0])\n amount_cipher = int(parts[1])\n to_addr = parts[2]\n to_subaccount = int(parts[3])\n transaction_id = int(parts[4])\n assert to_addr == sender\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_send,{from_addr},{str(from_subaccount)},{str(transaction_id)}'\n if provider_addr.lower() != _addr_recover(msg_to_sign, signature_hex):\n return\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, f'{to_addr},{str(to_subaccount)}')\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(to_addr, privacy_tick, 'privacy_balance', balance_cipher_updated, f'{to_addr},{str(to_subaccount)}')\n put(from_addr, privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n\n event('PrivacyAccept', [privacy_tick, to_subaccount, balance_cipher_updated, amount_cipher])\n\n\ndef privacy_send_cancel(info, args):\n assert args['f'] == 'privacy_send_cancel'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n from_subaccount = int(args['a'][1])\n assert from_subaccount > 0\n\n send_info_key = f'{from_addr},{str(from_subaccount)}'\n send_info, _ = get(privacy_tick, 'privacy_send', None, send_info_key)\n if not send_info:\n return\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n parts = send_info.split(',')\n assert len(parts) == 5\n amount_cipher = int(parts[1])\n transaction_id = int(parts[4])\n\n balance_key = f'{from_addr},{str(from_subaccount)}'\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, balance_key)\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, balance_key)\n put(sender, privacy_tick, 'privacy_send', None, send_info_key)\n\n event('PrivacySendCancel', [privacy_tick, from_addr, from_subaccount, balance_cipher_updated, amount_cipher, transaction_id])\n"}{"votes": [], "snippets": ["f01dea5fe22e6ec86881ab6562fd73dd55c74e173830f02d2b3f2673c0d1d521"], "functions": ["privacy_init", "privacy_deposit", "privacy_deposit_cancel", "privacy_enter", "privacy_send", "privacy_send_cancel", "privacy_accept", "privacy_withdraw", "privacy_withdraw_cancel", "privacy_exit"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}{"snippets": ["2e3f7fcf48f9c178aa5520c60d147ef15c69272048a10138f6fee7db4741981b", "b6335de3a510c47060240296fc5f433024a727ebb2e63fb5c7c8f5ee3ce7c871"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}{"snippets": ["2e3f7fcf48f9c178aa5520c60d147ef15c69272048a10138f6fee7db4741981b", "b6335de3a510c47060240296fc5f433024a727ebb2e63fb5c7c8f5ee3ce7c871"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}{"snippets": ["2e3f7fcf48f9c178aa5520c60d147ef15c69272048a10138f6fee7db4741981b", "b6335de3a510c47060240296fc5f433024a727ebb2e63fb5c7c8f5ee3ce7c871"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}{"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"]}["asset_update_ownership", "asset_update_functions"]"0xe1288759446298f250c3bce5616706d25525ba7f""0x7e5f4552091a69125d5dfcb7b8c2659029395bdf"95484453452851151319146099534921060730772215626135961163491913912336477811863582609045983397814414269633849494288732608649821900304800972834742168506707143630327145078886467708821477118434659068956432905871648234970891021733879791975265673569299171364659623036654115772969795595800647152283420826440675607309"USDC"59{"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].lower()\n sender = info['sender']\n addr = handle_lookup(sender)\n owner, _ = get('asset', 'owner', None, tick)\n assert owner.lower() == 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": ["427754609975ef08e86f59023f8ef035e51b4c42df41c6a4325781f63d9fd92e"], "functions": ["asset_create", "asset_update_ownership", "asset_update_functions", "asset_batch_create"]}null2976330061391173495522753026621001188939790666147644818169356413965584858161680430233468587258468281572294158528229929824545421067910425444917325202865688848697182470415645843185044512042337432050614232780607185172937873479698346500511001430134386534941727953935508876388252181841961499568407404937693484577384950927155866667972285723165846935282969733904639683184475236965120950314355075215760536410112949087998590591663952691124172271348074311776570161476306419439555800153722724656678650392349498896898899318457735325090666227152561327366471396321728348140956366448841395204956140697772711375540724297227999332723925503042846016650009844910242659007340952171564646135346443392343732925261780142613129030710824241996295190275861764593537319355965950199097628494019592801929456380648054548220778531712865128914381844022297014866018397986376570182576609382306305105052563014859274478624018324612968000136936149648490049991288425598294122098399519528560187006753953129167130790214796000723123137559642057480712492476382105562617364235288124761150604520246169460019328266178004988875920408949298156207409021838890544945014940847570360173081818298834971498482861752709036349724683416645766187062798024028848803374988821721869785318423941365139047473528774742866306259674591194881724364007765751765072818451184202136122789856625202235923001022157841473432278877609298395265960311911045160094907510620089522115860780292039435399568200408657485026813121889678633335583406264246985503576739834264581314383199175637957035335355953431885930781227626667280963702232393416170021814378062332031182080548806752566028523204183172058524496405808002180327283307331284809547501090365801019052023663837032539132331872413722698545702948720510970710248078733471482918149451967463289907716898087601327174813496045263218098769480461078996543656442400168098095365199083184957046295445942229363033001672978117974611579744408672316250219843346599963258088666732657864501494225821208442675619531017502377045692874756430040177737790234208974421928243038891368631939807708952460886722218920358164189589219913342809540821232165401057868940932050211388689476129562653016349041219989078862717055281714234470470565797397558750464886206214944229460148060722283612695773088820909524979310745072678817530256719718256331175905613033212087789820188170677201861088920355879416567480768721175794113685907826830116229837105429873583641870572190551157529217027425204564359308955586207136213760539353724492991317025802899900000000000null18158447702114371646995666823970405090523080683299286315600222539959109662346171917501342387015903567576876018812739507133491343834251508242803424416293276121395157253021510942878487629285151797966121956977107030554719502830128327566306204159609192042310571108147206009663078185984387941902144122169948509209396400657085662695962141366397391777919229771659321161327328780121495730815357315959155460787084649929852410931113539789944403820828860709201071080715941046231638097612494232521464673573260739618609223399736326283994551538061655149343565999818937371280693176873906688928501432965292767811949766325333051617082036021880277516523198677643160150913275591530841336804551050550424195482978530778704240698004072715919773589062077748330304028275272089675852992966984497079418576335163352313147078970006472762606839583145714325546290905521242002085324729183191365305192744764808622140857396287158088833836975001764436248833471094085357504800451531684437642072005090664103291146859538083500563584275390246716100678255330505802211716533756571215425979648278259289859157092758775652577728190828532135566243875200067881624346102324254133373143546297019905931740158502218412067250934976550268152451876214848235290103862337870509984578353419665818676644660762699313596263518713796056212990832894151238756635951472679135227678449071658758586736367060124178657728301256471310373882681785945314039320400780636669873838851876931158268083148414367033476643398135240382324419484457968151402883311825144555977085018357992189819784803505636734781357146248832979630272650954939616187073511401127685921581141687947617481218838290828314087821969030941530432506696442314706297625565236934903132567323668219685868671658435889480818252203020272849178931583032429202413042279728078289048059585691274603382012137762141571389049597031633369876266432993538076647220059448886524978008790113246803245003627361566235035529500971399680010590035042133674862008973678237489982327686402066185451363548296589236594313169683940927548165773171236525488141088482669975164083375938639247481801629969072379595799856531080996301387007285896486222286758282269109658087933354109072520007972468649884143571975995774451825229561312048092961727369579312782390841286465162346789500472069711843541905236970579953617390273696515908480493514294350774012633178173566498387012780060941141235496112640363489057136126897029521724325692722934667763511799215668985110471748059332953376821608587346744809203575289282254299999999999999999999999999999999999999999900000000000000null348381573995145925232924342273055416328674396786341128444610513132357176856446224200522875668114525637066383043185944996835528818270553534027152832876644650243481094154817925797700721733758645455838752392828000140689405428322346026203572731515765268896533758448830404443871664836777540858414793435185308841527883718156644978923001069555341036457779390309411411127805060766028773601490527572473757639481749147155163498071366609759353849917607795911047396949741379080111826182503527283415578768241273188450623514399055782553745394978190646837909359277706872175863955537960862685100559642111605706516019306020238209561789825181988560080821128037045683701290590526649892014525996837480585915981559451808458894575757644125544390725190500424214143328502578008457891727887427259238971870768244831525192257822710954071333947280239666809904062673525778236268224638246372193586912639409929258407164896764054369537074095734393270614462568246913040072931826092150207478346248643441118059876840027366954524260998966973560344216898215117146694152229783818377884136478500732042410544238864916793856983390359100302265619719451448902427656502131197196797718735389315331248118449371494698689178885446048259766722626529612701952895564795575666861181269420775163404792896994040758539607617499641227257926868908650466010490994425862999808966236308621481952913892199170385767362720215298929396030733542952110124177172521932545592836519948072506050544871867254378699330987751902672625268966895934451444670054540976011477510351571043960691370674161496725796706408655663795523670333736837292596213654223164079717977198925664688639195598236339662271914942933965766651043586192289702439654666297133370582803333340486144174116484776897681658575391069631518983197979622027592657966020966985368356867426387697647395085013852271015579149606091424895534169239927088129831293971138452899002026937342928378853112014976947844808158114915856902977219374046400157040067630331796337237252145287687254911878191414243295615773334461577047408355830654535586444139234379131193736817819934881460072154674351357043790214438589402265401734286938835620056024593809599991803989110168085984616643674494927880000226103211698827362544901230483744614951158804189884644450346330810660207057559996179955232720583133775507519438550411295596487388924596950117955888541793876444047422581073688011862415373456171430545942425640263614757689671149012406009627913450658035420635545083424456589784295891139721330645644575362470null226497665746917731508403044206381763973288603012038175013028308069490798334775853906962411854707965132107080382771425249823642932694002203997676624489882070187023720838391228970261814563534486305417513125123127522897687038890847557941153237205898998661667478851232278388518488889087042946862655319422522149544960320151677800173487567571162920720500707019233223209507140687248101247125840444364988887173850765947485243998973843814202856666247385185248065763874555034023915036177223189002586213071577704880695764546715968246693587223196012175495939475159443089151550899673548833552894307269810390420907644424367244398138836958296263204501416790020601479363367258587453149129248117513185190232133590960244610250188401642220838943982917768077833802759622305072799180144346015339903532898408909016910355820069839497609231681009817322502259303429727969153961158392962014088513693837379216559516914173576205425308565404021562265795262001805934057871655761449310303512460613064202309713058723454070725521994720368910967623722401515470651726546844575392387721544443505703199017746825050616471689130933076388449004197755671701594931928680146109371338558054128128384860917632255768366719398610168488641166431714901097711170789563012996560522561342630494484315515810746993615833163875362305826559096252067149207142990843664994546773810314141964674178552771445257911150564987288550883281202982792215234213111723903921210949763688939329477655270872608240053188966791859323449527754346201462304644338225673714401361064063267700043964861151165633350873969250313160461655459055991527184659684975714351954764889555196441082475781367874071813772784957510990190626406092966083125179584582861577220431772540714908454952971384042903707404397172138993820807212367673484093037255955145637752606222164212150602767542827117024488510530925717356164346029764391082216993231592793358940536854144018592604626349071587247901667025541306780739965550314533814079965964807198407251849026763886645188229560795498152053203971287350336650515495869643783229789276169402192561695661322800973412534765597564278997951441073804425560543625121821947638755261734900787962637431409913506986947024669258623014911953566383830001811168936917449064856187397564376284609642294041308936484946350243911218801379156783033770043031261015136579646782887712047588164942755367381785015060719324143398016380012880145060242415754237287066018200852500727766891788466329419399610820310283432251520209717542228027736879676011358null32645543211null158518318035768840590091776868106921138487500214754335377947944648392353963417541774287269330315216338634168751245033784122638990122255787782485423987278399357756486478450684283786893070822602292610518839829978207316149672128604798774448184997900671375968148890608116353750432708628674326548689161488555408034176440864820081693687584945781008115085467209387833139964276702016366033171396528431444798833774382781584156311871382122914454775927211697496765969268752195363701364912768008199559147124619775335268606594360962432968318284309131629923504664095722428471559870405885420558655358597823001835881594732969319854327742191450601256796088866458865457402191381616329929942991167916248247098182204745855480310750714193076354162141750879845518960494714289766921805896450108499597749344185439151414284743232541358117791077525171763377420142690852972802468862383433312995528877672960805384830682848289763303834667312423899367109760767513971595223030769583381188619600777958609639110091819075431746662069554659700153539729661185731659865036825036947941916187802043090048399382116098920906572924407639909783282828199570428352104531580136114327868713145330448676968353352774128518435500314565953470775647415282352042147667684017004580183797781851991023621189855057922533671527245732869608750545875215122860562441137017175672044197827115510951499246502413996422882754083888150424805757386278793647826145653153943772447872749395685623587104161235550328050781378023127469849312807226937427255653186141050089263942380917523172331006080202413037548428172706455315674542454137652282957600525130151106239638957299992560633750663728920002754740575555752477804069480911632596994369001176089356799562783416077112895451717766639158130285423971234721445715563593534646177532453821605669308934860090770617582674107718107333131259569369835671522095781656669494524757760132025408307260937826189189461933656751182883728816086538432188356030419045633857592565889455308514793551519009450872745033536355654055356121504676463028545416151317826524111680503232030480767464215393395319506206100921761564811144118975431170420811241397119140058734323433369402528358148806071921069891081215002420467772430557371936703849795287767372393352159191498705212162042287810287480255089033134877980700484966178470178595804286581133568725211765096233726379742855020481785236034475604218563541521095589480427832519100154177150785421775001734565572290995930167896620133014381227871890372614855853237390035060058null{"functions": ["privacy_withdraw_cancel", "privacy_deposit_cancel", "privacy_send_cancel", "privacy_accept", "privacy_decline", "privacy_enter", "privacy_init", "privacy_send", "privacy_exit", "privacy_withdraw", "privacy_deposit"], "snippet": "# Paillier helpers + privacy transfer flow (ZIP23)\n\ndef _egcd(a, b):\n x0, y0 = 1, 0\n x1, y1 = 0, 1\n while b != 0:\n q = a // b\n a, b = b, a % b\n x0, x1 = x1, x0 - q * x1\n y0, y1 = y1, y0 - q * y1\n return a, x0, y0\n\ndef _modinv(a, n):\n g, x, _ = _egcd(a, n)\n assert g == 1\n return x % n\n\ndef _homomorphic_add(pub, c1, c2):\n n = pub\n n2 = n * n\n return (c1 * c2) % n2\n\ndef _homomorphic_sub(pub, c1, c2):\n n = pub\n n2 = n * n\n inv = _modinv(c2, n2)\n return (c1 * inv) % n2\n\n\n# Elliptic Curve parameters for secp256k1\nP = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F\nA = 0\nB = 7\nGx = 55066263022277343669578718895168534326250603453777594175500187360389116729240\nGy = 32670510020758816978083085130507043184471273380659243275938904335757337482424\nG = (Gx, Gy)\nN = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141\n\ndef _inverse_mod(k, p):\n if k == 0:\n raise\n return pow(k, p - 2, p)\n\ndef _is_on_curve(point):\n if point is None:\n return True\n x, y = point\n return (y * y - (x * x * x + A * x + B)) % P == 0\n\ndef _point_add(point1, point2):\n if point1 is None:\n return point2\n if point2 is None:\n return point1\n x1, y1 = point1\n x2, y2 = point2\n if x1 == x2 and y1 != y2:\n return None\n if x1 == x2:\n m = (3 * x1 * x1 + A) * _inverse_mod(2 * y1, P)\n else:\n m = (y2 - y1) * _inverse_mod(x2 - x1, P)\n m %= P\n x3 = (m * m - x1 - x2) % P\n y3 = (m * (x1 - x3) - y1) % P\n return (x3, y3)\n\ndef _scalar_mult(k, point):\n result = None\n addend = point\n while k:\n if k & 1:\n result = _point_add(result, addend)\n addend = _point_add(addend, addend)\n k >>= 1\n return result\n\ndef _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n assert public_key_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n if not (1 <= r < N and 1 <= s < N):\n return False\n point = (int(public_key_hex[2:66], 16), int(public_key_hex[66:], 16))\n e = int(msg_hash_hex[2:], 16)\n w = _inverse_mod(s, N)\n u1 = (e * w) % N\n u2 = (r * w) % N\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n if q is None:\n return False\n x, y = q\n return r == x % N\n\ndef _ecdsa_recover(msg_hash_hex, signature_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n z = int(msg_hash_hex[2:], 16)\n\n if len(signature_hex[2:]) == 130:\n v = int(signature_hex[130:], 16)\n if v >= 27:\n recovery_id = v - 27\n else:\n recovery_id = v\n recovery_ids = [recovery_id]\n else:\n recovery_ids = [0, 1]\n\n for recovery_id in recovery_ids:\n for j in range(2):\n x = r + j * N\n if x >= P:\n continue\n\n y_squared = (pow(x, 3, P) + A * x + B) % P\n y = pow(y_squared, (P + 1) // 4, P)\n\n if y % 2 != recovery_id:\n y = P - y\n\n point = (x, y)\n if not _is_on_curve(point):\n continue\n\n r_inv = _inverse_mod(r, N)\n u1 = (-z * r_inv) % N\n u2 = (s * r_inv) % N\n\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n\n if q is None:\n continue\n\n public_key_hex = f\"0x{q[0]:064x}{q[1]:064x}\"\n if _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n return public_key_hex\n\n return None\n\ndef _pubkey_to_address(public_key_hex):\n public_key_bytes = bytes.fromhex(public_key_hex[2:])\n address_bytes = keccak(public_key_bytes)[-20:]\n return '0x' + address_bytes.hex()\n\ndef _message_hash(payload):\n payload_hash = keccak(text=payload)\n prefix = b\"\\x19Ethereum Signed Message:\\n32\"\n return keccak(prefix + payload_hash)\n\ndef _addr_recover(msg, signature_hex):\n if not signature_hex.startswith('0x'):\n signature_hex = '0x' + signature_hex\n msg_hash = _message_hash(msg)\n msg_hash_hex = '0x' + msg_hash.hex()\n public_key_hex = _ecdsa_recover(msg_hash_hex, signature_hex)\n if not public_key_hex:\n return False\n recovered = _pubkey_to_address(public_key_hex)\n return recovered.lower()\n\ndef _resolve_account(addr):\n addr = addr.lower()\n assert len(addr) <= 42\n if len(addr) == 42:\n assert addr.startswith('0x')\n assert set(addr[2:]) <= set(string.digits + 'abcdef')\n else:\n assert len(addr) > 4\n\n if len(addr) == 42:\n return handle_lookup(addr)\n return addr\n\ndef _check_tick(tick):\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\ndef _get_pubkey(privacy_tick):\n pub, _ = get(privacy_tick, 'privacy_pub', None)\n if pub is None:\n return None\n return int(pub)\n\n\ndef privacy_init(info, args):\n assert args['f'] == 'privacy_init'\n\n tick = args['a'][0]\n _check_tick(tick)\n privacy_tick = args['a'][1]\n _check_tick(privacy_tick)\n provider_addr = args['a'][2]\n paillier_pub = int(args['a'][3])\n\n sender = info['sender']\n\n existing_provider, _ = get(privacy_tick, 'privacy_provider', None)\n if existing_provider is not None:\n return\n\n put(provider_addr, privacy_tick, 'tick', tick)\n put(provider_addr, privacy_tick, 'transaction_count', 0)\n put(provider_addr, privacy_tick, 'privacy_provider', provider_addr)\n put(provider_addr, privacy_tick, 'privacy_pub', int(paillier_pub))\n\n\ndef privacy_update(info, args):\n assert args['f'] == 'privacy_update'\n\n # TODO\n\n\ndef privacy_deposit(info, args):\n assert args['f'] == 'privacy_deposit'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n addr = handle_lookup(sender)\n\n existing_deposit, _ = get(privacy_tick, 'privacy_deposit', None, addr)\n if existing_deposit:\n return\n\n amount = int(args['a'][1])\n assert amount >= 0\n\n amount_cipher = int(args['a'][2])\n assert amount_cipher >= 0\n\n balance, _ = get(tick, 'balance', 0, f'{sender}')\n assert balance >= amount\n balance_updated = balance - amount\n put(sender, tick, 'balance', balance_updated, f'{sender}')\n\n transaction_id, privacy_tick_owner = get(privacy_tick, 'transaction_count', 0)\n transaction_id += 1\n put(privacy_tick_owner, privacy_tick, 'transaction_count', transaction_id)\n\n put(addr, privacy_tick, 'privacy_deposit', f'{str(amount)},{str(amount_cipher)},{str(transaction_id)}', f'{addr}')\n event('PrivacyDeposit', [privacy_tick, addr, amount, amount_cipher, transaction_id])\n\n\ndef privacy_deposit_cancel(info, args):\n assert args['f'] == 'privacy_deposit_cancel'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n addr = handle_lookup(sender)\n\n deposit_info, _ = get(privacy_tick, 'privacy_deposit', None, addr)\n if not deposit_info:\n return\n\n parts = deposit_info.split(',')\n assert len(parts) == 3\n amount = int(parts[0])\n amount_cipher = int(parts[1])\n transaction_id = int(parts[2])\n\n balance, _ = get(tick, 'balance', 0, sender)\n balance_updated = balance + amount\n put(sender, tick, 'balance', balance_updated, sender)\n\n put(addr, privacy_tick, 'privacy_deposit', None, addr)\n\n event('PrivacyDepositCancel', [privacy_tick, addr, amount, amount_cipher, transaction_id])\n\n\ndef privacy_enter(info, args):\n assert args['f'] == 'privacy_enter'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n\n sender = info['sender']\n transaction_id = int(args['a'][1])\n signature_hex = args['a'][2]\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n deposit_info, owner = get(privacy_tick, 'privacy_deposit', 0, f'{sender}')\n assert deposit_info is not None\n parts = deposit_info.split(',')\n assert len(parts) == 3\n amount = int(parts[0])\n amount_cipher = int(parts[1])\n tx_id = int(parts[2])\n assert tx_id == transaction_id\n put(owner, privacy_tick, 'privacy_deposit', None, f'{sender}')\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_deposit,{str(amount)},{str(amount_cipher)},{str(transaction_id)}'\n\n if provider_addr.lower() != _addr_recover(msg_to_sign, signature_hex):\n return\n\n balance, _ = get(tick, 'balance', 0, f'{privacy_tick}')\n assert balance >= 0\n balance_updated = balance + amount\n put(sender, tick, 'balance', balance_updated, f'{privacy_tick}')\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, f'{sender},1')\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, f'{sender},1')\n\n event('PrivacyEnter', [tick, sender, balance_cipher_updated])\n\n\ndef privacy_withdraw(info, args):\n assert args['f'] == 'privacy_withdraw'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n\n existing_withdraw, _ = get(privacy_tick, 'privacy_withdraw', None, from_addr)\n if existing_withdraw:\n return\n\n # to_addr = _resolve_account(args['a'][1])\n amount = int(args['a'][1])\n amount_cipher = int(args['a'][2])\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n balance_key = f'{from_addr},1'\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, balance_key)\n \n balance_cipher_updated = _homomorphic_sub(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, balance_key)\n\n transaction_id, privacy_tick_owner = get(privacy_tick, 'transaction_count', 0)\n transaction_id += 1\n put(privacy_tick_owner, privacy_tick, 'transaction_count', transaction_id)\n\n put(sender, privacy_tick, 'privacy_withdraw', f'{str(balance_cipher)},{str(amount)},{str(amount_cipher)},{str(transaction_id)}', from_addr)\n\n event('PrivacyWithdraw', [privacy_tick, balance_cipher, amount, amount_cipher, transaction_id])\n\n\ndef privacy_withdraw_cancel(info, args):\n assert args['f'] == 'privacy_withdraw_cancel'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n\n withdraw_info, _ = get(privacy_tick, 'privacy_withdraw', None, from_addr)\n if not withdraw_info:\n return\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n parts = withdraw_info.split(',')\n assert len(parts) == 4\n addr = parts[0]\n amount = int(parts[1])\n amount_cipher = int(parts[2])\n transaction_id = int(parts[3])\n\n balance_key = f'{from_addr},1'\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, balance_key)\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, balance_key)\n\n put(sender, privacy_tick, 'privacy_withdraw', None, from_addr)\n\n event('PrivacyWithdrawCancel', [privacy_tick, from_addr, amount, amount_cipher, transaction_id])\n\n\ndef privacy_exit(info, args):\n assert args['f'] == 'privacy_exit'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n transaction_id = int(args['a'][1])\n signature_hex = args['a'][2]\n\n withdraw_info, _ = get(privacy_tick, 'privacy_withdraw', None, sender)\n if not withdraw_info:\n return\n\n parts = withdraw_info.split(',')\n assert len(parts) == 4\n balance_cipher = parts[0]\n amount = int(parts[1])\n amount_cipher = int(parts[2])\n tx_id = int(parts[3])\n assert tx_id == transaction_id\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_withdraw,{str(amount)},{str(transaction_id)}'\n\n if provider_addr.lower() != _addr_recover(msg_to_sign, signature_hex):\n return\n\n pool_balance, _ = get(tick, 'balance', 0, privacy_tick)\n assert pool_balance >= amount\n put(sender, tick, 'balance', pool_balance - amount, privacy_tick)\n\n balance, _ = get(tick, 'balance', 0, sender)\n put(sender, tick, 'balance', balance + amount, sender)\n\n put(sender, privacy_tick, 'privacy_withdraw', None, sender)\n\n event('PrivacyExit', [privacy_tick, sender, amount_cipher])\n\n\ndef privacy_send(info, args):\n assert args['f'] == 'privacy_send'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n from_subaccount = int(args['a'][1])\n assert from_subaccount > 0\n to_addr = _resolve_account(args['a'][2])\n to_subaccount = int(args['a'][3])\n assert to_subaccount > 0\n amount_cipher = int(args['a'][4])\n\n send_info, _ = get(privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n if send_info:\n return\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', from_subaccount, f'{from_addr},{str(from_subaccount)}')\n balance_cipher_updated = _homomorphic_sub(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, f'{from_addr},{str(from_subaccount)}')\n\n transaction_id, privacy_tick_owner = get(privacy_tick, 'transaction_count', 0)\n transaction_id += 1\n put(privacy_tick_owner, privacy_tick, 'transaction_count', transaction_id)\n put(sender, privacy_tick, 'privacy_send', f'{str(balance_cipher)},{str(amount_cipher)},{to_addr},{str(to_subaccount)},{str(transaction_id)}', f'{sender},{str(from_subaccount)}')\n\n event('PrivacySend', [privacy_tick, from_addr, from_subaccount, to_addr, to_subaccount, balance_cipher, amount_cipher, transaction_id])\n\n\ndef privacy_send_cancel(info, args):\n assert args['f'] == 'privacy_send_cancel'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n from_addr = handle_lookup(sender)\n from_subaccount = int(args['a'][1])\n assert from_subaccount > 0\n\n send_info_key = f'{from_addr},{str(from_subaccount)}'\n send_info, _ = get(privacy_tick, 'privacy_send', None, send_info_key)\n if not send_info:\n return\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n parts = send_info.split(',')\n assert len(parts) == 5\n amount_cipher = int(parts[1])\n transaction_id = int(parts[4])\n\n balance_key = f'{from_addr},{str(from_subaccount)}'\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, balance_key)\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, balance_key)\n put(sender, privacy_tick, 'privacy_send', None, send_info_key)\n\n event('PrivacySendCancel', [privacy_tick, from_addr, from_subaccount, balance_cipher_updated, amount_cipher, transaction_id])\n\n\ndef privacy_accept(info, args):\n assert args['f'] == 'privacy_accept'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n from_addr = _resolve_account(args['a'][1])\n from_subaccount = int(args['a'][2])\n assert from_subaccount > 0\n signature_hex = args['a'][3]\n to_subaccount = int(args['a'][4])\n sender = info['sender']\n\n send_info, _ = get(privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n if not send_info:\n return\n parts = send_info.split(',')\n assert len(parts) == 5\n # senderbalance_cipher = int(parts[0])\n amount_cipher = int(parts[1])\n to_addr = parts[2]\n to_subaccount = int(parts[3])\n transaction_id = int(parts[4])\n assert to_addr == sender\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_send,{from_addr},{str(from_subaccount)},{str(transaction_id)}'\n if provider_addr.lower() != _addr_recover(msg_to_sign, signature_hex):\n return\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, f'{to_addr},{str(to_subaccount)}')\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(to_addr, privacy_tick, 'privacy_balance', balance_cipher_updated, f'{to_addr},{str(to_subaccount)}')\n put(from_addr, privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n\n event('PrivacyAccept', [privacy_tick, to_subaccount, balance_cipher_updated, amount_cipher, transaction_id])\n\n\ndef privacy_decline(info, args):\n assert args['f'] == 'privacy_decline'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n from_addr = _resolve_account(args['a'][1])\n from_subaccount = int(args['a'][2])\n assert from_subaccount > 0\n sender = info['sender']\n\n send_info, _ = get(privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n if not send_info:\n return\n parts = send_info.split(',')\n assert len(parts) == 5\n amount_cipher = int(parts[1])\n to_addr = parts[2]\n transaction_id = int(parts[4])\n assert to_addr == sender\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, f'{from_addr},{str(from_subaccount)}')\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(from_addr, privacy_tick, 'privacy_balance', balance_cipher_updated, f'{from_addr},{str(from_subaccount)}')\n put(from_addr, privacy_tick, 'privacy_send', None, f'{from_addr},{str(from_subaccount)}')\n\n event('PrivacyDecline', [privacy_tick, from_addr, from_subaccount, balance_cipher_updated, amount_cipher, transaction_id])\n\n"}{"votes": [], "snippets": ["3b531f43aeb51b13e57b9b7943c0abe2ac7f4ad66cbfe578668d5ba2210223b8"], "functions": ["privacy_init", "privacy_deposit", "privacy_deposit_cancel", "privacy_enter", "privacy_send", "privacy_send_cancel", "privacy_accept", "privacy_withdraw", "privacy_withdraw_cancel", "privacy_exit"]}{"votes": [], "snippets": ["3b531f43aeb51b13e57b9b7943c0abe2ac7f4ad66cbfe578668d5ba2210223b8"], "functions": ["privacy_init", "privacy_deposit", "privacy_deposit_cancel", "privacy_enter", "privacy_send", "privacy_send_cancel", "privacy_accept", "privacy_decline", "privacy_withdraw", "privacy_withdraw_cancel", "privacy_exit"]}{"snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"]}553262585582137726859932838174076601356111277227730202732021588687202755631289842658423345404642614971919106610671466857869226961733340798935327631419608261710530390094840971533564859696887437896976262777748725929033394077469889961029417335042240584187776071532933084527634884321593092115136857478954566996940131496837960030580830088637344985401438789132890030064073508476403057868927161522037665770917723919322556414242731405270678926616330329211822064120367041246193031033009741317581418531059324482323487542474919893314455708682861447704481375001959935187535014764988910480383804346871213641498663787529639039028422935209906811519828528754722298113429873602177223713650004137093224045578593011512954064785724174253085610225483045383658873013909969558406802552995855116577874443134957811906699637298573962034752598482059094225646173428759887510331294501640974602424755530230330460183956532494711788004180282715836766429580389493222288798636029757357100096430099711328907047878240178675743808217176450875729229359271550122058101542042039559166299683991027715345442077470015534777699668361592624685105124495763546712653250078101815064670450429131231305236162355964251705201352738132338378124633061089397604230217539098653188339815819570343934780116435605130041329970540541918182673148635980223786472598099995993586741815156463585430800259173883754725500844740787471424691644517865725712423140543076799610778003251037525672638076363396569227588286805373627023710124435395592610156964099283803062297951531971372408219578481992555937402542185689333873412453268133385833319089502944453045100077361959545137274683492374131682172156088766812860540361911661441864293743806997187968253315965803992348106039742352880573206703064083124409056376023084454089953268442788023659473728011238773290224975243596396512690522979549899404908042742107842881488355238709067562960433949820096434260222210663648064159180975282166749109284800921099500551450198190506202545769644009477195223518743756156169752176876372361672819349405599511468816873922413028670696922483817283410571615071431925977962224511191428578997694889674434845046057246270027950425407148003317013518085528889896410392719433048770907285648613852845382524541115474807282533612769076636912844010319114191827469293038657206147508330754132887897353858165729315607031595582542258854281953751726787790153550715384912205475387807974123201999584173480719364567720282629783091936590185403698098742795103145496804625177511806583540nullnull366679738304304666528414817071786600341349846147400040595862677108533599031056704623869518051355470464813956668069452350432166516386258895820556610885618301513690328120776936238271414149860848595592220632893956334530895637812143177692798332439746236845770553732274767701238538178584701275308802726219933359886334295618947512458539191907065443254882727833261126613457182454234364691832090369025435753273649979971849731108186147015128725073801324344603917411016867138035343038795737201673110873176732081852973150245274138763593519438763438970546988123009192415537155033619196970327587067282423157285802143954295464979285790392357737957103111056787772194557159616337876923190540432839620736720764204576396808020659496179067484744403239302750537884420102222288262717231980622091140179085604785882914412148536126511958973007838631347901000643495772729494053045670679544966738325648906612017130482866531062752969476944072650640110828367074917354061863215278571386767594379512953542237196586179047016981411975687510296673940919678581070737452671907187766105830204567387980082518728061821827682050142289751224050850322003200009580387455924289669664400184762799327608224629778176627661633299747715675274351681524223699477468913825193514635709657048195443562250561932423653388077691201671345787755524277127054537086241648854806527119661322765363116851361800530262462700826651137740864334374010821008314560303925361179294040417732389347133411720092378097747188517750399080783169192384647464731694130937007963927530296817983088700999846753314257643096644480350014899706147917768973848173023881684333779734771980268316568770089636299267886099261991518132673186635827858172523089433939796854034090298132030395621708947496118725305506118387620887598364908566548950161662669813156053182717682432776651563849657807227702860389905150089457687186173341555732511621625434091457505007473488096362845132198612834400770841611998771617055800081847317874915369529946265549799178657816155469360174534521176204028646121174323178622002935143619735265756260730391578971140802510196498302018227774612093709743647935643978835527392665821702548220177223830932104964488037965455005539720275983150796934381866669083673975332075606690503079428050738874993108985383155632485894000806592033073803943932930954005904627867599032518985787090374904049191168415276629438136281161535148909641659208716630324482626659541477360685139028989583560119868456889830642140164595792029379962850381276117867752541261984nullnull20350000000null320805790266565044226362289608405024858982630490207048881302630237315551687699275663161865413157371864146658262365129063671603463281208640259685293455825829407033233192423761221507876354447892289651346791586937376808965046937090644835594792393189971896974702543760783817757804869741506136865723703936027183260716506185316791165504455584327220962478449682890250257847140805832373418080651025989942852876641471217231399854036381642031630533379321764459619390526671013494596836927816174960685618708900017773174278603801838780151183277068273518616565225761074162688806801251225371561666599907619257537305995582115637384240489608153034513809031111573490770839475751296530927343918884834030633961826520539204576567109189717984349823822431142686287437895612240437428523911462456809518049285034872296104198552360540880402446398091561765429953076746354149819658882184104287150338203317949121274193179320987319985297641436521690727596687865670980550934519001956737232514809837145442563923574731807332942169054170272135911022883964005934543167437677853550790715283034924243390022766485801780513030021399799613795820056509346274234126452281780384170320586301563313604613794718814206665619536957071997584830254363119685605535923942371295681831774681984579877390127668504547277153297637237642029576662783576327812498699644622875565455115471101995846900350033377062735230831099344589057803702429799363812625480404953532794551756957654437197241737932633247831049677227514806017923852569682254333056825775846504955287501708436640259432788355126175953443445119478396112105241489664689461071755131395736120812840530900738471496769887117328426657058955118530600255933963374386746280975736369074573658825983530869882260674069672613576901552373815677311689376449041121136282669603030184148160775263055449528233599421952289725664302615111285173421862224734389901448983859772005521876560533973445676074295812227706895483710721192420218983983621705609431126608203605410509017914949814078466560577439693467432448682671848138598563500642638915480107881623472684983959581114580653935979321912639221909730730482847149020759933641195371751052380517526645528879355282095221459791196753366144298362954953897676758242983256302798011730586794683470449134317335020138773730367419432762944437027956996589692332454060704570509395798644627383711142163521541480052353851728366057302865016724011559059251527940393473260071954969444072681517342543512085107552113889448018910956836143347228465216554848016104null105000000null470296369318626168758320952124897740378389837996418978992208989584787875754778332810846923000932349085377220265177825351075350972590210961872385478429972086810433823235381390759560264458401093095759131358900260663286656034274896496320464617651668976967160416635521143831515221139710724433187912792849370044483655403739661530271630289194464682045926679054375568418894514043611170873195849258490576996280311398871502099022934333307850564565026361219466634998442411223040228636998104884761124253254520829965859278197718639732573433351622988475066966755868378139361946826133095199873839953820592487935039407039918301636174195834507863074740737679357449613617215518748816714923337482520507195336328689584340524436063635049381255753427518858991789946739482853541990260586744888307332995194443100040904184833729060350664132261761563782620461641286157842856596616948546725259397384576438944282647126119935019246949713505048630548932001335405874800572363984283029873636473599833612743927354780237270043720579352945710774822881866133720365370349283451530282536801289128012321095186008172313987538108934263320407343895017789884998500379448747782450630108015796986604291121692577088307311866503182827970321314878743990275006655957480637287739620010187206886039041663421870922801127562595068709149738547219799142498668752708291280543351382667822581450080097625114955731896895899786897302175716232202785587420513079139473442688632586032872838774199570834074900969203489926782496585317615502910573980263638464261829332471075643737151985551289249158900004324039506953002079275930307269268988693775381564974572992787132293867903068138971745700458819731354220176185176904268754894913596890020157861760338638808293677974484899489683545022353595306074961851298612171567867182062582826547114020398524978653456103271803873569318905542098534298894903637000410210371937609912198106404436470013181307266045595178507964811364222351034458644166870915494359315252409556115230915606329738522998752973178040762830013869554140979213688844475189315306564137748283754706705661060536259623362560459630267766818736268129416358086381892964010895358883160896662850378762682266165837947200186273404662573764778459897955739241920002922069841185955598484932515293368671115669906341061080151205903565275781975972232468976655348983713742660973331206397880794704591441217550100835762758713057962524703893714014554061797792713864565420826965531173479230124582749125891208319698021926853292893141757424293231695null300000000null444720592545591548421210767156531664239741600484160120085892934576382973993067454924885695453841440418934619221691508993032365106368642024843012838563753917176153630586487843958060799895400607210342722565147038707003632963479911809885363159432817213765066433360899534268874600526325951625441815667272062186625211070702564156150101042183299173045323329664449769995372707325662508743644306500381054047987299848283485996382857126519180067730814747393590460368851021063893946200454295982018582578802049621028736427247987380709260519567501431198646447142455710285919461194973367760460909148100781867301890440923204338079712052399123368505419445531363792983661035400714040786130852632155124532322207848374602280964613383752653180802245614438977514842724859431653850703522825099972313208327798920263766465599621543632802622576994031443708022617405309386579837054939195824376696155730742917465135803478790769068436478520843506608656596877869564894839865939970860961447066771454838271461347156620994367535877872628101520417933550603372789688434814647735990203876081144327227820227124183822297055106925036360670937238356207612316574217129791518020743553524324042353217078450126057346890278900289197126862635207708591501349637460402907916942424576248316271535420946179771062225334527579725553694051905323979146323831335056921296110509900445015255600155902269355876921265491617359497726592708812607602525713136903937042435181334488809884600096754756566809238803555781757935805174343661453428848334021847094763353360176908013769918982036662571032307332017404916292553308218503385724442686123728832528949344484749680307199622393041354704375346040711227742170799759474109448703394858784045399407876507405561840821971649751711779894926497377547952523395727763247385688661139059638764917750056209155335337783409196032010871557687792967378325787719334895208173098484865156899159277166123595516435285176998399947948715272508362012468488827954995850180762325481555164921213467228631276637283931529971625180103763541676928193353360370106613082718966021578272209097402917559484924605213382177944759079277484216639888725271553181408913818387751380351428867831906430549830969563452760058462065466587204024087386432985735729596913379666079223181420323550219363198717400213860038591345054895973547138213872905890040842814161052511542941134609384082891428910842943057950553135859406658365581183919773398947282354850869210919691535082524083544892291957411427882283475177480918658266663775701112800000000null540260173187849312034840864723152488278894814436651243741514697654317680858258404558637036639238974654065418448150363103273774580133483844940400101767906021877847195707226988667531704755734887316917273899301878804106347151105454280473438718242331383571392049827356279203935222205055057468040248874259302216254328973586830802872915104854077755018526832637042420562384913735232418728599451125978917399153243426110998914480176448052679044755455206881520711148350225673656918884190496307269431106707225642215128989542156448717241779699191207923058535169726569729293287882570578254104213015100571872060030836497023316448312188234793888452120728673601951814785064176025021489235844356773653052316462066104658712837402504533879882369220537031121669363243996348654369273853938015756754340965687273311866450769218177967641108677320176736688382281283763026766161462791030669649168538927954211035166101757541906662231426543401227031943677210496271413315666998137019531327710927452498791884683076641732867125523485572468192826347298553002492856098559945456717835428919884632088560552947701608026232500274931410062191656012634618490561382586332373881486042294678081760356120460413654607537250261465213988475618052141475317906501667493370778515190710114131786205123577672197812841077971003211666692304805958105838504469844021585579629249154381397171975746463103224232146885894140581242340251584978373540740168832972107564400459966740695091872656200858816526404731740877428939727738341216768904091135367305382289587709978275528583557088360563735330556197803915452119357087224738763999751468082598564168788503070594646216726215897481965551158966348402385308956465955291699224548110979393483498315356836147936937486180761304714081248971254544702900548349117306828094249668718832490797626743054543822077044911958033329898919400844125484032141984001305125243617902513014320244831260322039398329996472465586659972956221724162172271471224883901279850074098683165568681643488482429231137909441867751676876681415152475167272294778576988629542526118786994507182795797630320128820830631863933208551133254939427886794771975285571465917285633577520807624977063764833389536030186027431449424259247458959228770967081013194082595838171626673690126548167515622808858596698698118020626243832938912314826017280588786510639085538785344780414768643059841479549343917882711597103448271404657626379983742056209230422649048202060794392966536249788293042444968983911133434750048824555636937558344227566319null3843837395572809684935900606854257121305682125070212568126988313206936981541274329501789658223004806313600634018181276049407870207068456811374892790457416286931724994739186185585053200244431579182811466723975346362744049910747725476954571955941170573227081053980321392686177282252759795038793612032056481048377593036795029460848623000530848680797486590785327773156780517031448338245133751481148816205598254940977013192521432524901039699329855452696694345736624809786292791182655876899811102291344833002480633401995697184404974206306902072378833892719457362643706007057968662604131529748680579792639876633233790747863639340069875387710266237028560947414479677371732286459871847331673543177471673666151790959708651013772436430144797730847509114037714879038315328246263823513236210999743823699232064873294928674336405025144895313254155288856481939983270576877246428294136334647630302284116291845509232445155675440586626107936130272784880100004115503012877900893965016015238573145563125045798169169359907699506060263703361682197930559572072441452507988550523625425875577472854786571412061212816987667541286806617596297262926099479881271397675764968719689591996864994899974119736487233499398032240847878571695104484891562945893047789698215088282833694195787285055937591830591698331670588210242754802103763088901383849806806683414465846815117737612813159564136869637103186560305832296299336432856098980406370557009018050038158543208341621472679188135853992471338526091586600452893100934827720531109991213422923886806473095738786766658814886851050048180498997229659531539391471317003881873996734752038925350347731098039651553825549583267825209558942581694814382665626737491601773476383591780166173848240933325441549520263772319113924177606137674381547429798259437718157647745435833653166911999321064571573768338163041476841514958039794438374827967069169386190781994710530048601875405968262029559559630480853954967924542679978865811353167899479743733200046071698057870050815747879629352302027194722651851223332679756364492227786862032532758985383807250720965486914905918613370199263941353097329199110536814461353430082362302065873171608062889549834841758618610448950161802115115615812163403388579835740117325598430895531921145232416132287578910386685348675812574306224562373111121057462145643764321201323406505734976816805495728248257896140708522154073962526435157236494302401364534599729464706010105375501861605477558860742860823584252481949417274517225904330832318611382312null112638812128517896461866768138475000609150785009888272910026855665633264441450358683722389198299739327513493376863426769643116696736590681477302569140217318966506632724713071385337091254063359134483433319206717654340580612882049354543629476318296503430259111282670552138388003238868752112232210422036273926520364396968933675843496193204082698348344602043772592468308458809631959402245450402002438877073003654743904126553206031473774913112213679883925732582728911417508581026417842867099421395005869375286249233261942340953131987657557074792177343005154872596461521503743330590646650790950398084669383407648015995979591629168502337637898740648973811928576426209900078419182288434833036363178720105659883950932963099262415891078975911847999998036782529379004904936592064265196734035467819261361360676814910410708105682338617234321353815381747976136161193902918949273898634677179573458261779672895159483635206463279807113680034936878463189530237063937162809633850665037957063267993198097633059467264159367195466665758779084823482625259548794524774568441459382183059039638285210546746498170894936561681887814913582333128846676756221941476943738355282857376837908599754670977287919079871627074924072172028934580151189835220361504492681136590221179647179761648022466071118596920819476479983666674250010858206617894632414939272658748577028808163346177824350000495221309025614293281996576777880214508405524545376021417744298833100759926428268729223948725061566882632984829486014276483572427473729018548059291444145008346553625717439701117402670112472736011123057464255916015388859886141902144382372686122844870528496001040215296648669726140802814345588695588226502853138728655247499122467145233101652232401223297214027137855427496801514847468894909088167282211146076579502471414597111889668943921909372322333174192085655305122328061158889223037212908557175404400682141792871946724720987951607125681105004685223261630589816745280192735123902805296250290008507728265366707135214072550744774408429194131875691241731882978959634966518864332078349073688979208781464404759777512273032631362298651825072051578190219719630602830879593572676537207097655814405389355335992996079421085664767322580027900214726186311613079567888381587404618079662096718531598718970730331320693154078390469943161459212852118387479219453822808011770718734047255071190970764905894303438083424162432048406978940575576515122540926114867086891348553101964327966852880154892199983300402332363149706582182690156null960000000null{"functions": ["privacy_withdraw_cancel", "privacy_send_cancel", "privacy_deposit_cancel", "privacy_transfer", "privacy_accept", "privacy_decline", "privacy_enter", "privacy_init", "privacy_send", "privacy_exit", "privacy_withdraw", "privacy_deposit"], "snippet": "# Paillier helpers + privacy transfer flow (ZIP23)\n\ndef _egcd(a, b):\n x0, y0 = 1, 0\n x1, y1 = 0, 1\n while b != 0:\n q = a // b\n a, b = b, a % b\n x0, x1 = x1, x0 - q * x1\n y0, y1 = y1, y0 - q * y1\n return a, x0, y0\n\ndef _modinv(a, n):\n g, x, _ = _egcd(a, n)\n assert g == 1\n return x % n\n\ndef _homomorphic_add(pub, c1, c2):\n n = pub\n n2 = n * n\n return (c1 * c2) % n2\n\ndef _homomorphic_sub(pub, c1, c2):\n n = pub\n n2 = n * n\n inv = _modinv(c2, n2)\n return (c1 * inv) % n2\n\n\n# Elliptic Curve parameters for secp256k1\nP = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F\nA = 0\nB = 7\nGx = 55066263022277343669578718895168534326250603453777594175500187360389116729240\nGy = 32670510020758816978083085130507043184471273380659243275938904335757337482424\nG = (Gx, Gy)\nN = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141\n\ndef _inverse_mod(k, p):\n if k == 0:\n raise\n return pow(k, p - 2, p)\n\ndef _is_on_curve(point):\n if point is None:\n return True\n x, y = point\n return (y * y - (x * x * x + A * x + B)) % P == 0\n\ndef _point_add(point1, point2):\n if point1 is None:\n return point2\n if point2 is None:\n return point1\n x1, y1 = point1\n x2, y2 = point2\n if x1 == x2 and y1 != y2:\n return None\n if x1 == x2:\n m = (3 * x1 * x1 + A) * _inverse_mod(2 * y1, P)\n else:\n m = (y2 - y1) * _inverse_mod(x2 - x1, P)\n m %= P\n x3 = (m * m - x1 - x2) % P\n y3 = (m * (x1 - x3) - y1) % P\n return (x3, y3)\n\ndef _scalar_mult(k, point):\n result = None\n addend = point\n while k:\n if k & 1:\n result = _point_add(result, addend)\n addend = _point_add(addend, addend)\n k >>= 1\n return result\n\ndef _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n assert public_key_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n if not (1 <= r < N and 1 <= s < N):\n return False\n point = (int(public_key_hex[2:66], 16), int(public_key_hex[66:], 16))\n e = int(msg_hash_hex[2:], 16)\n w = _inverse_mod(s, N)\n u1 = (e * w) % N\n u2 = (r * w) % N\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n if q is None:\n return False\n x, y = q\n return r == x % N\n\ndef _ecdsa_recover(msg_hash_hex, signature_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n z = int(msg_hash_hex[2:], 16)\n\n if len(signature_hex[2:]) == 130:\n v = int(signature_hex[130:], 16)\n if v >= 27:\n recovery_id = v - 27\n else:\n recovery_id = v\n recovery_ids = [recovery_id]\n else:\n recovery_ids = [0, 1]\n\n for recovery_id in recovery_ids:\n for j in range(2):\n x = r + j * N\n if x >= P:\n continue\n\n y_squared = (pow(x, 3, P) + A * x + B) % P\n y = pow(y_squared, (P + 1) // 4, P)\n\n if y % 2 != recovery_id:\n y = P - y\n\n point = (x, y)\n if not _is_on_curve(point):\n continue\n\n r_inv = _inverse_mod(r, N)\n u1 = (-z * r_inv) % N\n u2 = (s * r_inv) % N\n\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n\n if q is None:\n continue\n\n public_key_hex = f\"0x{q[0]:064x}{q[1]:064x}\"\n if _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n return public_key_hex\n\n return None\n\ndef _pubkey_to_address(public_key_hex):\n public_key_bytes = bytes.fromhex(public_key_hex[2:])\n address_bytes = keccak(public_key_bytes)[-20:]\n return '0x' + address_bytes.hex()\n\ndef _message_hash(payload):\n payload_hash = keccak(text=payload)\n prefix = b\"\\x19Ethereum Signed Message:\\n32\"\n return keccak(prefix + payload_hash)\n\ndef _addr_recover(msg, signature_hex):\n if not signature_hex.startswith('0x'):\n signature_hex = '0x' + signature_hex\n msg_hash = _message_hash(msg)\n msg_hash_hex = msg_hash.hex()\n if not msg_hash_hex.startswith('0x'):\n msg_hash_hex = '0x' + msg_hash_hex\n public_key_hex = _ecdsa_recover(msg_hash_hex, signature_hex)\n if not public_key_hex:\n return False\n recovered = _pubkey_to_address(public_key_hex)\n return recovered.lower()\n\ndef _resolve_account(addr):\n addr = addr.lower()\n assert len(addr) <= 42\n if len(addr) == 42:\n assert addr.startswith('0x')\n assert set(addr[2:]) <= set(string.digits + 'abcdef')\n else:\n assert len(addr) > 4\n\n if len(addr) == 42:\n return handle_lookup(addr)\n return addr\n\ndef _check_tick(tick):\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\ndef _get_pubkey(privacy_tick):\n pub, _ = get(privacy_tick, 'privacy_pub', None)\n if pub is None:\n return None\n return int(pub)\n\n\ndef privacy_init(info, args):\n assert args['f'] == 'privacy_init'\n\n tick = args['a'][0]\n _check_tick(tick)\n privacy_tick = args['a'][1]\n _check_tick(privacy_tick)\n provider_addr = args['a'][2]\n paillier_pub = int(args['a'][3])\n\n sender = info['sender']\n\n existing_provider, _ = get(privacy_tick, 'privacy_provider', None)\n if existing_provider is not None:\n return\n\n put(provider_addr, privacy_tick, 'tick', tick)\n put(provider_addr, privacy_tick, 'privacy_provider', provider_addr)\n put(provider_addr, privacy_tick, 'privacy_pub', int(paillier_pub))\n\n\n# def privacy_update(info, args):\n# assert args['f'] == 'privacy_update'\n\n\ndef privacy_deposit(info, args):\n assert args['f'] == 'privacy_deposit'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n addr = handle_lookup(sender)\n\n amount = int(args['a'][1])\n assert amount >= 0\n\n amount_cipher = int(args['a'][2])\n assert amount_cipher >= 0\n\n nonce = int(args['a'][3])\n assert nonce >= 0\n\n signature_hex = args['a'][4]\n assert signature_hex.startswith('0x')\n\n stored_nonce, _ = get(privacy_tick,'privacy_nonce', 0, sender)\n assert nonce == stored_nonce + 1\n put(sender, privacy_tick, 'privacy_nonce', nonce, sender)\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_deposit,{str(amount)},{str(amount_cipher)},{str(nonce)}'\n\n recovered_addr = _addr_recover(msg_to_sign, signature_hex)\n if provider_addr.lower() != recovered_addr:\n return\n\n total_supply, _ = get(privacy_tick, 'total_supply', 0)\n put(provider_addr, privacy_tick, 'total_supply', int(total_supply) + amount)\n\n balance, _ = get(tick, 'balance', 0, f'{sender}')\n assert balance >= amount\n balance_updated = balance - amount\n put(addr, tick, 'balance', balance_updated, addr)\n\n pool_balance, _ = get(tick, 'balance', 0, privacy_tick)\n put(privacy_tick, tick, 'balance', int(pool_balance) + amount, privacy_tick)\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, addr)\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, sender)\n event('PrivacyDeposit', [privacy_tick, addr, amount, amount_cipher, nonce])\n\n\ndef privacy_withdraw(info, args):\n assert args['f'] == 'privacy_withdraw'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n amount = int(args['a'][1])\n assert amount > 0\n amount_cipher = int(args['a'][2])\n assert amount_cipher > 0\n old_balance_cipher = int(args['a'][3])\n assert old_balance_cipher > 0\n nonce = int(args['a'][4]) \n signature = args['a'][5]\n\n sender = info['sender'].lower()\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n assert provider_addr is not None, \"Provider not initialized\"\n\n stored_nonce, _ = get(privacy_tick,'privacy_nonce', 0, sender)\n assert nonce == int(stored_nonce) + 1, \"Invalid nonce\"\n\n msg = f\"{privacy_tick},privacy_withdraw,{sender},{nonce},{amount},{amount_cipher},{old_balance_cipher}\"\n recovered_addr = _addr_recover(msg, signature)\n assert recovered_addr == provider_addr.lower(), \"Invalid signature\"\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n stored_balance, _ = get(privacy_tick, 'privacy_balance', 1, sender)\n assert int(stored_balance) == old_balance_cipher, \"State mismatch\"\n\n total_supply, _ = get(privacy_tick, 'total_supply', 0)\n new_total = int(total_supply) - amount\n assert new_total >= 0, \"Insufficent total supply\"\n\n new_balance_cipher = _homomorphic_sub(pub, int(stored_balance), amount_cipher)\n\n put(sender, privacy_tick, 'privacy_balance', new_balance_cipher, sender)\n put(sender, privacy_tick, 'privacy_nonce', nonce, sender)\n put(provider_addr, privacy_tick, 'total_supply', new_total)\n\n pool_balance, _ = get(tick, 'balance', 0, privacy_tick)\n put(privacy_tick, tick, 'balance', int(pool_balance) - amount, privacy_tick)\n\n user_balance, _ = get(tick, 'balance', 0, sender)\n put(sender, tick, 'balance', int(user_balance) + amount, sender)\n\n event('PrivacyWithdraw', [sender, amount, new_balance_cipher, nonce])\n\n\ndef privacy_transfer(info,args):\n assert args['f'] == 'privacy_transfer'\n privacy_tick= args['a'][0]\n _check_tick(privacy_tick)\n\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n to_addr = args['a'][1].lower()\n amount_cipher = int(args['a'][2])\n assert amount_cipher > 0\n\n nonce = int(args['a'][3])\n assert nonce > 0\n signature = args['a'][4]\n assert signature.startswith('0x')\n\n sender = info['sender'].lower() \n assert sender != to_addr, \"Self-transfer not allowed\"\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n assert provider_addr is not None, \"Provider not initialized\"\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n msg = f\"{privacy_tick},privacy_transfer,{sender},{to_addr},{nonce},{amount_cipher}\"\n recovered_addr = _addr_recover(msg, signature)\n assert recovered_addr == provider_addr.lower(), \"Invalid provider signature\"\n\n current_sender_bal, _ = get(privacy_tick, 'privacy_balance', 1, sender)\n current_receiver_bal, _ = get(privacy_tick, 'privacy_balance', 1, to_addr)\n\n stored_nonce, _ = get(privacy_tick, 'privacy_nonce', 0, sender)\n assert nonce == int(stored_nonce) + 1, \"Invalid nonce\"\n\n new_sender_bal = _homomorphic_sub(pub, int(current_sender_bal), amount_cipher)\n new_receiver_bal = _homomorphic_add(pub, int(current_receiver_bal), amount_cipher)\n\n put(sender, privacy_tick, 'privacy_balance', new_sender_bal, sender)\n put(sender, privacy_tick, 'privacy_nonce', nonce, sender)\n put(to_addr, privacy_tick, 'privacy_balance', new_receiver_bal, to_addr)\n\n event('PrivacyTransfer', [sender, to_addr, amount_cipher, nonce])\n\n"}{"votes": [], "snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"], "functions": ["privacy_init", "privacy_deposit", "privacy_deposit_cancel", "privacy_enter", "privacy_send", "privacy_send_cancel", "privacy_accept", "privacy_decline", "privacy_withdraw", "privacy_withdraw_cancel", "privacy_exit"]}{"votes": [], "snippets": ["a60711611f1da2fc454deabe33b8f05e67c476c50e801e64dfd949c4dd3e6b88"], "functions": ["privacy_init", "privacy_deposit", "privacy_transfer", "privacy_withdraw"]}{"snippets": ["2e3f7fcf48f9c178aa5520c60d147ef15c69272048a10138f6fee7db4741981b", "b6335de3a510c47060240296fc5f433024a727ebb2e63fb5c7c8f5ee3ce7c871"]}977707547827134013240944137057506249983425321654068735926018179829724260831215643003615054010531767505443244353557927284315151505528168611041310306228066672271334344839743873973038605493077765742156556822534264988212649706941461173144964830551046296639146419595099896700658854838491566886342801566694486160643668060095924572185195893389307168775887178866049667653484118916156531400841914134130895662311996141138344528445769359435000380199649370543778673797477050741360529077106127325209842049026113046420556139190750473493443204890695003443089122908082615492535960129826398858291376228398071569911730536566770970504611406580289{"functions": ["privacy_transfer", "privacy_update", "privacy_init", "privacy_withdraw", "privacy_deposit"], "snippet": "# Paillier helpers + privacy transfer flow (ZIP23)\n\ndef _egcd(a, b):\n x0, y0 = 1, 0\n x1, y1 = 0, 1\n while b != 0:\n q = a // b\n a, b = b, a % b\n x0, x1 = x1, x0 - q * x1\n y0, y1 = y1, y0 - q * y1\n return a, x0, y0\n\ndef _modinv(a, n):\n g, x, _ = _egcd(a, n)\n assert g == 1\n return x % n\n\ndef _homomorphic_add(pub, c1, c2):\n n = pub\n n2 = n * n\n return (c1 * c2) % n2\n\ndef _homomorphic_sub(pub, c1, c2):\n n = pub\n n2 = n * n\n inv = _modinv(c2, n2)\n return (c1 * inv) % n2\n\n\n# Elliptic Curve parameters for secp256k1\nP = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F\nA = 0\nB = 7\nGx = 55066263022277343669578718895168534326250603453777594175500187360389116729240\nGy = 32670510020758816978083085130507043184471273380659243275938904335757337482424\nG = (Gx, Gy)\nN = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141\n\ndef _inverse_mod(k, p):\n if k == 0:\n raise\n return pow(k, p - 2, p)\n\ndef _is_on_curve(point):\n if point is None:\n return True\n x, y = point\n return (y * y - (x * x * x + A * x + B)) % P == 0\n\ndef _point_add(point1, point2):\n if point1 is None:\n return point2\n if point2 is None:\n return point1\n x1, y1 = point1\n x2, y2 = point2\n if x1 == x2 and y1 != y2:\n return None\n if x1 == x2:\n m = (3 * x1 * x1 + A) * _inverse_mod(2 * y1, P)\n else:\n m = (y2 - y1) * _inverse_mod(x2 - x1, P)\n m %= P\n x3 = (m * m - x1 - x2) % P\n y3 = (m * (x1 - x3) - y1) % P\n return (x3, y3)\n\ndef _scalar_mult(k, point):\n result = None\n addend = point\n while k:\n if k & 1:\n result = _point_add(result, addend)\n addend = _point_add(addend, addend)\n k >>= 1\n return result\n\ndef _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n assert public_key_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n if not (1 <= r < N and 1 <= s < N):\n return False\n point = (int(public_key_hex[2:66], 16), int(public_key_hex[66:], 16))\n e = int(msg_hash_hex[2:], 16)\n w = _inverse_mod(s, N)\n u1 = (e * w) % N\n u2 = (r * w) % N\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n if q is None:\n return False\n x, y = q\n return r == x % N\n\ndef _ecdsa_recover(msg_hash_hex, signature_hex):\n assert msg_hash_hex.startswith('0x')\n assert signature_hex.startswith('0x')\n r = int(signature_hex[2:66], 16)\n s = int(signature_hex[66:130], 16)\n z = int(msg_hash_hex[2:], 16)\n\n if len(signature_hex[2:]) == 130:\n v = int(signature_hex[130:], 16)\n if v >= 27:\n recovery_id = v - 27\n else:\n recovery_id = v\n recovery_ids = [recovery_id]\n else:\n recovery_ids = [0, 1]\n\n for recovery_id in recovery_ids:\n for j in range(2):\n x = r + j * N\n if x >= P:\n continue\n\n y_squared = (pow(x, 3, P) + A * x + B) % P\n y = pow(y_squared, (P + 1) // 4, P)\n\n if y % 2 != recovery_id:\n y = P - y\n\n point = (x, y)\n if not _is_on_curve(point):\n continue\n\n r_inv = _inverse_mod(r, N)\n u1 = (-z * r_inv) % N\n u2 = (s * r_inv) % N\n\n q = _point_add(_scalar_mult(u1, G), _scalar_mult(u2, point))\n\n if q is None:\n continue\n\n public_key_hex = f\"0x{q[0]:064x}{q[1]:064x}\"\n if _ecdsa_verify(msg_hash_hex, signature_hex, public_key_hex):\n return public_key_hex\n\n return None\n\ndef _pubkey_to_address(public_key_hex):\n public_key_bytes = bytes.fromhex(public_key_hex[2:])\n address_bytes = keccak(public_key_bytes)[-20:]\n return '0x' + address_bytes.hex()\n\ndef _message_hash(payload):\n payload_hash = keccak(text=payload)\n prefix = b\"\\x19Ethereum Signed Message:\\n32\"\n return keccak(prefix + payload_hash)\n\ndef _addr_recover(msg, signature_hex):\n if not signature_hex.startswith('0x'):\n signature_hex = '0x' + signature_hex\n msg_hash = _message_hash(msg)\n msg_hash_hex = msg_hash.hex()\n if not msg_hash_hex.startswith('0x'):\n msg_hash_hex = '0x' + msg_hash_hex\n public_key_hex = _ecdsa_recover(msg_hash_hex, signature_hex)\n if not public_key_hex:\n return False\n recovered = _pubkey_to_address(public_key_hex)\n return recovered.lower()\n\ndef _resolve_account(addr):\n addr = addr.lower()\n assert len(addr) <= 42\n if len(addr) == 42:\n assert addr.startswith('0x')\n assert set(addr[2:]) <= set(string.digits + 'abcdef')\n else:\n assert len(addr) > 4\n\n if len(addr) == 42:\n return handle_lookup(addr)\n return addr\n\ndef _check_tick(tick):\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\ndef _get_pubkey(privacy_tick):\n pub, _ = get(privacy_tick, 'privacy_pub', None)\n if pub is None:\n return None\n return int(pub)\n\n\ndef privacy_init(info, args):\n assert args['f'] == 'privacy_init'\n\n tick = args['a'][0]\n _check_tick(tick)\n privacy_tick = args['a'][1]\n _check_tick(privacy_tick)\n provider_addr = args['a'][2]\n paillier_pub = int(args['a'][3])\n\n sender = info['sender']\n\n existing_provider, _ = get(privacy_tick, 'privacy_provider', None)\n if existing_provider is not None:\n return\n\n put(provider_addr, privacy_tick, 'tick', tick)\n put(provider_addr, privacy_tick, 'privacy_provider', provider_addr)\n put(provider_addr, privacy_tick, 'privacy_pub', int(paillier_pub))\n\n\ndef privacy_update(info, args):\n assert args['f'] == 'privacy_update'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n owner, _ = get('asset', 'owner', None, privacy_tick)\n assert owner == info['sender'], f\"Only owner can update {privacy_tick}\"\n\n provider_addr = args['a'][1]\n assert provider_addr.startswith('0x') and len(provider_addr) == 42\n put(provider_addr, privacy_tick, 'privacy_provider', provider_addr.lower())\n\n\ndef privacy_deposit(info, args):\n assert args['f'] == 'privacy_deposit'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n functions, _ = get('asset', 'functions', [], tick)\n assert args['f'] in functions\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n sender = info['sender']\n addr = handle_lookup(sender)\n\n amount = int(args['a'][1])\n assert amount >= 0\n\n amount_cipher = int(args['a'][2])\n assert amount_cipher >= 0\n\n nonce = int(args['a'][3])\n assert nonce >= 0\n\n signature_hex = args['a'][4]\n assert signature_hex.startswith('0x')\n\n stored_nonce, _ = get(privacy_tick,'privacy_nonce', 0, sender)\n assert nonce == stored_nonce + 1\n put(sender, privacy_tick, 'privacy_nonce', nonce, sender)\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n msg_to_sign = f'{privacy_tick},privacy_deposit,{str(amount)},{str(amount_cipher)},{str(nonce)}'\n\n recovered_addr = _addr_recover(msg_to_sign, signature_hex)\n assert provider_addr.lower() == recovered_addr, \"Invalid signature\"\n\n total_supply, _ = get(privacy_tick, 'total_supply', 0)\n put(provider_addr, privacy_tick, 'total_supply', int(total_supply) + amount)\n\n balance, _ = get(tick, 'balance', 0, f'{sender}')\n assert balance >= amount\n balance_updated = balance - amount\n put(addr, tick, 'balance', balance_updated, addr)\n\n pool_balance, _ = get(tick, 'balance', 0, privacy_tick)\n put(privacy_tick, tick, 'balance', int(pool_balance) + amount, privacy_tick)\n\n balance_cipher, _ = get(privacy_tick, 'privacy_balance', 1, addr)\n balance_cipher_updated = _homomorphic_add(pub, int(balance_cipher), amount_cipher)\n put(sender, privacy_tick, 'privacy_balance', balance_cipher_updated, sender)\n event('PrivacyDeposit', [privacy_tick, addr, amount, amount_cipher, nonce])\n\n\ndef privacy_withdraw(info, args):\n assert args['f'] == 'privacy_withdraw'\n\n privacy_tick = args['a'][0]\n _check_tick(privacy_tick)\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n tick, _ = get(privacy_tick, 'tick', None)\n _check_tick(tick)\n\n amount = int(args['a'][1])\n assert amount > 0\n amount_cipher = int(args['a'][2])\n assert amount_cipher > 0\n old_balance_cipher = int(args['a'][3])\n assert old_balance_cipher > 0\n nonce = int(args['a'][4]) \n signature = args['a'][5]\n\n sender = info['sender'].lower()\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n assert provider_addr is not None, \"Provider not initialized\"\n\n stored_nonce, _ = get(privacy_tick,'privacy_nonce', 0, sender)\n assert nonce == int(stored_nonce) + 1, \"Invalid nonce\"\n\n msg = f\"{privacy_tick},privacy_withdraw,{sender},{nonce},{amount},{amount_cipher},{old_balance_cipher}\"\n recovered_addr = _addr_recover(msg, signature)\n assert recovered_addr == provider_addr.lower(), \"Invalid signature\"\n\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n stored_balance, _ = get(privacy_tick, 'privacy_balance', 1, sender)\n assert int(stored_balance) == old_balance_cipher, \"State mismatch\"\n\n total_supply, _ = get(privacy_tick, 'total_supply', 0)\n new_total = int(total_supply) - amount\n assert new_total >= 0, \"Insufficent total supply\"\n\n new_balance_cipher = _homomorphic_sub(pub, int(stored_balance), amount_cipher)\n\n put(sender, privacy_tick, 'privacy_balance', new_balance_cipher, sender)\n put(sender, privacy_tick, 'privacy_nonce', nonce, sender)\n put(provider_addr, privacy_tick, 'total_supply', new_total)\n\n pool_balance, _ = get(tick, 'balance', 0, privacy_tick)\n put(privacy_tick, tick, 'balance', int(pool_balance) - amount, privacy_tick)\n\n user_balance, _ = get(tick, 'balance', 0, sender)\n put(sender, tick, 'balance', int(user_balance) + amount, sender)\n\n event('PrivacyWithdraw', [sender, amount, new_balance_cipher, nonce])\n\n\ndef privacy_transfer(info,args):\n assert args['f'] == 'privacy_transfer'\n privacy_tick= args['a'][0]\n _check_tick(privacy_tick)\n\n functions, _ = get('asset', 'functions', [], privacy_tick)\n assert args['f'] in functions\n\n to_addr = args['a'][1].lower()\n amount_cipher = int(args['a'][2])\n assert amount_cipher > 0\n\n nonce = int(args['a'][3])\n assert nonce > 0\n signature = args['a'][4]\n assert signature.startswith('0x')\n\n sender = info['sender'].lower() \n assert sender != to_addr, \"Self-transfer not allowed\"\n\n provider_addr, _ = get(privacy_tick, 'privacy_provider', None)\n assert provider_addr is not None, \"Provider not initialized\"\n pub = _get_pubkey(privacy_tick)\n assert pub is not None\n\n msg = f\"{privacy_tick},privacy_transfer,{sender},{to_addr},{nonce},{amount_cipher}\"\n recovered_addr = _addr_recover(msg, signature)\n assert recovered_addr == provider_addr.lower(), \"Invalid provider signature\"\n\n current_sender_bal, _ = get(privacy_tick, 'privacy_balance', 1, sender)\n current_receiver_bal, _ = get(privacy_tick, 'privacy_balance', 1, to_addr)\n\n stored_nonce, _ = get(privacy_tick, 'privacy_nonce', 0, sender)\n assert nonce == int(stored_nonce) + 1, \"Invalid nonce\"\n\n new_sender_bal = _homomorphic_sub(pub, int(current_sender_bal), amount_cipher)\n new_receiver_bal = _homomorphic_add(pub, int(current_receiver_bal), amount_cipher)\n\n put(sender, privacy_tick, 'privacy_balance', new_sender_bal, sender)\n put(sender, privacy_tick, 'privacy_nonce', nonce, sender)\n put(to_addr, privacy_tick, 'privacy_balance', new_receiver_bal, to_addr)\n\n event('PrivacyTransfer', [sender, to_addr, amount_cipher, nonce])\n\n"}{"votes": [], "snippets": ["2ed32fb1d7d4178582c34eddcb1f30472d9543a070f0eb7320c28336be042c5c"], "functions": ["privacy_init", "privacy_update", "privacy_deposit", "privacy_transfer", "privacy_withdraw"]}{"snippets": ["2e3f7fcf48f9c178aa5520c60d147ef15c69272048a10138f6fee7db4741981b", "b6335de3a510c47060240296fc5f433024a727ebb2e63fb5c7c8f5ee3ce7c871"]}132126656485831349704375214205912646195219897113505180985568816242579156240967584112184236634955496160497509530446800459598301445676686668071802354691113405333263426780990444327617558245055346651019595455821016594585747848239875703022616906155492479059055979992066450586635558269159923370532280032611378024383864549632752542103497219574451098389201921791984184238382867092296751703198166283748162885785069813458519111470006902534117969193889339506939379181191390690229850896488626519193838793769890710794075272387057711490203841522177441424566647384124374739804593110185549829859761824937262387011884099027726407060083628396361497469908415679813969872979070102175046580753937437536117220976438497290996444433194574146314750252404132568555511911426034815427006644534258722947278681596380741010188480988825216873850719129292380471035948784979063717192531597085674278555060312253983646791494731830193091456535799845735729537125134816844656728273539855752938696791753289107638405389063415590728964791278914667657012965400481652547711413722479258608123681458123173592445263938047619795483939326470396057581628749702327144505706785681580608029111242661041859117104251030649070213023121411046835433624473756886289793271968445645387294132492081532329113837085171512078050349292121604000694549725474247166501092678522096534819227680958665777820505875426726149400031223821210887704699991206217169009021562213331308952851681713132068967633583890825318529906914092552825739652378439382187450965169051129729500729226863916899813373312814244982846345313508420378740530109783182522124657071093637495988150794155942958595099823783079845201984698786267181827201387280510768379410609632981793495141007600628698748559955110530846754061449259082742095117254438425692233525953469920943971226011787605128346888282983986279902634664995378449352660164028504168354249984979187785035549425829040519476760217752863177673824172317017557533385335958290339417032903221114785783414486395157470748362174535164983925120169045575373359082398503655535191981757100946012863578179377713191839894581903577173165222026090440120508162541273412930572734343012207522731500959481289194047345779447570861568706885552781695742458348592216401932768983639184795400201237105036787938448494370648772741365528063613595419591617874157979648373519456671091860629180450147612273134768522284186948279526385421251825635941497152581372852313358275886458688063816743452820968373608372753234077870292493067537399169506420722