From 4962ea2f62ab9580e04294b558c23d295bc9ccb3 Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sat, 30 Mar 2024 12:33:19 -0600 Subject: [PATCH 01/13] add Uint64 returns for compatibility with minifier --- ghost.bas | 152 +++++++++++++++++++++++++++--------------------------- 1 file changed, 76 insertions(+), 76 deletions(-) diff --git a/ghost.bas b/ghost.bas index ca16fd6..3a1ceb3 100644 --- a/ghost.bas +++ b/ghost.bas @@ -288,34 +288,34 @@ Function GetAssetToDeroOutputPrice(dero_bought Uint64, asset_address String) Uin 30 RETURN getOutputPrice(dero_bought, get_asset_reserve(asset_address), get_dero_reserve_per_asset(asset_address)) End Function -Function mintFee(reserve0 Uint64, reserve1 Uint64, asset_address String) +Function mintFee(reserve0 Uint64, reserve1 Uint64, asset_address String) Uint64 10 DIM feeTo as String 11 DIM rootKLast as Uint64 20 LET feeTo = LOAD("feeTo") // Get the last root k for the asset 30 LET rootKLast = LOAD(asset_address+":rootKLast") 40 IF rootKLast != 0 THEN GOTO 50 - 41 RETURN + 41 RETURN 0 50 DIM rootK as Uint64 60 LET rootK = sqrt(reserve0) * sqrt(reserve1) 70 IF rootK > rootKLast THEN GOTO 80 - 71 RETURN + 71 RETURN 0 80 DIM supply, liquidity_minted as Uint64 90 LET supply = get_supply_per_asset(asset_address) 100 LET liquidity_minted = mult_div(supply, rootK - rootKLast, rootK * 5 + rootKLast) 110 IF liquidity_minted > 0 THEN GOTO 111 ELSE GOTO 120 111 increase_provider_liquidity_by(feeTo, liquidity_minted, asset_address) 112 set_supply_per_asset(supply + liquidity_minted, asset_address) - 120 RETURN + 120 RETURN 0 End Function // Helper functions // Encapsulated to better understand what's happening and absctract BOO storage schema // from main code. -Function set_supply_per_asset(amount Uint64, asset_address String) +Function set_supply_per_asset(amount Uint64, asset_address String) Uint64 10 STORE(asset_address+":BOO", amount) - 20 RETURN + 20 RETURN 0 End Function Function get_supply_per_asset(asset_address String) Uint64 @@ -324,35 +324,35 @@ Function get_supply_per_asset(asset_address String) Uint64 30 RETURN LOAD(asset_address+":BOO") End Function -Function set_dero_reserve_per_asset(amount Uint64, asset_address String) +Function set_dero_reserve_per_asset(amount Uint64, asset_address String) Uint64 10 STORE(asset_address+":DERO", amount) - 20 RETURN + 20 RETURN 0 End Function Function get_dero_reserve_per_asset(asset_address String) Uint64 10 RETURN LOAD(asset_address+":DERO") End Function -Function set_asset_reserve(amount Uint64, asset_address String) +Function set_asset_reserve(amount Uint64, asset_address String) Uint64 10 STORE(asset_address, amount) - 20 RETURN + 20 RETURN 0 End Function Function get_asset_reserve(asset_address String) Uint64 20 RETURN LOAD(asset_address) End Function -Function increase_provider_liquidity_by(provider_address String, amount Uint64, asset_address String) +Function increase_provider_liquidity_by(provider_address String, amount Uint64, asset_address String) Uint64 10 IF EXISTS(ADDRESS_STRING(provider_address)+":BOO:"+asset_address) THEN GOTO 40 20 STORE(ADDRESS_STRING(provider_address)+":BOO:"+asset_address, amount) - 30 RETURN - 40 STORE(ADDRESS_STRING(provider_address)+":BOO:"+asset_address, get_provider_liquidity(provider_address, asset_address) + amount) - 50 RETURN + 30 RETURN 0 + 40 STORE(ADDRESS_STRING(provider_address)+":BOO:"+asset_address, get_provider_liquidity(provider_address, asset_address) + amount) + 50 RETURN 0 End Function -Function decrease_provider_liquidity_by(provider_address String, amount Uint64, asset_address String) +Function decrease_provider_liquidity_by(provider_address String, amount Uint64, asset_address String) Uint64 10 STORE(ADDRESS_STRING(provider_address)+":BOO:"+asset_address, get_provider_liquidity(provider_address, asset_address) - amount) - 20 RETURN + 20 RETURN 0 End Function Function get_provider_liquidity(provider_address String, asset_address String) Uint64 @@ -368,66 +368,66 @@ End Function // From Pieswap // lossless (a * b ) / c Function mult_div(a Uint64, b Uint64, c Uint64) Uint64 - 10 DIM base, maxdiv AS Uint64 - 20 LET base = 4294967296 // (1<<32) - 30 LET maxdiv = (base-1)*base + (base-1) - - 50 DIM res AS Uint64 - 60 LET res = (a/c) * b + (a%c) * (b/c) - 70 LET a = a % c - 80 LET b = b % c - 90 IF (a == 0 || b == 0) THEN GOTO 1000 - - 100 IF (c >= base) THEN GOTO 200 - 110 LET res = res + (a*b/c) - 120 GOTO 1000 - - 200 DIM norm AS Uint64 - 210 LET norm = maxdiv/c - 220 LET c = c * norm - 230 LET a = a * norm - - 300 DIM ah, al, bh, bl, ch, cl AS Uint64 - 310 LET ah = a / base - 320 LET al = a % base - 330 LET bh = b / base - 340 LET bl = b % base - 350 LET ch = c / base - 360 LET cl = c % base - - 400 DIM p0, p1, p2 AS Uint64 - 410 LET p0 = al*bl - 420 LET p1 = p0 / base + al*bh - 430 LET p0 = p0 % base - 440 LET p2 = p1 / base + ah*bh - 450 LET p1 = (p1 % base) + ah*bl - 460 LET p2 = p2 + p1 / base - 470 LET p1 = p1 % base - - 500 DIM q0, q1, rhat AS Uint64 - 510 LET p2 = p2 % c - 520 LET q1 = p2 / ch - 530 LET rhat = p2 % ch - - 600 IF (q1 < base && (rhat >= base || q1*cl <= rhat*base+p1)) THEN GOTO 700 - 610 LET q1 = q1 - 1 - 620 LET rhat = rhat + ch - 630 GOTO 600 - - 700 LET p1 = ((p2 % base) * base + p1) - q1 * cl - 710 LET p2 = (p2 / base * base + p1 / base) - q1 * ch - 720 LET p1 = (p1 % base) + (p2 % base) * base - 730 LET q0 = p1 / ch - 740 LET rhat = p1 % ch - - 800 IF (q0 < base && (rhat >= base || q0*cl <= rhat*base+p0)) THEN GOTO 900 - 810 LET q0 = q0 - 1 - 820 LET rhat = rhat + ch - 830 GOTO 800 - - 900 LET res = res + q0 + q1 * base - - 1000 RETURN res + 10 DIM base, maxdiv AS Uint64 + 20 LET base = 4294967296 // (1<<32) + 30 LET maxdiv = (base-1)*base + (base-1) + + 50 DIM res AS Uint64 + 60 LET res = (a/c) * b + (a%c) * (b/c) + 70 LET a = a % c + 80 LET b = b % c + 90 IF (a == 0 || b == 0) THEN GOTO 1000 + + 100 IF (c >= base) THEN GOTO 200 + 110 LET res = res + (a*b/c) + 120 GOTO 1000 + + 200 DIM norm AS Uint64 + 210 LET norm = maxdiv/c + 220 LET c = c * norm + 230 LET a = a * norm + + 300 DIM ah, al, bh, bl, ch, cl AS Uint64 + 310 LET ah = a / base + 320 LET al = a % base + 330 LET bh = b / base + 340 LET bl = b % base + 350 LET ch = c / base + 360 LET cl = c % base + + 400 DIM p0, p1, p2 AS Uint64 + 410 LET p0 = al*bl + 420 LET p1 = p0 / base + al*bh + 430 LET p0 = p0 % base + 440 LET p2 = p1 / base + ah*bh + 450 LET p1 = (p1 % base) + ah*bl + 460 LET p2 = p2 + p1 / base + 470 LET p1 = p1 % base + + 500 DIM q0, q1, rhat AS Uint64 + 510 LET p2 = p2 % c + 520 LET q1 = p2 / ch + 530 LET rhat = p2 % ch + + 600 IF (q1 < base && (rhat >= base || q1*cl <= rhat*base+p1)) THEN GOTO 700 + 610 LET q1 = q1 - 1 + 620 LET rhat = rhat + ch + 630 GOTO 600 + + 700 LET p1 = ((p2 % base) * base + p1) - q1 * cl + 710 LET p2 = (p2 / base * base + p1 / base) - q1 * ch + 720 LET p1 = (p1 % base) + (p2 % base) * base + 730 LET q0 = p1 / ch + 740 LET rhat = p1 % ch + + 800 IF (q0 < base && (rhat >= base || q0*cl <= rhat*base+p0)) THEN GOTO 900 + 810 LET q0 = q0 - 1 + 820 LET rhat = rhat + ch + 830 GOTO 800 + + 900 LET res = res + q0 + q1 * base + + 1000 RETURN res End Function // babylonian method (https://en.wikipedia.org/wiki/Methods_of_computing_square_roots#Babylonian_method) From e9888ada9655e88557b8d2a10d9012404867a6a0 Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sat, 30 Mar 2024 12:35:15 -0600 Subject: [PATCH 02/13] change ANDs from bitwise to logical --- ghost.bas | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/ghost.bas b/ghost.bas index 3a1ceb3..7963a38 100644 --- a/ghost.bas +++ b/ghost.bas @@ -38,7 +38,7 @@ Function AddLiquidity(asset_address String, min_liquidity Uint64) Uint64 02 LET SYS_MAX_VALUE = 18446744073709551 // Uint64.Max/1000 to protect from infinite supply tokens 03 LET dero_deposited = DEROVALUE() 04 LET asset_deposited = ASSETVALUE(HEXDECODE(asset_address)) - 10 IF (asset_deposited > 0 & dero_deposited > 0 ) THEN GOTO 30 + 10 IF (asset_deposited > 0 && dero_deposited > 0 ) THEN GOTO 30 20 GOTO 666 30 LET total_liquidity = get_supply_per_asset(asset_address) // Pair already exists @@ -52,7 +52,7 @@ Function AddLiquidity(asset_address String, min_liquidity Uint64) Uint64 47 LET total_liquidity = get_supply_per_asset(asset_address) // Must be defined again since totalSupply can update in mintFee 48 LET asset_amount = mult_div(dero_deposited, asset_reserve , dero_reserve + 1) 49 LET liquidity_minted = mult_div(dero_deposited, total_liquidity, dero_reserve) - 50 IF asset_deposited >= asset_amount & liquidity_minted >= min_liquidity & (asset_reserve + asset_deposited <= SYS_MAX_VALUE) THEN GOTO 52 + 50 IF asset_deposited >= asset_amount && liquidity_minted >= min_liquidity && (asset_reserve + asset_deposited <= SYS_MAX_VALUE) THEN GOTO 52 51 GOTO 666 52 increase_provider_liquidity_by(SIGNER(), liquidity_minted, asset_address) 53 set_supply_per_asset(total_liquidity + liquidity_minted, asset_address) @@ -68,7 +68,7 @@ Function AddLiquidity(asset_address String, min_liquidity Uint64) Uint64 59 GOTO 70 // else // Creating pair - 60 IF dero_deposited >= 1000 & asset_deposited <= SYS_MAX_VALUE THEN GOTO 62 + 60 IF dero_deposited >= 1000 && asset_deposited <= SYS_MAX_VALUE THEN GOTO 62 61 GOTO 666 // Initialize the asset reserve record for this asset 62 set_asset_reserve(asset_deposited, asset_address) @@ -91,7 +91,7 @@ End Function // {asset_address} The deposited asset's SCID Function RemoveLiquidity(amount Uint64, min_dero Uint64, min_assets Uint64, asset_address String) Uint64 01 DIM total_liquidity, dero_reserve, asset_reserve, dero_amount, asset_amount as Uint64 - 10 IF amount > 0 & (min_dero > 0 & min_assets > 0) & ( get_provider_liquidity(SIGNER(), asset_address) >= amount ) THEN GOTO 30 + 10 IF amount > 0 && (min_dero > 0 && min_assets > 0) && ( get_provider_liquidity(SIGNER(), asset_address) >= amount ) THEN GOTO 30 20 GOTO 666 30 LET total_liquidity = get_supply_per_asset(asset_address) 40 IF total_liquidity > 0 THEN GOTO 60 @@ -102,7 +102,7 @@ Function RemoveLiquidity(amount Uint64, min_dero Uint64, min_assets Uint64, asse 90 LET total_liquidity = get_supply_per_asset(asset_address) // Must be defined again since totalSupply can update in mintFee 100 LET dero_amount = mult_div(amount, dero_reserve, total_liquidity) 110 LET asset_amount = mult_div(amount, asset_reserve, total_liquidity) - 120 IF dero_amount >= min_dero & asset_amount >= min_assets THEN GOTO 140 + 120 IF dero_amount >= min_dero && asset_amount >= min_assets THEN GOTO 140 130 GOTO 666 140 decrease_provider_liquidity_by(SIGNER(), amount, asset_address) 150 set_supply_per_asset(total_liquidity - amount, asset_address) @@ -123,7 +123,7 @@ End Function Function getInputPrice(input_amount Uint64, input_reserve Uint64, output_reserve Uint64) Uint64 01 DIM SYS_MAX_VALUE as Uint64 02 LET SYS_MAX_VALUE = 18446744073709551 - 10 IF input_reserve > 0 & output_reserve > 0 & input_amount <= SYS_MAX_VALUE THEN GOTO 30 + 10 IF input_reserve > 0 && output_reserve > 0 && input_amount <= SYS_MAX_VALUE THEN GOTO 30 20 PANIC 30 DIM input_amount_with_fee as Uint64 40 LET input_amount_with_fee = input_amount * 997 @@ -143,7 +143,7 @@ Function getOutputPrice(output_amount Uint64, input_reserve Uint64, output_reser End Function Function deroToAssetInput(dero_sold Uint64, min_assets Uint64, asset_address String) Uint64 - 10 IF (dero_sold > 0 & min_assets > 0) THEN GOTO 30 + 10 IF (dero_sold > 0 && min_assets > 0) THEN GOTO 30 20 PANIC 30 DIM assets_bought, asset_reserve, dero_reserve as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) @@ -174,7 +174,7 @@ Function DeroToAssetSwapInputMin(min_assets Uint64, asset_address String) Uint64 End Function Function deroToAssetOutput(assets_bought Uint64, max_dero Uint64, asset_address String) Uint64 - 10 IF (assets_bought > 0 & max_dero > 0) THEN GOTO 30 + 10 IF (assets_bought > 0 && max_dero > 0) THEN GOTO 30 20 PANIC 30 DIM asset_reserve, dero_reserve, dero_sold, dero_refund as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) @@ -200,7 +200,7 @@ Function DeroToAssetSwapOutput(assets_bought Uint64, asset_address String) Uint6 End Function Function assetToDeroInput(assets_sold Uint64, min_dero Uint64, asset_address String) Uint64 - 10 IF (assets_sold > 0 & min_dero > 0) THEN GOTO 30 + 10 IF (assets_sold > 0 && min_dero > 0) THEN GOTO 30 20 PANIC 30 DIM asset_reserve, dero_bought as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) From 95b707efa61d7477145106e92c8584df09b2b670 Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sat, 30 Mar 2024 16:37:49 -0600 Subject: [PATCH 03/13] fix public initialize function --- ghost.bas | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ghost.bas b/ghost.bas index 7963a38..8985d46 100644 --- a/ghost.bas +++ b/ghost.bas @@ -15,11 +15,14 @@ ////////////////////////////////////// Function Initialize() Uint64 + 01 IF EXISTS("owner") == 0 THEN GOTO 10 + 02 GOTO 666 10 STORE("owner", SIGNER()) 20 STORE("feeTo", SIGNER()) 30 STORE("nameHdr", "Ghost Exchange") 40 STORE("descrHdr", "Phantom-powered finance") - 50 RETURN 0 + 50 RETURN 0 + 666 RETURN 1 End Function // Provided liquidity will be tracked using BOO tokens. From 777b2255086a544870ab13677261c6631cac650b Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sat, 30 Mar 2024 16:38:12 -0600 Subject: [PATCH 04/13] add minified contract and tests --- ghost_min.bas | 318 ++++++++++++++++++++++++++++++++++++++++++++++++++ test_min.sh | 167 ++++++++++++++++++++++++++ 2 files changed, 485 insertions(+) create mode 100644 ghost_min.bas create mode 100644 test_min.sh diff --git a/ghost_min.bas b/ghost_min.bas new file mode 100644 index 0000000..5e45922 --- /dev/null +++ b/ghost_min.bas @@ -0,0 +1,318 @@ +Function Initialize() Uint64 +1 IF EXISTS("owner")==0 THEN GOTO 10 +2 GOTO 666 +10 STORE("owner",SIGNER()) +20 STORE("feeTo",SIGNER()) +30 STORE("nameHdr","Ghost Exchange") +40 STORE("descrHdr","Phantom-powered finance") +50 RETURN 0 +666 RETURN 1 +End Function +Function AddLiquidity(t String,u Uint64) Uint64 +1 DIM w2,r1,s1,t1,u1,v1,w1,x1 AS Uint64 +2 LET x1 = 18446744073709551 +3 LET v1 = DEROVALUE() +4 LET w1 = ASSETVALUE(HEXDECODE(t)) +10 IF (w1>0)&&(v1>0) THEN GOTO 30 +20 GOTO 666 +30 LET w2 = i(t) +40 IF w2>0 THEN GOTO 41 ELSE GOTO 60 +41 IF u>0 THEN GOTO 43 +42 GOTO 666 +43 LET r1 = k(t) +44 LET s1 = m(t) +45 IF q(s1,w1)==1 THEN GOTO 666 +46 g(r1,s1,t) +47 LET w2 = i(t) +48 LET t1 = r(v1,s1,r1+1) +49 LET u1 = r(v1,w2,r1) +50 IF ((w1>=t1)&&(u1>=u))&&((s1+w1)<=x1) THEN GOTO 52 +51 GOTO 666 +52 n(SIGNER(),u1,t) +53 h(w2+u1,t) +54 IF w1==t1 THEN GOTO 56 +55 SEND_ASSET_TO_ADDRESS(SIGNER(),w1-t1,HEXDECODE(t)) +56 j(r1+v1,t) +57 l(s1+t1,t) +58 STORE(t+":rootKLast",s(r1+v1)*s(s1+t1)) +59 GOTO 70 +60 IF (v1>=1000)&&(w1<=x1) THEN GOTO 62 +61 GOTO 666 +62 l(w1,t) +63 DIM y1 AS Uint64 +64 LET y1 = v1 +65 h(y1,t) +66 j(v1,t) +67 STORE(t+":rootKLast",s(w1)*s(v1)) +68 n(SIGNER(),y1,t) +70 RETURN 0 +666 RETURN 1 +End Function +Function RemoveLiquidity(v Uint64,w Uint64,y2 Uint64,t String) Uint64 +1 DIM w2,r1,s1,z1,t1 AS Uint64 +10 IF ((v>0)&&((w>0)&&(y2>0)))&&(p(SIGNER(),t)>=v) THEN GOTO 30 +20 GOTO 666 +30 LET w2 = i(t) +40 IF w2>0 THEN GOTO 60 +50 GOTO 666 +60 LET s1 = m(t) +70 LET r1 = k(t) +80 g(r1,s1,t) +90 LET w2 = i(t) +100 LET z1 = r(v,r1,w2) +110 LET t1 = r(v,s1,w2) +120 IF (z1>=w)&&(t1>=y2) THEN GOTO 140 +130 GOTO 666 +140 o(SIGNER(),v,t) +150 h(w2-v,t) +160 j(r1-z1,t) +170 l(s1-t1,t) +180 STORE(t+":rootKLast",s(r1-z1)*s(s1-t1)) +190 SEND_DERO_TO_ADDRESS(SIGNER(),z1) +200 SEND_ASSET_TO_ADDRESS(SIGNER(),t1,HEXDECODE(t)) +210 RETURN 0 +666 RETURN 1 +End Function +Function l1(o1 Uint64,z2 Uint64,a1 Uint64) Uint64 +1 DIM x1 AS Uint64 +2 LET x1 = 18446744073709551 +10 IF ((z2>0)&&(a1>0))&&(o1<=x1) THEN GOTO 30 +20 PANIC +30 DIM b2 AS Uint64 +40 LET b2 = o1*997 +50 IF q(z2*1000,o1*1000)==0 THEN GOTO 70 +60 PANIC +70 RETURN r(b2,a1,(z2*1000)+b2) +End Function +Function m1(b1 Uint64,z2 Uint64,a1 Uint64) Uint64 +10 IF ((z2>0)&&(a1>0))&&(a1>b1) THEN GOTO 30 +20 PANIC +30 RETURN r(z2*1000,b1,((a1-b1)*997)+1) +End Function +Function n1(c1 Uint64,y2 Uint64,t String) Uint64 +10 IF (c1>0)&&(y2>0) THEN GOTO 30 +20 PANIC +30 DIM d1,s1,r1 AS Uint64 +40 LET s1 = m(t) +50 LET r1 = k(t) +60 LET d1 = l1(c1,r1,s1) +70 IF d1>=y2 THEN GOTO 90 +80 PANIC +90 SEND_ASSET_TO_ADDRESS(SIGNER(),d1,HEXDECODE(t)) +100 l(s1-d1,t) +110 j(r1+c1,t) +120 RETURN 0 +End Function +Function DeroToAssetSwapInput(asset_address String) Uint64 +10 RETURN n1(DEROVALUE(),1,asset_address) +End Function +Function DeroToAssetSwapInputMin(min_assets Uint64,asset_address String) Uint64 +10 RETURN n1(DEROVALUE(),min_assets,asset_address) +End Function +Function d(d1 Uint64,e1 Uint64,t String) Uint64 +10 IF (d1>0)&&(e1>0) THEN GOTO 30 +20 PANIC +30 DIM s1,r1,c1,c2 AS Uint64 +40 LET s1 = m(t) +41 LET r1 = k(t) +50 LET c1 = m1(d1,r1,s1) +60 IF c1>e1 THEN GOTO 61 ELSE GOTO 70 +61 PANIC +70 LET c2 = e1-c1 +80 IF c2==0 THEN GOTO 100 +90 SEND_DERO_TO_ADDRESS(SIGNER(),c2) +100 SEND_ASSET_TO_ADDRESS(SIGNER(),d1,HEXDECODE(t)) +110 l(s1-d1,t) +120 j(r1+c1,t) +130 RETURN 0 +End Function +Function DeroToAssetSwapOutput(assets_bought Uint64,asset_address String) Uint64 +10 RETURN d(assets_bought,DEROVALUE(),asset_address) +End Function +Function e(f1 Uint64,w Uint64,t String) Uint64 +10 IF (f1>0)&&(w>0) THEN GOTO 30 +20 PANIC +30 DIM s1,g1 AS Uint64 +40 LET s1 = m(t) +50 LET g1 = l1(f1,s1,k(t)) +60 IF g1>=w THEN GOTO 80 +70 PANIC +80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) +90 j(k(t)-g1,t) +100 l(s1+f1,t) +110 RETURN 0 +End Function +Function AssetToDeroSwapInput(min_dero Uint64,asset_address String) Uint64 +10 RETURN e(ASSETVALUE(HEXDECODE(asset_address)),min_dero,asset_address) +End Function +Function f(g1 Uint64,h1 Uint64,t String) Uint64 +10 IF g1>0 THEN GOTO 30 +20 PANIC +30 DIM s1,f1,d2 AS Uint64 +40 LET s1 = m(t) +50 LET f1 = m1(g1,s1,k(t)) +60 IF h1>=f1 THEN GOTO 80 +70 PANIC +80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) +90 LET d2 = h1-f1 +100 IF d2==0 THEN GOTO 120 +110 SEND_ASSET_TO_ADDRESS(SIGNER(),d2,HEXDECODE(t)) +120 j(k(t)-g1,t) +130 l(s1+f1,t) +140 RETURN 0 +End Function +Function AssetToDeroSwapOutput(dero_bought Uint64,asset_address String) Uint64 +10 RETURN f(dero_bought,ASSETVALUE(HEXDECODE(asset_address)),asset_address) +End Function +Function GetDeroToAssetInputPrice(c1 Uint64,t String) Uint64 +10 IF c1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN l1(c1,k(t),m(t)) +End Function +Function GetDeroToAssetOutputPrice(d1 Uint64,t String) Uint64 +10 IF d1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN m1(d1,k(t),m(t)) +End Function +Function GetAssetToDeroInputPrice(f1 Uint64,t String) Uint64 +10 IF f1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN l1(f1,m(t),k(t)) +End Function +Function GetAssetToDeroOutputPrice(g1 Uint64,t String) Uint64 +10 IF g1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN m1(g1,m(t),k(t)) +End Function +Function g(i1 Uint64,j1 Uint64,t String) Uint64 +10 DIM e2 AS String +11 DIM f2 AS Uint64 +20 LET e2 = LOAD("feeTo") +30 LET f2 = LOAD(t+":rootKLast") +40 IF f2!=0 THEN GOTO 50 +41 RETURN 0 +50 DIM g2 AS Uint64 +60 LET g2 = s(i1)*s(j1) +70 IF g2>f2 THEN GOTO 80 +71 RETURN 0 +80 DIM h2,u1 AS Uint64 +90 LET h2 = i(t) +100 LET u1 = r(h2,g2-f2,(g2*5)+f2) +110 IF u1>0 THEN GOTO 111 ELSE GOTO 120 +111 n(e2,u1,t) +112 h(h2+u1,t) +120 RETURN 0 +End Function +Function h(v Uint64,t String) Uint64 +10 STORE(t+":BOO",v) +20 RETURN 0 +End Function +Function i(t String) Uint64 +10 IF EXISTS(t+":BOO") THEN GOTO 30 +20 RETURN 0 +30 RETURN LOAD(t+":BOO") +End Function +Function j(v Uint64,t String) Uint64 +10 STORE(t+":DERO",v) +20 RETURN 0 +End Function +Function k(t String) Uint64 +10 RETURN LOAD(t+":DERO") +End Function +Function l(v Uint64,t String) Uint64 +10 STORE(t,v) +20 RETURN 0 +End Function +Function m(t String) Uint64 +20 RETURN LOAD(t) +End Function +Function n(k1 String,v Uint64,t String) Uint64 +10 IF EXISTS((ADDRESS_STRING(k1)+":BOO:")+t) THEN GOTO 40 +20 STORE((ADDRESS_STRING(k1)+":BOO:")+t,v) +30 RETURN 0 +40 STORE((ADDRESS_STRING(k1)+":BOO:")+t,p(k1,t)+v) +50 RETURN 0 +End Function +Function o(k1 String,v Uint64,t String) Uint64 +10 STORE((ADDRESS_STRING(k1)+":BOO:")+t,p(k1,t)-v) +20 RETURN 0 +End Function +Function p(k1 String,t String) Uint64 +10 RETURN LOAD((ADDRESS_STRING(k1)+":BOO:")+t) +End Function +Function q(l1 Uint64,m1 Uint64) Uint64 +10 IF l1>(18446744073709551615-m1) THEN GOTO 100 +20 RETURN 0 +100 RETURN 1 +End Function +Function r(l1 Uint64,m1 Uint64,n1 Uint64) Uint64 +10 DIM i2,j2 AS Uint64 +20 LET i2 = 4294967296 +30 LET j2 = ((i2-1)*i2)+(i2-1) +50 DIM k2 AS Uint64 +60 LET k2 = ((l1/n1)*m1)+((l1%n1)*(m1/n1)) +70 LET l1 = l1%n1 +80 LET m1 = m1%n1 +90 IF (l1==0)||(m1==0) THEN GOTO 1000 +100 IF n1>=i2 THEN GOTO 200 +110 LET k2 = k2+((l1*m1)/n1) +120 GOTO 1000 +200 DIM l2 AS Uint64 +210 LET l2 = j2/n1 +220 LET n1 = n1*l2 +230 LET l1 = l1*l2 +300 DIM m2,n2,o2,u3,q2,r2 AS Uint64 +310 LET m2 = l1/i2 +320 LET n2 = l1%i2 +330 LET o2 = m1/i2 +340 LET u3 = m1%i2 +350 LET q2 = n1/i2 +360 LET r2 = n1%i2 +400 DIM s2,t2,u2 AS Uint64 +410 LET s2 = n2*u3 +420 LET t2 = (s2/i2)+(n2*o2) +430 LET s2 = s2%i2 +440 LET u2 = (t2/i2)+(m2*o2) +450 LET t2 = (t2%i2)+(m2*u3) +460 LET u2 = u2+(t2/i2) +470 LET t2 = t2%i2 +500 DIM v2,w2,x2 AS Uint64 +510 LET u2 = u2%n1 +520 LET w2 = u2/q2 +530 LET x2 = u2%q2 +600 IF (w2=i2)||((w2*r2)<=((x2*i2)+t2))) THEN GOTO 700 +610 LET w2 = w2-1 +620 LET x2 = x2+q2 +630 GOTO 600 +700 LET t2 = (((u2%i2)*i2)+t2)-(w2*r2) +710 LET u2 = (((u2/i2)*i2)+(t2/i2))-(w2*q2) +720 LET t2 = (t2%i2)+((u2%i2)*i2) +730 LET v2 = t2/q2 +740 LET x2 = t2%q2 +800 IF (v2=i2)||((v2*r2)<=((x2*i2)+s2))) THEN GOTO 900 +810 LET v2 = v2-1 +820 LET x2 = x2+q2 +830 GOTO 800 +900 LET k2 = (k2+v2)+(w2*i2) +1000 RETURN k2 +End Function +Function s(o1 Uint64) Uint64 +10 IF o1>3 THEN GOTO 20 ELSE GOTO 90 +20 DIM y2,z2 AS Uint64 +30 LET z2 = o1 +40 LET y2 = (o1/2)+1 +50 IF y2 2, instead deposits to SC + +CURDIR=`/bin/pwd` +BASEDIR=$(dirname $0) +ABSPATH=$(readlink -f $0) +ABSDIR=$(dirname $ABSPATH) + +command -v curl >/dev/null 2>&1 || { echo "I require curl but it's not installed. Aborting." >&2; exit 1; } +command -v jq >/dev/null 2>&1 || { echo "I require jq but it's not installed. Aborting." >&2; exit 1; } + +baseasset="0000000000000000000000000000000000000000000000000000000000000000" + +daemon_rpc_port="20000" # daemon rpc is listening on this port + +function balance(){ + curl --silent http://127.0.0.1:$1/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"getbalance"}' -H 'Content-Type: application/json'| jq -r ".result.balance" +} + +function scassetbalance(){ + curl --silent http://127.0.0.1:$daemon_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"getsc","params":{ "scid":"'"$1"'" , "code":false, "variables":true}}' -H 'Content-Type: application/json'| jq -r '.result.balances."'$2'"' +} + +function tokenbalance(){ + curl --silent http://127.0.0.1:$1/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"getbalance" , "params":{ "scid":"'"$2"'" }}' -H 'Content-Type: application/json'| jq -r ".result.balance" +} + +owner_rpc_port="30000" +user1_rpc_port="30001" +user2_rpc_port="30002" + +owner_address=$(curl --silent http://127.0.0.1:$owner_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"getaddress"}' -H 'Content-Type: application/json'| jq -r ".result.address") +user1_address=$(curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"getaddress"}' -H 'Content-Type: application/json'| jq -r ".result.address") +user2_address=$(curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"getaddress"}' -H 'Content-Type: application/json'| jq -r ".result.address") + +echo "owner address" $owner_address +echo "user1 address" $user1_address +echo "user2 address" $user2_address + +echo "Address 1 DERO balance" $(balance $user1_rpc_port ) +echo "Address 2 DERO balance" $(balance $user2_rpc_port ) + +# use owner wallet to load/install an Ghost sc to chain +ghostscid=$(curl --silent --request POST --data-binary @ghost_min.bas http://127.0.0.1:$owner_rpc_port/install_sc| jq -r ".txid") +echo "Ghost SCID" $ghostscid +sleep 2 + +asset1scid=$(curl --silent --request POST --data-binary @asset.bas http://127.0.0.1:$owner_rpc_port/install_sc| jq -r ".txid") +echo "asset1 SCID" $asset1scid +sleep 2 + + +asset2scid=$(curl --silent --request POST --data-binary @asset.bas http://127.0.0.1:$owner_rpc_port/install_sc| jq -r ".txid") +echo "asset2 SCID" $asset2scid +sleep 2 + +echo -n "user 1 minting 20000000000 asset1 " +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":100000,"scid":"'"$asset1scid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"IssueAsset"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 minting 20000000000 asset1 " +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":100000,"scid":"'"$asset1scid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"IssueAsset"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 creating trading pair for asset1 " +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"u","datatype":"U","value":1}], "transfers": [{"burn":1234,"destination":"'"$user2_address"'"},{"scid":"'"$asset1scid"'", "burn":1234}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 doubling liquidity for the asset1 pair" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"u","datatype":"U","value":1}], "transfers": [{"burn":1234,"destination":"'"$user2_address"'"},{"scid":"'"$asset1scid"'", "burn":5000}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 adding liquidity for the asset1 pair" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"u","datatype":"U","value":1}], "transfers": [{"burn":1234,"destination":"'"$user1_address"'"},{"scid":"'"$asset1scid"'", "burn":5000}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 removing all liquidity for the asset1 pair" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"v","datatype":"U","value":2468},{"name":"w","datatype":"U","value":1},{"name":"y2","datatype":"U","value":1}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 removing all liquidity for the asset1 pair" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"v","datatype":"U","value":1234},{"name":"w","datatype":"U","value":1},{"name":"y2","datatype":"U","value":1}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +printf "rebuilding liquidity for asset1" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"u","datatype":"U","value":1}], "transfers": [{"burn":10000,"destination":"'"$user2_address"'"},{"scid":"'"$asset1scid"'", "burn":10000}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"u","datatype":"U","value":1}], "transfers": [{"burn":1234,"destination":"'"$user1_address"'"},{"scid":"'"$asset1scid"'", "burn":5000}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 minting 20000000000 asset2 " +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":100000,"scid":"'"$asset2scid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"IssueAsset"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 minting 20000000000 asset2 " +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":100000,"scid":"'"$asset2scid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"IssueAsset"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "building liquidity for asset2"; +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"'"$asset2scid"'"},{"name":"u","datatype":"U","value":1}], "transfers": [{"burn":10000,"destination":"'"$user2_address"'"},{"scid":"'"$asset2scid"'", "burn":10000}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"'"$asset2scid"'"},{"name":"u","datatype":"U","value":1}], "transfers": [{"burn":1234,"destination":"'"$user1_address"'"},{"scid":"'"$asset2scid"'", "burn":5000}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 swaps 1000 dero for asset2 " +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":1000,"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"DeroToAssetSwapInput"},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 swaps 5000 dero for asset2 " +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":5000,"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"DeroToAssetSwapInput"},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "Fails when user 1 swaps 1000 dero for asset2 and receives less than the min specified" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":1000,"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"DeroToAssetSwapInputMin"},{"name":"min_assets","datatype":"U","value":401},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 swaps 1000 dero for asset2 specifying min assets to receive" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":1000,"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"DeroToAssetSwapInputMin"},{"name":"min_assets","datatype":"U","value":400},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "Fails when user 1 buys 100 asset2 and pays more dero than the max specified" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":266,"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"DeroToAssetSwapOutput"},{"name":"assets_bought","datatype":"U","value":100},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 buys 100 asset2 specifying max dero to pay" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"sc_dero_deposit":267,"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"DeroToAssetSwapOutput"},{"name":"assets_bought","datatype":"U","value":100},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "Fails when user 2 sells 100 asset2 and receives less than the min specified" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AssetToDeroSwapInput"},{"name":"min_dero","datatype":"U","value":267},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}], "transfers": [{"scid":"'"$asset2scid"'", "burn":100}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 sells 100 asset2 specifying min dero to receive" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AssetToDeroSwapInput"},{"name":"min_dero","datatype":"U","value":266},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}], "transfers": [{"scid":"'"$asset2scid"'", "burn":100}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "fails when user 2 spends more than the max of asset2 specified for sell to receive a specific dero amount" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AssetToDeroSwapOutput"},{"name":"dero_bought","datatype":"U","value":100},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}], "transfers": [{"scid":"'"$asset2scid"'", "burn":37}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 specifies a max of asset2 to sell to receive a specific dero amount" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AssetToDeroSwapOutput"},{"name":"dero_bought","datatype":"U","value":100},{"name":"asset_address","datatype":"S","value":"'"$asset2scid"'"}], "transfers": [{"scid":"'"$asset2scid"'", "burn":38}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 removing all liquidity for the asset1 pair" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"v","datatype":"U","value":10000},{"name":"w","datatype":"U","value":1},{"name":"y2","datatype":"U","value":1}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 1 removing all liquidity for the asset2 pair" +curl --silent http://127.0.0.1:$user1_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"t","datatype":"S","value":"'"$asset2scid"'"},{"name":"v","datatype":"U","value":10000},{"name":"w","datatype":"U","value":1},{"name":"y2","datatype":"U","value":1}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 removing all liquidity for the asset1 pair" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"t","datatype":"S","value":"'"$asset1scid"'"},{"name":"v","datatype":"U","value":1234},{"name":"w","datatype":"U","value":1},{"name":"y2","datatype":"U","value":1}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo -n "user 2 removing all liquidity for the asset1 pair" +curl --silent http://127.0.0.1:$user2_rpc_port/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"'"$ghostscid"'","ringsize":2, "sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"t","datatype":"S","value":"'"$asset2scid"'"},{"name":"v","datatype":"U","value":1234},{"name":"w","datatype":"U","value":1},{"name":"y2","datatype":"U","value":1}] }}' -H 'Content-Type: application/json' | jq -r ".result.txid" +sleep 2 + +echo "SC DERO balance" $(scassetbalance $ghostscid $baseasset ) +echo "SC Asset1 balance" $(scassetbalance $ghostscid $asset1scid ) +echo "SC Asset2 balance" $(scassetbalance $ghostscid $asset2scid ) +exit 0 \ No newline at end of file From f676b0171be5ce74ab95455cf5c535c741364ba2 Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sun, 31 Mar 2024 23:55:38 -0600 Subject: [PATCH 05/13] update curl command examples --- index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index e2e9bd5..f949130 100644 --- a/index.html +++ b/index.html @@ -140,7 +140,7 @@

