Type
TRANSFER
Validation date
2024-09-11 13:58:58 UTC
Fee
0 UCO

Code (3.29 KB)

@version 1

condition triggered_by: transaction, on: add_liquidity(token1_min_amount, token2_min_amount), as: [
token_transfers: (
user_amounts = get_user_transfers_amount(transaction)

valid_transfers? = user_amounts.token1 > 0 && user_amounts.token2 > 0
valid_min? = user_amounts.token1 >= token1_min_amount && user_amounts.token2 >= token2_min_amount

valid_transfers? && valid_min?
)
]

actions triggered_by: transaction, on: add_liquidity(token1_min_amount, token2_min_amount) do
pool_balances = get_pool_balances()
user_amounts = get_user_transfers_amount(transaction)

lp_token_supply = State.get("lp_token_supply", 0)
reserves = State.get("reserves", [token1: 0, token2: 0])

final_amounts = get_final_amounts(user_amounts, reserves, token1_min_amount, token2_min_amount)
token1_to_refund = user_amounts.token1 - final_amounts.token1
token2_to_refund = user_amounts.token2 - final_amounts.token2

token1_amount = user_amounts.token1 + pool_balances.token1 - reserves.token1 - token1_to_refund
token2_amount = user_amounts.token2 + pool_balances.token2 - reserves.token2 - token2_to_refund

lp_token_to_mint = get_lp_token_to_mint(token1_amount, token2_amount)

# Handle invalid values and refund user 
valid_amounts? = final_amounts.token1 > 0 && final_amounts.token2 > 0
valid_liquidity? = lp_token_to_mint > 0

if valid_amounts? && valid_liquidity? do
lp_token_to_mint_bigint = Math.trunc(lp_token_to_mint * 100_000_000)

# Remove minimum liquidity if this is the first liquidity if the pool
# First liquidity minted and burned on pool creation
if lp_token_supply == 0 do
  lp_token_to_mint_bigint = lp_token_to_mint_bigint - 10
end

token_specification = [
  aeip: [8, 18, 19],
  supply: lp_token_to_mint_bigint,
  token_reference: 0x0000D1B4A0597A033F7DD0C8CA274745F850A990725B7B73B5E8CEBC7C4F9EA82954,
  recipients: [
    [to: transaction.address, amount: lp_token_to_mint_bigint]
  ]
]

new_token1_reserve = user_amounts.token1 + pool_balances.token1 - token1_to_refund
new_token2_reserve = user_amounts.token2 + pool_balances.token2 - token2_to_refund

State.set("lp_token_supply", lp_token_supply + lp_token_to_mint)
State.set("reserves", [token1: new_token1_reserve, token2: new_token2_reserve])

if token1_to_refund > 0 do
  Contract.add_token_transfer(to: transaction.address, amount: token1_to_refund, token_address: "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF")
end

if token2_to_refund > 0 do
  if "UCO" == "UCO" do
    Contract.add_uco_transfer(to: transaction.address, amount: token2_to_refund)
  else
    Contract.add_token_transfer(to: transaction.address, amount: token2_to_refund, token_address: "UCO")
  end
end

Contract.set_type("token")
Contract.set_content(Json.to_string(token_specification))
else
# Liquidity provision is invalid, refund user of it's tokens
Contract.set_type("transfer")

if "UCO" == "UCO" do
  Contract.add_uco_transfer(to: transaction.address, amount: user_amounts.token2)
else
  Contract.add_token_transfer(to: transaction.address, amount: user_amounts.token2, token_address: "UCO")
end

Contract.add_token_transfer(to: transaction.address, amount: user_amounts.token1, token_address: "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF")
end
end

condition triggered_by: transaction, on: remove_liquidity(), as: [
token_transfers: (
user_amount = get_user_lp_amount(transaction.token_transfers)

user_amount > 0
)
]

actions triggered_by: transaction, on: remove_liquidity() do
return? = true

user_amount = get_user_lp_amount(transaction.token_transfers)
lp_token_supply = State.get("lp_token_supply", 0)

