| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "init": "{ |
| 5 | $BOUNCER = 'RNGBJ65PSKCOKHUAQMDGIBWSD5T3XSQX'; |
| 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 | "messages": { |
| 12 | "cases": [ |
| 13 | { |
| 14 | "if": "{trigger.data.asset}", |
| 15 | "init": "{ |
| 16 | if(!var[trigger.data.asset]) bounce('Default proxy AA for '||trigger.data.asset||' not found, please deploy first'); |
| 17 | }", |
| 18 | "messages": [ |
| 19 | { |
| 20 | "app": "payment", |
| 21 | "payload": { |
| 22 | "asset": "base", |
| 23 | "outputs": [ |
| 24 | { |
| 25 | "address": "{var[trigger.data.asset]}" |
| 26 | } |
| 27 | ] |
| 28 | } |
| 29 | } |
| 30 | ] |
| 31 | }, |
| 32 | { |
| 33 | "messages": [ |
| 34 | { |
| 35 | "app": "payment", |
| 36 | "payload": { |
| 37 | "asset": "{$asset}", |
| 38 | "outputs": [ |
| 39 | { |
| 40 | "address": "{trigger.address}", |
| 41 | "amount": "{trigger.output[[asset!=base]]}" |
| 42 | } |
| 43 | ] |
| 44 | } |
| 45 | }, |
| 46 | { |
| 47 | "if": "{!$attestor}", |
| 48 | "app": "data", |
| 49 | "payload": { |
| 50 | "asset": "{$asset}" |
| 51 | } |
| 52 | }, |
| 53 | { |
| 54 | "if": "{!$attestor}", |
| 55 | "app": "payment", |
| 56 | "payload": { |
| 57 | "asset": "base", |
| 58 | "outputs": [ |
| 59 | { |
| 60 | "address": "{$BOUNCER}", |
| 61 | "amount": "{trigger.output[[asset=base]]-77}" |
| 62 | } |
| 63 | ] |
| 64 | } |
| 65 | }, |
| 66 | { |
| 67 | "if": "{$attestor}", |
| 68 | "app": "payment", |
| 69 | "payload": { |
| 70 | "asset": "base", |
| 71 | "outputs": [ |
| 72 | { |
| 73 | "address": "{trigger.address}" |
| 74 | } |
| 75 | ] |
| 76 | } |
| 77 | }, |
| 78 | { |
| 79 | "app": "definition", |
| 80 | "payload": { |
| 81 | "definition": [ |
| 82 | "autonomous agent", |
| 83 | { |
| 84 | "{'init'}": "{ |
| 85 | "{$ASSET = '"||$asset||"';" |
| 86 | || ($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);"):"") |
| 87 | || "$BYTE_INP = 10000;" |
| 88 | || "$FREE_LIMIT = 3000;" |
| 89 | || "$ADDR = 'a';$PERM = 'p';$BYTE = 'b';$TOTAL = 'total';" |
| 90 | || "$base = trigger.output[[asset=base]];" |
| 91 | || "$trigger_cost = unit[trigger.unit].headers_commission + unit[trigger.unit].payload_commission;" |
| 92 | || "$addr = trigger.address;" |
| 93 | || "$balance = balance[base] - $base - storage_size;" |
| 94 | || "$free_mode = ($balance - var[$TOTAL]) > $FREE_LIMIT ;" |
| 95 | || "$addr_key = $ADDR || $addr;" |
| 96 | || "$addr_q = var[$addr_key];" |
| 97 | || "$byte_key = $BYTE || $addr;" |
| 98 | || "$base_inp = $base + ($free_mode?$trigger_cost:0);" |
| 99 | || "$value = trigger.data.value;" |
| 100 | || "if(!trigger.data.approve AND $value AND (typeof($value) != 'number' OR $value <= 0)) bounce('Value param invalid');" |
| 101 | || "if(trigger.output[[asset!=base]].asset != 'none')" |
| 102 | || "$asset = trigger.output[[asset!=base]].asset;}" |
| 103 | }", |
| 104 | "messages": { |
| 105 | "{'cases'}": [ |
| 106 | { |
| 107 | "{'if'}": "{ |
| 108 | "{trigger.data.approve AND $base == $BYTE_INP}" |
| 109 | }", |
| 110 | "{'init'}": "{ |
| 111 | "{$approve = trigger.data.approve;" |
| 112 | || "$perm_key = $PERM || $addr || $approve;" |
| 113 | |
| 114 | || "if(!is_valid_address($approve) OR $approve == $addr) bounce('approve param invalid, specify address to approve instead of any other value');" |
| 115 | || "if(!$value) bounce('Value param missing');" |
| 116 | || "if(typeof($value) != 'number' OR $value < 0) bounce('Value param invalid');}" |
| 117 | }", |
| 118 | "messages": [ |
| 119 | { |
| 120 | "app": "state", |
| 121 | "{'state'}": "{ |
| 122 | "{var[$perm_key] = $value;" |
| 123 | || "if(var[$perm_key] == 0) var[$perm_key] = false;" |
| 124 | || "var[$byte_key] += $base_inp;" |
| 125 | || "var[$TOTAL] += $base_inp;" |
| 126 | || "response['message'] = 'Approved '||$approve||' to spend '||$value ||' from your account';}" |
| 127 | }" |
| 128 | } |
| 129 | ] |
| 130 | }, |
| 131 | { |
| 132 | "{'if'}": "{ |
| 133 | "{trigger.data.withdraw_bytes AND $base == $BYTE_INP}" |
| 134 | }", |
| 135 | "{'init'}": "{ |
| 136 | "{$user_bal = var[$byte_key];" |
| 137 | || "if(!$user_bal) bounce('No bytes to withdraw');" |
| 138 | || "$w_amount = $balance < $user_bal ? $balance : $user_bal;" |
| 139 | |
| 140 | || "$wt = round($w_amount / $BYTE_INP);" |
| 141 | || "$w_fee = !!$ATTESTOR_ADDR AND $free_mode ?0 : (($wt > 2) ? 462+$wt*60 : 522);}" |
| 142 | }", |
| 143 | "messages": [ |
| 144 | { |
| 145 | "app": "payment", |
| 146 | "payload": { |
| 147 | "asset": "base", |
| 148 | "outputs": [ |
| 149 | { |
| 150 | "address": "{"{$addr}"}", |
| 151 | "amount": "{"{$w_amount + $base - $w_fee}"}" |
| 152 | } |
| 153 | ] |
| 154 | } |
| 155 | }, |
| 156 | { |
| 157 | "app": "state", |
| 158 | "{'state'}": "{ |
| 159 | "{var[$byte_key] = false;" |
| 160 | || "var[$TOTAL] -= $w_amount;" |
| 161 | || "response['message'] = 'Withdrawn '||$w_amount||' bytes less '||$w_fee||' fee from your account';}" |
| 162 | }" |
| 163 | } |
| 164 | ] |
| 165 | }, |
| 166 | { |
| 167 | "{'if'}": "{ |
| 168 | "{$asset AND $base == $BYTE_INP}" |
| 169 | }", |
| 170 | "{'init'}": "{ |
| 171 | "{if($asset == 'ambiguous') bounce('Only 1 asset per tx');" |
| 172 | || "if($asset != $ASSET) bounce('You must deposit '||$ASSET);" |
| 173 | || "$asset_inp = trigger.output[[asset!=base]];}" |
| 174 | }", |
| 175 | "messages": [ |
| 176 | { |
| 177 | "app": "state", |
| 178 | "{'state'}": "{ |
| 179 | "{var[$addr_key] += $asset_inp;" |
| 180 | || "var[$byte_key] += $base_inp;" |
| 181 | || "var[$TOTAL] += $base_inp;" |
| 182 | || "response['message'] = 'Added '||$asset_inp||' to your account';}" |
| 183 | }" |
| 184 | } |
| 185 | ] |
| 186 | }, |
| 187 | { |
| 188 | "{'if'}": "{ |
| 189 | "{trigger.data.withdraw AND $base == $BYTE_INP}" |
| 190 | }", |
| 191 | "{'init'}": "{ |
| 192 | "{if(!$addr_q) bounce('Nothing to withdraw');" |
| 193 | || "$max_w = $addr_q-($addr_q % 1);" |
| 194 | || "if(!$value) bounce('Value param missing, max to withdraw '||$max_w) ;" |
| 195 | || "$w_amount = $value - ($value % 1);" |
| 196 | |
| 197 | || "if($w_amount <= 0) bounce('Max to withdraw '||$max_w);" |
| 198 | || "if($w_amount > $max_w) bounce('Not enough asset, max to withdraw '||$max_w);}" |
| 199 | }", |
| 200 | "messages": [ |
| 201 | { |
| 202 | "app": "payment", |
| 203 | "payload": { |
| 204 | "asset": "{"{$ASSET}"}", |
| 205 | "outputs": [ |
| 206 | { |
| 207 | "address": "{"{$addr}"}", |
| 208 | "amount": "{"{$w_amount}"}" |
| 209 | } |
| 210 | ] |
| 211 | } |
| 212 | }, |
| 213 | { |
| 214 | "app": "state", |
| 215 | "{'state'}": "{ |
| 216 | "{if(!!$ATTESTOR_ADDR AND $free_mode)" |
| 217 | || "$w_fee = 0;" |
| 218 | || "else" |
| 219 | || "$w_fee = unit[response_unit].headers_commission + unit[response_unit].payload_commission;" |
| 220 | || "var[$addr_key] -= $w_amount;" |
| 221 | || "if(var[$addr_key] == 0) var[$addr_key]=false;" |
| 222 | || "var[$byte_key] += ($base_inp-$w_fee);" |
| 223 | || "var[$TOTAL] += ($base_inp-$w_fee);" |
| 224 | || "response['message'] = 'Withdrawn '||$w_amount||' from your account';}" |
| 225 | }" |
| 226 | } |
| 227 | ] |
| 228 | }, |
| 229 | { |
| 230 | "{'if'}": "{ |
| 231 | "{trigger.data.transfer AND $base == $BYTE_INP}" |
| 232 | }", |
| 233 | "{'init'}": "{ |
| 234 | "{$to = trigger.data.transfer;" |
| 235 | |
| 236 | || "if(!is_valid_address($to) OR $to == $addr) bounce('transfer param invalid, specify address to instead of any other value');" |
| 237 | || "if(!$addr_q) bounce('No funds found');" |
| 238 | || "if(!$value) bounce('Value param missing');" |
| 239 | || "if($value > $addr_q) bounce('You have max '||$addr_q);}" |
| 240 | }", |
| 241 | "messages": [ |
| 242 | { |
| 243 | "app": "state", |
| 244 | "{'state'}": "{ |
| 245 | "{var[$ADDR|| $to] += $value;" |
| 246 | || "var[$addr_key] -= $value;" |
| 247 | || "if(var[$addr_key] == 0) var[$addr_key] = false;" |
| 248 | || "var[$byte_key] += $base_inp;" |
| 249 | || "var[$TOTAL] += $base_inp;" |
| 250 | || "response['message'] = 'Transferred '||$value||' to '||$to;}" |
| 251 | }" |
| 252 | } |
| 253 | ] |
| 254 | }, |
| 255 | { |
| 256 | "{'if'}": "{ |
| 257 | "{trigger.data.transfer_from AND $base == $BYTE_INP}" |
| 258 | }", |
| 259 | "{'init'}": "{ |
| 260 | "{$from = trigger.data.transfer_from;" |
| 261 | || "$to = trigger.data.to;" |
| 262 | || "$from_key = $ADDR|| $from;" |
| 263 | || "$perm_key = $PERM || $from || $addr;" |
| 264 | |
| 265 | || "if(!is_valid_address($from)) bounce('transfer_from param invalid, specify from address instead of any other value');" |
| 266 | || "if(!$to) bounce('To param missing');" |
| 267 | || "if(!is_valid_address($to)) bounce('To param invalid');" |
| 268 | || "if(!var[$from_key]) bounce('Account have no funds');" |
| 269 | || "if(!$value) bounce('Value param missing');" |
| 270 | || "if(!var[$perm_key]) bounce('Not allowed to spend');" |
| 271 | || "if(var[$perm_key] < $value) bounce('You can spend max '||var[$perm_key]);" |
| 272 | || "if(var[$from_key] < $value) bounce('Account have '||var[$from_key]);}" |
| 273 | }", |
| 274 | "messages": [ |
| 275 | { |
| 276 | "app": "state", |
| 277 | "{'state'}": "{ |
| 278 | "{var[$ADDR|| $to] += $value;" |
| 279 | || "var[$from_key] -= $value;" |
| 280 | || "if(var[$from_key] == 0) var[$from_key] = false;" |
| 281 | || "var[$perm_key] -= $value;" |
| 282 | || "if(var[$perm_key] == 0) var[$perm_key] = false;" |
| 283 | || "var[$byte_key] += $base_inp;" |
| 284 | || "var[$TOTAL] += $base_inp;" |
| 285 | || "response['message'] = 'Transferred '||$value||' to '||$to;}" |
| 286 | }" |
| 287 | } |
| 288 | ] |
| 289 | }, |
| 290 | { |
| 291 | "messages": [ |
| 292 | { |
| 293 | "app": "state", |
| 294 | "{'state'}": "{ |
| 295 | "{if(trigger.output[[asset!=base]].asset != 'none') bounce('Allowed asset: '||$ASSET);" |
| 296 | || "response['asset'] = 'Allowed asset: '||$ASSET;" |
| 297 | || "response['accepted_params'] = 'withdraw, transfer, transfer_from, approve, withdraw_bytes';" |
| 298 | || "response['usage'] = 'Send '||$BYTE_INP||' bytes and param = 1 for continue.';" |
| 299 | || "response['message'] = 'Received donation for funding AA operation, thaanks!';}" |
| 300 | }" |
| 301 | } |
| 302 | ] |
| 303 | } |
| 304 | ] |
| 305 | } |
| 306 | } |
| 307 | ] |
| 308 | } |
| 309 | }, |
| 310 | { |
| 311 | "app": "state", |
| 312 | "state": "{ |
| 313 | if(!$asset) bounce('You must send an asset'); |
| 314 | if($asset == 'ambiguous') bounce('Only 1 asset per tx'); |
| 315 | response['message']='AA for '||$asset||'created'; |
| 316 | response['address'] = unit[response_unit].messages[[.app='definition']].payload.address; |
| 317 | if($attestor){ |
| 318 | if($field){ |
| 319 | response['security'] = $attestor||' will have to give permission and will be able to block accounts'; |
| 320 | } |
| 321 | else{ |
| 322 | 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'; |
| 323 | } |
| 324 | } |
| 325 | else{ |
| 326 | if(var[$asset]) bounce('Proxy AA already registered: '||var[$asset]); |
| 327 | var[$asset] = unit[response_unit].messages[[.app='definition']].payload.address; |
| 328 | response['security'] = 'Free access, nobody will be able to block anyone. Use here attestor param to restrict AA to certain addresses'; |
| 329 | } |
| 330 | }" |
| 331 | } |
| 332 | ] |
| 333 | } |
| 334 | ] |
| 335 | } |
| 336 | } |
| 337 | ] |