| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "init": "{ |
| 5 | if(trigger.output[[asset=base]] < 6000) bounce('Not enough funds for fees'); |
| 6 | $def_fee = trigger.data.default_fee and trigger.data.default_fee > 0 ? round(trigger.data.default_fee) : 1000; |
| 7 | $fee_thr = trigger.data.fee_thresold and trigger.data.fee_thresold >= 3000 ? round(trigger.data.fee_thresold) : 10000; |
| 8 | $low_fee = trigger.data.low_fee and trigger.data.low_fee < 0 ? round(trigger.data.low_fee) : -600; |
| 9 | $attestor = trigger.data.attestor and is_valid_address(trigger.data.attestor) ? trigger.data.attestor : false; |
| 10 | $field = trigger.data.attestor and typeof(trigger.data.field) == 'string' ? trigger.data.field : false; |
| 11 | if(trigger.output[[asset!=base]].asset != 'none') |
| 12 | $asset = trigger.output[[asset!=base]].asset; |
| 13 | else |
| 14 | bounce('You must send an asset'); |
| 15 | if($asset == 'ambiguous') bounce('Only 1 asset per tx'); |
| 16 | }", |
| 17 | "messages": { |
| 18 | "cases": [ |
| 19 | { |
| 20 | "messages": [ |
| 21 | { |
| 22 | "app": "payment", |
| 23 | "payload": { |
| 24 | "asset": "{$asset}", |
| 25 | "outputs": [ |
| 26 | { |
| 27 | "address": "{trigger.address}", |
| 28 | "amount": "{trigger.output[[asset!=base]]}" |
| 29 | } |
| 30 | ] |
| 31 | } |
| 32 | }, |
| 33 | { |
| 34 | "app": "payment", |
| 35 | "payload": { |
| 36 | "asset": "base", |
| 37 | "outputs": [ |
| 38 | { |
| 39 | "address": "{trigger.address}" |
| 40 | } |
| 41 | ] |
| 42 | } |
| 43 | }, |
| 44 | { |
| 45 | "app": "definition", |
| 46 | "payload": { |
| 47 | "definition": [ |
| 48 | "autonomous agent", |
| 49 | { |
| 50 | "{'init'}": "{ |
| 51 | "{$ASSET = '"||$asset||"';" |
| 52 | || "$DEFAULT_FEE = "||$def_fee||";" |
| 53 | || "$FEE_THRESHOLD = "||$fee_thr||";" |
| 54 | || "$LOW_FEE = "||$low_fee||";" |
| 55 | || ($attestor?("$ATTESTOR_ADDR = '"||$attestor||"';if(!attestation[[attestors=$ATTESTOR_ADDR, address=trigger.address,ifnone=false]]"||($field?("['"||$field||"']"):"")||") bounce('Not allowed to use, please attest your address with '||$ATTESTOR_ADDR);"):"") |
| 56 | || "if(trigger.data.to AND !is_valid_address(trigger.data.to)) bounce('To param invalid');" |
| 57 | || "if(trigger.data.from AND !is_valid_address(trigger.data.from)) bounce('From param invalid');" |
| 58 | || "if(trigger.data.spender AND !is_valid_address(trigger.data.spender)) bounce('Spender param invalid');" |
| 59 | || "if(!trigger.data.approve AND trigger.data.value AND (typeof(trigger.data.value) != 'number' OR trigger.data.value <= 0)) bounce('Value param invalid');" |
| 60 | || "if(typeof(var['fee']) == 'number'){" |
| 61 | || "$bal = balance[base] - trigger.output[[asset=base]];" |
| 62 | || "if(var['fee'] > 0 AND $bal > $FEE_THRESHOLD)" |
| 63 | || "$change_fee = $LOW_FEE;" |
| 64 | || "if(var['fee'] < 0 AND $bal < 2000)" |
| 65 | || "$change_fee = $DEFAULT_FEE;" |
| 66 | || "if(var['fee'] < 0 AND !$change_fee)" |
| 67 | || "$fee = $LOW_FEE;" |
| 68 | || "else" |
| 69 | || "$fee = $DEFAULT_FEE;" |
| 70 | || "}" |
| 71 | || "else{" |
| 72 | || "$fee = $DEFAULT_FEE;" |
| 73 | || "$change_fee = $DEFAULT_FEE;" |
| 74 | || "}" |
| 75 | || "$base_inp = trigger.output[[asset=base]] - $fee;}" |
| 76 | }", |
| 77 | "messages": { |
| 78 | "{'cases'}": [ |
| 79 | { |
| 80 | "{'if'}": "{ |
| 81 | "{trigger.data.approve}" |
| 82 | }", |
| 83 | "{'init'}": "{ |
| 84 | "{if(!trigger.data.spender) bounce('Spender param missing');" |
| 85 | || "if(!trigger.data.value) bounce('Value param missing');" |
| 86 | || "if(!var['a_' || trigger.address]) bounce('You have no funds');" |
| 87 | || "if(typeof(trigger.data.value) != 'number' OR trigger.data.value < 0) bounce('Value param invalid');}" |
| 88 | }", |
| 89 | "messages": [ |
| 90 | { |
| 91 | "app": "payment", |
| 92 | "payload": { |
| 93 | "asset": "base", |
| 94 | "outputs": [ |
| 95 | { |
| 96 | "address": "{"{trigger.address}"}", |
| 97 | "amount": "{"{$base_inp}"}" |
| 98 | } |
| 99 | ] |
| 100 | } |
| 101 | }, |
| 102 | { |
| 103 | "app": "state", |
| 104 | "{'state'}": "{ |
| 105 | "{if($change_fee) var['fee'] = $change_fee;" |
| 106 | || "var['perm_' || trigger.address || '_' || trigger.data.spender] = trigger.data.value;" |
| 107 | || "if(var['perm_' || trigger.address || '_' || trigger.data.spender] == 0) var['perm_' || trigger.address || '_' || trigger.data.spender] = false;" |
| 108 | || "response['message'] = 'Approved '||trigger.data.spender||' to spend '||trigger.data.value ||' from your account';}" |
| 109 | }" |
| 110 | } |
| 111 | ] |
| 112 | }, |
| 113 | { |
| 114 | "{'if'}": "{ |
| 115 | "{trigger.data.deposit}" |
| 116 | }", |
| 117 | "{'init'}": "{ |
| 118 | "{if(trigger.output[[asset!=base]].asset != 'none')" |
| 119 | || "$asset = trigger.output[[asset!=base]].asset;" |
| 120 | || "else" |
| 121 | || "bounce('You must deposit '||$ASSET);" |
| 122 | || "if($asset == 'ambiguous') bounce('Only 1 asset per tx');" |
| 123 | || "if($asset != $ASSET) bounce('You must deposit '||$ASSET);" |
| 124 | || "$asset_inp = trigger.output[[asset!=base]];}" |
| 125 | }", |
| 126 | "messages": [ |
| 127 | { |
| 128 | "app": "payment", |
| 129 | "payload": { |
| 130 | "asset": "base", |
| 131 | "outputs": [ |
| 132 | { |
| 133 | "address": "{"{trigger.address}"}", |
| 134 | "amount": "{"{$base_inp}"}" |
| 135 | } |
| 136 | ] |
| 137 | } |
| 138 | }, |
| 139 | { |
| 140 | "app": "state", |
| 141 | "{'state'}": "{ |
| 142 | "{if($change_fee) var['fee'] = $change_fee;" |
| 143 | || "var['a_' || trigger.address] += $asset_inp;" |
| 144 | || "response['message'] = 'Added '||$asset_inp||' to your account';}" |
| 145 | }" |
| 146 | } |
| 147 | ] |
| 148 | }, |
| 149 | { |
| 150 | "{'if'}": "{ |
| 151 | "{trigger.data.withdraw}" |
| 152 | }", |
| 153 | "{'init'}": "{ |
| 154 | "{if(!var['a_' || trigger.address]) bounce('Nothing to withdraw');" |
| 155 | || "$max_w = var['a_' || trigger.address]-(var['a_' || trigger.address] % 1);" |
| 156 | || "if(!trigger.data.value) bounce('Value param missing, max to withdraw '||$max_w);" |
| 157 | || "$w_amount = trigger.data.value - (trigger.data.value % 1);" |
| 158 | || "if($w_amount <= 0) bounce('Max to withdraw '||$max_w);" |
| 159 | || "if($w_amount > $max_w) bounce('Not enough funds, max to withdraw '||$max_w);}" |
| 160 | }", |
| 161 | "messages": [ |
| 162 | { |
| 163 | "app": "payment", |
| 164 | "payload": { |
| 165 | "asset": "base", |
| 166 | "outputs": [ |
| 167 | { |
| 168 | "address": "{"{trigger.address}"}", |
| 169 | "amount": "{"{$base_inp}"}" |
| 170 | } |
| 171 | ] |
| 172 | } |
| 173 | }, |
| 174 | { |
| 175 | "app": "payment", |
| 176 | "payload": { |
| 177 | "asset": "{"{$ASSET}"}", |
| 178 | "outputs": [ |
| 179 | { |
| 180 | "address": "{"{trigger.address}"}", |
| 181 | "amount": "{"{$w_amount}"}" |
| 182 | } |
| 183 | ] |
| 184 | } |
| 185 | }, |
| 186 | { |
| 187 | "app": "state", |
| 188 | "{'state'}": "{ |
| 189 | "{if($change_fee) var['fee'] = $change_fee;" |
| 190 | || "var['a_' || trigger.address] -= $w_amount;" |
| 191 | || "response['message'] = 'Withdrawn '||$w_amount||' from your account';}" |
| 192 | }" |
| 193 | } |
| 194 | ] |
| 195 | }, |
| 196 | { |
| 197 | "{'if'}": "{ |
| 198 | "{trigger.data.transfer}" |
| 199 | }", |
| 200 | "{'init'}": "{ |
| 201 | "{if(!var['a_'||trigger.address]) bounce('No funds found');" |
| 202 | || "if(!trigger.data.to) bounce('To param missing');" |
| 203 | || "if(!trigger.data.value) bounce('Value param missing');" |
| 204 | || "if(trigger.data.value > var['a_'||trigger.address]) bounce('You have max '||var['a_'||trigger.address]);}" |
| 205 | }", |
| 206 | "messages": [ |
| 207 | { |
| 208 | "app": "payment", |
| 209 | "payload": { |
| 210 | "asset": "base", |
| 211 | "outputs": [ |
| 212 | { |
| 213 | "address": "{"{trigger.address}"}", |
| 214 | "amount": "{"{$base_inp}"}" |
| 215 | } |
| 216 | ] |
| 217 | } |
| 218 | }, |
| 219 | { |
| 220 | "app": "state", |
| 221 | "{'state'}": "{ |
| 222 | "{if($change_fee) var['fee'] = $change_fee;" |
| 223 | || "var['a_' || trigger.data.to] += trigger.data.value;" |
| 224 | || "var['a_'||trigger.address] -= trigger.data.value;" |
| 225 | || "if(var['a_'||trigger.address] == 0) var['a_'||trigger.address] = false;" |
| 226 | || "response['message'] = 'Transfered '||trigger.data.value||' to '||trigger.data.to;}" |
| 227 | }" |
| 228 | } |
| 229 | ] |
| 230 | }, |
| 231 | { |
| 232 | "{'if'}": "{ |
| 233 | "{trigger.data.transfer_from}" |
| 234 | }", |
| 235 | "{'init'}": "{ |
| 236 | "{if(!trigger.data.from) bounce('From param missing');" |
| 237 | || "if(!var['a_' || trigger.data.from]) bounce('Account have no funds');" |
| 238 | || "if(!trigger.data.to) bounce('To param missing');" |
| 239 | || "if(!trigger.data.value) bounce('Value param missing');" |
| 240 | || "if(!var['perm_' || trigger.data.from || '_' || trigger.address]) bounce('Not allowed to spend');" |
| 241 | || "if(var['perm_' || trigger.data.from || '_' || trigger.address] < trigger.data.value) bounce('You can spend max '||var['perm_' || trigger.data.from || '_' || trigger.address]);" |
| 242 | || "if(trigger.data.value > var['a_' || trigger.data.from]) bounce('Account have '||var['a_' || trigger.data.from]);}" |
| 243 | }", |
| 244 | "messages": [ |
| 245 | { |
| 246 | "app": "payment", |
| 247 | "payload": { |
| 248 | "asset": "base", |
| 249 | "outputs": [ |
| 250 | { |
| 251 | "address": "{"{trigger.address}"}", |
| 252 | "amount": "{"{$base_inp}"}" |
| 253 | } |
| 254 | ] |
| 255 | } |
| 256 | }, |
| 257 | { |
| 258 | "app": "state", |
| 259 | "{'state'}": "{ |
| 260 | "{if($change_fee) var['fee'] = $change_fee;" |
| 261 | || "var['a_' || trigger.data.to] += trigger.data.value;" |
| 262 | || "var['a_' || trigger.data.from] -= trigger.data.value;" |
| 263 | || "if(var['a_' || trigger.data.from] == 0) var['a_' || trigger.data.from] = false;" |
| 264 | || "var['perm_' || trigger.data.from || '_' || trigger.address] -= trigger.data.value;" |
| 265 | || "if(var['perm_' || trigger.data.from || '_' || trigger.address] == 0) var['perm_' || trigger.data.from || '_' || trigger.address] = false;" |
| 266 | || "response['message'] = 'Transfered '||trigger.data.value||' to '||trigger.data.to;}" |
| 267 | }" |
| 268 | } |
| 269 | ] |
| 270 | }, |
| 271 | { |
| 272 | "messages": [ |
| 273 | { |
| 274 | "app": "state", |
| 275 | "{'state'}": "{ |
| 276 | "{if(trigger.output[[asset!=base]].asset != 'none') bounce('To deposit an asset, use deposit param');" |
| 277 | || "var['fee'] = $LOW_FEE;" |
| 278 | || "response['usage'] = 'Send param = 1 for continue. Accepted params: deposit,withdraw,transfer,transfer_from,approve';" |
| 279 | || "response['message'] = 'Received bytes for funding AA operation, thaanks!';}" |
| 280 | }" |
| 281 | } |
| 282 | ] |
| 283 | } |
| 284 | ] |
| 285 | } |
| 286 | } |
| 287 | ] |
| 288 | } |
| 289 | }, |
| 290 | { |
| 291 | "app": "state", |
| 292 | "state": "{ |
| 293 | response['message']='AA for '||$asset||'created'; |
| 294 | if($attestor){ |
| 295 | if($field){ |
| 296 | response['security'] = $attestor||' will have to give permission and will be able to block accounts'; |
| 297 | } |
| 298 | else{ |
| 299 | response['security'] = $attestor||' will have to give permission but will not be able to block accounts, specify an attestation field with field param'; |
| 300 | } |
| 301 | } |
| 302 | else{ |
| 303 | response['security'] = 'Free access, nobody will be able to block anyone. Use attestor param if you want to restrict AA to certain addresses'; |
| 304 | } |
| 305 | }" |
| 306 | } |
| 307 | ] |
| 308 | } |
| 309 | ] |
| 310 | } |
| 311 | } |
| 312 | ] |