if lp_token_supply > 0 do
pool_balances = get_pool_balances()

token1_to_remove = (user_amount * pool_balances.token1) / lp_token_supply
token2_to_remove = (user_amount * pool_balances.token2) / lp_token_supply

if token1_to_remove > 0 && token2_to_remove > 0 do
  return? = false

  new_token1_reserve = pool_balances.token1 - token1_to_remove
  new_token2_reserve = pool_balances.token2 - token2_to_remove

  State.set("lp_token_supply", lp_token_supply - user_amount)
  State.set("reserves", [token1: new_token1_reserve, token2: new_token2_reserve])

  Contract.set_type("transfer")
  Contract.add_token_transfer(to: transaction.address, amount: token1_to_remove, token_address: "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF")
  if "UCO" == "UCO" do
    Contract.add_uco_transfer(to: transaction.address, amount: token2_to_remove)
  else
    Contract.add_token_transfer(to: transaction.address, amount: token2_to_remove, token_address: "UCO")
  end
end
end

if return? do
# Refund is invalid, return LP tokens to user
Contract.set_type("transfer")
Contract.add_token_transfer(to: transaction.address, amount: user_amount, token_address: 0x0000D1B4A0597A033F7DD0C8CA274745F850A990725B7B73B5E8CEBC7C4F9EA82954)
end
end

condition triggered_by: transaction, on: swap(_min_to_receive), as: [
token_transfers: (
transfer = get_user_transfer(transaction)

transfer != nil
)
]

actions triggered_by: transaction, on: swap(min_to_receive) do
transfer = get_user_transfer(transaction)

swap = get_swap_infos(transfer.token_address, transfer.amount)

if swap.output_amount > 0 && swap.output_amount >= min_to_receive do

pool_balances = get_pool_balances()
token_to_send = nil
token1_volume = 0
token2_volume = 0
token1_fee = 0
token2_fee = 0
token1_protocol_fee = 0
token2_protocol_fee = 0
if transfer.token_address == "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF" do
  pool_balances = [
    token1: pool_balances.token1 + transfer.amount - swap.protocol_fee,
    token2: pool_balances.token2 - swap.output_amount
  ]
  token_to_send = "UCO"
  token1_volume = transfer.amount
  token1_fee = swap.fee
  token1_protocol_fee = swap.protocol_fee
else
  pool_balances = [
    token1: pool_balances.token1 - swap.output_amount,
    token2: pool_balances.token2 + transfer.amount - swap.protocol_fee
  ]
  token_to_send = "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF"
  token2_volume = transfer.amount
  token2_fee = swap.fee
  token2_protocol_fee = swap.protocol_fee
end

State.set("reserves", [token1: pool_balances.token1, token2: pool_balances.token2])

stats = State.get("stats", [
  token1_total_fee: 0,
  token2_total_fee: 0,
  token1_total_volume: 0,
  token2_total_volume: 0,
  token1_total_protocol_fee: 0,
  token2_total_protocol_fee: 0,
])

token1_total_fee = Map.get(stats, "token1_total_fee") + token1_fee
token2_total_fee = Map.get(stats, "token2_total_fee") + token2_fee
token1_total_volume = Map.get(stats, "token1_total_volume") + token1_volume
token2_total_volume = Map.get(stats, "token2_total_volume") + token2_volume
token1_total_protocol_fee = Map.get(stats, "token1_total_protocol_fee") + token1_protocol_fee
token2_total_protocol_fee = Map.get(stats, "token2_total_protocol_fee") + token2_protocol_fee

stats = Map.set(stats, "token1_total_fee", token1_total_fee)
stats = Map.set(stats, "token2_total_fee", token2_total_fee)
stats = Map.set(stats, "token1_total_volume", token1_total_volume)
stats = Map.set(stats, "token2_total_volume", token2_total_volume)
stats = Map.set(stats, "token1_total_protocol_fee", token1_total_protocol_fee)
stats = Map.set(stats, "token2_total_protocol_fee", token2_total_protocol_fee)

