| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "init": "{ |
| 5 | if(trigger.output[[asset!=base]].asset != 'none') |
| 6 | $asset = trigger.output[[asset!=base]].asset; |
| 7 | if($asset){ |
| 8 | if($asset == 'ambiguous') |
| 9 | bounce("only 1 asset per tx"); |
| 10 | if(trigger.output[[asset!=base]] == 0) |
| 11 | bounce("zero asset tx"); |
| 12 | $asset_inp = trigger.output[[asset!=base]]; |
| 13 | } |
| 14 | }", |
| 15 | "messages": { |
| 16 | "cases": [ |
| 17 | { |
| 18 | "messages": [ |
| 19 | { |
| 20 | "app": "payment", |
| 21 | "payload": { |
| 22 | "asset": "{$asset}", |
| 23 | "outputs": [ |
| 24 | { |
| 25 | "address": "{trigger.address}", |
| 26 | "amount": "{$asset_inp}" |
| 27 | } |
| 28 | ] |
| 29 | } |
| 30 | }, |
| 31 | { |
| 32 | "app": "payment", |
| 33 | "payload": { |
| 34 | "asset": "base", |
| 35 | "outputs": [ |
| 36 | { |
| 37 | "address": "{trigger.address}" |
| 38 | } |
| 39 | ] |
| 40 | } |
| 41 | }, |
| 42 | { |
| 43 | "app": "definition", |
| 44 | "payload": { |
| 45 | "definition": [ |
| 46 | "autonomous agent", |
| 47 | { |
| 48 | "{"init"}": "{ |
| 49 | "{$asset_ct = '"||$asset||"';" |
| 50 | || "if(!var['-Last price'] and !trigger.data.price){" |
| 51 | || "bounce('Price must be defined before first exchange');" |
| 52 | || "}" |
| 53 | || "if(trigger.data.price){" |
| 54 | |
| 55 | || "$ratio = round(trigger.data.price);" |
| 56 | || "if($ratio <= 0){" |
| 57 | || "bounce('Price not allowed');" |
| 58 | || "}" |
| 59 | || "}" |
| 60 | || "else{" |
| 61 | || "$ratio = var['-Last price'];" |
| 62 | || "}" |
| 63 | || "$addr = trigger.address;" |
| 64 | || "$base_inp = trigger.output[[asset=base]] - 700;" |
| 65 | || "if(trigger.output[[asset!=base]].asset != 'none')" |
| 66 | || "$asset = trigger.output[[asset!=base]].asset;" |
| 67 | || "if($asset){" |
| 68 | || "if($asset == 'ambiguous')" |
| 69 | || "bounce('Only 1 asset per tx');" |
| 70 | || "if($asset != $asset_ct)" |
| 71 | || "bounce('Asset not allowed, please send ' || $asset_ct);" |
| 72 | || "$asset_inp = (trigger.output[[asset!=base]] != 0) ? trigger.output[[asset!=base]] : bounce('Zero asset tx');" |
| 73 | || "}" |
| 74 | |
| 75 | || "$base_key = $addr || $ratio || 'b';" |
| 76 | || "$asset_key = $addr || $ratio;" |
| 77 | |
| 78 | || "$total_key = 'b' || $ratio;" |
| 79 | || "$total_asset_key = 'a' || $ratio;" |
| 80 | |
| 81 | || "$exch_key = 'b_' || $ratio ;" |
| 82 | || "$exch_asset_key = 'a_' || $ratio ;" |
| 83 | |
| 84 | |
| 85 | || "$max_b_to_exchange = var[$total_key] - var[$exch_key];" |
| 86 | || "$max_a_to_exchange = var[$total_asset_key] - var[$exch_asset_key];" |
| 87 | |
| 88 | || "$base_inp_round = ($base_inp - ($base_inp % $ratio));" |
| 89 | || "$base_inp_in_asset = $base_inp_round/$ratio;" |
| 90 | || "$asset_inp_in_bytes = $asset_inp*$ratio;" |
| 91 | |
| 92 | |
| 93 | || "$withdraw_asset = var[$exch_asset_key] and var[$base_key] and var[$exch_asset_key] > 0 and var[$base_key] > 0;" |
| 94 | || "$withdraw_base = var[$exch_key] and var[$asset_key] and var[$exch_key] > 0 and var[$asset_key] > 0;" |
| 95 | |
| 96 | || "$exchange_asset = $asset and $byte_amount and !var[$base_key];" |
| 97 | || "$exchange_base = !$asset and $asset_amount and !var[$asset_key];" |
| 98 | |
| 99 | || "$cancel_asset = trigger.data.cancel and var[$asset_key] and var[$asset_key] > 0;" |
| 100 | || "$cancel_base = trigger.data.cancel and var[$base_key] and var[$base_key] > 0;}" |
| 101 | }", |
| 102 | "messages": { |
| 103 | "{"cases"}": [ |
| 104 | { |
| 105 | "{"if"}": "{ |
| 106 | "{$withdraw_asset or $withdraw_base}" |
| 107 | }", |
| 108 | "{"init"}": "{ |
| 109 | "{$withdraw_key = $withdraw_asset ? $exch_asset_key : $exch_key;" |
| 110 | || "$w_total_key = $withdraw_asset ? $total_asset_key : $total_key;" |
| 111 | || "$max_to_withdraw = $withdraw_asset ? (var[$base_key] / $ratio) : (var[$asset_key] * $ratio);" |
| 112 | || "$key = $withdraw_asset ? $base_key : $asset_key;" |
| 113 | |
| 114 | |
| 115 | || "$withdraw_amount = (var[$withdraw_key] <= $max_to_withdraw) ? var[$withdraw_key] : $max_to_withdraw;}" |
| 116 | }", |
| 117 | "messages": [ |
| 118 | { |
| 119 | "app": "payment", |
| 120 | "payload": { |
| 121 | "asset": "base", |
| 122 | "outputs": [ |
| 123 | { |
| 124 | "address": "{"{$addr}"}", |
| 125 | "amount": "{ "{$withdraw_asset ? $base_inp : ($withdraw_amount + $base_inp)}" }" |
| 126 | } |
| 127 | ] |
| 128 | } |
| 129 | }, |
| 130 | { |
| 131 | "{"if"}": "{"{$withdraw_asset}"}", |
| 132 | "app": "payment", |
| 133 | "payload": { |
| 134 | "asset": "{"{$asset_ct}"}", |
| 135 | "outputs": [ |
| 136 | { |
| 137 | "address": "{"{$addr}"}", |
| 138 | "amount": "{"{$withdraw_amount}"}" |
| 139 | } |
| 140 | ] |
| 141 | } |
| 142 | }, |
| 143 | { |
| 144 | "app": "state", |
| 145 | "state": "{ |
| 146 | |
| 147 | "{var[$w_total_key] -= $withdraw_amount;" |
| 148 | || "if(var[$w_total_key] == 0)var[$w_total_key] = false;" |
| 149 | |
| 150 | |
| 151 | || "var[$withdraw_key] -= $withdraw_amount;" |
| 152 | || "if(var[$withdraw_key] == 0)var[$withdraw_key] = false;" |
| 153 | |
| 154 | |
| 155 | || "var[$key] -= $withdraw_asset ? ($withdraw_amount * $ratio) : ($withdraw_amount / $ratio);" |
| 156 | || "if(var[$key] == 0)var[$key] = false;" |
| 157 | |
| 158 | || "response['message'] = 'withdrawn exchanged amount ('||$withdraw_asset ? 'assets': 'bytes' ||') at '||$ratio||' bytes per token';}" |
| 159 | }" |
| 160 | } |
| 161 | ] |
| 162 | }, |
| 163 | { |
| 164 | "{"if"}": "{ |
| 165 | "{if($asset){" |
| 166 | |
| 167 | || "if($max_b_to_exchange and $max_b_to_exchange > 0 and !trigger.data.cancel){" |
| 168 | |
| 169 | || "if($asset_inp_in_bytes > $max_b_to_exchange){" |
| 170 | |
| 171 | || "$byte_amount = $max_b_to_exchange;" |
| 172 | |
| 173 | || "$asset_amount = (($asset_inp_in_bytes - $max_b_to_exchange) - (($asset_inp_in_bytes - $max_b_to_exchange) % $ratio)) / $ratio;" |
| 174 | || "}" |
| 175 | || "else{" |
| 176 | |
| 177 | || "$byte_amount = $asset_inp_in_bytes;" |
| 178 | || "$asset_amount = 0;" |
| 179 | || "}" |
| 180 | || "}" |
| 181 | || "else{" |
| 182 | |
| 183 | || "if(!trigger.data.cancel)" |
| 184 | || "$deposit = true;" |
| 185 | || "}" |
| 186 | || "}" |
| 187 | || "else{" |
| 188 | |
| 189 | || "if($max_a_to_exchange and $max_a_to_exchange > 0 and !trigger.data.cancel){" |
| 190 | |
| 191 | || "if($base_inp_in_asset > $max_a_to_exchange){" |
| 192 | |
| 193 | || "$asset_amount = $max_a_to_exchange;" |
| 194 | |
| 195 | || "$byte_amount = ($base_inp_in_asset - $max_a_to_exchange) * $ratio;" |
| 196 | || "}" |
| 197 | || "else{" |
| 198 | |
| 199 | |
| 200 | || "if($base_inp_in_asset == 0)" |
| 201 | || "bounce('Not enough funds for minimum');" |
| 202 | || "$asset_amount = $base_inp_in_asset;" |
| 203 | || "$byte_amount = 0;" |
| 204 | || "}" |
| 205 | || "}" |
| 206 | || "else{" |
| 207 | |
| 208 | || "if(!trigger.data.cancel)" |
| 209 | || "$deposit = true;" |
| 210 | || "}" |
| 211 | || "}" |
| 212 | || "$exchange_asset or $exchange_base}" |
| 213 | }", |
| 214 | "messages": [ |
| 215 | { |
| 216 | "{"if"}": "{"{$exchange_asset or $byte_amount > 0}"}", |
| 217 | "app": "payment", |
| 218 | "payload": { |
| 219 | "asset": "base", |
| 220 | "outputs": [ |
| 221 | { |
| 222 | "address": "{"{$addr}"}", |
| 223 | "amount": "{"{$exchange_asset ? ($byte_amount + $base_inp) : $byte_amount}"}" |
| 224 | } |
| 225 | ] |
| 226 | } |
| 227 | }, |
| 228 | { |
| 229 | "{"if"}": "{"{$exchange_base or $asset_amount > 0}"}", |
| 230 | "app": "payment", |
| 231 | "payload": { |
| 232 | "asset": "{"{$asset_ct}"}", |
| 233 | "outputs": [ |
| 234 | { |
| 235 | "address": "{"{$addr}"}", |
| 236 | "amount": "{"{$asset_amount}"}" |
| 237 | } |
| 238 | ] |
| 239 | } |
| 240 | }, |
| 241 | { |
| 242 | "app": "state", |
| 243 | "state": "{ |
| 244 | "{var['-Last price'] = $ratio;" |
| 245 | || "if($exchange_asset){" |
| 246 | |
| 247 | || "var[$total_asset_key] += $asset_inp - $asset_amount;" |
| 248 | || "var[$exch_asset_key] += $asset_inp - $asset_amount;" |
| 249 | |
| 250 | |
| 251 | || "var[$total_key] -= $byte_amount;if(var[$total_key] == 0)var[$total_key] = false;" |
| 252 | || "response['message'] = 'sold '||($asset_inp - $asset_amount)||' assets for '||($byte_amount)||' bytes';" |
| 253 | || "}" |
| 254 | || "else{" |
| 255 | |
| 256 | || "var[$total_key] += $base_inp_round - $byte_amount;" |
| 257 | || "var[$exch_key] += $base_inp_round - $byte_amount;" |
| 258 | |
| 259 | |
| 260 | || "var[$total_asset_key] -= $asset_amount;if(var[$total_asset_key] == 0)var[$total_asset_key] = false;" |
| 261 | || "response['message'] = 'bought '||($asset_amount)||' assets for '||($base_inp_round - $byte_amount)||' bytes';}" |
| 262 | || "}" |
| 263 | }" |
| 264 | } |
| 265 | ] |
| 266 | }, |
| 267 | { |
| 268 | "{"if"}": "{ |
| 269 | "{$cancel_asset or $cancel_base}" |
| 270 | }", |
| 271 | "{"init"}": "{ |
| 272 | "{$max_to_cancel = $cancel_asset ? $max_a_to_exchange : $max_b_to_exchange;" |
| 273 | || "$key = $cancel_asset ? $asset_key : $base_key;" |
| 274 | || "$cancel_tot_key = $cancel_asset ? $total_asset_key : $total_key;" |
| 275 | |
| 276 | || "if($max_to_cancel <= 0){" |
| 277 | || "bounce('Not allowed');" |
| 278 | || "}" |
| 279 | |
| 280 | || "$cancel_amount = ($max_to_cancel <= var[$key]) ? $max_to_cancel : var[$key];}" |
| 281 | }", |
| 282 | "messages": [ |
| 283 | { |
| 284 | "app": "payment", |
| 285 | "payload": { |
| 286 | "asset": "base", |
| 287 | "outputs": [ |
| 288 | { |
| 289 | "address": "{"{$addr}"}", |
| 290 | "amount": "{"{$cancel_asset ? $base_inp : ($cancel_amount + $base_inp)}"}" |
| 291 | } |
| 292 | ] |
| 293 | } |
| 294 | }, |
| 295 | { |
| 296 | "{"if"}": "{"{$cancel_asset}"}", |
| 297 | "app": "payment", |
| 298 | "payload": { |
| 299 | "asset": "{"{$asset_ct}"}", |
| 300 | "outputs": [ |
| 301 | { |
| 302 | "address": "{"{$addr}"}", |
| 303 | "amount": "{"{$cancel_amount}"}" |
| 304 | } |
| 305 | ] |
| 306 | } |
| 307 | }, |
| 308 | { |
| 309 | "app": "state", |
| 310 | "state": "{ |
| 311 | "{var[$cancel_tot_key] -= $cancel_amount;" |
| 312 | || "if(var[$cancel_tot_key] == 0)var[$cancel_tot_key] = false;" |
| 313 | || "var[$key] -= $cancel_amount;" |
| 314 | || "if(var[$key] == 0)var[$key] = false;" |
| 315 | || "response['message'] = 'canceled order ('||$cancel_asset?'sell':'buy'||' at '||$ratio||' bytes per token)';}" |
| 316 | }" |
| 317 | } |
| 318 | ] |
| 319 | }, |
| 320 | { |
| 321 | "{"if"}": "{ |
| 322 | "{$deposit otherwise bounce('Deposit not allowed, please cancel order first')}" |
| 323 | }", |
| 324 | "messages": [ |
| 325 | { |
| 326 | "{"if"}": "{"{$asset}"}", |
| 327 | "app": "payment", |
| 328 | "payload": { |
| 329 | "asset": "base", |
| 330 | "outputs": [ |
| 331 | { |
| 332 | "address": "{"{$addr}"}", |
| 333 | "amount": "{"{$base_inp}"}" |
| 334 | } |
| 335 | ] |
| 336 | } |
| 337 | }, |
| 338 | { |
| 339 | "app": "state", |
| 340 | "state": "{ |
| 341 | "{if($asset){" |
| 342 | || "var[$total_asset_key] += $asset_inp;" |
| 343 | || "var[$asset_key] += $asset_inp;" |
| 344 | || "response['message'] = 'deposited '||$asset_inp||' assets to sell at '||$ratio||' bytes per token';" |
| 345 | || "}" |
| 346 | || "else{" |
| 347 | || "var[$total_key] += $base_inp_round;" |
| 348 | || "var[$base_key] += $base_inp_round;" |
| 349 | || "response['message'] = 'deposited '||$base_inp_round||' bytes to buy at '||$ratio||' bytes per token';" |
| 350 | || "}}" |
| 351 | }" |
| 352 | } |
| 353 | ] |
| 354 | } |
| 355 | ] |
| 356 | } |
| 357 | } |
| 358 | ] |
| 359 | } |
| 360 | } |
| 361 | ] |
| 362 | } |
| 363 | ] |
| 364 | } |
| 365 | } |
| 366 | ] |