AddLiquidity

- curl -X POST http://127.0.0.1:10103/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"bb8714fefca6187c914872ff138fcf4bf883d2ba81dfa73ea19265a2012f3cd0","ringsize":2,"sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"asset_address","datatype":"S","value":"ASSET_SCID_HERE"},{"name":"min_liquidity","datatype":"U","value":MIN_LIQUIDITY_HERE}],"transfers":[{"burn":"DERO_AMOUNT_HERE","destination":"RANDOM_DESTINATION_ADDRESS_HERE"},{"scid":"ASSET_SCID_HERE","burn":"ASSET_AMOUNT_HERE"}]}}' -H 'Content-Type: application/json' + curl -X POST http://127.0.0.1:10103/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"transfer","params":{"scid":"bb8714fefca6187c914872ff138fcf4bf883d2ba81dfa73ea19265a2012f3cd0","ringsize":2,"sc_rpc":[{"name":"entrypoint","datatype":"S","value":"AddLiquidity"},{"name":"t","datatype":"S","value":"ASSET_SCID_HERE"},{"name":"u","datatype":"U","value":MIN_LIQUIDITY_HERE}],"transfers":[{"burn":"DERO_AMOUNT_HERE","destination":"RANDOM_DESTINATION_ADDRESS_HERE"},{"scid":"ASSET_SCID_HERE","burn":"ASSET_AMOUNT_HERE"}]}}' -H 'Content-Type: application/json'
@@ -151,7 +151,7 @@