State.set("stats", stats)

Contract.set_type("transfer")
if token_to_send == "UCO" do
  Contract.add_uco_transfer(to: transaction.address, amount: swap.output_amount)
else
  Contract.add_token_transfer(to: transaction.address, amount: swap.output_amount, token_address: token_to_send)
end

if swap.protocol_fee > 0 do
  if transfer.token_address == "UCO" do
    Contract.add_uco_transfer(to: 0x0000CC1FADBD31B043947C016E09CCD59BC3C81E55AB8A4932A046236D5E0FEE9E45, amount: swap.protocol_fee)
  else
    Contract.add_token_transfer(to: 0x0000CC1FADBD31B043947C016E09CCD59BC3C81E55AB8A4932A046236D5E0FEE9E45, amount: swap.protocol_fee, token_address: transfer.token_address)
  end
end
else
# Swap is invalid, return tokens to user
Contract.set_type("transfer")

if transfer.token_address == "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF" do
  Contract.add_token_transfer(to: transaction.address, amount: transfer.amount, token_address: "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF")
else
  if transfer.token_address == "UCO" do
    Contract.add_uco_transfer(to: transaction.address, amount: transfer.amount)
  else
    Contract.add_token_transfer(to: transaction.address, amount: transfer.amount, token_address: "UCO")
  end
end
end
end

condition triggered_by: transaction, on: update_code(), as: [
previous_public_key: (
# Pool code can only be updated from the router contract of the dex

# Transaction is not yet validated so we need to use previous address
# to get the genesis address
previous_address = Chain.get_previous_address()
Chain.get_genesis_address(previous_address) == 0x000077CEC9D9DBC0183CAF843CBB4828A932BB1457E382AC83B31AD6F9755DD50FFC
)
]

actions triggered_by: transaction, on: update_code() do
params = [
"0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF",
"UCO",
0x000090C5AFCC97C2357E964E3DDF5BE9948477F7C1DE2C633CDFC95B202970AEA036,
0x0000D1B4A0597A033F7DD0C8CA274745F850A990725B7B73B5E8CEBC7C4F9EA82954
]

new_code = Contract.call_function(0x00004CE47B2828E923EB679FEF311DD458AA0571C67DB5CB46B4E0793CAC525AC791, "get_pool_code", params)

if Code.is_valid?(new_code) && !Code.is_same?(new_code, contract.code) do
Contract.set_type("contract")
Contract.set_code(new_code)
end
end

condition triggered_by: transaction, on: set_protocol_fee(new_protocol_fee), as: [
content: new_protocol_fee <= 1 && new_protocol_fee >= 0,
previous_public_key: (
previous_address = Chain.get_previous_address()
Chain.get_genesis_address(previous_address) == 0x0000BE4D33FC48CD4791A58EF7296F6916F5A2032A4E66111CF10521D08FC660A4D3
)
]

actions triggered_by: transaction, on: set_protocol_fee(new_protocol_fee) do
State.set("protocol_fee", new_protocol_fee)
end

condition triggered_by: transaction, on: set_lp_fee(new_lp_fee), as: [
content: new_lp_fee <= 1 && new_lp_fee >= 0,
previous_public_key: (
previous_address = Chain.get_previous_address()
Chain.get_genesis_address(previous_address) == 0x0000BE4D33FC48CD4791A58EF7296F6916F5A2032A4E66111CF10521D08FC660A4D3
)
]

actions triggered_by: transaction, on: set_lp_fee(new_lp_fee) do
State.set("lp_fee", new_lp_fee)
end

export fun get_ratio(token_address) do
reserves = State.get("reserves", [token1: 0, token2: 0])
ratio = 0

token_address = String.to_uppercase(token_address)

if reserves.token1 > 0 && reserves.token2 > 0 do
if token_address == "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF" do
  ratio = reserves.token2 / reserves.token1
else
  ratio = reserves.token1 / reserves.token2
end
end
ratio
end

