| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "init": "{ |
| 5 | $BOUNCER = 'V23L3YLZVOLQ473QVRGODFRIDSBDOSUJ'; |
| 6 | $attestor = trigger.data.attestor and is_valid_address(trigger.data.attestor) ? trigger.data.attestor : false; |
| 7 | $field = trigger.data.attestor and typeof(trigger.data.field) == 'string' ? trigger.data.field : false; |
| 8 | if(trigger.output[[asset!=base]].asset != 'none') |
| 9 | $asset = trigger.output[[asset!=base]].asset; |
| 10 | |
| 11 | }", |
| 12 | "messages": { |
| 13 | "cases": [ |
| 14 | { |
| 15 | "if": "{var['l']}", |
| 16 | "messages": [ |
| 17 | { |
| 18 | "app": "payment", |
| 19 | "payload": { |
| 20 | "asset": "base", |
| 21 | "outputs": [ |
| 22 | { |
| 23 | "address": "{var['l']}" |
| 24 | } |
| 25 | ] |
| 26 | } |
| 27 | }, |
| 28 | { |
| 29 | "app": "state", |
| 30 | "state": "{ |
| 31 | var['l'] = false; |
| 32 | }" |
| 33 | } |
| 34 | ] |
| 35 | }, |
| 36 | { |
| 37 | "if": "{ |
| 38 | var[trigger.address] |
| 39 | }", |
| 40 | "init": "{ |
| 41 | $asset_wanted = trigger.data.want; |
| 42 | if(!$asset_wanted) bounce('want param missing, specify asset you want in exchange for yours'); |
| 43 | if(typeof($asset_wanted) != 'string') bounce('want param invalid, must be an asset'); |
| 44 | if(!var[$asset_wanted]) bounce('wanted asset does not have a registered default AA proxy, please register sending any amount of '||$asset_wanted||' to '||this_address||' without params'); |
| 45 | if(!trigger.data.price) bounce('Price to exchange missing (price param), must be set in assets wanted per asset offered'); |
| 46 | $asset_offered = var[trigger.address]; |
| 47 | |
| 48 | |
| 49 | if(!trigger.data.price OR trigger.data.price <= 0) bounce('Price invalid, must be set in assets wanted per asset offered'); |
| 50 | $price = trigger.data.price; |
| 51 | $address = trigger.data.address; |
| 52 | $price_fill = 1/trigger.data.price; |
| 53 | $ord_pair = sha256($asset_offered||'_'||$asset_wanted); |
| 54 | $fill_pair = sha256($asset_wanted||'_'||$asset_offered); |
| 55 | $ord_key = $ord_pair ||'_'||$price; |
| 56 | $ord_addr_key = $ord_pair||'_'||$price||'_'||$address; |
| 57 | $orders_to_fill = $fill_pair||'_'||$price_fill; |
| 58 | $to_fill = trigger.data.to; |
| 59 | $fill_key = $orders_to_fill||'_'||$to_fill; |
| 60 | |
| 61 | }", |
| 62 | "messages": { |
| 63 | "cases": [ |
| 64 | { |
| 65 | "if": "{trigger.data.cancel}", |
| 66 | "init": "{ |
| 67 | if(!var[$ord_addr_key]) bounce('You have no funds deposited on this pair'); |
| 68 | }", |
| 69 | "messages": [ |
| 70 | { |
| 71 | "app": "payment", |
| 72 | "payload": { |
| 73 | "asset": "base", |
| 74 | "outputs": [ |
| 75 | { |
| 76 | "address": "{trigger.address}", |
| 77 | "amount": 1 |
| 78 | }, |
| 79 | { |
| 80 | "address": "{$address}" |
| 81 | } |
| 82 | ] |
| 83 | } |
| 84 | }, |
| 85 | { |
| 86 | "app": "data", |
| 87 | "payload": { |
| 88 | "transfer": "{$address}", |
| 89 | "value": "{var[$ord_addr_key]}" |
| 90 | } |
| 91 | }, |
| 92 | { |
| 93 | "app": "state", |
| 94 | "state": "{ |
| 95 | var[$ord_key] -= 1;if(var[$ord_key] == 0)var[$ord_key]=false; |
| 96 | $am = var[$ord_addr_key]; |
| 97 | var[$ord_addr_key] = false; |
| 98 | response['message'] = 'Canceled order to sell '||$am||' '||$asset_offered||' at '||$price||' '||$asset_wanted||' per unit'; |
| 99 | }" |
| 100 | } |
| 101 | ] |
| 102 | }, |
| 103 | { |
| 104 | "init": "{ |
| 105 | if(var[$orders_to_fill]){ |
| 106 | |
| 107 | if(!$to_fill OR !is_valid_address($to_fill)) bounce('to param not valid, must be an address. There are '||var[$orders_to_fill]||' orders who match, please fill them, to know address to fill check AA state vars around '||$fill_pair||'_'||$price_fill); |
| 108 | |
| 109 | if(!var[$fill_key]) bounce('Address has no created order on this pair'); |
| 110 | $a_amount = var[$fill_key]; |
| 111 | if(!var[trigger.address]['a'||$address] OR var[trigger.address]['a'||$address] < ($a_amount*$price_fill)) bounce('You have not enough funds to fill the order, need '||($a_amount*$price_fill)); |
| 112 | $b_amount = $a_amount*$price_fill; |
| 113 | } |
| 114 | else{ |
| 115 | if(!trigger.data.value) bounce('Value param missing'); |
| 116 | if(var[$ord_addr_key]) bounce('You already sent to exchange for this pair, please cancel order first sending cancel = 1 if you want to change the offer'); |
| 117 | } |
| 118 | }", |
| 119 | "messages": [ |
| 120 | { |
| 121 | "if": "{var[$orders_to_fill]}", |
| 122 | "app": "data", |
| 123 | "payload": { |
| 124 | "a": { |
| 125 | "from": "{this_address}", |
| 126 | "to": "{$address}", |
| 127 | "value": "{$a_amount}", |
| 128 | "addr": "{var[$asset_wanted]}" |
| 129 | }, |
| 130 | "b": { |
| 131 | "from": "{$address}", |
| 132 | "to": "{$to_fill}", |
| 133 | "value": "{$b_amount}", |
| 134 | "addr": "{trigger.address}" |
| 135 | } |
| 136 | } |
| 137 | }, |
| 138 | { |
| 139 | "if": "{var[$orders_to_fill]}", |
| 140 | "app": "payment", |
| 141 | "payload": { |
| 142 | "asset": "base", |
| 143 | "outputs": [ |
| 144 | { |
| 145 | "address": "{var[$asset_wanted]}", |
| 146 | "amount": 1 |
| 147 | }, |
| 148 | { |
| 149 | "address": "{trigger.address}", |
| 150 | "amount": 1 |
| 151 | }, |
| 152 | { |
| 153 | "address": "{$to_fill}", |
| 154 | "amount": 1 |
| 155 | }, |
| 156 | { |
| 157 | "address": "{$address}" |
| 158 | } |
| 159 | ] |
| 160 | } |
| 161 | }, |
| 162 | { |
| 163 | "if": "{!var[$orders_to_fill]}", |
| 164 | "app": "payment", |
| 165 | "payload": { |
| 166 | "asset": "base", |
| 167 | "outputs": [ |
| 168 | { |
| 169 | "address": "{$address}", |
| 170 | "amount": "{trigger.output[[asset=base]]-800}" |
| 171 | } |
| 172 | ] |
| 173 | } |
| 174 | }, |
| 175 | { |
| 176 | "app": "state", |
| 177 | "state": "{ |
| 178 | if(var[$orders_to_fill]){ |
| 179 | var[$orders_to_fill] -= 1; |
| 180 | if(var[$orders_to_fill] == 0) var[$orders_to_fill]=false; |
| 181 | response['message'] = 'Exchanged '||$a_amount||' '||$asset_wanted||' at '||$price||' '||$asset_wanted||' per unit'; |
| 182 | var[$fill_key] = false; |
| 183 | } |
| 184 | else{ |
| 185 | var[$ord_key] += 1; |
| 186 | var[$ord_addr_key] = trigger.data.value; |
| 187 | response['message'] = 'Order created to sell '||trigger.data.value||' '||$asset_offered||' at '||$price||' '||$asset_wanted||' per unit'; |
| 188 | } |
| 189 | |
| 190 | }" |
| 191 | } |
| 192 | ] |
| 193 | } |
| 194 | ] |
| 195 | } |
| 196 | }, |
| 197 | { |
| 198 | "messages": [ |
| 199 | { |
| 200 | "app": "payment", |
| 201 | "payload": { |
| 202 | "asset": "{$asset}", |
| 203 | "outputs": [ |
| 204 | { |
| 205 | "address": "{trigger.address}", |
| 206 | "amount": "{trigger.output[[asset!=base]]}" |
| 207 | } |
| 208 | ] |
| 209 | } |
| 210 | }, |
| 211 | { |
| 212 | "app": "payment", |
| 213 | "payload": { |
| 214 | "asset": "base", |
| 215 | "outputs": [ |
| 216 | { |
| 217 | "address": "{$BOUNCER}", |
| 218 | "amount": "{trigger.output[[asset=base]]-8000}" |
| 219 | } |
| 220 | ] |
| 221 | } |
| 222 | }, |
| 223 | { |
| 224 | "app": "definition", |
| 225 | "payload": { |
| 226 | "definition": [ |
| 227 | "autonomous agent", |
| 228 | { |
| 229 | "{'init'}": "{ |
| 230 | "{$ASSET = '"||$asset||"';" |
| 231 | ||($attestor?("$ATTESTOR_ADDR = '"||$attestor||"';"):"") |
| 232 | ||"$PATHER_ADDR = '"||this_address||"';$BYTE_INP = 10000;$FREE_LIMIT = 2000;$ADDR = 'a';$PERM = 'p';$BYTE = 'b';$TOTAL = 'total';$base = trigger.output[[asset=base]];$trigger_cost = unit[trigger.unit].headers_commission + unit[trigger.unit].payload_commission;$addr = trigger.address;$balance = balance[base] - $base - storage_size;$free_mode = ($balance - var[$TOTAL]) > $FREE_LIMIT;$addr_key = $ADDR || $addr;$addr_q = var[$addr_key];$byte_key = $BYTE || $addr;$base_inp = $base + ($free_mode?$trigger_cost:0);$value = trigger.data.value;if(trigger.output[[asset!=base]].asset != 'none')$asset = trigger.output[[asset!=base]].asset;if($ATTESTOR_ADDR AND !attestation[[attestors=$ATTESTOR_ADDR, address=trigger.address,ifnone=false]]" |
| 233 | ||($field?("['"||$field||"']"):"")||") bounce('Not allowed to use, please attest your address with '||$ATTESTOR_ADDR);if(!trigger.data.approve AND $value AND (typeof($value) != 'number' OR $value <= 0)) bounce('Value param invalid');}" |
| 234 | }", |
| 235 | "messages": { |
| 236 | "{'cases'}": [ |
| 237 | { |
| 238 | "{'if'}": "{ |
| 239 | "{$PATHER_ADDR == $addr AND !trigger.data.transfer}" |
| 240 | }", |
| 241 | "messages": [ |
| 242 | { |
| 243 | "app": "state", |
| 244 | "{'state'}": "{ |
| 245 | "{if(trigger.data.a.addr == this_address){$from = trigger.data.a.from;$to = trigger.data.a.to;$amount = trigger.data.a.value;}else{if(trigger.data.b.addr == this_address){$from = trigger.data.b.from;$to = trigger.data.b.to;$amount = trigger.data.b.value;}}var[$ADDR|| $to] += $amount;var[$ADDR|| $from] -= $amount;if(var[$ADDR|| $from] == 0) var[$ADDR|| $from] = false;}" |
| 246 | }" |
| 247 | } |
| 248 | ] |
| 249 | }, |
| 250 | { |
| 251 | "{'if'}": "{ |
| 252 | "{trigger.data.approve AND $base == $BYTE_INP}" |
| 253 | }", |
| 254 | "{'init'}": "{ |
| 255 | "{$approve = trigger.data.approve;$perm_key = $PERM || $addr || $approve;if(!is_valid_address($approve) OR $approve == $addr) bounce('approve param invalid, specify address to approve instead of any other value');if(!$value) bounce('Value param missing');if(typeof($value) != 'number' OR $value < 0) bounce('Value param invalid');}" |
| 256 | }", |
| 257 | "messages": [ |
| 258 | { |
| 259 | "app": "state", |
| 260 | "{'state'}": "{ |
| 261 | "{var[$perm_key] = $value;if(var[$perm_key] == 0) var[$perm_key] = false;var[$byte_key] += $base_inp;var[$TOTAL] += $base_inp;response['message'] = 'Approved '||$approve||' to spend '||$value ||' from your account';}" |
| 262 | }" |
| 263 | } |
| 264 | ] |
| 265 | }, |
| 266 | { |
| 267 | "{'if'}": "{ |
| 268 | "{trigger.data.transfer AND ($base == $BYTE_INP OR $addr == $PATHER_ADDR)}" |
| 269 | }", |
| 270 | "{'init'}": "{ |
| 271 | "{$to = trigger.data.transfer == 'exchange' ? $PATHER_ADDR : trigger.data.transfer;if(!is_valid_address($to) OR $to == $addr) bounce('transfer param invalid, specify address to transfer or \"exchange\" to access to exchange');if($to != $PATHER_ADDR AND !$addr_q) bounce('No funds found');if($to != $PATHER_ADDR AND !$value) bounce('Value param missing');if($value AND $value > $addr_q) bounce('You have max '||$addr_q);}" |
| 272 | }", |
| 273 | "messages": [ |
| 274 | { |
| 275 | "{'if'}": "{"{$to == $PATHER_ADDR}"}", |
| 276 | "app": "payment", |
| 277 | "payload": { |
| 278 | "asset": "base", |
| 279 | "outputs": [ |
| 280 | { |
| 281 | "address": "{"{$PATHER_ADDR}"}", |
| 282 | "amount": "{"{$base-5000}"}" |
| 283 | } |
| 284 | ] |
| 285 | } |
| 286 | }, |
| 287 | { |
| 288 | "{'if'}": "{"{$to == $PATHER_ADDR}"}", |
| 289 | "app": "data", |
| 290 | "payload": { |
| 291 | "want": "{"{trigger.data.want}"}", |
| 292 | "price": "{"{trigger.data.price}"}", |
| 293 | "address": "{"{trigger.address}"}", |
| 294 | "value": "{"{$value?$value:''}"}", |
| 295 | "to": "{"{trigger.data.to?trigger.data.to:''}"}", |
| 296 | "cancel": "{"{trigger.data.cancel?1:''}"}" |
| 297 | } |
| 298 | }, |
| 299 | { |
| 300 | "app": "state", |
| 301 | "{'state'}": "{ |
| 302 | "{var[$ADDR|| $to] += $value;var[$addr_key] -= $value;$fee = unit[response_unit].headers_commission + unit[response_unit].payload_commission;if(var[$addr_key] == 0) var[$addr_key] = false;if($addr != $PATHER_ADDR){var[$byte_key] += ($to == $PATHER_ADDR?(($ATTESTOR_ADDR AND $free_mode?$trigger_cost:0)+5000 - $fee): $base_inp );var[$TOTAL] += ($to == $PATHER_ADDR?(($ATTESTOR_ADDR AND $free_mode?$trigger_cost:0)+5000 - $fee): $base_inp);}response['message'] = 'Transferred '||$value||' to '||trigger.data.transfer;}" |
| 303 | }" |
| 304 | } |
| 305 | ] |
| 306 | }, |
| 307 | { |
| 308 | "{'if'}": "{ |
| 309 | "{trigger.data.withdraw_bytes AND $base == $BYTE_INP}" |
| 310 | }", |
| 311 | "{'init'}": "{ |
| 312 | "{$user_bal = var[$byte_key] otherwise 0;$w_amount = $balance < $user_bal ? $balance : $user_bal;$wt = ($w_amount / $BYTE_INP) + (1-(($w_amount / $BYTE_INP)%1));$w_fee = $ATTESTOR_ADDR AND $free_mode ?0 : (($wt > 2) ? 462+$wt*60 : 522);if($user_bal == 0) bounce('No bytes to withdraw');}" |
| 313 | }", |
| 314 | "messages": [ |
| 315 | { |
| 316 | "app": "payment", |
| 317 | "payload": { |
| 318 | "asset": "base", |
| 319 | "outputs": [ |
| 320 | { |
| 321 | "address": "{"{$addr}"}", |
| 322 | "amount": "{"{$w_amount + $base - $w_fee}"}" |
| 323 | } |
| 324 | ] |
| 325 | } |
| 326 | }, |
| 327 | { |
| 328 | "app": "state", |
| 329 | "{'state'}": "{ |
| 330 | "{var[$byte_key] = false;var[$TOTAL] -= $w_amount;response['message'] = 'Withdrawn '||$w_amount||' bytes less '||$w_fee||' fee from your account';}" |
| 331 | }" |
| 332 | } |
| 333 | ] |
| 334 | }, |
| 335 | { |
| 336 | "{'if'}": "{ |
| 337 | "{$asset AND $base == $BYTE_INP}" |
| 338 | }", |
| 339 | "{'init'}": "{ |
| 340 | "{$asset_inp = trigger.output[[asset!=base]];if($asset == 'ambiguous') bounce('Only 1 asset per tx');if($asset != $ASSET) bounce('You must deposit '||$ASSET);}" |
| 341 | }", |
| 342 | "messages": [ |
| 343 | { |
| 344 | "app": "state", |
| 345 | "{'state'}": "{ |
| 346 | "{var[$addr_key] += $asset_inp;var[$byte_key] += $base_inp;var[$TOTAL] += $base_inp;response['message'] = 'Added '||$asset_inp||' to your account';}" |
| 347 | }" |
| 348 | } |
| 349 | ] |
| 350 | }, |
| 351 | { |
| 352 | "{'if'}": "{ |
| 353 | "{trigger.data.withdraw AND $base == $BYTE_INP}" |
| 354 | }", |
| 355 | "{'init'}": "{ |
| 356 | "{$max_w = $addr_q-($addr_q % 1);$w_amount = $value - ($value % 1);if(!$value) bounce('Value param missing, max to withdraw '||$max_w);if(!$addr_q) bounce('Nothing to withdraw');if($w_amount <= 0) bounce('Max to withdraw '||$max_w);if($w_amount > $max_w) bounce('Not enough asset, max to withdraw '||$max_w);}" |
| 357 | }", |
| 358 | "messages": [ |
| 359 | { |
| 360 | "app": "payment", |
| 361 | "payload": { |
| 362 | "asset": "{"{$ASSET}"}", |
| 363 | "outputs": [ |
| 364 | { |
| 365 | "address": "{"{$addr}"}", |
| 366 | "amount": "{"{$w_amount}"}" |
| 367 | } |
| 368 | ] |
| 369 | } |
| 370 | }, |
| 371 | { |
| 372 | "app": "state", |
| 373 | "{'state'}": "{ |
| 374 | "{if($ATTESTOR_ADDR AND $free_mode)$w_fee = 0;else$w_fee = unit[response_unit].headers_commission + unit[response_unit].payload_commission;var[$addr_key] -= $w_amount;if(var[$addr_key] == 0) var[$addr_key]=false;var[$byte_key] += ($base_inp-$w_fee);var[$TOTAL] += ($base_inp-$w_fee);response['message'] = 'Withdrawn '||$w_amount||' from your account';}" |
| 375 | }" |
| 376 | } |
| 377 | ] |
| 378 | }, |
| 379 | { |
| 380 | "{'if'}": "{ |
| 381 | "{trigger.data.transfer_from AND $base == $BYTE_INP}" |
| 382 | }", |
| 383 | "{'init'}": "{ |
| 384 | "{$from = trigger.data.transfer_from;$to = trigger.data.to;$from_key = $ADDR|| $from;$perm_key = $PERM || $from || $addr;if(!is_valid_address($from)) bounce('transfer_from param invalid, specify from address instead of any other value');if(!$to) bounce('To param missing');if(!is_valid_address($to)) bounce('To param invalid');if(!var[$from_key]) bounce('Account have no funds');if(!$value) bounce('Value param missing');if(!var[$perm_key]) bounce('Not allowed to spend');if(var[$perm_key] < $value) bounce('You can spend max '||var[$perm_key]);if(var[$from_key] < $value) bounce('Account have '||var[$from_key]);}" |
| 385 | }", |
| 386 | "messages": [ |
| 387 | { |
| 388 | "app": "state", |
| 389 | "{'state'}": "{ |
| 390 | "{var[$ADDR|| $to] += $value;var[$from_key] -= $value;var[$perm_key] -= $value;if(var[$from_key] == 0) var[$from_key] = false;if(var[$perm_key] == 0) var[$perm_key] = false;var[$byte_key] += $base_inp;var[$TOTAL] += $base_inp;response['message'] = 'Transferred '||$value||' to '||$to;}" |
| 391 | }" |
| 392 | } |
| 393 | ] |
| 394 | }, |
| 395 | { |
| 396 | "messages": [ |
| 397 | { |
| 398 | "app": "state", |
| 399 | "{'state'}": "{ |
| 400 | "{if($asset) bounce('Allowed asset: '||$ASSET);response['accepted_params'] = 'withdraw, transfer, transfer_from, approve, withdraw_bytes';response['usage'] = 'Send '||$BYTE_INP||' bytes and param or deposit '||$ASSET||' = 1 for continue.';response['message'] = 'Received donation for funding AA operation, thaanks!';}" |
| 401 | }" |
| 402 | } |
| 403 | ] |
| 404 | } |
| 405 | ] |
| 406 | } |
| 407 | } |
| 408 | ] |
| 409 | } |
| 410 | }, |
| 411 | { |
| 412 | "app": "state", |
| 413 | "state": "{ |
| 414 | if(!$asset) bounce('You must send an asset'); |
| 415 | if($asset == 'ambiguous') bounce('Only 1 asset per tx'); |
| 416 | response['message']='AA for '||$asset||'created'; |
| 417 | $definition_address = unit[response_unit].messages[[.app='definition']].payload.address; |
| 418 | response['address'] = $definition_address; |
| 419 | var[$definition_address] = $asset; |
| 420 | var['l'] = $definition_address; |
| 421 | if($attestor){ |
| 422 | if($field){ |
| 423 | response['security'] = $attestor||' will have to give permission and will be able to block accounts'; |
| 424 | } |
| 425 | else{ |
| 426 | response['security'] = $attestor||' will have to give permission but will not be able to block accounts, specify an attestation field using field param in other case'; |
| 427 | } |
| 428 | } |
| 429 | else{ |
| 430 | if(var[$asset]) bounce('Proxy AA already registered: '||var[$asset]); |
| 431 | var[$asset] = $definition_address; |
| 432 | response['security'] = 'Free access, nobody will be able to block anyone. Use attestor param now to restrict AA to certain addresses'; |
| 433 | } |
| 434 | }" |
| 435 | } |
| 436 | ] |
| 437 | } |
| 438 | ] |
| 439 | } |
| 440 | } |
| 441 | ] |