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