export fun get_equivalent_amount(token_address, amount) do
reserves = State.get("reserves", [token1: 0, token2: 0])
ratio = 0

token_address = String.to_uppercase(token_address)

if reserves.token1 > 0 && reserves.token2 > 0 do
if token_address == "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF" do
  ratio = reserves.token2 / reserves.token1
else
  ratio = reserves.token1 / reserves.token2
end
end

amount * ratio
end

export fun get_lp_token_to_mint(token1_amount, token2_amount) do
lp_token_supply = State.get("lp_token_supply", 0)
reserves = State.get("reserves", [token1: 0, token2: 0])

if lp_token_supply == 0 || reserves.token1 == 0 || reserves.token2 == 0 do
# First liquidity
Math.sqrt(token1_amount * token2_amount)
else
mint_amount1 = (token1_amount * lp_token_supply) / reserves.token1
mint_amount2 = (token2_amount * lp_token_supply) / reserves.token2

if mint_amount1 < mint_amount2 do
  mint_amount1
else
  mint_amount2
end
end
end

export fun get_swap_infos(token_address, input_amount) do
output_amount = 0
fee = 0
protocol_fee = 0
price_impact = 0

reserves = State.get("reserves", [token1: 0, token2: 0])
token_address = String.to_uppercase(token_address)

if reserves.token1 > 0 && reserves.token2 > 0 do
fee = input_amount * State.get("lp_fee", 0.3) / 100
protocol_fee = input_amount * State.get("protocol_fee", 0) / 100
amount_with_fee = input_amount - fee - protocol_fee

market_price = 0

if token_address == "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF" do
  market_price = reserves.token2 / reserves.token1
  amount = (amount_with_fee * reserves.token2) / (amount_with_fee + reserves.token1)
  if amount < reserves.token2 do
    output_amount = amount
  end
else
  market_price = reserves.token1 / reserves.token2
  amount = (amount_with_fee * reserves.token1) / (amount_with_fee + reserves.token2)
  if amount < reserves.token1 do
    output_amount = amount
  end
end

# This check is necessary as there might be some approximation in small decimal calculation
output_price = output_amount / input_amount
if output_amount > 0 && market_price > output_price do
  price_impact = 100 - (output_price * 100 / market_price)
end
end

[
output_amount: output_amount,
fee: fee,
protocol_fee: protocol_fee,
price_impact: price_impact
]
end

export fun get_remove_amounts(lp_token_amount) do
reserves = State.get("reserves", [token1: 0, token2: 0])
lp_token_supply = State.get("lp_token_supply", 0)

token1_to_remove = 0
token2_to_remove = 0

if lp_token_supply > 0 && lp_token_amount < lp_token_supply do
token1_to_remove = (lp_token_amount * reserves.token1) / lp_token_supply
token2_to_remove = (lp_token_amount * reserves.token2) / lp_token_supply
end

[token1: token1_to_remove, token2: token2_to_remove]
end

export fun get_pool_infos() do
reserves = State.get("reserves", [token1: 0, token2: 0])
stats = State.get("stats", [
token1_total_fee: 0,
token2_total_fee: 0,
token1_total_volume: 0,
token2_total_volume: 0,
token1_total_protocol_fee: 0,
token2_total_protocol_fee: 0,
])

[
token1: [
  address: "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF",
  reserve: reserves.token1
],
token2: [
  address: "UCO",
  reserve: reserves.token2
],
lp_token: [
  address: 0x0000D1B4A0597A033F7DD0C8CA274745F850A990725B7B73B5E8CEBC7C4F9EA82954,
  supply: State.get("lp_token_supply", 0)
],
fee: State.get("lp_fee", 0.3),
protocol_fee: State.get("protocol_fee", 0),
stats: stats
]
end

fun get_final_amounts(user_amounts, reserves, token1_min_amount, token2_min_amount) do
final_token1_amount = 0
final_token2_amount = 0

if reserves.token1 > 0 && reserves.token2 > 0 do
token2_ratio = reserves.token2 / reserves.token1
token2_equivalent_amount = user_amounts.token1 * token2_ratio