RemoveLiquidity

- curl -X POST http://127.0.0.1:10103/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"bb8714fefca6187c914872ff138fcf4bf883d2ba81dfa73ea19265a2012f3cd0","ringsize":2,"sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"amount","datatype":"U","value":AMOUNT_HERE},{"name":"min_dero","datatype":"U","value":MIN_DERO_HERE},{"name":"min_assets","datatype":"U","value":MIN_ASSETS_HERE},{"name":"asset_address","datatype":"S","value":"ASSET_SCID_HERE"}]}}' -H 'Content-Type: application/json' + curl -X POST http://127.0.0.1:10103/json_rpc -d '{"jsonrpc":"2.0","id":"0","method":"scinvoke","params":{"scid":"bb8714fefca6187c914872ff138fcf4bf883d2ba81dfa73ea19265a2012f3cd0","ringsize":2,"sc_rpc":[{"name":"entrypoint","datatype":"S","value":"RemoveLiquidity"},{"name":"v","datatype":"U","value":AMOUNT_HERE},{"name":"w","datatype":"U","value":MIN_DERO_HERE},{"name":"y2","datatype":"U","value":MIN_ASSETS_HERE},{"name":"t","datatype":"S","value":"ASSET_SCID_HERE"}]}}' -H 'Content-Type: application/json'
From 0ab5266b69ba859a57d9a08ccf9938e61dfc453d Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Mon, 13 May 2024 17:10:38 -0600 Subject: [PATCH 06/13] add gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..40b878d --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +node_modules/ \ No newline at end of file From 9768379c856c3d070b12e4fb6421a7c7285ed55c Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sun, 23 Jun 2024 13:50:23 -0600 Subject: [PATCH 07/13] remove public price getters --- ghost.bas | 40 ---------------------------------------- 1 file changed, 40 deletions(-) diff --git a/ghost.bas b/ghost.bas index 8985d46..c8b8b41 100644 --- a/ghost.bas +++ b/ghost.bas @@ -251,46 +251,6 @@ Function AssetToDeroSwapOutput(dero_bought Uint64, asset_address String) Uint64 10 RETURN assetToDeroOutput(dero_bought, ASSETVALUE(HEXDECODE(asset_address)), asset_address) End Function -// Public price function for DERO to Asset trades with an exact input. -// {dero_sold} Amount of DERO sold. -// {asset_address} Address of the asset to trade. -// @returns Amount of Assets that can be bought with input DERO. -Function GetDeroToAssetInputPrice(dero_sold Uint64, asset_address String) Uint64 - 10 IF dero_sold > 0 THEN GOTO 30 - 20 RETURN 0 - 30 RETURN getInputPrice(dero_sold, get_dero_reserve_per_asset(asset_address), get_asset_reserve(asset_address)) -End Function - -// Public price function for DERO to Asset trades with an exact output. -// {assets_bought} Amount of Assets bought. -// {asset_address} Address of the asset to trade. -// @returns Amount of DERO needed to buy output Assets. -Function GetDeroToAssetOutputPrice(assets_bought Uint64, asset_address String) Uint64 - 10 IF assets_bought > 0 THEN GOTO 30 - 20 RETURN 0 - 30 RETURN getOutputPrice(assets_bought, get_dero_reserve_per_asset(asset_address), get_asset_reserve(asset_address)) -End Function - -// Public price function for Asset to DERO trades with an exact input. -// {assets_sold} Amount of Assets sold. -// {asset_address} Address of the asset to trade. -// @returns Amount of DERO that can be bought with input Assets. -Function GetAssetToDeroInputPrice(assets_sold Uint64, asset_address String) Uint64 - 10 IF assets_sold > 0 THEN GOTO 30 - 20 RETURN 0 - 30 RETURN getInputPrice(assets_sold, get_asset_reserve(asset_address), get_dero_reserve_per_asset(asset_address)) -End Function - -// Public price function for Asset to DERO trades with an exact output. -// {dero_bought} Amount of output DERO. -// {asset_address} Address of the asset to trade. -// @returns Amount of Assets needed to buy output DERO. -Function GetAssetToDeroOutputPrice(dero_bought Uint64, asset_address String) Uint64 - 10 IF dero_bought > 0 THEN GOTO 30 - 20 RETURN 0 - 30 RETURN getOutputPrice(dero_bought, get_asset_reserve(asset_address), get_dero_reserve_per_asset(asset_address)) -End Function - Function mintFee(reserve0 Uint64, reserve1 Uint64, asset_address String) Uint64 10 DIM feeTo as String 11 DIM rootKLast as Uint64 From 6374fecee3d820a1e2a8bc81be2a726315202005 Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sun, 23 Jun 2024 14:25:48 -0600 Subject: [PATCH 08/13] replace trivial panics with 1 returns --- ghost.bas | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/ghost.bas b/ghost.bas index c8b8b41..64f9aff 100644 --- a/ghost.bas +++ b/ghost.bas @@ -147,13 +147,13 @@ End Function Function deroToAssetInput(dero_sold Uint64, min_assets Uint64, asset_address String) Uint64 10 IF (dero_sold > 0 && min_assets > 0) THEN GOTO 30 - 20 PANIC + 20 RETURN 1 30 DIM assets_bought, asset_reserve, dero_reserve as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) 50 LET dero_reserve = get_dero_reserve_per_asset(asset_address) 60 LET assets_bought = getInputPrice(dero_sold, dero_reserve, asset_reserve) 70 IF assets_bought >= min_assets THEN GOTO 90 - 80 PANIC + 80 RETURN 1 90 SEND_ASSET_TO_ADDRESS(SIGNER(), assets_bought, HEXDECODE(asset_address)) 100 set_asset_reserve(asset_reserve - assets_bought, asset_address) 110 set_dero_reserve_per_asset(dero_reserve + dero_sold, asset_address) @@ -178,13 +178,13 @@ End Function Function deroToAssetOutput(assets_bought Uint64, max_dero Uint64, asset_address String) Uint64 10 IF (assets_bought > 0 && max_dero > 0) THEN GOTO 30 - 20 PANIC + 20 RETURN 1 30 DIM asset_reserve, dero_reserve, dero_sold, dero_refund as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) 41 LET dero_reserve = get_dero_reserve_per_asset(asset_address) 50 LET dero_sold = getOutputPrice(assets_bought, dero_reserve, asset_reserve) 60 IF dero_sold > max_dero THEN GOTO 61 ELSE GOTO 70 - 61 PANIC + 61 RETURN 1 70 LET dero_refund = max_dero - dero_sold 80 IF dero_refund == 0 THEN GOTO 100 90 SEND_DERO_TO_ADDRESS(SIGNER(), dero_refund) @@ -204,12 +204,12 @@ End Function Function assetToDeroInput(assets_sold Uint64, min_dero Uint64, asset_address String) Uint64 10 IF (assets_sold > 0 && min_dero > 0) THEN GOTO 30 - 20 PANIC + 20 RETURN 1 30 DIM asset_reserve, dero_bought as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) 50 LET dero_bought = getInputPrice(assets_sold, asset_reserve, get_dero_reserve_per_asset(asset_address)) 60 IF dero_bought >= min_dero THEN GOTO 80 - 70 PANIC + 70 RETURN 1 80 SEND_DERO_TO_ADDRESS(SIGNER(),dero_bought) 90 set_dero_reserve_per_asset(get_dero_reserve_per_asset(asset_address) - dero_bought, asset_address) 100 set_asset_reserve(asset_reserve + assets_sold, asset_address) @@ -227,13 +227,13 @@ End Function Function assetToDeroOutput(dero_bought Uint64, max_assets Uint64 , asset_address String) Uint64 10 IF dero_bought > 0 THEN GOTO 30 - 20 PANIC + 20 RETURN 1 30 DIM asset_reserve, assets_sold, asset_refund as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) 50 LET assets_sold = getOutputPrice(dero_bought, asset_reserve, get_dero_reserve_per_asset(asset_address)) // assets_sold is always > zero 60 IF max_assets >= assets_sold THEN GOTO 80 - 70 PANIC + 70 RETURN 1 80 SEND_DERO_TO_ADDRESS(SIGNER(), dero_bought) 90 LET asset_refund = max_assets - assets_sold 100 IF asset_refund == 0 THEN GOTO 120 From 0a7a9080659b515eac33052e7ea8e086b1e4daca Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sun, 23 Jun 2024 14:28:42 -0600 Subject: [PATCH 09/13] replace getInputPrice panic for return, move check on level higher --- ghost.bas | 25 ++++++++++++++++--------- 1 file changed, 16 insertions(+), 9 deletions(-) diff --git a/ghost.bas b/ghost.bas index 64f9aff..6d72bdf 100644 --- a/ghost.bas +++ b/ghost.bas @@ -124,14 +124,14 @@ End Function // {input_reserve} Amount of DERO or Assets (input type) in exchange reserves. // {output_reserve} Amount of DERO or Assets (output type) in exchange reserves. Function getInputPrice(input_amount Uint64, input_reserve Uint64, output_reserve Uint64) Uint64 - 01 DIM SYS_MAX_VALUE as Uint64 - 02 LET SYS_MAX_VALUE = 18446744073709551 - 10 IF input_reserve > 0 && output_reserve > 0 && input_amount <= SYS_MAX_VALUE THEN GOTO 30 - 20 PANIC + '01 DIM SYS_MAX_VALUE as Uint64 + '02 LET SYS_MAX_VALUE = 18446744073709551 + '10 IF input_reserve > 0 && output_reserve > 0 && input_amount <= SYS_MAX_VALUE THEN GOTO 30 + '20 PANIC 30 DIM input_amount_with_fee as Uint64 40 LET input_amount_with_fee = input_amount * 997 50 IF will_addition_overflow(input_reserve * 1000, input_amount * 1000) == 0 THEN GOTO 70 - 60 PANIC // Infinite supply token attack + 60 PANIC // Infinite supply token attack, attackers assets can burn in hell 70 RETURN mult_div(input_amount_with_fee, output_reserve, (input_reserve * 1000) + input_amount_with_fee) End Function @@ -148,9 +148,12 @@ End Function Function deroToAssetInput(dero_sold Uint64, min_assets Uint64, asset_address String) Uint64 10 IF (dero_sold > 0 && min_assets > 0) THEN GOTO 30 20 RETURN 1 - 30 DIM assets_bought, asset_reserve, dero_reserve as Uint64 + 30 DIM assets_bought, asset_reserve, dero_reserve, SYS_MAX_VALUE as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) 50 LET dero_reserve = get_dero_reserve_per_asset(asset_address) + 51 LET SYS_MAX_VALUE = 18446744073709551 + 52 IF dero_reserve > 0 && asset_reserve > 0 && dero_sold <= SYS_MAX_VALUE THEN GOTO 60 + 53 RETURN 1 60 LET assets_bought = getInputPrice(dero_sold, dero_reserve, asset_reserve) 70 IF assets_bought >= min_assets THEN GOTO 90 80 RETURN 1 @@ -205,13 +208,17 @@ End Function Function assetToDeroInput(assets_sold Uint64, min_dero Uint64, asset_address String) Uint64 10 IF (assets_sold > 0 && min_dero > 0) THEN GOTO 30 20 RETURN 1 - 30 DIM asset_reserve, dero_bought as Uint64 + 30 DIM asset_reserve, dero_reserve, dero_bought, SYS_MAX_VALUE as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) - 50 LET dero_bought = getInputPrice(assets_sold, asset_reserve, get_dero_reserve_per_asset(asset_address)) + 41 LET dero_reserve = get_dero_reserve_per_asset(asset_address) + 42 LET SYS_MAX_VALUE = 18446744073709551 + 43 IF asset_reserve > 0 && dero_reserve > 0 && assets_sold <= SYS_MAX_VALUE THEN GOTO 50 + 44 RETURN 1 + 50 LET dero_bought = getInputPrice(assets_sold, asset_reserve, dero_reserve) 60 IF dero_bought >= min_dero THEN GOTO 80 70 RETURN 1 80 SEND_DERO_TO_ADDRESS(SIGNER(),dero_bought) - 90 set_dero_reserve_per_asset(get_dero_reserve_per_asset(asset_address) - dero_bought, asset_address) + 90 set_dero_reserve_per_asset(dero_reserve - dero_bought, asset_address) 100 set_asset_reserve(asset_reserve + assets_sold, asset_address) 110 RETURN 0 End Function From 378f21410c442bbd4135fdff4fdced3da10275a1 Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sun, 23 Jun 2024 14:29:13 -0600 Subject: [PATCH 10/13] remove comment --- ghost.bas | 4 ---- 1 file changed, 4 deletions(-) diff --git a/ghost.bas b/ghost.bas index 6d72bdf..a293c9c 100644 --- a/ghost.bas +++ b/ghost.bas @@ -124,10 +124,6 @@ End Function // {input_reserve} Amount of DERO or Assets (input type) in exchange reserves. // {output_reserve} Amount of DERO or Assets (output type) in exchange reserves. Function getInputPrice(input_amount Uint64, input_reserve Uint64, output_reserve Uint64) Uint64 - '01 DIM SYS_MAX_VALUE as Uint64 - '02 LET SYS_MAX_VALUE = 18446744073709551 - '10 IF input_reserve > 0 && output_reserve > 0 && input_amount <= SYS_MAX_VALUE THEN GOTO 30 - '20 PANIC 30 DIM input_amount_with_fee as Uint64 40 LET input_amount_with_fee = input_amount * 997 50 IF will_addition_overflow(input_reserve * 1000, input_amount * 1000) == 0 THEN GOTO 70 From b7afa511f417d8d2aba99f8ad554aaeae627647a Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sun, 23 Jun 2024 14:37:21 -0600 Subject: [PATCH 11/13] replace getInputPrice panic for return, move check on level higher --- ghost.bas | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/ghost.bas b/ghost.bas index a293c9c..699b11c 100644 --- a/ghost.bas +++ b/ghost.bas @@ -136,8 +136,6 @@ End Function // {input_reserve} Amount of DERO or Assets (input type) in exchange reserves. // {output_reserve} Amount of DERO or Assets (output type) in exchange reserves. Function getOutputPrice(output_amount Uint64, input_reserve Uint64, output_reserve Uint64) Uint64 - 10 IF input_reserve > 0 && output_reserve > 0 && output_reserve > output_amount THEN GOTO 30 - 20 PANIC 30 RETURN mult_div(input_reserve * 1000, output_amount, (output_reserve - output_amount) * 997 + 1) End Function @@ -181,6 +179,8 @@ Function deroToAssetOutput(assets_bought Uint64, max_dero Uint64, asset_address 30 DIM asset_reserve, dero_reserve, dero_sold, dero_refund as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) 41 LET dero_reserve = get_dero_reserve_per_asset(asset_address) + 42 IF dero_reserve > 0 && asset_reserve > 0 && asset_reserve > assets_bought THEN GOTO 50 + 43 RETURN 1 50 LET dero_sold = getOutputPrice(assets_bought, dero_reserve, asset_reserve) 60 IF dero_sold > max_dero THEN GOTO 61 ELSE GOTO 70 61 RETURN 1 @@ -231,9 +231,12 @@ End Function Function assetToDeroOutput(dero_bought Uint64, max_assets Uint64 , asset_address String) Uint64 10 IF dero_bought > 0 THEN GOTO 30 20 RETURN 1 - 30 DIM asset_reserve, assets_sold, asset_refund as Uint64 + 30 DIM asset_reserve, dero_reserve, assets_sold, asset_refund as Uint64 40 LET asset_reserve = get_asset_reserve(asset_address) - 50 LET assets_sold = getOutputPrice(dero_bought, asset_reserve, get_dero_reserve_per_asset(asset_address)) + 41 LET dero_reserve = get_dero_reserve_per_asset(asset_address) + 42 IF asset_reserve > 0 && dero_reserve > 0 && dero_reserve > dero_bought THEN GOTO 50 + 43 RETURN 1 + 50 LET assets_sold = getOutputPrice(dero_bought, asset_reserve, dero_reserve) // assets_sold is always > zero 60 IF max_assets >= assets_sold THEN GOTO 80 70 RETURN 1 @@ -241,7 +244,7 @@ Function assetToDeroOutput(dero_bought Uint64, max_assets Uint64 , asset_address 90 LET asset_refund = max_assets - assets_sold 100 IF asset_refund == 0 THEN GOTO 120 110 SEND_ASSET_TO_ADDRESS(SIGNER(), asset_refund, HEXDECODE(asset_address)) - 120 set_dero_reserve_per_asset(get_dero_reserve_per_asset(asset_address) - dero_bought, asset_address) + 120 set_dero_reserve_per_asset(dero_reserve - dero_bought, asset_address) 130 set_asset_reserve(asset_reserve + assets_sold, asset_address) 140 RETURN 0 End Function From 824659f0ede45ae2059f0e95a8a090c95e94fefd Mon Sep 17 00:00:00 2001 From: Marco Solis Date: Sun, 23 Jun 2024 18:05:03 -0600 Subject: [PATCH 12/13] optimize white spaces --- ghost_min.bas | 504 +++++++++++++++++++++++++------------------------- 1 file changed, 252 insertions(+), 252 deletions(-) diff --git a/ghost_min.bas b/ghost_min.bas index 5e45922..335ffe2 100644 --- a/ghost_min.bas +++ b/ghost_min.bas @@ -1,318 +1,318 @@ Function Initialize() Uint64 -1 IF EXISTS("owner")==0 THEN GOTO 10 -2 GOTO 666 -10 STORE("owner",SIGNER()) -20 STORE("feeTo",SIGNER()) -30 STORE("nameHdr","Ghost Exchange") -40 STORE("descrHdr","Phantom-powered finance") -50 RETURN 0 -666 RETURN 1 +1 IF EXISTS("owner")==0 THEN GOTO 10 +2 GOTO 666 +10 STORE("owner",SIGNER()) +20 STORE("feeTo",SIGNER()) +30 STORE("nameHdr","Ghost Exchange") +40 STORE("descrHdr","Phantom-powered finance") +50 RETURN 0 +666 RETURN 1 End Function Function AddLiquidity(t String,u Uint64) Uint64 -1 DIM w2,r1,s1,t1,u1,v1,w1,x1 AS Uint64 -2 LET x1 = 18446744073709551 -3 LET v1 = DEROVALUE() -4 LET w1 = ASSETVALUE(HEXDECODE(t)) -10 IF (w1>0)&&(v1>0) THEN GOTO 30 -20 GOTO 666 -30 LET w2 = i(t) -40 IF w2>0 THEN GOTO 41 ELSE GOTO 60 -41 IF u>0 THEN GOTO 43 -42 GOTO 666 -43 LET r1 = k(t) -44 LET s1 = m(t) -45 IF q(s1,w1)==1 THEN GOTO 666 -46 g(r1,s1,t) -47 LET w2 = i(t) -48 LET t1 = r(v1,s1,r1+1) -49 LET u1 = r(v1,w2,r1) -50 IF ((w1>=t1)&&(u1>=u))&&((s1+w1)<=x1) THEN GOTO 52 -51 GOTO 666 -52 n(SIGNER(),u1,t) -53 h(w2+u1,t) -54 IF w1==t1 THEN GOTO 56 -55 SEND_ASSET_TO_ADDRESS(SIGNER(),w1-t1,HEXDECODE(t)) -56 j(r1+v1,t) -57 l(s1+t1,t) -58 STORE(t+":rootKLast",s(r1+v1)*s(s1+t1)) -59 GOTO 70 -60 IF (v1>=1000)&&(w1<=x1) THEN GOTO 62 -61 GOTO 666 -62 l(w1,t) -63 DIM y1 AS Uint64 -64 LET y1 = v1 -65 h(y1,t) -66 j(v1,t) -67 STORE(t+":rootKLast",s(w1)*s(v1)) -68 n(SIGNER(),y1,t) -70 RETURN 0 -666 RETURN 1 +1 DIM w2,r1,s1,t1,u1,v1,w1,x1 AS Uint64 +2 LET x1 = 18446744073709551 +3 LET v1 = DEROVALUE() +4 LET w1 = ASSETVALUE(HEXDECODE(t)) +10 IF (w1>0)&&(v1>0) THEN GOTO 30 +20 GOTO 666 +30 LET w2 = i(t) +40 IF w2>0 THEN GOTO 41 ELSE GOTO 60 +41 IF u>0 THEN GOTO 43 +42 GOTO 666 +43 LET r1 = k(t) +44 LET s1 = m(t) +45 IF q(s1,w1)==1 THEN GOTO 666 +46 g(r1,s1,t) +47 LET w2 = i(t) +48 LET t1 = r(v1,s1,r1+1) +49 LET u1 = r(v1,w2,r1) +50 IF ((w1>=t1)&&(u1>=u))&&((s1+w1)<=x1) THEN GOTO 52 +51 GOTO 666 +52 n(SIGNER(),u1,t) +53 h(w2+u1,t) +54 IF w1==t1 THEN GOTO 56 +55 SEND_ASSET_TO_ADDRESS(SIGNER(),w1-t1,HEXDECODE(t)) +56 j(r1+v1,t) +57 l(s1+t1,t) +58 STORE(t+":rootKLast",s(r1+v1)*s(s1+t1)) +59 GOTO 70 +60 IF (v1>=1000)&&(w1<=x1) THEN GOTO 62 +61 GOTO 666 +62 l(w1,t) +63 DIM y1 AS Uint64 +64 LET y1 = v1 +65 h(y1,t) +66 j(v1,t) +67 STORE(t+":rootKLast",s(w1)*s(v1)) +68 n(SIGNER(),y1,t) +70 RETURN 0 +666 RETURN 1 End Function Function RemoveLiquidity(v Uint64,w Uint64,y2 Uint64,t String) Uint64 -1 DIM w2,r1,s1,z1,t1 AS Uint64 -10 IF ((v>0)&&((w>0)&&(y2>0)))&&(p(SIGNER(),t)>=v) THEN GOTO 30 -20 GOTO 666 -30 LET w2 = i(t) -40 IF w2>0 THEN GOTO 60 -50 GOTO 666 -60 LET s1 = m(t) -70 LET r1 = k(t) -80 g(r1,s1,t) -90 LET w2 = i(t) -100 LET z1 = r(v,r1,w2) -110 LET t1 = r(v,s1,w2) -120 IF (z1>=w)&&(t1>=y2) THEN GOTO 140 -130 GOTO 666 -140 o(SIGNER(),v,t) -150 h(w2-v,t) -160 j(r1-z1,t) -170 l(s1-t1,t) -180 STORE(t+":rootKLast",s(r1-z1)*s(s1-t1)) -190 SEND_DERO_TO_ADDRESS(SIGNER(),z1) -200 SEND_ASSET_TO_ADDRESS(SIGNER(),t1,HEXDECODE(t)) -210 RETURN 0 -666 RETURN 1 +1 DIM w2,r1,s1,z1,t1 AS Uint64 +10 IF ((v>0)&&((w>0)&&(y2>0)))&&(p(SIGNER(),t)>=v) THEN GOTO 30 +20 GOTO 666 +30 LET w2 = i(t) +40 IF w2>0 THEN GOTO 60 +50 GOTO 666 +60 LET s1 = m(t) +70 LET r1 = k(t) +80 g(r1,s1,t) +90 LET w2 = i(t) +100 LET z1 = r(v,r1,w2) +110 LET t1 = r(v,s1,w2) +120 IF (z1>=w)&&(t1>=y2) THEN GOTO 140 +130 GOTO 666 +140 o(SIGNER(),v,t) +150 h(w2-v,t) +160 j(r1-z1,t) +170 l(s1-t1,t) +180 STORE(t+":rootKLast",s(r1-z1)*s(s1-t1)) +190 SEND_DERO_TO_ADDRESS(SIGNER(),z1) +200 SEND_ASSET_TO_ADDRESS(SIGNER(),t1,HEXDECODE(t)) +210 RETURN 0 +666 RETURN 1 End Function Function l1(o1 Uint64,z2 Uint64,a1 Uint64) Uint64 -1 DIM x1 AS Uint64 -2 LET x1 = 18446744073709551 -10 IF ((z2>0)&&(a1>0))&&(o1<=x1) THEN GOTO 30 -20 PANIC -30 DIM b2 AS Uint64 -40 LET b2 = o1*997 -50 IF q(z2*1000,o1*1000)==0 THEN GOTO 70 -60 PANIC -70 RETURN r(b2,a1,(z2*1000)+b2) +1 DIM x1 AS Uint64 +2 LET x1 = 18446744073709551 +10 IF ((z2>0)&&(a1>0))&&(o1<=x1) THEN GOTO 30 +20 PANIC +30 DIM b2 AS Uint64 +40 LET b2 = o1*997 +50 IF q(z2*1000,o1*1000)==0 THEN GOTO 70 +60 PANIC +70 RETURN r(b2,a1,(z2*1000)+b2) End Function Function m1(b1 Uint64,z2 Uint64,a1 Uint64) Uint64 -10 IF ((z2>0)&&(a1>0))&&(a1>b1) THEN GOTO 30 -20 PANIC -30 RETURN r(z2*1000,b1,((a1-b1)*997)+1) +10 IF ((z2>0)&&(a1>0))&&(a1>b1) THEN GOTO 30 +20 PANIC +30 RETURN r(z2*1000,b1,((a1-b1)*997)+1) End Function Function n1(c1 Uint64,y2 Uint64,t String) Uint64 -10 IF (c1>0)&&(y2>0) THEN GOTO 30 -20 PANIC -30 DIM d1,s1,r1 AS Uint64 -40 LET s1 = m(t) -50 LET r1 = k(t) -60 LET d1 = l1(c1,r1,s1) -70 IF d1>=y2 THEN GOTO 90 -80 PANIC -90 SEND_ASSET_TO_ADDRESS(SIGNER(),d1,HEXDECODE(t)) -100 l(s1-d1,t) -110 j(r1+c1,t) -120 RETURN 0 +10 IF (c1>0)&&(y2>0) THEN GOTO 30 +20 PANIC +30 DIM d1,s1,r1 AS Uint64 +40 LET s1 = m(t) +50 LET r1 = k(t) +60 LET d1 = l1(c1,r1,s1) +70 IF d1>=y2 THEN GOTO 90 +80 PANIC +90 SEND_ASSET_TO_ADDRESS(SIGNER(),d1,HEXDECODE(t)) +100 l(s1-d1,t) +110 j(r1+c1,t) +120 RETURN 0 End Function Function DeroToAssetSwapInput(asset_address String) Uint64 -10 RETURN n1(DEROVALUE(),1,asset_address) +10 RETURN n1(DEROVALUE(),1,asset_address) End Function Function DeroToAssetSwapInputMin(min_assets Uint64,asset_address String) Uint64 -10 RETURN n1(DEROVALUE(),min_assets,asset_address) +10 RETURN n1(DEROVALUE(),min_assets,asset_address) End Function Function d(d1 Uint64,e1 Uint64,t String) Uint64 -10 IF (d1>0)&&(e1>0) THEN GOTO 30 -20 PANIC -30 DIM s1,r1,c1,c2 AS Uint64 -40 LET s1 = m(t) -41 LET r1 = k(t) -50 LET c1 = m1(d1,r1,s1) -60 IF c1>e1 THEN GOTO 61 ELSE GOTO 70 -61 PANIC -70 LET c2 = e1-c1 -80 IF c2==0 THEN GOTO 100 -90 SEND_DERO_TO_ADDRESS(SIGNER(),c2) -100 SEND_ASSET_TO_ADDRESS(SIGNER(),d1,HEXDECODE(t)) -110 l(s1-d1,t) -120 j(r1+c1,t) -130 RETURN 0 +10 IF (d1>0)&&(e1>0) THEN GOTO 30 +20 PANIC +30 DIM s1,r1,c1,c2 AS Uint64 +40 LET s1 = m(t) +41 LET r1 = k(t) +50 LET c1 = m1(d1,r1,s1) +60 IF c1>e1 THEN GOTO 61 ELSE GOTO 70 +61 PANIC +70 LET c2 = e1-c1 +80 IF c2==0 THEN GOTO 100 +90 SEND_DERO_TO_ADDRESS(SIGNER(),c2) +100 SEND_ASSET_TO_ADDRESS(SIGNER(),d1,HEXDECODE(t)) +110 l(s1-d1,t) +120 j(r1+c1,t) +130 RETURN 0 End Function Function DeroToAssetSwapOutput(assets_bought Uint64,asset_address String) Uint64 -10 RETURN d(assets_bought,DEROVALUE(),asset_address) +10 RETURN d(assets_bought,DEROVALUE(),asset_address) End Function Function e(f1 Uint64,w Uint64,t String) Uint64 -10 IF (f1>0)&&(w>0) THEN GOTO 30 -20 PANIC -30 DIM s1,g1 AS Uint64 -40 LET s1 = m(t) -50 LET g1 = l1(f1,s1,k(t)) -60 IF g1>=w THEN GOTO 80 -70 PANIC -80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) -90 j(k(t)-g1,t) -100 l(s1+f1,t) -110 RETURN 0 +10 IF (f1>0)&&(w>0) THEN GOTO 30 +20 PANIC +30 DIM s1,g1 AS Uint64 +40 LET s1 = m(t) +50 LET g1 = l1(f1,s1,k(t)) +60 IF g1>=w THEN GOTO 80 +70 PANIC +80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) +90 j(k(t)-g1,t) +100 l(s1+f1,t) +110 RETURN 0 End Function Function AssetToDeroSwapInput(min_dero Uint64,asset_address String) Uint64 -10 RETURN e(ASSETVALUE(HEXDECODE(asset_address)),min_dero,asset_address) +10 RETURN e(ASSETVALUE(HEXDECODE(asset_address)),min_dero,asset_address) End Function Function f(g1 Uint64,h1 Uint64,t String) Uint64 -10 IF g1>0 THEN GOTO 30 -20 PANIC -30 DIM s1,f1,d2 AS Uint64 -40 LET s1 = m(t) -50 LET f1 = m1(g1,s1,k(t)) -60 IF h1>=f1 THEN GOTO 80 -70 PANIC -80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) -90 LET d2 = h1-f1 -100 IF d2==0 THEN GOTO 120 -110 SEND_ASSET_TO_ADDRESS(SIGNER(),d2,HEXDECODE(t)) -120 j(k(t)-g1,t) -130 l(s1+f1,t) -140 RETURN 0 +10 IF g1>0 THEN GOTO 30 +20 PANIC +30 DIM s1,f1,d2 AS Uint64 +40 LET s1 = m(t) +50 LET f1 = m1(g1,s1,k(t)) +60 IF h1>=f1 THEN GOTO 80 +70 PANIC +80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) +90 LET d2 = h1-f1 +100 IF d2==0 THEN GOTO 120 +110 SEND_ASSET_TO_ADDRESS(SIGNER(),d2,HEXDECODE(t)) +120 j(k(t)-g1,t) +130 l(s1+f1,t) +140 RETURN 0 End Function Function AssetToDeroSwapOutput(dero_bought Uint64,asset_address String) Uint64 -10 RETURN f(dero_bought,ASSETVALUE(HEXDECODE(asset_address)),asset_address) +10 RETURN f(dero_bought,ASSETVALUE(HEXDECODE(asset_address)),asset_address) End Function Function GetDeroToAssetInputPrice(c1 Uint64,t String) Uint64 -10 IF c1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN l1(c1,k(t),m(t)) +10 IF c1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN l1(c1,k(t),m(t)) End Function Function GetDeroToAssetOutputPrice(d1 Uint64,t String) Uint64 -10 IF d1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN m1(d1,k(t),m(t)) +10 IF d1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN m1(d1,k(t),m(t)) End Function Function GetAssetToDeroInputPrice(f1 Uint64,t String) Uint64 -10 IF f1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN l1(f1,m(t),k(t)) +10 IF f1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN l1(f1,m(t),k(t)) End Function Function GetAssetToDeroOutputPrice(g1 Uint64,t String) Uint64 -10 IF g1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN m1(g1,m(t),k(t)) +10 IF g1>0 THEN GOTO 30 +20 RETURN 0 +30 RETURN m1(g1,m(t),k(t)) End Function Function g(i1 Uint64,j1 Uint64,t String) Uint64 -10 DIM e2 AS String -11 DIM f2 AS Uint64 -20 LET e2 = LOAD("feeTo") -30 LET f2 = LOAD(t+":rootKLast") -40 IF f2!=0 THEN GOTO 50 -41 RETURN 0 -50 DIM g2 AS Uint64 -60 LET g2 = s(i1)*s(j1) -70 IF g2>f2 THEN GOTO 80 -71 RETURN 0 -80 DIM h2,u1 AS Uint64 -90 LET h2 = i(t) -100 LET u1 = r(h2,g2-f2,(g2*5)+f2) -110 IF u1>0 THEN GOTO 111 ELSE GOTO 120 -111 n(e2,u1,t) -112 h(h2+u1,t) -120 RETURN 0 +10 DIM e2 AS String +11 DIM f2 AS Uint64 +20 LET e2 = LOAD("feeTo") +30 LET f2 = LOAD(t+":rootKLast") +40 IF f2!=0 THEN GOTO 50 +41 RETURN 0 +50 DIM g2 AS Uint64 +60 LET g2 = s(i1)*s(j1) +70 IF g2>f2 THEN GOTO 80 +71 RETURN 0 +80 DIM h2,u1 AS Uint64 +90 LET h2 = i(t) +100 LET u1 = r(h2,g2-f2,(g2*5)+f2) +110 IF u1>0 THEN GOTO 111 ELSE GOTO 120 +111 n(e2,u1,t) +112 h(h2+u1,t) +120 RETURN 0 End Function Function h(v Uint64,t String) Uint64 10 STORE(t+":BOO",v) 20 RETURN 0 End Function Function i(t String) Uint64 -10 IF EXISTS(t+":BOO") THEN GOTO 30 -20 RETURN 0 -30 RETURN LOAD(t+":BOO") +10 IF EXISTS(t+":BOO") THEN GOTO 30 +20 RETURN 0 +30 RETURN LOAD(t+":BOO") End Function Function j(v Uint64,t String) Uint64 -10 STORE(t+":DERO",v) -20 RETURN 0 +10 STORE(t+":DERO",v) +20 RETURN 0 End Function Function k(t String) Uint64 -10 RETURN LOAD(t+":DERO") +10 RETURN LOAD(t+":DERO") End Function Function l(v Uint64,t String) Uint64 -10 STORE(t,v) -20 RETURN 0 +10 STORE(t,v) +20 RETURN 0 End Function Function m(t String) Uint64 -20 RETURN LOAD(t) +20 RETURN LOAD(t) End Function Function n(k1 String,v Uint64,t String) Uint64 -10 IF EXISTS((ADDRESS_STRING(k1)+":BOO:")+t) THEN GOTO 40 -20 STORE((ADDRESS_STRING(k1)+":BOO:")+t,v) -30 RETURN 0 -40 STORE((ADDRESS_STRING(k1)+":BOO:")+t,p(k1,t)+v) -50 RETURN 0 +10 IF EXISTS((ADDRESS_STRING(k1)+":BOO:")+t) THEN GOTO 40 +20 STORE((ADDRESS_STRING(k1)+":BOO:")+t,v) +30 RETURN 0 +40 STORE((ADDRESS_STRING(k1)+":BOO:")+t,p(k1,t)+v) +50 RETURN 0 End Function Function o(k1 String,v Uint64,t String) Uint64 -10 STORE((ADDRESS_STRING(k1)+":BOO:")+t,p(k1,t)-v) -20 RETURN 0 +10 STORE((ADDRESS_STRING(k1)+":BOO:")+t,p(k1,t)-v) +20 RETURN 0 End Function Function p(k1 String,t String) Uint64 -10 RETURN LOAD((ADDRESS_STRING(k1)+":BOO:")+t) +10 RETURN LOAD((ADDRESS_STRING(k1)+":BOO:")+t) End Function Function q(l1 Uint64,m1 Uint64) Uint64 -10 IF l1>(18446744073709551615-m1) THEN GOTO 100 -20 RETURN 0 -100 RETURN 1 +10 IF l1>(18446744073709551615-m1) THEN GOTO 100 +20 RETURN 0 +100 RETURN 1 End Function Function r(l1 Uint64,m1 Uint64,n1 Uint64) Uint64 -10 DIM i2,j2 AS Uint64 -20 LET i2 = 4294967296 -30 LET j2 = ((i2-1)*i2)+(i2-1) -50 DIM k2 AS Uint64 -60 LET k2 = ((l1/n1)*m1)+((l1%n1)*(m1/n1)) -70 LET l1 = l1%n1 -80 LET m1 = m1%n1 -90 IF (l1==0)||(m1==0) THEN GOTO 1000 -100 IF n1>=i2 THEN GOTO 200 -110 LET k2 = k2+((l1*m1)/n1) -120 GOTO 1000 -200 DIM l2 AS Uint64 -210 LET l2 = j2/n1 -220 LET n1 = n1*l2 -230 LET l1 = l1*l2 -300 DIM m2,n2,o2,u3,q2,r2 AS Uint64 -310 LET m2 = l1/i2 -320 LET n2 = l1%i2 -330 LET o2 = m1/i2 -340 LET u3 = m1%i2 -350 LET q2 = n1/i2 -360 LET r2 = n1%i2 -400 DIM s2,t2,u2 AS Uint64 -410 LET s2 = n2*u3 -420 LET t2 = (s2/i2)+(n2*o2) -430 LET s2 = s2%i2 -440 LET u2 = (t2/i2)+(m2*o2) -450 LET t2 = (t2%i2)+(m2*u3) -460 LET u2 = u2+(t2/i2) -470 LET t2 = t2%i2 -500 DIM v2,w2,x2 AS Uint64 -510 LET u2 = u2%n1 -520 LET w2 = u2/q2 -530 LET x2 = u2%q2 -600 IF (w2=i2)||((w2*r2)<=((x2*i2)+t2))) THEN GOTO 700 -610 LET w2 = w2-1 -620 LET x2 = x2+q2 -630 GOTO 600 -700 LET t2 = (((u2%i2)*i2)+t2)-(w2*r2) -710 LET u2 = (((u2/i2)*i2)+(t2/i2))-(w2*q2) -720 LET t2 = (t2%i2)+((u2%i2)*i2) -730 LET v2 = t2/q2 -740 LET x2 = t2%q2 -800 IF (v2=i2)||((v2*r2)<=((x2*i2)+s2))) THEN GOTO 900 -810 LET v2 = v2-1 -820 LET x2 = x2+q2 -830 GOTO 800 -900 LET k2 = (k2+v2)+(w2*i2) -1000 RETURN k2 +10 DIM i2,j2 AS Uint64 +20 LET i2 = 4294967296 +30 LET j2 = ((i2-1)*i2)+(i2-1) +50 DIM k2 AS Uint64 +60 LET k2 = ((l1/n1)*m1)+((l1%n1)*(m1/n1)) +70 LET l1 = l1%n1 +80 LET m1 = m1%n1 +90 IF (l1==0)||(m1==0) THEN GOTO 1000 +100 IF n1>=i2 THEN GOTO 200 +110 LET k2 = k2+((l1*m1)/n1) +120 GOTO 1000 +200 DIM l2 AS Uint64 +210 LET l2 = j2/n1 +220 LET n1 = n1*l2 +230 LET l1 = l1*l2 +300 DIM m2,n2,o2,u3,q2,r2 AS Uint64 +310 LET m2 = l1/i2 +320 LET n2 = l1%i2 +330 LET o2 = m1/i2 +340 LET u3 = m1%i2 +350 LET q2 = n1/i2 +360 LET r2 = n1%i2 +400 DIM s2,t2,u2 AS Uint64 +410 LET s2 = n2*u3 +420 LET t2 = (s2/i2)+(n2*o2) +430 LET s2 = s2%i2 +440 LET u2 = (t2/i2)+(m2*o2) +450 LET t2 = (t2%i2)+(m2*u3) +460 LET u2 = u2+(t2/i2) +470 LET t2 = t2%i2 +500 DIM v2,w2,x2 AS Uint64 +510 LET u2 = u2%n1 +520 LET w2 = u2/q2 +530 LET x2 = u2%q2 +600 IF (w2=i2)||((w2*r2)<=((x2*i2)+t2))) THEN GOTO 700 +610 LET w2 = w2-1 +620 LET x2 = x2+q2 +630 GOTO 600 +700 LET t2 = (((u2%i2)*i2)+t2)-(w2*r2) +710 LET u2 = (((u2/i2)*i2)+(t2/i2))-(w2*q2) +720 LET t2 = (t2%i2)+((u2%i2)*i2) +730 LET v2 = t2/q2 +740 LET x2 = t2%q2 +800 IF (v2=i2)||((v2*r2)<=((x2*i2)+s2))) THEN GOTO 900 +810 LET v2 = v2-1 +820 LET x2 = x2+q2 +830 GOTO 800 +900 LET k2 = (k2+v2)+(w2*i2) +1000 RETURN k2 End Function Function s(o1 Uint64) Uint64 -10 IF o1>3 THEN GOTO 20 ELSE GOTO 90 -20 DIM y2,z2 AS Uint64 -30 LET z2 = o1 -40 LET y2 = (o1/2)+1 -50 IF y23 THEN GOTO 20 ELSE GOTO 90 +20 DIM y2,z2 AS Uint64 +30 LET z2 = o1 +40 LET y2 = (o1/2)+1 +50 IF y2 Date: Sun, 23 Jun 2024 20:40:18 -0600 Subject: [PATCH 13/13] apply changes to minified code --- ghost_min.bas | 72 +++++++++++++++++++++------------------------------ 1 file changed, 29 insertions(+), 43 deletions(-) diff --git a/ghost_min.bas b/ghost_min.bas index 335ffe2..cffc42c 100644 --- a/ghost_min.bas +++ b/ghost_min.bas @@ -8,8 +8,8 @@ Function Initialize() Uint64 50 RETURN 0 666 RETURN 1 End Function -Function AddLiquidity(t String,u Uint64) Uint64 -1 DIM w2,r1,s1,t1,u1,v1,w1,x1 AS Uint64 +Function AddLiquidity(t String,u Uint64) Uint64 +1 DIM w2,r1,s1,t1,u1,v1,w1,x1 AS Uint64 2 LET x1 = 18446744073709551 3 LET v1 = DEROVALUE() 4 LET w1 = ASSETVALUE(HEXDECODE(t)) @@ -74,10 +74,6 @@ Function RemoveLiquidity(v Uint64,w Uint64,y2 Uint64,t String) Uint64 666 RETURN 1 End Function Function l1(o1 Uint64,z2 Uint64,a1 Uint64) Uint64 -1 DIM x1 AS Uint64 -2 LET x1 = 18446744073709551 -10 IF ((z2>0)&&(a1>0))&&(o1<=x1) THEN GOTO 30 -20 PANIC 30 DIM b2 AS Uint64 40 LET b2 = o1*997 50 IF q(z2*1000,o1*1000)==0 THEN GOTO 70 @@ -85,19 +81,20 @@ Function l1(o1 Uint64,z2 Uint64,a1 Uint64) Uint64 70 RETURN r(b2,a1,(z2*1000)+b2) End Function Function m1(b1 Uint64,z2 Uint64,a1 Uint64) Uint64 -10 IF ((z2>0)&&(a1>0))&&(a1>b1) THEN GOTO 30 -20 PANIC 30 RETURN r(z2*1000,b1,((a1-b1)*997)+1) End Function Function n1(c1 Uint64,y2 Uint64,t String) Uint64 10 IF (c1>0)&&(y2>0) THEN GOTO 30 -20 PANIC -30 DIM d1,s1,r1 AS Uint64 +20 RETURN 1 +30 DIM d1,s1,r1,x1 AS Uint64 40 LET s1 = m(t) 50 LET r1 = k(t) +51 LET x1 = 18446744073709551 +52 IF ((r1>0)&&(s1>0))&&(c1<=x1) THEN GOTO 60 +53 RETURN 1 60 LET d1 = l1(c1,r1,s1) 70 IF d1>=y2 THEN GOTO 90 -80 PANIC +80 RETURN 1 90 SEND_ASSET_TO_ADDRESS(SIGNER(),d1,HEXDECODE(t)) 100 l(s1-d1,t) 110 j(r1+c1,t) @@ -111,13 +108,15 @@ Function DeroToAssetSwapInputMin(min_assets Uint64,asset_address String) Uint64 End Function Function d(d1 Uint64,e1 Uint64,t String) Uint64 10 IF (d1>0)&&(e1>0) THEN GOTO 30 -20 PANIC +20 RETURN 1 30 DIM s1,r1,c1,c2 AS Uint64 40 LET s1 = m(t) 41 LET r1 = k(t) +42 IF ((r1>0)&&(s1>0))&&(s1>d1) THEN GOTO 50 +43 RETURN 1 50 LET c1 = m1(d1,r1,s1) 60 IF c1>e1 THEN GOTO 61 ELSE GOTO 70 -61 PANIC +61 RETURN 1 70 LET c2 = e1-c1 80 IF c2==0 THEN GOTO 100 90 SEND_DERO_TO_ADDRESS(SIGNER(),c2) @@ -131,14 +130,18 @@ Function DeroToAssetSwapOutput(assets_bought Uint64,asset_address String) Uint64 End Function Function e(f1 Uint64,w Uint64,t String) Uint64 10 IF (f1>0)&&(w>0) THEN GOTO 30 -20 PANIC -30 DIM s1,g1 AS Uint64 +20 RETURN 1 +30 DIM s1,r1,g1,x1 AS Uint64 40 LET s1 = m(t) -50 LET g1 = l1(f1,s1,k(t)) +41 LET r1 = k(t) +42 LET x1 = 18446744073709551 +43 IF ((s1>0)&&(r1>0))&&(f1<=x1) THEN GOTO 50 +44 RETURN 1 +50 LET g1 = l1(f1,s1,r1) 60 IF g1>=w THEN GOTO 80 -70 PANIC +70 RETURN 1 80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) -90 j(k(t)-g1,t) +90 j(r1-g1,t) 100 l(s1+f1,t) 110 RETURN 0 End Function @@ -147,43 +150,26 @@ Function AssetToDeroSwapInput(min_dero Uint64,asset_address String) Uint64 End Function Function f(g1 Uint64,h1 Uint64,t String) Uint64 10 IF g1>0 THEN GOTO 30 -20 PANIC -30 DIM s1,f1,d2 AS Uint64 +20 RETURN 1 +30 DIM s1,r1,f1,d2 AS Uint64 40 LET s1 = m(t) -50 LET f1 = m1(g1,s1,k(t)) +41 LET r1 = k(t) +42 IF ((s1>0)&&(r1>0))&&(r1>g1) THEN GOTO 50 +43 RETURN 1 +50 LET f1 = m1(g1,s1,r1)// assets_sold is always > zero 60 IF h1>=f1 THEN GOTO 80 -70 PANIC +70 RETURN 1 80 SEND_DERO_TO_ADDRESS(SIGNER(),g1) 90 LET d2 = h1-f1 100 IF d2==0 THEN GOTO 120 110 SEND_ASSET_TO_ADDRESS(SIGNER(),d2,HEXDECODE(t)) -120 j(k(t)-g1,t) +120 j(r1-g1,t) 130 l(s1+f1,t) 140 RETURN 0 End Function Function AssetToDeroSwapOutput(dero_bought Uint64,asset_address String) Uint64 10 RETURN f(dero_bought,ASSETVALUE(HEXDECODE(asset_address)),asset_address) End Function -Function GetDeroToAssetInputPrice(c1 Uint64,t String) Uint64 -10 IF c1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN l1(c1,k(t),m(t)) -End Function -Function GetDeroToAssetOutputPrice(d1 Uint64,t String) Uint64 -10 IF d1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN m1(d1,k(t),m(t)) -End Function -Function GetAssetToDeroInputPrice(f1 Uint64,t String) Uint64 -10 IF f1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN l1(f1,m(t),k(t)) -End Function -Function GetAssetToDeroOutputPrice(g1 Uint64,t String) Uint64 -10 IF g1>0 THEN GOTO 30 -20 RETURN 0 -30 RETURN m1(g1,m(t),k(t)) -End Function Function g(i1 Uint64,j1 Uint64,t String) Uint64 10 DIM e2 AS String 11 DIM f2 AS Uint64