if token2_equivalent_amount <= user_amounts.token2 && token2_equivalent_amount >= token2_min_amount do
  final_token1_amount = user_amounts.token1
  final_token2_amount = token2_equivalent_amount
else
  token1_ratio = reserves.token1 / reserves.token2
  token1_equivalent_amount = user_amounts.token2 * token1_ratio

  if token1_equivalent_amount <= user_amounts.token1 && token1_equivalent_amount >= token1_min_amount do
    final_token1_amount = token1_equivalent_amount
    final_token2_amount = user_amounts.token2
  end
end
else
# No reserve
final_token1_amount = user_amounts.token1
final_token2_amount = user_amounts.token2
end

[token1: final_token1_amount, token2: final_token2_amount]
end

fun get_user_transfers_amount(tx) do
contract_address = 0x000090C5AFCC97C2357E964E3DDF5BE9948477F7C1DE2C633CDFC95B202970AEA036

token1_amount = 0
token2_amount = 0
transfers = Map.get(tx.token_transfers, contract_address, [])

uco_amount = Map.get(tx.uco_transfers, contract_address)
if uco_amount != nil do
transfers = List.prepend(transfers, [token_address: "UCO", amount: uco_amount])
end

if List.size(transfers) == 2 do
for transfer in transfers do
  if transfer.token_address == "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF" do
    token1_amount = transfer.amount
  end
  if transfer.token_address == "UCO" do
    token2_amount = transfer.amount
  end
end
end

[token1: token1_amount, token2: token2_amount]
end

fun get_user_transfer(tx) do
contract_address = 0x000090C5AFCC97C2357E964E3DDF5BE9948477F7C1DE2C633CDFC95B202970AEA036

token_transfer = nil
transfers = Map.get(tx.token_transfers, contract_address, [])

uco_amount = Map.get(tx.uco_transfers, contract_address)
if uco_amount != nil do
transfers = List.prepend(transfers, [token_address: "UCO", amount: uco_amount])
end

transfer = List.at(transfers, 0)

tokens = [
"0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF",
"UCO"
]

if List.size(transfers) == 1 && List.in?(tokens, transfer.token_address) do
token_transfer = transfer
end

token_transfer
end

fun get_user_lp_amount(token_transfers) do
lp_token = 0x0000D1B4A0597A033F7DD0C8CA274745F850A990725B7B73B5E8CEBC7C4F9EA82954

lp_amount = 0
transfers = Map.get(token_transfers, Chain.get_burn_address(), [])

for transfer in transfers do
if transfer.token_address == lp_token do
  lp_amount = transfer.amount
end
end

lp_amount
end

fun get_pool_balances() do
token2_balance = 0
if "UCO" == "UCO" do
token2_balance = contract.balance.uco
else
token2_id = [token_address: "UCO", token_id: 0]
token2_balance = Map.get(contract.balance.tokens, token2_id, 0)
end

token1_id = [token_address: "0000457EACA7FBAA96DB4A8D506A0B69684F546166FBF3C55391B1461907EFA58EAF", token_id: 0]
[
token1: Map.get(contract.balance.tokens, token1_id, 0),
token2: token2_balance
]
end

Content (0 B)

State (305 B)

 
{
  "lp_fee": 0,
  "lp_token_supply": 37330.91118605,
  "protocol_fee": 0.3,
  "reserves": {
    "token1": 90.77837,
    "token2": 15473549.17577442
  },
  "stats": {
    "token1_total_fee": 0.22957848,
    "token1_total_protocol_fee": 0.34821782,
    "token1_total_volume": 170.14974023,
    "token2_total_fee": 51672.1377832,
    "token2_total_protocol_fee": 64071.9967319,
    "token2_total_volume": 33841366.63421019
  }
}
                  
Movements (0)

Ownerships (1)

  • Secret shared with 1 key

    Encoded secret

    A77B5B7554CA2312EF6492B9588EE6179CCBCF3D91E4EA4A051620AD3C863780DA74DB99F8A524C2DE6AE3F22B2CF4C6F4C80887EABA665FC7129091

    Authorized keys

    • 000122A6CD9ED07E46835D6E88E5BD0BEE84C3F5E5DBF8E916AD9B2EC912C44AFEC2

Contract recipients (0)

Inputs (0)

Contract inputs (0)

Proofs and signatures

Previous public key

0001676F828B655C2D36D5D791D375A6124A44E10F7F8A3F63CA2D4F46704B884892

Previous signature

0A6C50FCAE2E669E80700791A0D36B12CDF19A11074D141AAB894FEA437F5A4C74782D5F768DD0A0667A2DC1539DD0311280E613E281AF988E4194638C98C608

Origin signature

30450221009D05708F871FE7FBA87978EC0F4E2B7C0ACF81965370FE2CE363A0DCB8ACAF8902204FA9321C465CF1BB4279FA82644ECB8899D78E6DAC1758C366818ECAFBF8C967

Proof of work

010204480DD0A3F06534B4F9B9D93AC3BCC7EA8437BAE24295DBCB92035EE4E5C7AC86DE42699A2F1481F9F892D528363680AF126B34DADED27CFC5CF4F778B7027D14

Proof of integrity

002A7BC55AD8A4B1B2B18DBD611B11E2C265AE6A491F38B3613CC9E8EB6C3F8C64

Coordinator signature

F9027020A497F8AACC3C99584D7D3604398244A3AB5B37C99693DE5555E89DFAA7396AA27D0C728BFB1D4F73E0AC9441CE30ABB5E4324F07DAEA8AE21D098D0C

Validator #1 public key

00010F74B5FEB03F130C26B66BB24AA5066168510220DC9D6C2590294863AC9C8DEE

Validator #1 signature

EB2F9B02389EF7FA801725E0C5B89980025A3B1A89CB264FCFE8719CDDF5708CAC5CCA7F9716BB2F1277EA0ADCF94E90B72497CFDA22941DBA87DA9DF03A6904

Validator #2 public key

00018106B590A190EC5E85CF8FB99F7967CB4D24FFB1FD5A903BF101E9D668C2ABB1

Validator #2 signature

8DD5555AE7544EB38C1DA19F991A7C5887779972E64E904BE904A361B96E9A01104794E5C6DC8F9AFA34061A620272DC8BE3D0B14C2336D48090A0318B017A0F

Validator #3 public key

0001B8800415E75326411D65020B8E3E306F22CB1D72BC5FF5929B3EB58CDA511327

Validator #3 signature

1E5E7F2DC4265A369DF9DF6E9CE9FE41CB3FD5DA649598BD6B7B07C40116A43126E60B8B08A9FEBB00F567DCBE9B1CFF68D22880FB4F1D33681AA7C6560BE40C

Validator #4 public key

00011518CD02E2B0009F828843512538A3F44A9CB493EB5E288376E4E45AD727AB3E

Validator #4 signature

963F0558D445CE4DA3BED8420D9A7927F3A0385CFFDE37A585C4518B04AEBDAD04CCE79C38023C528A514ED5D0AF482860328C11AF7FB30781853FF35E6BF603

Validator #5 public key

00016A24FA6FC34A345FB22A7E90CB6BC583AEA140B679549F745FB51D59A93F7868

Validator #5 signature

3F0660EF09A75CFFFD7208314A398B7C5B01D473CBA1D31B236B5D99D5435C968C9C8FD02C6E705A27E442900718E815EDAEA8E0C91CD70FE93CE2CFBE9C8A03

Validator #6 public key

0001A5F6705AFE5C9103B4BE3307F94B3EC386283B77ABAA1D39C423EA4D6597F989

Validator #6 signature

E6BA35DD4870F27BECA3051248CFF637022ABDAA4D8A33E4EFF7AB53F2BC27A3450900241F285D29537AAD657E475D79C056E43A27A3DE54FB9B46F0AAEC9002